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 CRONOS Modélisation des résaux dynamiques cérébraux L'estimation, la quantification et comparaison de la dynamique cérébrale est un des défis centraux...
Equipe-projet ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...
Equipe-projet COATI Combinatoire, Optimisation et Algorithmes pour les Télécommunications L'objectif de COATI est de développer des méthodes et outils algorithmiques qui s'appliquent en...
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 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 DIANA Conception, Mise en oeuvre et Analyse d'Architectures Réseau L’équipe DIANA mène des recherches dans le domaine des réseaux, et en particulier sur la conception...
Equipe-projet DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...
Equipe-projet CALISTO Approches stochastiques pour les écoulements complexes et l’environnement La modélisation de la turbulence et la dynamique des particules sont en jeu dans de nombreuses...
Equipe-projet ACUMES Analysis and Control of Unsteady Models for Engineering Sciences Le projet se focalise sur l'analyse et le contrôle optimal de systèmes d'EDP instationnaires...