Projets financés

L'objectif de notre projet de recherche STOCH-MC est de développer le model-checking passant a l'échelle de très grand systèmes stochastiques et qui apporte des réponses exactes. Les grands systèmes stochastiques apparaissent naturellement dans de nombreux contextes, des réseaux aux systèmes biologi

0 Au terme de douze mois, la chaine méthodologique est complète et nous avons également commencé à étudier les aspects liés à la parallélisation et distribution du logiciel sur la plate-forme MIXCAM. Le projet avance normalement. Pendant la période suivante nous allons finaliser la chaine de trai

Le nombre de langues parlées en Afrique varie de 1 000 à 2500, selon les estimations et les définitions. Les états monolingues n'existent pas vraiment sur ce continent car les langues traversent les frontières. Le nombre de langues varie de 2 ou 3, au Burundi et au Rwanda, à plus de 400 au Nigeria.

La musique transcende sociétés et époques. Dans notre monde numérique, via lecteurs MP3, diffusion de radios ou cinémas Surround Sound, la musique, et plus généralement le traitement audio, affecte tout un chacun, où qu'il soit et de façon toujours plus personnalisée. Pourtant, Internet n'offre pas

Les sous-graphes induits jouent un rôle central dans la théorie des graphe, tant dans ses aspects structurels qu'algorithmiques. Un graphe H est un sous-graphe induit d'un graphe G si on peut obtenir H à partir de G en enlevant des sommets. Parmi toutes les notions de sous-graphes, celle-ci est la p

L’optimisation de processus décisionnels complexes fait l’objet d’études en Recherche Opérationnelle et en optimisation mathématique depuis de nombreuses années. Souvent, les problèmes abordés sont issus d’un découpage implicite des problématiques, qui a été fait compte tenu de la nature des problèm

Le projet Cathre prend ses racines dans les travaux de Squier et d'Anick, notamment, sur les propriétés des présentations de monoïdes et d'algèbres. En particulier, Squier a montré que, si un monoïde M admet une présentation par un système de réécriture fini, confluent et terminant, alors son troisi

Représentation de connaissances argumentatives, formalisation du raisonnement argumentatif, régulation de débats multiparties - état de l’art sur les méthodes d’agrégation de systèmes d’argumentation - état de l’art sur les sémantiques graduelles pour l’argumentation abstraite. Ces sémantiques so

Le calcul du pgcd est l'une des opérations les plus basiques en théorie algorithmique des nombres. Si le calcul rapide du pgcd de deux entiers a été très largement étudié, la situation est plus contrastée concernant le fait d'avoir au moins 3 entrées. Les systèmes dynamiques ont désormais pr

SoLSTiCe est un projet de recherche fondamentale qui a pour objectif de créer de nouveaux modèles et outils pour représenter et manipuler des images et des vidéos. Nous visons par exemple à rechercher des images ou des vidéos similaires à une requête donnée; reconnaître des objets dans des images ou

Le problème «P = NP ?« est largement reconnu comme le problème ouvert le plus important en informatique théorique. Etant donné la difficulté du problème, on en a proposé plusieurs version algébriques avec l'espoir qu'elles soient plus abordables que le problème initial. Notre projet porte sur l'une