Action Exploratoire AoT.js AoT.js : Compilation optimisante de la programmation d’ordre supérieur à l’architecture des ordinateurs Selon les statistiques GitHub 2022, les deux langages de programmation les plus utilisés sont...
Action Exploratoire APOLLON Apollon (Art de la POLitique : Langage aristotélicien et Optimisation Numérique) L'étude des idées de textes historiques nécessite une expertise identifiant le contexte, le sens...
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 DEPARTURE Nonlocalité dans les réseaux et calcul distribué dans l’internet quantique Les corrélations quantiques sont un aspect clef de la théorie de l’information quantique, pour...
Action Exploratoire GRASP Obtenir des résultats généralisables sur un ensemble de pipelines scientifiques Les pipelines scientifiques sont au cœur des sciences expérimentales modernes. Mais les praticiens...
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...
Défi LearnNet Réseaux et apprentissage Alors que l'apprentissage machine révolutionne des pans entiers de l'économie numérique et de la...
Action Exploratoire MEGAVOLT MachinE learninG et équAtions d’éVOLuTion Un problème scientifique majeur est de construire un pont mathématique et numérique entre, d'une...
Action Exploratoire META4QIP Coder l'avenir : métasurface pour le traitement quantique de l'information Les métasurfaces sont des structures plates qui possèdent des propriétés extraordinaires pour...
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 PreMedIT La topologie au service de la médecine de précision Le but de la médecine de précision est d'adapter les traitements aux caractéristiques de chaque...
Action Exploratoire QAT Architectures, Algorithmes et Applications du Calcul Quantique et leur théorie. Le traitement quantique de l'information consiste à trouver des algorithmes et des protocoles qui...
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 ASTRAL Méthodes avancées d’apprentissage statistique et de contrôle Les activités de recherche de notre équipe se concentrent principalement sur le développement de...
Equipe-projet AUCTUS Des robots au service de l'humain au travail L'objectif de l'équipe Auctus est d’ imaginer les robots collaboratifs du futur. La capacité d...