Projets financés
Méthodes d’extraction d’information biologique dans les données HTS non assemblées – Colib'read
Depuis quelques années, la génomique connait un changement sans précédent en raison de l'arrivée des nouvelles générations de séquençage (NGS ou HTS en anglais). Ces technologies génèrent de grands flots de données d'un nouveau type. Des méthodes informatiques innovantes doivent être développées pou
Cribles: Améliorations Théoriques et Résolution Effective du Logarithme Discret. – CATREL
Étude et amélioration des algorithmes de logarithme discret sur les corps finis. La difficulté de ce problème est cruciale pour l'évaluation de la sécurité de nombreux cryptosystèmes. Les publications du projet sont en ligne: http://catrel.loria.fr/publications.fr.html Le projet a pour vocation
Techniques algorithmiques pour les modèles de données à accès restreint – RDAM
Les considérations de temps conduisent à des restrictions naturelles modélisées par des algorithmes en temps sous-linéaire. Les algorithmes en temps sous-linéaire, et parmi eux les testeurs de propriété, imposent une vue partielle de l'entrée. Ils sont intrinsèquement robustes face aux données corro
GREediness: Theory and Algorithms – GRETA
L'objectif principal de GRETA est d'établir et d'identifier des liens méthodologiques entre l'apprentissage automatique et traitement du signal du point de vue des méthodes gloutonnes. Plus précisément , nous allons aborder et apporter des solutions originales aux problèmes partiellement résolus sui
Techniques ASP pour l'interrogation d'informations web hétérogènes multisources à grande échelle – ASPIQ
L'objectif de ce project est de proposer : 1. Des extensions de l'ASP standard pour la représentation de sous-langages traitables de OWL2 afin de fournir une représentation commune des connaissances fournies par de multiples sources, permettant de traiter l'incohérence, les exceptions, l'incertain
Protections Arithmétiques Vis à vis des attaques physiques pour la cryptOgraphIe basée sur les courbeS elliptiques – PAVOIS
Ce projet porte sur l'étude de solutions au niveau arithmétique mixant efficacité à l'exécution et résistance aux attaques physiques par canaux cachés pour des crypto-systèmes à base de courbes elliptiques (ECC) sur des plateformes à base de circuits FPGA ou ASIC et sur des processeurs multicœurs. U
Exploitation du contexte pour la reconnaissance de noms propres dans les documents diachroniques audio – ContNomina
Le traitement automatique de données diachroniques est un sujet qui a suscité de très nombreuses études ces dernières années, dans des contextes scientifiques et applicatifs très variés. Une des raisons majeures de cet intérêt est lié au développement des médias « low cost » et des cycles de diffus
Théorie des algorithmes : machines, complétude, axiomatisation et contraintes physiques – TARMAC
Une grande quantité d'algorithmes a été conçue et présentée en utilisant différents outils. Mais la question "qu'est-ce qu'un algorithme?" est restée sans réponse jusqu'à la fin du XXe siècle. La solution n'est venue que récemment, à la suite d'une combinaison de trois approches successives à cet
Analyse d'erreurs avancée pour la reconnaissance de la parole – VERA
La proposition vise à développer des outils de diagnostic, de localisation et de mesures d'erreurs de transcriptions, en s'appuyant sur un consortium d'acteurs académiques de tout premier plan dans ce domaine. L'objectif est d'étudier en détail (au niveau perceptif, acoustico-phonétique, lexical, s