Complétion de code pour les grands projets et les petits langages
Localisation avec diagnostic pour les systèmes multi-robots hétérogènes aéro-terrestres
Détection, localisation et identification de défauts dans les réseaux câblés de communication et d'énergie dans les véhicules électriques autonomes
Vérification du biais des algorithmes d'apprentissage automatique à l'aide de l'échantillonnage adaptatif et de l'apprentissage en ligne
Sécurité et privacité des systèmes neuromorphiques
Apport des cartes auto-adaptatives à la classification supervisée partielle à l'aide de méthodes d'optimisation
Conception de nouvelles méthodes de contrôle permettant de préserver la compliance des robots déformables tout en leur conférant de bonnes performances
Développement d'une méthodologie de prédiction basée sur l'IA pour l'automatisation du processus d'impression 3D robotisée avec des encres cimentaires bas carbone
Algorithmes d'optimisation avancés pour les tests groupés
Emulation sur FPGA des réseaux de neurones à impulsion
Developper des services logiciels durables à l'aide de modèles à grande échelle
Conception d'observateur non linéaire utilisant des outils d'IA
La génération et l'interaction multimodales en 3D du corps humain
Modélisation et contrôle dynamique d'une classe de bras hybrides Continuum-Rigide : suivi de forme et interaction avec l'environnement
Génération de données de santé synthétiques sous contraintes de confidentialité et de diversité
Modèles Génératifs pour des Interactions naturelles entre humains et agents virtuels dotés d’une IA (GenInterHuman)
Neurones, éclatement et contrôleur/observateur adaptatif : contraction induite
Le traçage des règles métier dans le code source
Contrôle actif des écoulements turbulents modélisés par des équations aux dérivées partielles
Vers une navigation autonome de satellites robotiques hétérogènes dans un environnement non structuré
Extraction et analyse de données pertinentes dans un logiciel de gestion électronique de documents non structurés
Algorithmes bioinformatiques et modèles évolutifs pour la paléoprotéomique
Confidentialité Différentielle pour l'Apprentissage Décentralisé
Apprentissage par renforcement (RL) à l'aide de réseaux de neurones sur graphes pour l'optimisation combinatoire
Résolution de problème d'optimisation bi-niveaux sous incertitude
Conception et pilotage de systèmes de production d’énergie efficients et résilients. Application aux systèmes de production d’hydrogène vert
Evaluation et amélioration des taux de service dans un réseau de stations d'hydrogène propres
Méthode d'analyse de graphe pour la prédiction d'interactions protéine-proteine à grande échelle
Apprentissage par renforcement basé sur des modèles appliqués au contrôle avancé des procédés industriels
Deep Learning géométrique appliqué aux maillages
Interaction proxémique semi-privée pour la collaboration co-localisée
Technologies scalables de protection de la vie privée pour l'apprentissage fédéré
Infrastructure routière intelligente collective par approche individu-centrée et apprentissage
Architectures logicielles frugales pour le déploiement de micro-services natifs dans le cloud
Tolérance aux fautes et coopération Homme Machine pour la conduite autonome de niveau ≥ 3
Analyse de sécurité des standards web existants et futurs
Réduire le coût du debugging avec la première génération de debuggers orientés objet
Algorithmes asynchrones de MCMC pour de l'inférence Bayésienne rapide
Étude de l'impact énergétique des Large Language Models pour le code
Contrôle des émissions de tâche de calcul haute performance
Certification numérique pour les courbes algébriques avec singularités
Privacy-Preserving Machine Learning
Elaboration d’outils d’intelligence artificielle pour assister la composition de tablatures pour guitare
Commande d'un système de bioréacteurs interconnectés pour la réutilisation des eaux usées en agriculture
Dimensionnement des systèmes embarqués à criticités multiples pour une exécution efficace des algorithmes d'intelligence artificielle
Protocoles sécurisés pour un apprentissage machine décentralisé et vérifiable
Génération Automatique de Tests basée sur l'Apprentissage Automatique
Apprentissage par renforcement sous contraintes
Conception de réseaux de services logistiques écologiques et économiques : Modèles et algorithmes d'aide à la décision
Visualisation et requête pour la biologie dans les graphs de De Bruijn utilisant des bases de données relationnelles
Détection, suivi et apprentissage du comportement multi-piétons – application à l’étude des déplacements
Modélisation formelle et fiabilisation des configurations des réseaux cloudifiés
Diagnostic en-ligne des systèmes dynamiques complexes : complémentarité des méthodes à base de modèles et des méthodes guidées par les données. Application à des manipulateurs robotiques souples éco-conçus.
Dégradation des performances des applications en ligne afin de réduire l'empreinte carbone du cloud
Détection des deepfakes : combinaison des caractéristiques liées au bruit et à la sémantique et amélioration de la généralisation à de nouveaux générateurs
Apprentissage par renforcement profond à partir de préférences humaines
Echo-Debugging : méthodes et outils pour identifier et comprendre les bogues des logiciels
Equité et confidentialité en apprentissage automatique
Acquisition des compétences comportementales en réalité virtuelle (immersive)
Optimisation parallèle exascale en utilisant les décompositions basées sur les fractales
L'équité dans l'apprentissage fédéré
Apprentissage automatique de réseaux d'interactions dans les écosystèmes marins
Interpretation abstraite des dynamiques d'un réseau de réaction avec une information cinétique partielle
Conception et pilotage de systèmes de production d’énergie efficients et résilients. Application aux systèmes de production d’hydrogène vert
Détection automatique des vulnérabilités et exploitation d'attaques à exécution transiente
Faire avancer la vision basée sur les évènements grâce aux mécanismes d'attention neuromorphiques
Vulnérabilités par canaux auxiliaires dans les environnement web
Ordonnancement temps-réel hiérarchique pour les plateformes hétérogènes distribuées
Méthodes formelles pour la vérification de logiciels distribués depuis le Cloud jusqu'à l'IoT.
Détection automatique de vulnérabilités dues aux canaux auxiliaires microarchitecturaux
Structures d'indexation distribuées pour la bioinformatique
Algorithmes MCMC distribués en astronomie et cosmologie
Réseaux de neurones impulsionnels pour l’analyse spatio-temporelle dans les vidéos
Vérification automatique de programmes Catala
Dispositifs et Techniques pour l’Interaction Expressive en Réalité Virtuelle et Augmentée
Allocation des efforts de recherche d'une flotte de drones sous-marins
Apprentissage profond sur graphes pour la vision par ordinateur - Application à la reconnaissance d’expressions faciales
Conception et analyse de mécanismes flexibles
Elaboration d'un algorithme de comparaison de structures de biomolécules basé sur des caractéristiques chimiques et biologiques
Analyse efficiente et scalable de cancer par l'exploration avancée à grande échelle du transcriptome
Planification de mouvement et contrôle distribuée pour la navigation coopératif sécurisé des systèmes multi-agents incertains
Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques
Estimation d'État des Réseaux de Petri Temporels avec des Applications à l'Opacité et au Pronostic des Défaults des Systèmes à Événements Discrets
Compilation et aggrégation dans les bases de données
La conception automatique et optimisation multi-objectifs de réseaux de neurones pro-fonds parallèles pour la détection automatique des incidents en temps réel
Conception et développement d'indicateurs de performances intelligents pour l’aide à la préservation de l'environnement en se basant sur la stratégie dite "eau-air-sol"
Intégration des méthodes de prévision dans les modèles d'optimisation : application à la logistique urbaine
Contrôle de consensus entièrement distribué dynamique déclenché par double évènement pour les systèmes multi-agents linéaires
Profileurs pour des logiciels plus frugaux
Conception optimale d’un système multi-énergies appliquée à un bâtiment commercial - COSMAC
Apprentissage par renforcement continu en environnement dynamique
Représentations sémantiques pour l'apprentissage par renforcement interprétable
Algorithmes de bandit pour les essais cliniques précoces en vaccinologie
Technologies fiables et multi-sites renforçant le respect de la vie privée
Conception d'incitations pour une meilleure intégration de la mobilité urbaine partagée au sein des transports publics
DSL et cartes scriptables pour la cartographie de système patrimoniaux
Utilisation de signaux haptiques pour améliorer l'interaction par micro-gestes
Approches de traitement automatique du langage naturel dans le domaine musical : adaptabilité, performance et limites
Analyse topologique de données distribuées
Caractérisation de maladies à partir de courriers médicaux, à l’aide d’optimisation combinatoire sur plongement lexical
Contrôle non linéaire basé sur l’homogénéité des systèmes couplés
Conception et modélisation des mécanismes origami
Modèles Computationnels pour le Changement Sémantique Lexical
Robotique médicale : le robot chirurgical souple pour endoscopie de précision
Génération de benchmarks
Apprentissage par Transfert Préservant la Confidentialité et l’Utilité pour l’Anonymisation de Texte
Comprendre et concevoir avec l'erreur dans les systèmes interactifs
Coordination de flotte distribuée, évolutive et efficace pour les robots mobiles agricoles
Commande des systèmes affines à commutation
Eco-conception de manipulateurs parallèles déformables à partir de matériaux végétaux
Développement de méthodologie de détection fiable pour la stéganalyse en exploitant l'apprentissage actif
Faciliter l'évaluation des compétences en programmation pour les débutants.
Représentation d'ensemble de k-mers préservant la localité
Comportement collectif intelligent et adaptatif pour une flotte de robots aéro-terrestres
Vers la réduction du fossé entre l'induction et la déduction : le cas de l'apprentissage par renforcement
Théorie des bandits pour le suivi personnalisé de patients
Apprentissage par renforcement responsable : robustesse et confidentialité pour et par la prise de décision séquentielle
Parallélisation automatique et optimisation pour les langages dynamiques
Conception et développement d'un langage orienté micro-services
L'apprentissage par la théorie des jeux sur les marchés intelligents
Re-design of the entry pipeline in interactive systems
Stéganographie via modèle de diffusion
Outils semi-automatiques pour la gestion d'information dans des espaces collaboratifs
Modélisation de la dynamique du mouvement : combinaison des modèles théoriques et des modèles des données expérimentales
Jumeau numérique à base d'apprentissage profond pour convertisseurs de puissance
Commande non linéaire du robot élancé flexible modélisé par la théorie de Cosserat.
Une Approche Dénérative de la Construction de Machines Virtuelles
Comprendre et modéliser la découverte desInteractions Humain-Machine
Simulations haute performance et précises de la toile cosmique de l'Univers
Processus ponctuels déterminantaux pour le transport optimal
Traitement dynamique de vulnérabilités Android par l'intégration d'eBPF
Intelligence artificielle et génération de données synthétiques sous contraintes de confidentialité
Approches robustes dans les problèmes de décision séquentielle et d'apprentissage
Conception, modélisation et développement d'un robot endoscopique chirurgical souple
Apprentissage par renforcement inspiré des bandits pour explorer de vastes environnements stochastiques
Machine learning distribué en environnements omniprésents utilisant des modèles dépendant de la localisation
Modélisation de la régulation de l'absorption de glucose dna sles cellules de l'intestin
Attaquer la "large échelle" : calcul haute performance pour l'intelligence computationnelle
Nouveaux observateurs pour les systèmes dynamiques non-linéaires via la théorie de Lie avec des applications à la robotique
Mécanismes d'incitations adaptatifs pour le calcul d'équilibres sous différentes structures d'information applications à la coordonation de la recherge intelligente de véhicules électriques
Méthodes de Monte-Carlo avec processus de Coulomb.
Théorie de la réalisation pour le contrôle adaptatif et l'estimation des systèmes hybrides
Modélisation par équations intégrales et apprentissage
Intelligence Artificielle pour l'analyse prédictive des maladies à partir de données biologiques
Méthodes formelles pour la confidentialité différentielle
Vers des systèmes logiciels complexes et auto-adaptatifs
Connexion efficace entre capteurs et processeurs neuromorphiques
Conception intégrée pour la robotisation de fauteuils roulant communicants
Vers un apprentissage automatique générique, décentralisé, sécurisé et préservant la vie privée
Migration de Fortran77/Esope vers Fortran2003
Un cadre général d'optimisation pour les problèmes de routage et d'ordonnancement intégrés
Optimisation exacte exascale basée sur l'approche MPI+X
Parameterized complexity : A tool for multiobjective problems. Application to lung cancer detection
Modélisation informatique des mélodies aux instruments à vent
Approche neuromorphique pour l'analyse de données atmosphériques
Simulation d'insertion d'aiguille dans un fantôme prostatique actif bio-inspiré : application à la biopsie et à la curiethérapie
Tests adaptatifs sous contraintes de frugalité
Interaction gestuelle sur contenus complexes : une approche orientée niveau de détail
Performances artistiques immersives collaboratives
Détection de neuromarqueurs par une Interface Cerveau-Ordinateur passive pour l’amélioration de l’expérience utilisateur en Réalité Virtuelle
Structures de données efficaces pour l'indexation des séquences de troisième génération
Compréhension des comportements clients pour une stratégie marketing efficace
Défis réels pour la théorie de l'apprentissage par renforcement
Garantie d'équité dans l'apprentissage automatique
Approche bayésienne et problèmes inverses pour l'estimation des propriété de galaxies
Administration Autonome des Systèmes de Base de Données
Vers des stratégies de tarification axées sur l'énergie pour le cloud
Nouvelles approches de rééquilibrage dynamique de flottes
Caractérisation du comportement dans les systèmes intelligents et profonds, avec des nœuds hétérogènes et reprogrammables
Contrôle non linéaire du mécanisme rigide-flexible modélisé par des équations
Modélisation et génération semi-automatique d’arrangements musicaux pour favoriser la pratique musicale d’ensemble
Développement d'un Écosystème d'Apprentissage Adaptatif Exploitant les Profils Utilisateurs, les Méthodes Évolutives et les Modèles de Langage Development of an Adaptive Learning Ecosystem Exploiting User Profiles, Evolutionary Methods and Language Models
Contrôle optimal des systèmes complexes incertains : approche d'intelligence artificielle basée sur l'apprentissage
Développement de services logiciels durables basé sur des modèles de langage (LLM)
Analyse de vidéos multi-spectrales pour la reconnaissance de textures déformables observées par une caméra de type snapshot
français
English