Recherche
-
Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification
(Bordeaux 1, 2011-03-17)Thèses de doctorat -
Thermothérapies guidées par IRM sur organes mobiles : avancées sur la correction en temps réel du mouvement et de la thermométrie
(Bordeaux 1, 2011-05-25)Thèses de doctorat -
Étude des problèmes d’ordonnancement sur des plates-formes hétérogènes en modèle multi-port
(Bordeaux 1, 2011-08-30)Thèses de doctorat -
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions
(Bordeaux 1, 2011-06-27)Thèses de doctorat -
Réalité augmentée pour l’ aide à la navigation
(Bordeaux 1, 2011)Thèses de doctorat -
Indexation de la vidéo portée : application à l’étude épidémiologique des maladies liées à l’âge
(Bordeaux 1, 2011)Thèses de doctorat -
Signatures électroniques avancées : modélisation de la validation à long terme et sécurité des autorités de certification
(Bordeaux 1, 2011-04-06)Thèses de doctorat -
Perception visuelle pour les drones légers
(Bordeaux 1, 2011-11-03)Thèses de doctorat -
Diagrammes d’Euler pour la visualisation de communautés et d’ensembles chevauchants
(Bordeaux 1, 2011-12-02)Thèses de doctorat -
Visualisation d'information : de la théorie sémiotique à des exemples pratiques basés sur la représentation de graphes et d'hypergraphes
(Bordeaux 1, 2011-10-18)Thèses de doctorat