Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet STARS Spatio-Temporal Activity Recognition Systems L'équipe de recherche Stars se focalise sur la conception de systèmes cognitifs pour la...
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 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...
