Projets financés
Élaboration et instrumentation de langages pédagogiques graphiques centrés sur le métier des plate-formes de formation et dirigés vers les besoins des praticiens – GRAPHIT
De nombreuses institutions académiques mettent à disposition des enseignants et étudiants des plateformes de formation à distance. Pourtant leur usage n’est pas limité à la seule mise en place de formations à distance. Elles sont aussi disponibles et utilisables par tout enseignant souhaitant mettre
Modèles descriptifs et génératifs de l'organisation spatiale de textures d'éléments. Applications à l'imagerie médicale. – SPIRIT (SPatial InteRactions In Textures
L'objectif global du projet SPIRIT est de proposer de nouveaux modèles pour les textures structurées basées sur des éléments discrets. Les modèles développés se basent sur les relations spatiales intrinsèques à ce type d'image. Les objets spécifiques sont plus précisément : - proposer des modèles d
Modèles et Maillages Implicites – IM&M
L'objectif à travers ces outils est de permettre une démocratisation des logiciels de modélisation et d'animation d'une part en simplifiant leur développement mais surtout en proposant une grande accessibilité et une utilisation simple pour la prise en main rapide de ces outils par tout public. A ce
Vérification de propriétés d'indistinguabilité – VIP
Internet est un espace commun accessible à tous. Il est important de s'assurer du bon fonctionnement des applications que nous utilisons. Parce que les protocoles de sécurité sont difficiles à concevoir et à analyser, les techniques de vérification formelles jouent un rôle important. Cependant, la p
Graphes, Algorithmes et Probabilités – GAP
L'objectif de ce projet est de développer des outils mathématiques afin de contribuer à une formalisation rigoureuse de la méthode de la cavité. http://www.di.ens.fr/~lelarge/anr/ANR-results.html Nous pensons que les ambitieux travaux théoriques abordées par ce projet mèneront à l'élaboration de nou
Étude de relaxations semi-définies pour des problèmes de dimensionnement et ordonnancement de lots de production – LotRelax
Aujourd'hui, la concurrence mondiale oblige les entreprises industrielles à mieux concevoir et gérer leurs chaines logistiques. Notamment, il devient de plus en plus important de prendre les bonnes décisions concernant un des processus clés de la chaine logistique, la production de biens, car cela a
Combinatoire : permutations et fonctions symétriques. – PSYCO
Les objectifs du projet PSYCO sont de venir à bout de problèmes difficiles en combinatoire algébrique et énumérative. Trois thèmes de recherche principaux. 1. les TLT (en bijection avec les permutations) 2. l'étude des fonctions définies sur les diagrammes de Young 3. l'espace des coinvariants di
Gestes multi-dimensionnels pour l’interaction – MDGest
1. Établir des guides de conception pour les nouveaux gestes introduits ; 2. Concevoir et évaluer des « gesture widgets » (c.à.d. des objets graphiques assistant l’utilisateur dans la découverte, l’apprentissage et l’exécution des gestes) ; 3. Faciliter le déploiement via la description d’algorith
Connecter, Collaborer, Analyser : du Travail Individuel vers l’Analytique Visuelle Collaborative – FITOC
L'objectif de notre recherche est de développer des technologies qui facilitent l'analyse collaborative de données au sein du continuum entre travail mono-utilisateur asynchrone et travail multi-utilisateurs synchrone. Le principal défi de cette recherche est l'absence de principes de conception sur
Concurrence, mémoires faiblement cohérentes, et compilation certifiée – WMC
Les multiprocesseurs et les processeurs multi-coeurs sont désormais partout, mais la programmation de ces systèmes reste difficile. La mémoire partagée est l'abstraction fondamentale exportée par le matériel et, dans la plupart des systèmes, les processus communiquent à travers elle. Traditionnell
Learning with Multi-objective OptimizatioN – LEMON
Le projet LeMOn est un projet académique pouvant donner lieu à d'importantes retombées applicatives. Il se situe à l'intersection de trois domaines de recherche : la reconnaissance de formes, l'apprentissage artificiel et l'optimisation multi-objectif. Le projet repose sur l'idée principale que la p