Recherche
Voici les éléments 1-4 de 4
Algorithmique et complexité des systèmes à compteurs
(2016-09-28)
L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources communes, de façon simultanée. De ...
Algorithmes de construction et correction d'arbres de gènes par la réconciliation
(2016-09-28)
Les gènes, qui servent à encoder les fonctions biologiques des êtres vivants,
forment l'unité moléculaire de base de l'hérédité.
Afin d'expliquer la diversité des espèces que l'on peut observer aujourd'hui,
il est ...
Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
(2016-05-25)
L’évolution continue des besoins d’apprentissage vers plus d’efficacité et plus de personnalisation a favorisé l’émergence de nouveaux outils et dimensions dont l’objectif est de rendre l’apprentissage accessible à tout ...
Analyse de maillages surfaciques par construction et comparaison de modèles moyens et par décomposition par graphes s’appuyant sur les courbures discrètes : application à l’étude de la cornée humaine
(2016-03-23)
Cette thèse se découpe en trois parties. Les deux premières portent sur le développement de méthodes pour la construction de modèles géométriques moyens et pour la comparaison de modèles. Ces approches sont appliquées à ...