Equipe-projet MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
Equipe-projet EPIONE E-Patient : Images, données & mOdèles pour la médeciNe numériquE Description Nous contribuons au développement du patient numérique (e-patient) pour la médecine...
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 TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiques tropicales pour traiter des...
Equipe-projet MINGUS Schémas numériques géométriques multi-échelles Le groupe de recherche MINGuS se concentre sur l'analyse mathématique et numérique d'équations aux...
Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...
Equipe-projet COMMEDIA Mathématiques et calcul scientifique pour les applications bio-médicales L’activité de recherche de COMMEDIA est axée sur la simulation numérique d'écoulements bio-fluides...
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 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 SCOOL Prise de décision séquentielle dans l’incertain Le projet scientifique de Scool est focalisé sur la prise de décision séquentielle dans l'incertain...
Equipe-projet ROBOTLEARN Apprentissage, perception et commande pour des robots sociaux L'ambition scientifique de ROBOTLEARN est d'entraîner les robots à acquérir la capacité de regarder...
Equipe-projet MICROCOSME Analyse, ingénierie et contrôle des micro-organismes L'équipe-projet MICROCOSME combine des approches computationnelles et expérimentales pour analyser...
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...