Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...
Equipe-projet ELAN modELisation de l'Apparence des phénomènes Non-linéaires ELAN est une équipe de modélisation et de simulation physique, au positionnement original à la...
Equipe-projet DATAMOVE Mouvements de données pour le calcul haute performance Aujourd'hui les plus grands supercalculateurs (classement du Top500) sont composés de centaines de...
Equipe-projet LACODAM Fouille de données collaborative à grande échelle Le but de l’équipe LACODAM est de faciliter considérablement le processus visant à expliciter du...
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 MOEX Evolution de la connaissance Les êtres humains sont apparement capables d'échanger de la connaissance. Toutefois, il nous est...
Equipe-projet POLARIS Évaluation et optimisation des performances des grandes infrastructures L'objectif du projet POLARIS est de contribuer à la compréhension au sens large (de l'observation...
Equipe-projet MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
Equipe-projet INOCS Optimisation intégrée pour problèmes à structure complexe Un problème d’optimisation consiste à trouver une meilleure solution parmi un ensemble de solutions...
Equipe-projet MFX Informatique graphique pour la fabrication numérique Notre équipe se concentre sur les défis liés à la complexité des formes dans le contexte de l...
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet KOPERNIC Adapter le raisonnement pire cas à différentes criticités Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants...
Equipe-projet TRIBE Pour un Internet non-conventionnel TRiBE (inTeRnet BEyond the usual) est une équipe de recherche de l'INRIA Saclay - Ile de France...