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...
Action Exploratoire BrainGPT Transformer les Transformers en Modèles de Langage Cognitifs Dans le sillage de l'émergence des modèles de langage à grande échelle, tels ChatGPT, le projet...
Action Exploratoire CACHAÇA Cryptologie Asymètrique Compacte et Haute-Assurance pour Applications sous Contraintes La cryptologie forte, efficace, et sûre est essentielle pour la communication sécurisée en réseau...
Action Exploratoire Discotik Géométrie discrète pour l’étude mécanique des tissus végétaux en croissance Au cours de sa morphogenèse, les contraintes mécaniques générés au sein d’un organisme vivant jouent...
Défi FedMalin Apprentissage automatique fédéré sur Internet Dans de nombreux cas d'utilisation de l'apprentissage automatique, les données sont naturellement...
Action Exploratoire GRANIER Aléas gravitaires en montagne dans le cadre de la prédiction des risques - modélisation et simulation non lisse mêlant les données en géomécanique Dans cette action exploratoire, il est proposé de travailler sur des outils numériques pour la...
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 ITHEA Informatique théâtrale L'action exploratoire ITHEA associe des chercheurs en informatique, arts appliqués et études...
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 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 POSP Processus Ponctuel pour le traitement du signal Dans le contexte de la modélisation des signaux biologiques, les techniques non supervisées qui...
Action Exploratoire Réal Réal : Réécriture algébrique La réécriture est une branche du calcul formel consistant à transformer des expressions...
Action Exploratoire REALPRIOREIT Inférence bayésienne avec a priori physiologiques réalistes pour la tomographie par impédance électrique (EIT) Ce projet vise à utiliser des méthodes d’inférence bayésienne pour résoudre des problèmes inverses...