Projets financés

Mots-clefs : algorithmes, combinatoire des arbres, superarbres, modèles combinatoires et probabilistes, données haut-débit et multi-échelles, évolution des espèces, analyse de gènes et de génomes, visualisation de collections d'arbres. Le but de ce projet est de proposer des algorithmes pour répondr

Les problèmes de reconstruction sont centraux en combinatoire. Nous pouvons par exemple mentionner la question de déterminer, parmi un ensemble de vecteurs binaires, un sous-ensemble minimal dont la somme (ou exclusif) est égale à un vecteur donné. Dans le cadre de la théorie des codes correcteurs d

L'inversion acoustique articulatoire, c'est-à-dire la récupération automatique des gestes articulatoires de la parole, représenterait une avancée stratégique en traitement automatique de la parole. En effet, cela ouvrirait la voie à de nouvelles applications : synthèse de la parole et têtes parlante

La théorie algorithmique de l'information (ou complexité de Kolmogorov) a été conçue comme une théorie de l'information issue de la notion d'algorithme. Fondée dans les années 60 mais principalement développée dans les années 70 à 80, cette théorie est devenue célèbre par la beauté et la simplicité

Les signaux acoustiques sont porteurs d'une information très riche sur les phénomènes physiques complexes sous-jacents. Leur mesure et leur traitement est au coeur de nombreux domaines d'application, depuis les communications vocales et la production audiovisuelle (signaux audiophoniques) jusqu'au c

Le développement de technologies centrées sur XML est sans précédent. De nombreux standards ont été ou sont actuellement définis par des organisations internationales telles que le W3C ou l'ISO. Cette intense activité de standardisation couvre des domaines aussi variés que l'interrogation, la r

Ceci est une proposition de recherche fondamentale dans le domaine des codes correcteurs quantiques. Les applications possibles concernent à la fois la fiabilisation des mémoires dans le domaine des nano-technologies, des calculs quantiques effectués dans un ordinateur quantique et des communica

Le problème auquel on se propose de s'attaquer dans ce projet est celui de l'analyse syntaxique automatique probabiliste à large couverture du français. L'analyse syntaxique automatique consiste à produire, à partir d'une phrase d'une langue donnée, toutes les analyses syntaxiques de cette dernière.

Le but du projet PARTOUT est d'étudier, à partir d'un point de vue langage de programmation, l'impact de la globalisation du parallélisme qui couvre maintenant tout le spectre de l'informatique, en partant des architectures multicores, en passant par les multiprocesseurs et les systèmes distribués,

Notre projet consiste à réunir les forces des experts des deux communautés du calcul probabiliste et quantique. Notre objectif principal consister à contribuer significativement dans les domaines du calcul probabiliste et quantique, mais aussi, en réunissant nos compétences, à assurer un transfert

Les niveaux les plus élevés des standards de développement logiciel, comme le niveau EAL7des Critères Communs pour la certification de systèmes et des composants critiques, exigent l'utilisation de techniques formelles fondées sur des sémantiques mathématiques strictes. Ces techniques sont mécanisée

ClasSel est un projet de recherche académique qui vise à développer des méthodes pour transformer des données en connaissances. Les données en question sont sous la forme d'une matrice individus-variables. Nous cherchons à comprendre comment construire de manière automatique, à partir de données, de

L'équipe de NatImages s'attaque au problème difficile de l'extraction d'informations dans les images naturelles et les textures. Nous considérons plus particulièrement trois applications: le tatouage compressible, l'imagerie optique du cortex et l'imagerie astrophysique. Ces trois applications néces