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 HEKA Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances HeKA est une équipe-projet de recherche commune à Inria, Inserm et l’Université Paris Cité. HeKA...
Equipe-projet INBIO Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires InBio est une équipe de recherche interdisciplinaire combinant des approches de biologie...
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 LACODAM Fouille de données collaborative à grande échelle Le but de l’équipe LACODAM est de faciliter considérablement le processus visant à expliciter du...
Equipe-projet LINKMEDIA Creating and exploiting explicit links between multimedia fragments Un des défis du multimédia aujourd'hui est celui de la sensibilité au contexte ( context awareness)...
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 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...