Equipe-projet PLEIADE Patterns de diversité et réseaux de fonctions L'étude de la biologie associe des études de formes (la diversité) et des modélisations de processus...
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
Equipe-projet ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Optimisation de ressources: modèles, algorithmes, et stratégies d'ordonnancement L'équipe ROMA...
Equipe-projet SCOOL Prise de décision séquentielle dans l’incertain Le projet scientifique de Scool est focalisé sur la prise de décision séquentielle dans l'incertain...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet STACK Pile logicielle pour les infrastructures massivement géo distribuées L'équipe STACK s'attaque aux défis liés à la gestion et l'utilisation avancées des infrastructures...
Equipe-projet TITANE Modélisation géométrique d'environnements 3D La modélisation et le traitement de la géométrie s'articulent autour de trois objectifs principaux...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet VALDA Valeur à partir des données Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...
Equipe-projet WIDE le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination Les systèmes informatiques répartis atteignent aujourd'hui des niveaux d' échelle, de dynamisme et...