Votre recherche
Des outils pour la vérification symbolique automatisée de protocoles cryptographiques déployés
Les protocoles cryptographiques jouent un rôle crucial dans la protection des communications et des transactions en ligne. Ils doivent assurer la sécurité même en présence d'attaquants arbitraires qui peuvent contrôler le réseau, compromettre partiellement les participants et participer eux-mêmes. Dans ce contexte des preuves formelles et automatisées sont une nécessité pour assurer des garanties de sécurité sur ces protocoles de plus en plus complexes.
Explicabilité de l'intelligence artificielle pour la lutte contre le blanchiment d'argent
Les systèmes actuels de LCB-FT sont coûteux. Ils s’appuient sur des algorithmes à base de règles préétablies, ils émettent un grand nombre de faux positifs, et leur contribution réelle à la saisie des fonds criminels est controversée. Les outils d’IA offrent de nouvelles perspectives pour améliorer l’efficacité de la LCB-FT, mais des incertitudes sur le plan réglementaire, notamment concernant le manque d’explicabilité des algorithmes d’apprentissage automatique, est un frein majeur.
Apprentissage séquentiel et actif pour l'optimisation
Sequential and Active Learning for Optimization
Analyse des Collections des Données Géométriques de Grande Taille
Dans le projet de recherche associé à cette chaire, nous proposons de développer des algorithmes efficaces et des outils mathématiques pour analyser de grandes collections de données géométriques, y compris des formes 3D représentées sous forme de maillages triangulaires ou quadrilatères, des données volumétriques, des nuages de points éventuellement intégrés dans de grandes dimensions et des graphiques représentant des formes géométriques. (par exemple, la proximité).<br />Notre projet est motivé par le fait que de grandes collections annotées de modèles géométriques sont récemment devenues disponibles, et que les algorithmes d'apprentissage automatique appliqués à ces collections ont montré des premiers résultats prometteurs, tant pour l'analyse que pour la synthèse des données. Nous pensons que ces résultats peuvent être considérablement étendus en s'appuyant sur les avancées récentes dans le traitement, l'optimisation et l'apprentissage de la géométrie.
Algorithmes de contrôle partagé pour la coopération entre homme et groupes de robots
L'objectif de MULTISHARED est de faire progresser l'état de l'art en matière d'autonomie multi-robot et d'interaction homme-multi-robot pour permettre à un opérateur humain de contrôler le mouvement coordonné d'un groupe de multi-drones, en mettant l'accent sur la répartition des rôles entre l'autonomie multi-robot et l'intervention/le guidage humain pour fournir des commandes de haut niveau au groupe tout en étant le plus conscient de l'état du groupe via la RV et la technologie haptique.
Intelligence Artificielle et Neurosciences
Bridging Artificial Intelligence and Neuroscience
Modéliser et extraire des informations complexes du texte en langage naturel
La chaire NoRDF est un projet scientifique à l’école d’ingénieurs Télécom Paris qui vise à modéliser et extraire des informations complexes à partir d’un texte en langage naturel.
Apprentissage automatique et optimisation coopératifs.
L'objectif de la Chaire CaMeLOt est de relever les défis modernes du crowd-sourcing, du peer-grading et de fournir un cadre mathématique unifié et des algorithmes efficaces pour faire face à l'apprentissage et à l'optimisation coopératifs et décentralisés.
Interactions aérosols-nuages: rôle des composés organiques sur l'activation des gouttelettes d'eau de nuages
ORACLE a pour but d'améliorer la compréhension fondamentale du rôle que jouent les composés organiques sur l'activation des noyaux de condensation (CCN), en combinant des travaux expérimentaux et de modélisation. Les principaux objectifs sont :<br />- 1- étudier l'évolution de la tension de surface dans une gouttelette de solution en croissance.<br />- 2- élucider l'effet de la co-condensation sur la croissance des particules et la tension de surface.
Impact des modifications cotranslationnelles N-terminales plastidiales lors de la réponse au stress
Challenging the role of plastid cotranslational N-terminal modifications upon stress response.
