Recherche
-
Programmation semidéfinie positive dans l’optimisation combinatoire avec applications à la théorie des codes correcteurs et à la géométrie
(Bordeaux 1, 2013-12-17)Thèses de doctorat -
Sur la validation des modèles paramétriques appliqués en analyse de survie et fiabilité
(Bordeaux 1, 2012-07-02)Thèses de doctorat -
Méthodes et modèles stochastiques pour le suivi multi-objets
(Bordeaux 1, 2011-07-13)Thèses de doctorat -
Schémas et stratégies pour la propagation et l’analyse des incertitudes dans la simulation d’écoulements
(Bordeaux 1, 2013-12-05)Thèses de doctorat -
Contrôle de la dynamique de la leucémie myéloïde chronique par Imatinib
(Bordeaux 1, 2010-11-18)Thèses de doctorat -
Outils cryptographiques pour la protection des contenus et de la vie privée des utilisateurs
(Bordeaux 1, 2011-03-15)Thèses de doctorat -
Application de méthodes d'ordre élevé en éléments finis pour l'aérodynamique
(Bordeaux 1, 2011-12-15)Thèses de doctorat -
Théorie des invariants des équations différentielles : équations d’Abel et de Riccati
(Bordeaux 1, 2012-02-13)Thèses de doctorat -
Structure d'une image : de la réalité augmentée à la stylisation
(Bordeaux 1, 2012-07-12)Thèses de doctorat -
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq
(Bordeaux 1, 2012-12-21)Thèses de doctorat