La demi-heure de science : pourquoi mène t-on des recherches dans ce domaine là ? Inria Paris - Rocquencourt

évènement
Mise en ligne : 07 janvier 2016
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
  • document 1 document 2 document 3
Explorations Mathématiques de l'activité du cerveau

Vidéos

Explorations Mathématiques de l'activité du cerveau
Conférence
00:35:03
Explorations Mathématiques de l'activité du cerveau
Touboul
Jonathan

Explorations Mathématiques de l'activité du cerveau Le siècle dernier a été une période fascinante durant laquelle les recherches expérimentales ont fait des avancées majeures sur la

Resolving Entities in the Web of Data
Conférence
00:36:37
Resolving Entities in the Web of Data
Christophides
Vassilis

Over the past decade, numerous knowledge bases (KBs) have been built to power a new generation of Web applications that provide entity-centric search and recommendation services. These KBs offer

Phénomènes Aléatoires dans les Réseaux
Conférence
00:37:43
Phénomènes Aléatoires dans les Réseaux
Robert
Philippe

Les phénomènes aléatoires sont une composante-clé des réseaux de communication, ils interviennent, de façon majeure, dans le trafic que les réseaux traitent, ainsi que dans certains algorithmes

Modèles mémoire pour les multiprocesseurs à mémoire partagée
Conférence
00:35:13
Modèles mémoire pour les multiprocesseurs à mémoire partagée
Maranget
Luc

La plupart des systèmes qui s'apparentent à des ordinateurs un tant soit peu sophistiqués comprennent plusieurs unités de calcul qui communiquent par l'intermédiaire d'une mémoire partagée.  

Gestion de données personnelles respectueuse de la vie privée
Conférence
00:34:49
Gestion de données personnelles respectueuse de la vie privée
Anciaux
Nicolas

En très peu de temps, nous sommes entrés dans une ère de génération massive des données personnelles créées par les individus, leurs équipements digitaux ou mises à disposition par certaines

Génération de maillages pour la simulation numérique
Conférence
00:29:55
Génération de maillages pour la simulation numérique
Loseille
Adrien

Une branche importante du calcul scientifique consiste à simuler sur ordinateurs des phénomènes physiques complexes. Son intérêt consiste à mieux appréhender des problèmes fondamentaux : solution

Réseau optiques, algorithmes et probabilités
Conférence
00:36:23
Réseau optiques, algorithmes et probabilités
Roberts
J. B.

L'objectif des recherches de l'équipe RAP est de modéliser le comportement de réseaux de divers types, soumis à une demande de nature aléatoire, afin la prédire leurs performances. Le partage des

Transport Optimal et théorème de Brenier
Conférence
00:37:38
Transport Optimal et théorème de Brenier
Benamou
Jean-David

Une présentation élémentaire de l’idée fondamentale du théorème de Brenier, à l’origine du développement spectaculaire de ce domaine, sera esquissée. Nous finirons avec une application à la

Cryptanalyse : le fondement de la sécurité
Conférence
00:39:22
Cryptanalyse : le fondement de la sécurité
Naya-Plasencia
Maria

Le but principal de la cryptographie est de protéger l'information. Pour répondre à ce besoin réel et indispensable à l'ère de l'information, il existe deux grandes branches qui se complètent à la

Preuve automatique de la sûreté de logiciels critiques
Conférence
00:36:47
Preuve automatique de la sûreté de logiciels critiques
Rival
Xavier

Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En

Quelques modèles solubles pour le trafic routier
Conférence
00:36:06
Quelques modèles solubles pour le trafic routier
Lasgouttes
Jean-Marc

Le phénomène de formation spontanée de bouchons « en accordéon » sur les axes routiers est décrit notamment par la théorie des 3 phases de Kerner, qui décrit la structure du diagramme fondamental du

Codes correcteurs quantiques
Conférence
00:34:34
Codes correcteurs quantiques
Tillich
Jean-Pierre

Un ordinateur quantique tire parti de certains phénomènes quantiques de la matière. Arriver à construire un ordinateur de ce type, de taille même modeste, présente un enjeu certain. En effet, il a été

Quelques questions biomathématiques soulevées par les axes neuro-endocriniens
Conférence
00:35:21
Quelques questions biomathématiques soulevées par les axes neuro-endocriniens
Clément
Frédérique

Les neurones sont connus pour leur rôle dans le traitement de l’information via des signaux électriques. On sait moins que certains d’entre eux sécrètent des signaux hormonaux et agissent à distance

Apprentissage automatique et Big Data
Conférence
00:39:17
Apprentissage automatique et Big Data
Lacoste-Julien
Simon

Nous vivons à l'ère de l'information : les données numériques prennent une place croissante en sciences, dans le monde technologique et dans la société. Un mot fourre-tout a même été créé récemment

Transitions de phase : entre physique, mathématiques et informatique
Conférence
00:34:13
Transitions de phase : entre physique, mathématiques et informatique
Broutin
Nicolas

Les phénomènes de transition de phase fascinent les physiciens depuis plusieurs siècles. Plus récemment, on a observé des phénomènes similaires dans d’autres domaines notamment la combinatoire et l

Aspects temporels dans les systèmes embarqués critiques
Conférence
00:39:09
Aspects temporels dans les systèmes embarqués critiques
Sorel
Yves

La plupart des systèmes embarqués que l'on trouve dans les applications critiques telles que les commandes de vol d'un avion ou le contrôle d'un moteur ou de l'ABS dans une automobile, font intervenir

Test et vérification automatique pour systèmes musicaux interactifs
Conférence
00:34:32
Test et vérification automatique pour systèmes musicaux interactifs
Jacquemard
Florent

Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition

Langages de programmation et concurrence, une relation toujours épineuse
Conférence
00:32:39
Langages de programmation et concurrence, une relation toujours épineuse
Zappa Nardelli
Francesco

Nous verrons ensemble pourquoi, fait remarquable et troublant, nous n'avons aucune proposition satisfaisante pour la définition d'un langage généraliste permettant la programmation concurrente en

Intervenants

France
Informaticienne. Chargée de recherche INRIA, membre de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI ENS, UMR 8548), École normale supérieure, Paris (en 2020) Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2011
Grèce
Professeur, École Nationale Supérieure de l'Électronique et de ses Applications, Cergy-Pontoise, France (en 2022)

Rapporteur d'une thèse de doctorat en Informatique soutenue à l'Université de Paris-Saclay, en 2016

Espagne
Informaticienne. Directrice de recherche INRIA (DR2), membre de l'équipe-projet Sécurité, cryptologie et transmissions (SECRET), Centre de recherche de Paris, Institut national de recherche en informatique et en automatique -Paris centre, Sorbonne Université (en 2020)

Rapporteure lors d'une thèse souteneu à l'INSA Lyon en 2022

Thèse de doctorat en Informatique soutenue en 2009 à l'Université Pierre et Marie Curie - Paris 6