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.
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
Comment passent à l'échelle les systèmes de la nouvelle vague de technologies (Scaling behaviors of…
La conférence commence par une introduction de Philippe Nain, DR Inria, qui raconte avec l'appui de quelques anecdotes, le parcours de Zhen liu, depuis les conditions de son arrivée comme jeune
Éléments d'algorithmique : mariages stables
Comment aborder les problèmes d'algorithmique dans le cadre du programme ISN au Lycée ?
Reconnaissance d'activités en environnement "intelligent"
Dans cet exposé, nous nous intéressons à la notion de perception en environnement dits "intelligents" au sens large du terme.
Interagir avec des mondes virtuels par le corps et l'esprit
Anatole Lecuyer présente les trois défis scientifiques qui sont au coeur du domaine de la réalité virtuelle et que son équipe de recherche tente de résoudre
A Cost-Aware Logical Framefork
The computational view of intuitionistic dependent type theory is as an intrinsic logic of (functional) programs in which types are viewed as specifications of their behavior. Equational reasoning is
Parallel server systems in extended heavy traffic
The standard setting for studying parallel server systems (PSS) at the diffusion scale is based on the heavy traffic condition (HTC)...