Search
-
Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles
(Bordeaux 1, 2010-11-13)Thèses de doctorat -
Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes
(Bordeaux 1, 2010-01-11)Thèses de doctorat -
Construction, manipulation et visualisation de processus sonores dans des environnements virtuels immersifs pour la performance musicale
(Bordeaux 1, 2010-10-07)Thèses de doctorat -
Développement de méthodes bioinformatiques dédiées à la prédiction et l'analyse des réseaux métaboliques et des ARN non codants
(Bordeaux 1, 2012-11-20)Thèses de doctorat -
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules
(Bordeaux 1, 2012-07-06)Thèses de doctorat -
Développement et test d'applications d'informatique ubiquitaire : une méthodologie outillée
(Bordeaux 1, 2012)Thèses de doctorat -
Méthode de décomposition de domaine pour les équations du transport simplifié en neutronique
(Bordeaux 1, 2010-02-09)Thèses de doctorat -
Etude et mise en place d’une plateforme d’adaptation multiservice embarquée pour la gestion de flux multimédia à différents niveaux logiciels et matériels
(Bordeaux 1, 2012-12-19)Thèses de doctorat -
Contributions for improving debugging of kernel-level services in a monolithic operating system
(Bordeaux 1, 2013-03-12)Thèses de doctorat -
Jeux de typage et analyse de lambda-grammaires non-contextuelles
(Bordeaux 1, 2012)Thèses de doctorat