Projets financés

L'objectif de ce projet est le développement d'algorithmes et d'outils efficaces pour la vérification automatisée de protocoles cryptographiques, capables d'analyser de manière exhaustive des modèles détaillés de protocoles déployés en s'appuyant sur des techniques de raisonnement automatique. Le ra

Les institutions financières et les autorités de régulation souhaitent introduire dans les systèmes LCB-FT des outils d’IA plus sophistiqués. Les institutions financières voient l’IA comme un moyen de réduire les coûts. Les autorités de régulation voient l’IA comme un moyen de détecter des réseaux d

Le but de ce projet est de développer une nouvelle théorie de l’optimisation séquentielle et active, de la mettre en œuvre dans des projets industriels, et de développer une filière d’enseignement dédiée à l’apprentissage automatique en général et à la théorie de la décision séquentielle en particul

Notre objectif ultime est de concevoir de nouvelles techniques d'apprentissage capables à la fois de traiter directement des données géométriques et de combiner et d'intégrer différentes sources de données dans un pipeline d'analyse unifié. Pour atteindre ces objectifs, il faudra développer de no

Les robots effectuent des actions dans le monde réel en fonction de leur perception et de leur compréhension de l'environnement, alors qu'ils interagissent physiquement avec lui. L'ensemble de ces capacités sont des applications concrètes des outils de l'intelligence artificielle (IA). Dans ce conte

L'intelligence artificielle (IA), avec les progrès récents de l'apprentissage statistique par machine (ML), vise actuellement à révolutionner la manière dont la science expérimentale est menée. En physique, chimie, biologie, neurosciences ou médecine, les données sont désormais le moteur de nouvelle

Nous voulons enrichir les bases de connaissances avec des événements, des causes, des conditions, des préséances, des histoires, des négations et des croyances. En particulier, nous étudierons l’expression du sentiment. Nous voulons extraire ce type d’informations à grande échelle à partir de sou

Nous cherchons à relever les défis de l'identification de la biodiversité par le crowd-sourcing. L'informatique de la biodiversité est une discipline jeune (le terme a été inventé au début des années 1990) s'appuyant sur des informations taxonomiques, biogéographiques ou écologiques. Pl@ntNet, un p

* Améliorer les opérateurs de révision de croyances * Améliorer les opérateurs de fusion de croyances * Développer les mesures d'incohérences et les mesures de conflits * Appliquer l'ensemble de ces outils à l'analyse d'information multi-source * Illustrer les outils développés dans ce projet da

Dans les méthodologies classiques de cartographie cérébrale, la variabilité du plissement cortical est traitée comme du bruit et est gommée autant que possible en alignant tous les cerveaux avec un cerveau modèle. Cependant, certains groupes de recherche considèrent que les motifs du plissement pour

Pour relever ce défi, nous proposons de tirer parti de la croissance rapide des sources de données : les informations de localisation rapportées dans les publications neuroscientifiques, les images du cerveau et leurs annotations partagées comme des ressources ouvertes et quelques jeux de données de

Les biologistes développent des modèles complexes de cellules, les écologistes modélisent la dynamique des écosystèmes à l'échelle mondiale. Une seule évaluation de ces modèles complexes prend des minutes ou des heures sur le matériel informatique actuel et l'adaptation de modèles probabilistes aux

Les dernières années ont été marquées par l’essor du Machine Learning, qui a permis des gains en performances significatifs dans plusieurs domaines d'application. Outre les progrès méthodologiques indéniables, ces gains sont souvent attribués à de grandes quantités de données d'entraînement et à la

La génération en langue naturelle (GLN) produit du text à partir de données, de textes ou de représentations sémantiques. Avec l'essor de l'IA et de l'apprentissage profond, le domaine de la GLN s'est développé à une vitesse exponentielle. Si la GLN a de nombreuses applications possibles (résumé aut

Le projet AI4ORSafety vise à proposer de nouvelles méthodes d’analyse des vidéos endoscopiques pour construire un système d’IA au bloc opératoire capable de vérifier automatiquement la réalisation de certaines étapes de sécurité. Ce projet s’intéresse à une application chirurgicale à fort impact: le

Avec l'arrivée de la "science des données", l'apprentissage statistique change la prise de décisions dans beaucoup de domaine, tels que la santé ou les affaires. Cependant, point de friction est souvent, non pas dans l'analyse statistique, mais dans la combinaison de données de différentes natures o

Les progrès récents en intelligence artificielle dans le domaine de l'apprentissage statistique en général et celui des réseaux de neurones profonds en particulier, permettent d'envisager l'utilisation de ces technologies dans la conception de véhicules de plus en plus autonomes. Mais avant que ce f

Les données numériques, en format textuel, semi-structuré ou structuré, que ce soit du CSV, RDF, JSON etc. sont produites à un rythme très important, et fournissent un miroir numérique de l'activité humaine. Les données numériques sont souvent au coeur de la démocratie et du débat public. Ceci exige

Cette chaire ouvre le paradigme "ADvanced Submarine Intelligent Listening". Elle est portée par H. Glotin, membre honoraire IUF, et ses 3 collègues LIS à Toulon experts en Deep Learning et acoustique / bioacoustique. Cette équipe avait notamment sur projet connexe reçu Y. Lecun en 2013 et lancé des

Le rapport Villani met l’accent sur l’importance de maitriser l’IA dans le domaine de la sécurité et de la défense. La France se doit de garder un avantage sur ses adversaires et d’être une référence sur cette technologie aux vues de ses alliés. Une dépendance à une technologie non-européenne est un

SHERLOCK est un projet équilibré entre un projet de recherche et un projet de formation au niveau Master de recherche. Son originalité tient à 3 motivations essentielles : un programme de recherche prometteur en IA avec des applications interdisciplinaires en astrophysique et en chimie, un programme

L’observation de la terre, que ce soit par satellites, avions ou drones, permet de mieux appréhender la dynamique des systèmes environnementaux et sociétaux de notre planète. C’est un outil crucial pour comprendre l’impact de l’homme sur notre terre. Le développement rapide des cinquante dernières a

. . . . Au cours de la dernière décennie, l’apprentissage machine et les réseaux de neurones profonds (DNN) ont été au cœur d'une révolution technologique et scientifique de l’Intelligence Artificielle (IA). En classification d'images, les DNN constituent l'approche phare depuis 2012, où pour la pre