Recherche
-
Analyse symbolique et inférence de modèles métaboliques
(Bordeaux, 2015-07-10)Thèses de doctorat -
Étude de l’effet de la réplication de fichiers d’entrée sur l’efficacité et la robustesse d’un ensemble de calculs
(Bordeaux, 2017-09-08)Thèses de doctorat -
SN cartésien massivement parallèle pour la simulation neutronique
(Bordeaux, 2015-12-15)Thèses de doctorat -
Services e-santé sensibles au contexte dans les espaces intelligents
(Bordeaux, 2017-04-24)Thèses de doctorat -
Un cadre inter-couches pour la protection contre les interférences dans les réseaux ad-hoc radio cognitive
(Bordeaux, 2015-12-18)Thèses de doctorat -
Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs
(Bordeaux, 2015-11-27)Thèses de doctorat -
Définissabilité et synthèse de transductions
(Bordeaux, 2018-10-12)Thèses de doctorat -
Généralisation de modèles métaboliques par connaissances
(Bordeaux, 2014-12-18)Thèses de doctorat -
Optimisations des solveurs linéaires creux hybrides basés sur une approche par complément de Schur et décomposition de domaine
(Bordeaux, 2015-10-19)Thèses de doctorat -
Modélisation des architecture multi-cœur par des mesures de performance
(Bordeaux, 2014-03-27)Thèses de doctorat