Equipe-projet PARADYSE Systèmes de particules et systèmes dynamiques L'équipe-projet Paradyse, commune entre Inria, le CNRS et le Laboratoire Paul Painlevé, regroupe des...
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...
Equipe-projet SIMSMART SIMulation pARTiculaire de Modèles Stochastiques Simsmart est une équipe de recherche en statistique et probabilités numériques, dédiée à l'étude...
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 SPIRALS Self-adaptation for distributed services and large software systems Spirals mène des activités de recherche dans les domaines des systèmes répartis et des sciences du...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet TRIBE Pour un Internet non-conventionnel TRiBE (inTeRnet BEyond the usual) est une équipe de recherche de l'INRIA Saclay - Ile de France...
Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiquestropicales pour traiter des...
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 VIRTUS Nous, virtuels L'objectif principal de l'équipe VirtUs est de créer et de simuler des scènes virtuelles peuplées...
Equipe-projet WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...
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 AIO Mise en réseau fiable, sans fil à faible consommation et micro-robotique Inria-AIO is a leading research team in low-power wireless communications. The team is designing...