Equipe-projet COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
Equipe-projet COMPO Méthodes computationnelles pour la prise en charge thérapeutique en oncologie L'équipe-projet commune COMPO Inria-Inserm développe de nouveaux modèles mathématiques permettant d...
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 DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet DISCO Systèmes dynamiques interconnectés dans des environnements complexes Le but de ce projet est de mieux comprendre et de bien formaliser les effets induits par les...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
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 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 GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
Equipe-projet GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Malgré d’importants progrès en synthèse d’images, interface homme-machine et vision par ordinateur...
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 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 MALICE Apprentissage automatique avec intégration des connaissances en ingénierie de surface : théorie et algorithmes L'objectif de l'équipe MALICE est de combiner des expertises complémentaires en apprentissage...