Equipe-projet STATIFY Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension L’équipe STATIFY s’intéresse à la modélisation statistique de systèmes mettant en jeu des données...
Equipe-projet TADAAM Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance L'objectif du projet TADaaM est de concevoir et de construire une couche service à l'échelle du...
Equipe-projet TITANE Modélisation géométrique d'environnements 3D La modélisation et le traitement de la géométrie s'articulent autour de trois objectifs principaux...
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 ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet AROMATH Algebre geometrie Modelisation et Algorithmes La géométrie est présente dans de nombreux domaines (fabrication, simulation, communication, monde...
Equipe-projet CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE rassemble depuis Mai 2016 des chercheurs et enseignants-chercheurs venus de différents...
Equipe-projet CHROMA Robots coopératifs et adaptés à la présence humaine en environnements L'équipe Chroma contribue à la mise en place de méthodologies générales pour la perception et la...
Equipe-projet COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
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 CORSE Compiler Optimization and Run-time SystEms CORSE est un groupe de recherche qui regroupe plusieurs expertises situées à l'interface entre le...