Equipe-projet CONVECS Construction de systèmes concurrents vérifiés CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de...
Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...
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 GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Malgré d’importants progrès en synthèse d’images, interface homme-machine et vision par ordinateur...
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 TRIBE Pour un Internet non-conventionnel TRiBE (inTeRnet BEyond the usual) est une équipe de recherche de l'INRIA Saclay - Ile de France...
Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...
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 MNEMOSYNE Mnemonic Synergy Aux frontières des neurosciences intégratives et computationnelles, nous proposons de modéliser le...
Equipe-projet MORPHEME Morphologie et Images Les objectifs scientifiques de MORPHEME sont la caractérisation et la modélisation du développement...
Equipe-projet ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Optimisation de ressources: modèles, algorithmes, et stratégies d'ordonnancement L'équipe ROMA...
Equipe-projet SAIRPICO Imagerie Spatio-Temporelle, Intelligence Artificielle et Calcul Numérique pour la Biologie Cellulaire et Chemobiologie
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...