Equipe-projet HEPHAISTOS HExapode, PHysiologie, AssISTance et Objets de Service Le projet HÉPHAÏSTOS a été créé le 1er Janvier 2014. Il regroupe des chercheurs INRIA et des...
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 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 MERGE Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence MERGE rassemble des chercheurs travaillant en mathématiques - plus précisément sur les processus...
Equipe-projet MFX Informatique graphique pour la fabrication numérique Notre équipe se concentre sur les défis liés à la complexité des formes dans le contexte de l...
Equipe-projet MOEX Evolution de la connaissance Les êtres humains sont apparement capables d'échanger de la connaissance. Toutefois, il nous est...
Equipe-projet MULTISPEECH Speech Modeling for Facilitating Oral-Based Communication MULTISPEECH est une équipe-projet commune de l’ Université de Lorraine, d’ Inria et du CNRS. Elle...
Equipe-projet MUSCLEES Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
Equipe-projet PLATON Quantification des Incertitudes en calcul scientifique pour l’ingénierie PLATON est une équipe-projet Inria commune avec l'École Polytechnique et le CNRS, au sein du CMAP...
Equipe-projet RESIST Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques L'équipe projet RESIST conçoit, développe et valide de nouveaux modèles, algorithmes et outils pour...
Equipe-projet SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...