Equipe-projet CHROMA Robots coopératifs et adaptés à la présence humaine en environnements L'équipe Chroma contribue à la mise en place de méthodologies générales pour la perception et la...
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 DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Le but du projet est de modéliser les acteurs clés de processus d'adaptation biologiques, en...
Equipe-projet DYOGENE Dynamics of Geometric Networks L'objectif scientifique de DYOGENE est l'étude de la dynamique de réseaux géométriques issus des...
Equipe-projet ECUADOR Transformations et outils informatiques pour le calcul scientifique L'équipe ECUADOR étudie la Différentiation Algorithmique (DA) de programmes, c'est à dire la...
Equipe-projet EDGE Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation Notre activité de recherche se situe dans le domaine de la recherche opérationnelle (R.O.) et de la...
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 EVERGREEN Observation de la terre et apprentissage machine pour les défis agro-environnementaux L'équipe EVERGREEN travaille activement à la conception et à la mise en œuvre de techniques d...
Equipe-projet GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
Equipe-projet GAMMAO Génération Adaptative de Maillage et Méthodes numériques Avancées Gamma est une équipe de recherche spécialisée dans les technologies de maillage avancées et les...
Equipe-projet GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics Algorithmes pour la génomique, adaptés aux grandes masses de données, optimisés et parallèles...
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 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 LACODAM Fouille de données collaborative à grande échelle Le but de l’équipe LACODAM est de faciliter considérablement le processus visant à expliciter du...