Equipe-projet LACODAM Fouille de données collaborative à grande échelle Le but de l’équipe LACODAM est de faciliter considérablement le processus visant à expliciter du...
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet RAINBOW robotique interactive et référencée capteurs La vision à long terme de l'équipe Rainbow est de développer la prochaine génération de robots à...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
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...
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 EMPENN Neuroimagerie: méthodes et applications L'équipe de recherche ERL U1228 Empenn (qui signifie "cerveau " en breton) est affiliée à Inria , à...
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 CAPSULE Cryptographie Appliquée et Sécurité des Implémentations Les activités de recherche de l'équipe CAPSULE sont organisés autour de 5 axes de recherches, la...
Equipe-projet I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures La surveillance d'intégrité de structures (ou SHM, pour Structural Health Monitoring) désigne la...
Equipe-projet PACAP Pushing Architecture and Compilation for Application Performance PACAP: Performance des Applications par la Compilation et l'Architecture des Processeurs En bref, l...
Equipe-projet MINGUS Schémas numériques géométriques multi-échelles Le groupe de recherche MINGuS se concentre sur l'analyse mathématique et numérique d'équations aux...
Equipe-projet ODYSSEY Océan Dynamique Observations Analyse The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
Equipe-projet SAIRPICO Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie