Votre recherche
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.
Une minute avec Emmanuelle Saillard
1 une minute avec ... met à l'honneur les scientifiques et les personnels d'appuis à la recherche du Centre Inria de l'université de Bordeaux. Grâce à ce nouveau format, le monde de la recherche n
Teasing journalistic findings out of heterogeneous sources: a data/AI journey
Freedom of the press is under threat worldwide, and the quality of information that people have access to is dangerously degraded, under the joint threat of non-democratic governments and fake
A stable marriage between order and disorder (workshop ERC Nemo Processus ponctuels et graphes aléa…
Stable matchings were introduced in a seminal paper by Gale and Shapley (1962) and play an important role in economics. Following closely Holroyd, Pemantle, Peres and Schramm (2009), we shall
AI and Human Decision-Making: An Interdisciplinary Perspective
This seminar will talk about some of the privacy risks of these systems and will describe some recent attacks. It will also discuss why they sometimes fail to deliver. Finally, we will also show that
Statistical Learning Theory for Modern Machine Learning
Statistical Learning Theory for Modern Machine Learning
Désassemblons le numérique - #Episode5 : Simuler les caractéristiques sonores d’une trompette histo…
Ce nouvel épisode de Désassemblons le numérique part à la rencontre d'Augustin Ernoult, chercheur au sein de l'équipe-projet Makutu du Centre Inria de l'université de Bordeaux. Les travaux de
Une minute avec Vincent Padois
Vincent Padois est directeur de recherche au sein de l’équipe-projet Auctus du centre Inria de l’université de Bordeaux. Il consacre ses travaux de recherche au développement d’algorithmes de contrôle
Une minute avec Sabrina Duthil
Sabrina Duthil est assistante d’équipes de recherche au sein du centre Inria de l’université de Bordeaux. Véritable pilier des équipes-projets du centre, elle aide les scientifiques dans leur
Une minute avec Mathilde Saleur
Mathilde Saleur est chargée d’accompagnement de projets startup au sein du centre Inria de l’université de Bordeaux. Son travail consiste à promouvoir l’entrepreneuriat par le biais de l’Inria Startup
Une minute avec Andony Arrieula
Andony Arrieula est post-doctorant au sein de l’équipe-projet Carmen du Centre Inria de l’université de Bordeaux. Ses travaux de recherche se concentrent sur la simulation et la modélisation de