Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiquestropicales pour traiter des...
Equipe-projet TYREX Types and Reasoning for the Web Nous construisons les fondements de la prochaine génération de systèmes d'analyse de données et de...
Equipe-projet VALDA Valeur à partir des données Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...
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 WIDE le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination Les systèmes informatiques répartis atteignent aujourd'hui des niveaux d'échelle, de dynamisme et de...
Equipe-projet WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...
Equipe-projet WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics Le web est devenu un vaste réseau de données distribuées, d'applications et d'utilisateurs dans...
Equipe-projet ZENITH Gestion de données scientifiques La science à données intensives tels que l'agronomie, l'astronomie, la biologie et l'environnement...
