Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
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 GEOMERIX La Géometrie au Service du Numérique GeomeriX est une équipe-projet Inria dont l'objectif scientifique global est d'inventer des méthodes...
Equipe-projet CRONOS Modélisation des résaux dynamiques cérébraux L'estimation, la quantification et comparaison de la dynamique cérébrale est un des défis centraux...
Equipe-projet OCKHAM Optimisation, Connaissances pHysiques, Algorithmes et Modèles Le principal objectif de l'équipe OCKHAM est de développer des techniques d'apprentissage et des...
Equipe-projet EVREF Évolution réflexive des systèmes logiciels éternels The objectives of Evref are to study and support the continuous evolution of large software systems...
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 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 STARS Spatio-Temporal Activity Recognition Systems L'équipe de recherche Stars se focalise sur la conception de systèmes cognitifs pour la...
Equipe-projet MAVERICK Modèles et Algorithmes pour la Visualisation et le Rendu Maverick est une équipe de recherche en synthèse d'images et visualisation. Notre domaine central de...
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...
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...