Défi LiberAbaci L'outil de preuve interactif Coq et l'enseignement des maths Les outils interactifs de preuves sur ordinateur comme le logiciel Coq ont acquis une reconnaissance...
Action Exploratoire MRF-zero Optimisation de séquences d'acquisition pour l'IRM fingerprint par contrôle optimal L'IRM fingerprint (MRF) est une technologie récente qui a le potentiel de changer la donne en...
Action Exploratoire NAP NAP - Representation learning for Not Applicable and relational data La plupart des modèles d'apprentissage automatique s'attendent à recevoir en entrée des tableaux...
Défi PULSE Favoriser l’émergence de services à faible émission de carbone en bordure de réseau Pour faire face aux enjeux climatiques tout en répondant aux besoins croissants en ressources de...
Action Exploratoire Réal Réal : Réécriture algébrique La réécriture est une branche du calcul formel consistant à transformer des expressions...
Equipe-projet AROMATH Algebre geometrie Modelisation et Algorithmes La géométrie est présente dans de nombreux domaines (fabrication, simulation, communication, monde...
Equipe-projet TAU IA : vers des problèmes mieux posés Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Equipe-projet STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, en analyse de données, et...
Equipe-projet DEFROST Logiciels pour robots déformables Notre Vision Les robots du futurs ne seront plus "rigides" comme aujourd'hui mais fait de...
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 MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
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 CEDAR Analyse et traitement de données complexes à grande échelle Les applications à usage intensif de données de présentent un très grand degré d'hétérogénéité, dû...
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...