Projets financés

Le but est de contribuer à l'avancement de la modélisation des problèmes réels de la gestion du trafic aérien et au développement de méthodes efficaces pour leur résolution, en utilisant des approches mathématiques issues de l'optimisation nonlinéaire mixte en nombres entiers. Le projet s'inscrit p

The underlying scientific and technical challenges are : (i) the ability to generate relevant viewpoint suggestions following classical cinematic conventions. (ii) the ability to formalize and represent a number of characteristic elements of cinematographic style. (iii) the integration of moti

Before OBDA can be widely adopted in applications, some important foundational challenges need to be addressed. This project is centered on the following two challenges: Scalability: Modern-day relational database management systems benefit from decades of research on querying algorithms and opti

Le projet porte sur les fondations théoriques des méthodes formelles, notamment celles basées sur l'analyse statique (sémantique, systèmes des types), garantissant la validation et la vérification de logiciels. La sémantique quantitative est l’objet d’une activité de recherche féconde

La direction générale du projet est de définir de nouveaux modes de représentation pour les données multi-relationnelles, avec un intérêt particulier pour les bases de connaissances, ces graphes orientés étiquetés pour lesquels on associe des concepts aux nœuds et des relations aux arcs. L'objectif

Le but du projet de recherche ROMAnTIC (pour RandOmness in MathemaTIcal Cryptography, en anglais) est d'obtenir une meilleure compréhension de l'interaction entre l'aléa et la cryptographie et d'étudier la sécurité de protocoles cryptographiques nouveaux ou existants (au sens de la théorie de l'info

Le dessin est un outil de création et de communication puissant, mais nécessite des compétences artistiques et techniques pointues pour atteindre des résultats convaincants. Notre but est de faciliter et accélérer le dessin pour les amateurs ainsi que les dessinateurs professionnels. Dans la premièr

Lorsque les premiers problèmes de théorie des graphes sont apparus, ils étaient liés aux graphes plongés. En effet, les graphes considérés dans le problème des ponts de Koenigsberg ou encore ceux considérés dans le problème des 4 couleurs sont planaires (i.e. plongés dans le plan sans croisement des

Le but du projet CARTAPLUS est d'unir un petit groupe de chercheur.se.s autour de questions et d'objectifs ayant émergé récemment dans la combinatoire des cartes. Les motivations viennent des nouvelles directions et interactions qui ont émergé depuis quelques années entre la combinatoire des ca

Ce projet a pour objet les (semi-)groupes d'automate, c'est-à-dire les (semi-)groupes engendrés par des machines de Mealy. Cette possibilité de présentation pour des (semi-)groupes a été jusqu'à maintenant principalement étudiée par des mathématiciens via la théorie géométrique des groupes. Elle n'a

Quand et comment des structures non périodiques (comme les quasicristaux) peuvent être décrites par leurs seules configurations locales ? Simulations prometteuses, résultats théoriques ébauchés. Résultats théoriques 1 article de conférence, 1 chapitre de livre. Le titre complet du projet QuasiCool e

La communauté s’est tournée vers les ontologies pour créer des index sémantiques, destinés à améliorer la recherche et la fouille de données grâce aux connaissances médicales que ces ontologies formalisent. Cependant, outre l'existence de nombreuses ressources en anglais, il y a beaucoup moins d'ont