Action Exploratoire ProgReco Reconnaissance de programmes par apprentissage automatique et application à l'optimisation de programmes La compréhension de programmes est un problème fondamental de l'informatique, dont les applications...
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...
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...
Action Exploratoire REPAS Vers de nouvelles Représentations des Applications HPC. Quelle est la bonne manière de représenter une application en vue de l’exécuter sur une machine...
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 SIA Les Sciences Informatiques face à l’Anthropocène Le terme Anthropocène exprime l'ampleur géologique des impacts de l'humanité sur les équilibres du...
Action Exploratoire SmolPhone SmolPhone : un smartphone conscient des limites énergétiques Le projet SmolPhone est une recherche-action dans le domaine de l'informatique frugale. En pratique...
Action Exploratoire StellaCage StellaCage : Géométrie du confinement du plasma dans les stellarateurs En collaboration avec la start-up Renaissance Fusion, basée à Grenoble, nous explorons certains...
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...