Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet EMPENN Neuroimagerie: méthodes et applications L'équipe de recherche ERL U1228 Empenn (qui signifie "cerveau " en breton) est affiliée à Inria, à l...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
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 GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
Equipe-projet GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
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 INOCS Optimisation intégrée pour problèmes à structure complexe Un problème d’optimisation consiste à trouver une meilleure solution parmi un ensemble de solutions...
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 LOKI Technologie et connaissance pour l'Interaction L'Interaction Humain-Machine (IHM) est un domaine en constante évolution. D 'un côté , le progrès...
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...