Recherche
-
Partitionnement de grands graphes : mesures, algorithmes et visualisation
(Bordeaux 1, 2013-10-10)Thèses de doctorat -
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 -
Nouvelles méthodes multi-échelles pour l'analyse non-linéaire de la parole
(Bordeaux 1, 2013-01-16)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 -
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 -
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
(Bordeaux 1, 2012-11-27)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 -
Optimisation des protocoles de routage dans les réseaux multi-sauts sans fil à contraintes.
(Bordeaux 1, 2012-10-10)Thèses de doctorat