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

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

Logic-based static analysis for the verification of programs with dynamically allocated data structures
Conférence
00:41:49
Logic-based static analysis for the verification of programs with dynamically allocated data struct…
Drăgoi
Cezara

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

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

Wireless In the Woods: Monitoring the Snow Melt Process in the Sierra Nevada
Conférence
00:40:10
Wireless In the Woods: Monitoring the Snow Melt Process in the Sierra Nevada
Watteyne
Thomas

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

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

Interopérabilité de protocoles pour des systèmes mobiles émergents dans l’Internet du futur
Conférence
00:37:34
Interopérabilité de protocoles pour des systèmes mobiles émergents dans l’Internet du futur
Georgantas
Nikolaos

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

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

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

OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
Conférence
00:39:10
OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
Le Fessant
Fabrice

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.

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

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

France
Docteur en informatique, chercheur à l'Inria Rocquencourt, enseignant à l'École polytechnique.(en 2004)

France
Thèse de doctorat en Mathématiques appliquées soutenue en 2008 à l'Université Pierre et Marie Curie - Paris 6

France
Informaticien. Chargé 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 2021)

Auteur d'une thèse en Informatique à l'Ecole Polytechniquede Palaiseau