Projets ANR

Algorithmes distribués frugaux au coeur des réseaux

IA pour la personnalisation de rétroactions dans l'apprentissage de la pensée informatique par le jeu

Algorithmes pour la prise de décision et l'apprentissage des préférences en optimisation multi-objectifs

Repousser les Limites Usuelles Concernant l'Avenir des Réseaux Ubiquitaires

Exploitation de modèles d'explications pour les algorithmes d'apprentissage profond

Histoire des agences d'images et vision par ordinateur

Vers des applications serverless correctes par construction

Floating-Point Transformer 4

Réseaux de capteurs quantique

Applications et implications de l'intelligence artificielle dans la science

Module de sécurité matériel pour le calcul dans un cloud quantique sécurisé

Méthodes Avancées pour l'Assistance à la Gastro-endoscopie Interventionnelle Endoscopique

Algorithmes en précision mixte pour le calcul haute performance

Calcul Rapide de Relations Algébriques Multivariées

Algorithmes avec prédictions

Analyse de paramètres de classes de DAGS

Un réseau quantique de capteurs distribués

Systèmes Bio-inspirés distribués de confiance : bases théoriques et mise en œuvre matérielle

Modélisation et Vérification pour CPS Sécurisés et Performants

Bridging Black-box Optimization and Machine Learning for Dynamic Algorithm Configuration

Raisonnements formellement certifiés en apprentissage automatique

Architectures Novatrices pour Capteur Fibre Optique Acoustique Distribué

Une plateforme argumentative pour la démocratie

Un nouveau paradigme de donnée : Les données autonomes et intelligentes

Near term quantum devices: complexity, verification and applications

Un jumeau numérique mécanique assisté par les splines et basé sur les images pour l'analyse de structures lattices réelles

Compréhension et atténuation d’erreur dans les implémentations analogiques de réseaux de neurones sur silicium

Politique de conception floue interprétable en apprentissage par renforcement

Apprentissage de mesure de similarité pour le transfert analogique

Récupération d'énergie mécanique proche des limites physiques par synthèse adiabatique de la dynamique électromécanique

Algorithmes Efficaces pour Guessing, Inégalités, Sommation

Simulateur haptique pour l'apprentissage de la spasticité

Architectures matérielles fiables pour l'Intelligence Artificielle de confiance

Laboratoire Commun BodyCAP - Intelligence artificielle embarquée et Capsules Ingérables

Quantum Enabled Secure Multiparty Computation for Genomic Medicine

Laboratoire Commun AXA Group - Trustworthy And Responsible AI Lab

Calcul Securisé Multipartite pour Architectures NISQ

Initiative Nationale Hybride HPC Quantique - Acquisition

Tailles de clés : optimisations pratiques et théoriques et approches modernes pour des estimations précises du coût de NFS

Premature Human Connectome Patterns: mapping the fetal brain development using extreme field MRI

Calcul réparti sécurisé : Cryptographie, Combinatoire, Calcul Formel

Plateforme d'analyse pour l'arithmétique flotante

Conception de systèmes sécurisés par une réduction des effets de la micro-architecture sur les attaques par canaux auxiliaires

Sécurité cognitive et programmable pour la résilience des réseaux de nouvelle génération

Sûreté numérique pour les preuves assistées par ordinateur

THéorie et observation Empirique pour Mesurer l’Influence dans les Structures sociales