Recherche
-
Vérification d'automates temporisés : sûreté, vivacité et modélisation
(Bordeaux, 2016-11-04)Thèses de doctorat -
Apports des interactions tangibles pour la création, le choix et le suivi de parcours de visite personnalisés dans les musées
(Bordeaux, 2020-06-08)Thèses de doctorat -
La restructuration des documents graphiques destructurés
(Bordeaux, 2019-11-18)Thèses de doctorat -
Une approche holistique pour les réseaux sans fil économes en énergie
(Bordeaux, 2014-12-19)Thèses de doctorat -
Utilisation de la compression low-rank pour réduire la complexité des solveurs creux parallèles basés sur des techniques de factorisation directes.
(Bordeaux, 2018-11-29)Thèses de doctorat