Equipe-projet DEFROST Logiciels pour robots déformables Notre Vision Les robots du futurs ne seront plus "rigides" comme aujourd'hui mais fait de...
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 BEAGLE Artificial Evolution and Computational Biology La recherche de Beagle concerne la biologie computationnelle et l'évolution artificielle (génétique...
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 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 MAKUTU Modélisation et simulation de la propagation des ondes fondées sur des mesures expérimentales pour caractériser des milieux géophysiques et héliophysiques et concevoir des objets complexes
Equipe-projet MOEX Evolution de la connaissance Les êtres humains sont apparement capables d'échanger de la connaissance. Toutefois, il nous est...
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 PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...