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

Vidéos
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
Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and
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
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
Historically, the study of mountain hydrology and the water cycle has been largely observational, with meteorological forcing and hydrological variables extrapolated from a few infrequent manual
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.
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
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
Les voies de signalisation intracellulaire sont des cascades d'interaction entre protéines, qui permettent à la cellule de recevoir des signaux, de les propager jusqu'à son noyau, puis de les
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
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
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
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
Avec la prolifération des réseaux et systèmes mobiles, réseaux de capteurs et actionneurs, et des systèmes d’information hébergés sur des infrastructures globales comme Internet et le Cloud, les
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
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é
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
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
OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels.
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
L’objectif de cet exposé est de tendre quelques élastiques permettant de relier certains travaux réputés abstraits en topologie et quelques applications supposées très concrètes, les élastiques étant
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
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
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
La mise en œuvre des technologies d'accès câbles et DSL à des coûts abordables a permis la généralisation des accès Internet à la maison. Grâce au "tripleplay", la téléphonie, la télévision et les
Quelques problèmes ouverts dans les systèmes cyber-physiques critiques.
Intervenants
Rapporteur d'une thèse de doctorat en Informatique soutenue à l'Université de Paris-Saclay, en 2016
Auteur d'une thèse en Informatique à l'Ecole Polytechniquede Palaiseau
Directeur de Recherche INRIA, université Paris Sciences & Lettres PSL (en 2023)
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