Inria

Nos dernières publications

Topological insights in neuroscience
Conférence
01:04:20
Topological insights in neuroscience
Hess Bellwald
Kathryn

Over the past decade, and particularly over the past five years, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied

Modélisation de la croissance des micro-organismes
Conférence
00:34:52
Modélisation de la croissance des micro-organismes
Jong
Hidde de

La croissance microbienne peut être formulée comme un problème d'optimisation : comment allouer les ressources nutritives extraites de l'environnement aux différentes fonctions cellulaires afin de

Caches, montrez-vous !
Conférence
00:24:04
Caches, montrez-vous !
Durand
Marie

Les processeurs actuels permettent de l'ordre de quelques tera-opérations par seconde. Puissance nécessaire pour soutenir les besoins en simulation numérique, qui constitue, après la théorie et l

Théorie de l’appariement et applications actuelles
Conférence
00:19:54
Théorie de l’appariement et applications actuelles

Pourquoi y a-t-il tant de personnes sans emploi alors qu’au même moment un grand nombre de postes sont disponibles ? La théorie de l’appariement analyse ces problèmes où un certain nombre de

Self-Supervised Visual Learning and Synthesis
Conférence
01:18:00
Self-Supervised Visual Learning and Synthesis
Efros
Alexei A.

Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect.

Theoretical Foundations for Runtime Monitoring
Conférence
01:08:53
Theoretical Foundations for Runtime Monitoring
Aceto
Luca

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel

CoNeCo: Concurrency, Networks and Coinduction
Conférence
01:04:31
CoNeCo: Concurrency, Networks and Coinduction
Silva
Alexandra

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to

Voir tout

Intervenants

France
Informaticien, chercheur à l'ENS Paris et directeur de recherche à l'Inria (en 2020)

Professeur au Collège de France (2011-2012) du cours "Sciences des données: de la Logique du premier ordre de la Toile " dans le cadre de la chaire "Informatique et sciences numériques"

Voir tout