Projets financés

Les cartes combinatoires, qui sont des graphes plongés sur des surfaces 2D (et qui peuvent être naturellement associées à des triangulations de ces surfaces), ont été étudiées avec succès dans divers domaines de l'informatique. Le but de ce projet est d’étudier les cartes 3D, vues comme généralisati

Ces dernières décennies, de nombreux capteurs intelligents et cartes sans contact ont été déployés dans le cadre de l'Internet des objets ou de la ville intelligente. Ces objets ont besoin de communiquer des données sensibles de façon sécurisée, mais ils ont peu de ressources disponibles: de faibles

Le projet REPRO vise à: - Approfondir notre compréhension de la structure des programmes informatiques en découvrant des représentations canoniques de programmes, - Explorer leurs applications aux problèmes d'équivalence et de synthèse de programmes. Une représentation canonique est une façon dif

Dans ce projet, nous proposerons des idées originales et nous développerons des algorithmes d’estimations efficaces reconstruisant les variables d’état nécessaires pour le contrôle et le diagnostic du véhicule autonome et connecté. Les problèmes considérés sont le suivi de véhicules, l’estimation de

Les vingt dernières années ont vu l'avènement des preuves assistées par ordinateurs en mathématiques, et ce phénomène prend de plus en plus d'importance. Elles mobilisent divers niveaux de sûreté numérique, depuis les calculs rapides et stables jusqu'à la preuve formelle des calculs. Cependant, les

DENISE vise à apporter des contributions méthodologiques fondamentales dans le domaine du traitement du signal audio. Ses promesses sont des économies de données et des gains de performance qui, à long terme, sous-tendent de forts avantages économiques et écologiques pour le domaine applicatif des t

Nous étudions des problèmes de communication nécessitant l'indétectabilité ou la confidentialité de localisation. Ces sont importantes, e.g., pour les «appareils intelligents» qui communiquent seulement pour envoyer de courts messages, où de nombreuses informations sensibles sont contenues non pas d

La récente omniprésence d'internet a eu un impact important sur notre vie privée, impact notamment accru avec la multiplication des services en ligne qui tirent bénéfices de nos données personnelles. Le chiffrement traditionnel ne résout malheureusement pas ces enjeux par nature : soit l'on peut déc

Le projet S3 va développer de nouveaux outils théoriques pour comprendre finement l'utilisation des ressources par les programmes -- centrale en complexité et en optimisation des langages de programmation. La difficulté principale qu'il faudra résoudre est l'interaction entre les arguments qui ne pe

L'objectif général du projet NICETWEET est de développer une méthodologie nouvelle et complète pour analyser le comportement social en présence de plusieurs DM, et de l'appliquer à des études de cas d'intérêt social (par exemple, les marchés des biens de confiance, des télécommunications et de l'éne

L'objectif de cette proposition est d'explorer les limites de la traitabilité des problèmes de calcul pour y découvir de dichotomies de complexité, en particulier dans les domaines peu explorés jusqu'à présent, et sous l'angle de la complexité paramétrée. En d'autres termes, notre objectif est de no

Le project AlgoKnot vise à raffiner notre compréhension de la complexité algorithmique et combinatoire des diverses facettes de la théorie des nœuds, ainsi qu'à élaborer des algorithmes efficaces et du logiciel pour étudier leurs relations. L'étude mathématique des nœuds a créé des ramifications da

Au tournant du XXIe siècle, une avancée significative a été réalisée en calcul distribuée grâce à l’utilisation d'outils issus de la topologie algébrique. L'approche topologique a permis d’obtenir de nombreux résultats remarquables en conception et analyse d'algorithmes, pour de grandes classes de t

L'objectif principal de KCODA est de comprendre quels problèmes d'optimisation et d'apprentissage peuvent être résolus de façon plus efficace en exploitant le fait que les données utilisées sont structurées, ce qui est par exemple le cas lorsqu'elles sont générées par une requête de base de données.

Le but de RUBIN-VASE est de concevoir et valider de nouveaux modèles variationnels pour l'évolution des activations neuronales dans les systèmes visuel et auditif, codant naturellement le principe neurobiologique de représentation efficace. En nous concentrant sur des modifications des équations de

Nous proposons de revisiter la logique, la calculabilité et la théorie de la complexité en utilisant les équations différentielles discrètes (EDd), que l'on appelle aussi équations aux différences finies. Nous avons prouvé récemment que les EDd donnent une approche originale et nouvelle entre le mo

Dans ce projet, nous visons à étudier les fondements du traitement de texte à grande échelle. Notre objectif est à comprendre la limite des calculs et à fournir de nouveaux algorithmes et structures de données ultra-efficaces pour le traitement de ces données, inspirés d'approches de hachage et de g

Le but de ce projet est de faire progresser les techniques pour prouver formellement l'exactitude des programmes qui utilisent des opérations probabilistes telles que, par exemple, la génération de nombres aléatoires. Il est important de noter que nos techniques seront quantitatives, exprimant les p