Equipe-projet CAIRN Systèmes sur puce reconfigurables : architectures, algorithmes et compilation L'équipe CAIRN a pour objectif d'étudier l'architecture des systèmes sur puces intégrant des...
Equipe-projet CELTIQUE Certification de logiciel par analyse sémantique Le programme de recherche de l'équipe Celtique vise à proposer des méthodes de certification...
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 DIONYSOS Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux L'objectif principal de l'équipe-projet est l'identification, la conception et la sélection 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 (signifie "Cerveau " en breton) est affiliée à Inria, à l...
Equipe-projet FLUMINANCE Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images L'équipe FLUMINANCE est une équipe commune INRIA IRSTEA IRMAR(UMR 6625) dédiée à l'étude de méthodes...
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 de preuve, avec la...
Equipe-projet GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics GenScale est une équipe de recherche en bio-informatique. Son principal objectif est de développer...
Equipe-projet HYBRID 3D interaction with virtual environments using body and mind Les travaux d'Hybrid s'inscrivent dans le domaine de la réalité virtuelle et de l'interaction 3D...
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 Les recherches de l'équipe KerData abordent le domaine de la gestion de données réparties à de très...
