Action Exploratoire IMPROOF Manipulation directe pour la démonstration et l'exploration de théorèmes Nous cherchons à trouver des mécanismes universels pour le développement de preuves interactives qui...
Action Exploratoire LLM4DICE Des Grands Modèles de Language pour la détection et la correction des erreurs Les grands modèles de langage (LLMs) sont un sujet de recherche en pleine évolution. En particulier...
Action Exploratoire MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’informatique Quantique Ce projet a trait à l’ordinateur quantique : on s’intéresse à la possibilité d’encoder une porte...
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...
Action Exploratoire NO-BIF Optimisation structurelle de systèmes mécaniques dynamiques à bifurcation Les méthodes de conception des structures mécaniques (aéronautique, spatial, transport, production d...
Action Exploratoire OptiGPR3D Modélisations directe et inverse optimales pour l'imagerie GPR 3D en milieu complexe Avec un a priori fourni par une méthode d'imagerie classique, pourrait-on concevoir un réseau d...
Action Exploratoire POPEG Propagation d'ondes par états gaussiens Les méthodes de Galerkin permettent d'approximer numériquement une onde harmonique en assemblant des...
Action Exploratoire XGAN Apprentissage d'une représentation interprétable de vidéos générées par un GAN Malgré des progrès remarquables dans les réseaux adverses génératifs (GAN), ces réseaux fonctionnent...
Action Exploratoire 2MDS Modélisation multi-échelle du syndrome de Dravet Il s’agit de développer un cadre de modélisation multi-échelle pour les canalopathies, un groupe de...
Action Exploratoire A/D Drugs D'un médicament analogique vers un médicament digital Dans la prise en charge des troubles mentaux, l’apparition de résistances aux traitements est un...
Action Exploratoire ALAMO Algorithmes alternatifs pour la simulation de modèles sur réseau Les modèles probabilistes sur réseau font l'objet d'un intérêt constant de la communauté...
Action Exploratoire AlaMVic Distiller des Machines Virtuelles : une approche générative pour la construction de machines virtuelles Les machines virtuelles (VM) sont omniprésentes dans tous les ordinateurs portables, serveurs et...
Action Exploratoire AM2OR Adaptation de Maillage pour les Modèles d'Ordre Réduit Adaptation de maillage et modèles d'ordre réduit ont tous deux pour objectif de réduire...
Action Exploratoire AVoCat Vérification Automatique de Programmes Catala Catala est un nouveau langage de programmation, conçu pour être compréhensible par les juristes et...