Recherche
-
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 -
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 -
Gestion dynamique et multi perspectives des risques pour les projets de construction : l'apport d'une arborescence hiérarchique des risques "à la carte"
(Bordeaux 1, 2012-06-04)Thèses de doctorat -
Etude numérique de l’adsorption et de la désorption de particules colloïdales en milieu poreux : Influence de la topographie de surface et des interactions physico-chimiques
(Bordeaux 1, 2012-02-24)Thèses de doctorat -
Imagerie IRTF de haute résolution des interactions cellules-fibres pour l'étude des effets pathogènes des amiantes
(Bordeaux 1, 2012-11-07)Thèses de doctorat -
Stockage de l’hydrogène par des mélanges mécanochimiques à base de magnésium : Étude de composés intermétalliques ternaires à base de bore (structure et essais d’hydrogénation)
(Bordeaux 1, 2012-09-25)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 -
Abstractions pour les automates temporisés
(Bordeaux 1, 2012)Thèses de doctorat