ANR Projects

Réseaux de capteurs quantique

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

CENTEANES : Vers des applications serverless correctes par construction

Floating-Point Transformer 4

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é

ANR-24-CE19-6455-02 HIGH-MAGGIE

Algorithmes en précision mixte pour le calcul haute performance

Calcul Rapide de Relations Algébriques Multivariées

Algorithmes avec prédictions

Méthodes algébriques et numériques pour la robotique

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é

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

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

Near term quantum devices: complexity, verification and applications

Une plateforme argumentative pour la démocratie

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

Simulateur haptique pour l'apprentissage de la spasticité

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

Quantum Enabled Secure Multiparty Computation for Genomic Medicine

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

Cryptanalyse algébrique pour la cryptographie post- quantum

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

Gestion autonome des ressources dans le Fog computing

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

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

Singularités et stabilité des asservissements référencés capteurs