Equipe-projet DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Le but du projet est de modéliser les acteurs clés de processus d'adaptation biologiques, en...
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 EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
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 SIMSMART SIMulation pARTiculaire de Modèles Stochastiques Simsmart est une équipe de recherche en statistique et probabilités numériques, dédiée à l'étude...
Equipe-projet VIRTUS Nous, virtuels L'objectif principal de l'équipe VirtUs est de créer et de simuler des scènes virtuelles peuplées...
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 ERMINE Gestion et mesures des opérations et de l'économie des réseaux Les réseaux sont omniprésents et d’une complexité croissante, ils requièrent une gestion efficace de...
Equipe-projet GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics Algorithmes pour la génomique, adaptés aux grandes masses de données, optimisés et parallèles...
Equipe-projet HYBRID 3D interaction with virtual environments using body and mind Interaction 3D avec les environnements virtuels basée sur le corps et l'esprit. Les travaux d'Hybrid...
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 MINGUS Schémas numériques géométriques multi-échelles Le groupe de recherche MINGuS se concentre sur l'analyse mathématique et numérique d'équations aux...
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...