Sites Inria

2016

Conférence scientifique

Ana Busic (EP Dyogene) : Decision-making and control in networked systems

29/11/2016

We are constantly faced with situations in which we need to make decisions based on a partial knowledge of our environment. Our decisions influence decisions of other people we interact with.

Mots-clés :

Lire la suite

Conférence scientifique

Ivan LAPTEV (Willow) : Weakly supervised learning from images and video

3/11/2016

Recent progress in visual recognition goes hand-in-hand with the supervised learning and large-scale training data.

Mots-clés :

Lire la suite

Conférence scientifique

Vincent Duval (Mokaplan) : Variations autour du problème de super-résolution

6/10/2016

Peut-on retrouver les détails fins dans une image floue? Les hautes fréquences d’un signal filtré ? Ces questions se posent naturellement depuis des décennies, voire des siècles, dans des domaines comme l’astronomie, la microscopie, ou encore la géophysique...

Mots-clés :

Lire la suite

Conférence scientifique

Georg Fuchsbauer (Cascade) : Bitcoin et compagnie

1/09/2016

Après de nombreuses années de recherche en monnaie électronique, aucun système n'a été déployé de façon large jusqu'à l'introduction de Bitcoin et d'autres "cryptomonnaies".

Mots-clés :

Lire la suite

Conférence scientifique

Martin Parisot (Ange) : Modélisation mathématique et numérique des écoulements géophysiques

7/07/2016

Les domaines de recherche de l'équipe portent principalement sur la simulation numérique des écoulements à surface libre tels que les rivières, les lacs ou les océans. 

Mots-clés :

Lire la suite

Conférence scientifique

Pierre-Louis Curien (Pi.R2) : Un regard logique sur l'exécution des programmes fonctionnels

2/06/2016

Au cours de cet exposé, je présenterai deux interpréteurs pour le lambda-calcul (que l'on peut voir comme le noyau d'un langage de programmation comme OCaml ou Haskell), en appel par nom et en appel par valeur, et j'en présenterai une analyse logique qui conduit à voir de manière très tangible que ces deux mécanismes sont symétriques. 

Mots-clés :

Lire la suite

Conférence scientifique

Olivier Colliot (Aramis) : Qu'est-ce que la neurologie computationnelle ?

12/05/2016

Les maladies neurologiques sont des pathologies complexes, à l’expression et aux causes hétérogènes, et dont l’évolution s’étale sur plusieurs décennies. Leur caractérisation nécessite l’intégration de données aussi différentes que la neuro-imagerie, l’électrophysiologie, la génétique, les marqueurs biochimiques ou encore les tests cognitifs et cliniques. 

Mots-clés :

Lire la suite

Conférence scientifique

Géraldine Pichot (Serena) - Les milieux souterrains : modélisation et simulation numérique

7/04/2016

Les milieux souterrains sont sollicités pour des applications très variées car ils contiennent des ressources très intéressantes : eau potable, énergies fossiles, mais aussi chaleur.

Mots-clés :

Lire la suite

Conférence scientifique

Julia Lawall (Whisper) : Coccinelle: Automating bug finding and evolution in the Linux kernel

17/03/2016

 One of the accomplishments of computer science is to ease tasks that humans find tedious and error prone, while at the same time making the performnace of these tasks more comprehensive and reliable.  

Mots-clés :

Lire la suite

Conférence scientifique

Matthieu Sozeau (Pi.r2): What's HoTT? Un panorama de la théorie des types homotopique

18/02/2016

La théorie des types homotopique a récemment été proposée comme une fondation des mathématiques alternative à la théorie usuelle des ensembles. Elle répond originellement au besoin croissant de vérification formelle et mécanisée des preuves formulées en mathématiques, besoin auquel la théorie des ensembles est peu adaptée.

Mots-clés :

Lire la suite

Haut de page

Suivez Inria