Recherche
-
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 -
Caractérisation du comportement des assemblages par goujons collés dans les structures bois
(Bordeaux 1, 2013-07-12)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 -
Méthodologies d’analyse environnementale des filières bioénergie : approches par analyse de cycle de vie et nouvelles approches spatiales
(Bordeaux 1, 2012-07-04)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 -
Nanotubes de carbone comme sondes en microscopie à force atomique : nanomécanique et étude à l’interface air-liquide de fluides complexes
(Bordeaux 1, 2011-01-28)Thèses de doctorat -
Durabilité des assemblages soudés stir welding (FSW) : corrélation entre microstructure et sensibilité à la corrosion
(Bordeaux 1, 2011-07-21)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