Equipe-projet CIDRE Confidentialité, Intégrité, Disponibilité et Répartition Pour de nombreux aspects de notre vie quotidienne, nous dépendons fortement des systèmes d...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
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 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 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 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 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 KERDATA Scalable Storage for Clouds and Beyond Stockage et traitement de données pour infrastructures distribuées à très grande échelle Les...
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)...
