Projets financés
Representations Hierarchiques Compositionelles pour la Vision par Ordinateur – HiCoRe
En dépit des avancées realisees lors de la dernière décennie, la reconnaissance d’objets déformables à partir de différentes vues reste un problème largement ouvert. Le problème de reconnaissance inclut les tâches suivantes : dire si un objet d’une catégorie particulière, telle qu’un visage ou une v
Classes héréditaires de graphes – HEREDIA
Les propriétés héréditaires des graphes fournissent un cadre général pour étudier les graphes. Plusieurs théorèmes généraux importants ont été obtenus, et cette approche est un élégant moyen d'unifier diverses notions et techniques de preuve. De plus, les classes héréditaires de graphes jouent un rô
Méthodes algorithmiques pour les graphes infinis – AMIS
La complexité du monde ne permet pas de prédire avec exactitude son comportement. Il faut donc concevoir des modèles, des abstractions suffisamment fidèles pour tenter de le comprendre. En informatique, il est parfois indispensable de garantir le respect par un programme de ses spécifications, si po
Dynamiques de Topologies de Graphes – DynGraph
Les graphes (c'est-à-dire des ensembles de noeuds reliés deux à deux) apparaissent dans de nombreux contextes. On peut citer les résesaux d'amitié, l'infrastructure de l'internet, le Web, les chaînes alimentaires, les réseaux routiers, etc. Depuis la fin des années 90, de nombreux travaux ont montré
Exploration et VIsualisation de Données rElationnelles dyNamiques – EVIDEN
Nous avons pour identifié trois aspects liés au dynamisme des données sur lesquels nous souhaitons contribuer. Le premier porte sur l'évolution de la topologie des réseaux. Le deuxième est sur l'évolution d'attributs associés aux éléments et relations de ces réseaux. Ces deux premiers aspects porten
Décompositions de Structures Relationnelles et Optimisation Combinatoire – DORSO
Ce projet traite d'aspects fondamentaux de l'informatique, à savoir, des aspects théoriques des décompositions des graphes, hypergraphes et autres structures combinatoires. Ces dernières décennies, de nombreuses techniques de décompositions ont été définies et ont aidé à prouver des conjectures et à
Réseaux biologiques, Radiothérapie et Structures – BIRDS
La proton-thérapie est une variante de la radiothérapie externe basée sur l'utilisation de faisceaux de protons. L'avantage majeur de cette technique réside dans le fait que tous les protons d'une certaine énergie partagent une distance de pénétration dans le patient calculable (aucun proton ne pénè
Causalité et information quantique – CausaQ
Au cours de ces dernières années, l’information quantique a émergé comme une nouvelle force dans un monde fondé sur l’information. En encodant l’information dans des états quantiques et en les manipulant de manière contrôlée, surviennent de grands avantages par rapport au traitement de l’information
Modèles scalables pour l'exploration interactive de la nature à l'échelle de la Terre – SimOne
Le but global du projet est de fournir des représentations et des algorithmes pour une navigation temps-réel, sur du matériel grand public, dans un modèle de Terre virtuelle réaliste et plausible. Nous visons le rendu du terrain, de la végétation, de l'eau et des nuages (nous excluons toutes les con