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 MID-ToRS Mécanismes d’Influence et Dynamiques de Topologies dans les Réseaux Sociaux Dans les réseaux sociaux, les utilisateurs choisissent de se connecter ("follow") à un influenceur...
Action Exploratoire MusMapS Cartographie musculaire pour l'assistance aux personnes handicapées en contrôle partagé MusMapS exploite des mesures d’efforts (cartographie des capacités physiques) de patients en...
Défi OcéanIA Intelligence Artificielle, Données et Modèles pour Comprendre les Océans et le Changement Climatique Il existe des preuves scientifiques solides concernant les effets négatifs du changement climatique...
Action Exploratoire Ofast3D Compilateur optimisant pour impression 3D rapide L’objectif de Ofast3D est d’augmenter la capacité de production des acteurs utilisant l’impression...
Action Exploratoire Réal Réal : Réécriture algébrique La réécriture est une branche du calcul formel consistant à transformer des expressions...
Défi ROAD-AI Routes et Ouvrages d’Art Diversiformes, Augmentés & Intégrés La gestion intégrée de patrimoine d’infrastructure est une démarche visant à concilier les enjeux de...
Action Exploratoire SDMote Software-Defined Mote Les réseaux maillés deviennent de plus en plus décentralisés. Les architectures des nœuds sans fil...
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 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 AuDaCITI Collecte et étiquetage de données automatisé par interaction Les succès récents de l'IA sont le fruit de large modèles computationnels et d’ensembles de données...
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 Backbone Manipulation Symbolique Efficace Pour Les Systèmes Creux Un problème difficile est d'abord et avant tout un problème mal compris. Une façon (presque...
Action Exploratoire CANofGAS Analyses de coûts de la sémantique des jeux Deux réussites scientifiques majeures dans l’étude des langages de programmation d’ordre supérieur -...
Action Exploratoire CircleD Réutilisation structurelle assistée par ordinateur pour la conception circulaire Résumé: La conception circulaire vise à prolonger la durée de vie des produits industriels grâce à...