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 HYBRID 3D interaction with virtual environments using body and mind Interaction 3D avec les environnements virtuels basée sur le corps et l'esprit. Les travaux d'Hybrid...
Equipe-projet LEMON Littoral, Environnement, Modèles et Outils Numériques LEMON est une équipe-projet commune entre le centre Inria Sophia-Antipolis Méditerranée...
Equipe-projet LIFEWARE Computational systems biology and optimization Le projet Lifeware vise à développer des méthodes formelles pour comprendre la machinerie cellulaire...
Equipe-projet MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Equipe-projet MARACAS Modèle et algorithmes pour des systèmes de communication fiables MARACAS associe à la théorie des communications et à la théorie de l'information, des approches de...
Equipe-projet MATHEXP Calcul formel, mathématiques expérimentales et interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Equipe-projet MICROCOSME Analyse, ingénierie et contrôle des micro-organismes L'équipe-projet MICROCOSME combine des approches computationnelles et expérimentales pour analyser...
Equipe-projet MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation Analyse et synthèse pour la simulation d'humains virtuels MimeTIC s'intéresse à concevoir des...
Equipe-projet MORPHEME Morphologie et Images Les objectifs scientifiques de MORPHEME sont la caractérisation et la modélisation du développement...
Equipe-projet MUSCLEES Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes