Action Exploratoire KoopduMonde Modélisation par l'opérateur de Koopman de systèmes dynamiques non-linéaires pour les méthodes d'ensemble Les méthodes de prévision dites "d'ensemble" en océanographie et en météorologie s'appuient sur un...
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 noCNN Navigation neurochirurgicale exhaustive et avec correction du déplacement du cerveau La neuronavigation désigne l'ensemble des technologies assistées par ordinateur qui sont utilisées...
Défi OS Vers une utilisation plus optimale des centres de données Les centres de données sont aujourd'hui au cœur de l'informatique : ils fournissent la puissance de...
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...
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 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 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...
Défi YS.AI Towards the metaverse Le métavers est devenu un mot à la mode suite aux récentes annonces d'investissements massifs dans...
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 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 Back In Time Baliser l’Analyse CryptographiK de lettres anciennes grâce à l’INtelligence artifi-cielle : Technique et IMplémentation Exploratoire Soyez prêts à découvrir des complots inattendus et à déterrer des secrets vieux comme le monde...
Action Exploratoire Back to the trees Back to the trees Entre flores centenaires et reconnaissance d’images par intelligence artificielle, nous proposons d...
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 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 -...