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 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 CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts Des EDPs à la simulation numérique certifiée: ce projet a pour but de proposer une méthodologie...
Equipe-projet ASTRAL Méthodes avancées d’apprentissage statistique et de contrôle Les activités de recherche de notre équipe se concentrent principalement sur le développement de...
Equipe-projet BONUS Optimisation de grande taille et calcul large échelle Omniprésente dans de nombreuses applications scientifiques et d'ingénierie, l’optimisation massive...
Equipe-projet SISTM Statistics In System biology and Translational Medicine Objectifs Le défi est d’analyser ces BIG DATA pour répondre à des questions cliniques et biologiques...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, enanalyse de données, et...
Equipe-projet SYCOMORES Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires L'objective de l'équipe-project commun SYCOMORES est de developper un framework pour la conception...
Equipe-projet WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...