Equipe-projet WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics Le web est devenu un vaste réseau de données distribuées, d'applications et d'utilisateurs dans...
Equipe-projet ACENTAURI • Intelligence artificielle et algorithmes efficaces pour la robotique autonome L'objectif d'ACENTAURI est d'étudier et de développer des robots intelligents, mobiles et autonomes...
Equipe-projet AIRSEA Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques Les événements récents soulèvent des questions sur les impacts sociaux et économiques des...
Equipe-projet ALPINES Algorithms and parallel tools for integrated numerical simulations ALPINES est un groupe de recherche joint entre INRIA et le Laboratoire J.L. Lions de Sorbonne...
Equipe-projet ANGE Analyse Numérique, Géophysique et Environnement Les activités de recherche menées au sein de l'équipe ANGE mêlent développement d'outils...
Equipe-projet AROMATH Algebre geometrie Modelisation et Algorithmes La géométrie est présente dans de nombreux domaines (fabrication, simulation, communication, monde...
Equipe-projet BIVWAC Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être Bivwac est une équipe-projet commune entre le CNRS et Inria, en lien avec le LaBRI (UMR CNRS -...
Equipe-projet BOREAL Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés Les systèmes d'information actuels sont basés sur l'exploitation de données provenant d'un nombre...
Equipe-projet CASH Compilation et Analyse, Logiciel et Matériel L'avènement du parallélisme dans les ordinateurs et les supercalculateurs amène de nouveaux besoins...
Equipe-projet COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
Equipe-projet COATI Combinatoire, Optimisation et Algorithmes pour les Télécommunications L'objectif de COATI est de développer des méthodes et outils algorithmiques qui s'appliquent en...
Equipe-projet CONVECS Construction de systèmes concurrents vérifiés CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de...