Projets financés

L'objectif de ce projet est l'étude des quantités fondamentales de la théorie de l'information algorithmique, telles que l'information mutuelle et ces généralisations. De manière générale, nous nous intéressons aux contraintes universelles pour ces quantités. Nous nous concentrons sur les lois de la

Le sujet de ce projet est la conception d’algorithmes d’approximation efficaces pour des problèmes NP-difficiles d’optimisation combinatoire. Ces problèmes se retrouvent dans la plupart des domaines scientifiques - en réalité, la grande majorité des problèmes intéressants sont NP-difficiles et par c

L'objectif principal du projet HM-Science (Human-Machine Shared Control for Intelligent Safety and Energy of Smart Vehicles) est de développer pour les véhicules « intelligents », de nouvelles approches et de nouvelles architectures de commande afin de concevoir des systèmes de contrôle partagés cen

Ce projet aborde des questions et problèmes ouverts au delà du permutoèdre et de l'associaèdre. Notre travail se base sur une combinaison de techniques issues de plusieurs domaines. Cela inclut la combinatoire, la géométrie discrète, l'algorithmique, l'algèbre et les probabilités libres. Voici une s

ReCiProg est un projet collaboratif (Lyon-Marseille-Nantes-Paris) qui a pour but de construire d'étendre la correspondance preuves-programmes (dite correspondance de Curry-Howard) aux programmes récursifs et aux preuves circulaires pour des logiques et systèmes de types utilisants l'induction et la

L’objectif du projet IMPACTS est l’intégration accrue de la modélisation, de méthodes numériques et de synthèses de commandes pour les systèmes multiphysiques complexes implicites décrits par des équations différentielles ordinaires et aux dérivées partielles. Cette intégration repose sur les systèm

L’enjeu de ce projet est l’étude et l’approfondissement d’une connexion remarquable découverte en 2013/2014 par les porteurs de ce projet entre lambda-calcul (informatique théorique) et les cartes (combinatoire). Ainsi, nous avons d’un côté, le lambda-calcul, un modèle de calcul classique qui reste

Les problèmes d'optimisation discrets tels que le flot maximum ou le flot de coût minimum représentent le point d’appui de l'informatique-ils constituent des primitives fondamentales pour des algorithmes plus compliqués mis en œuvre dans les systèmes informatiques modernes. Aujourd'hui, la quantité

Les graphes orientés sont dans l'ensemble beaucoup moins bien compris que les graphes non-orientés, mais reçoivent depuis quelques années une attention de plus en plus soutenues, et des théories de plus en plus profonde commencent à voir le jour. Une notion centrale se dégage de ces travaux: les gra

Bien que la notion de "property graphs" soit largement utilisée comme modèle de données flexible dans de nombreuses applications, les systèmes actuels de traitement de base de données de graphes ne jouissent pas pour le moment de sémantique formelle bien définie sous-jacente aux langage de requête e

Le but de ce projet est d'explorer des questions algorithmiques et combinatoires liées à un nouvel invariant de graphes et de matrices, baptisé twin-width, introduit et développé par l'équipe. La twin-width a déjà permis d'avancer sur des questions en théorie algorithmique des graphes (comme celle d

Une tâche importante de la science des données consiste à représenter et à mettre en évidence l'interrelation entre des observables couplées. Le cas simple de deux observables qui varient dans le temps ou l'espace conduit à des signaux bivariés. Ceux-ci apparaissent dans pratiquement tous les domain

La conception d'un système informatique complexe peut être gérée par un haut degré de modularité, qui joue un rôle déterminant dans la maintenance d'un système tout au long de sa vie (mises à jour et reconfigurations). Ces systèmes contrôlent des aspects importants de notre vie, d'où l'importance d'

L'objectif du projet G4S est d'étudier la synthèse de contrôleur, traditionnellement et indépendamment étudiée par trois domaines de l'informatique : automate et logique, apprentissage par récompense, et optimisation. Dans ce cadre un agent évolue dans un environnement dont certaines actions sont co

Les graphes sont des outils essentiels à l'analyse des réseaux, qu'ils soient issus de données de neurosciences, de sociologie, de biologie moléculaire, de chimie, etc. Une pierre angulaire de l'étude de ces graphes est la matrice laplacienne L (qui encode leur structure) dont les propriétés algébri

Plusieurs révolutions récentes en imagerie reposent sur le calcul numérique. On peut penser à la microscopie par localisation de molécules uniques (Prix Nobel 2014) ou à la cryo-microscopie électronique (prix Nobel 2017). Elles ont pour point commun la nécessité d'effectuer préalablement une modélis

L'objectif de ce projet est d'étudier les propriétés combinatoires des cartes (i.e. de graphes plongés sur une surface) munies d'un modèle d'Ising. Si l'étude combinatoire des cartes (sans modèle d'Ising) a été l'objet de nombreuses recherches ces 20 dernières années et est maintenant bien compris

Un polynôme réel en une variable est hyperbolique si toutes ses racines sont réelles, ou de manière équivalente, s’il peut s’écrire comme le polynôme caractéristique d’une matrice symétrique. Tester efficacement cette propriété, qui peut s’étendre au cas en plusieurs variables, est un problème ouver

Le projet LEMONADE vise à explorer de nouvelles méthodes pour traiter conjointement les séries temporelles d’images de télédétection optique, via une modélisation espace-état et l’apprentissage de systèmes dynamiques. Les images de télédétection satellitaire avec une revisite temporelle importante s

Nous souhaitons étudier la complexité algorithmique de problèmes métriques de couverture dans les graphes. Leurs applications incluent le routage et la surveillance de réseaux de communication et de transport, la recherche d'information dans les bases de données, l'apprentissage automatique. Ils pos

Les progrès récents dans la conception de bactéries synthétiques génétiquement modifiées ont un impact potentiel élevé sur les nouvelles solutions de calcul biologique par les bactéries, telles que les applications de biodétection, la bioproduction et les médicaments intelligents. Ce projet de reche

Les algorithmes de compression actuels ne peuvent suffire à résoudre l'explosion de la quantité de données images et vidéos stockées sur les clouds. En effet, ceux-ci sont contraints par le fait que les signaux compressés doivent être décodés dans leur intégralité (à une distorsion près). Nous propo

Les jeux positionnels sont des jeux à deux joueurs, finis et à information complète. Ils sont décrits par un ensemble fini d'éléments et des sous-ensembles de ces éléments qui sont les ensembles gagnants, le tout étant représenté sous forme d'un hypergraphe. Les joueurs prennent chacun leur tour un