ACSL  ACSL  Ablation percutanée  Algorithmes  Algèbre Géométrique  Algèbre linéaire  Appareil de Golgi  Arbres  Arbres  Axiomes  C  Cartes combinatoires  Cartes généralisées  Chirurgie -- Informatique  Compilation  Compilation  Consensus  Constructions géométriques  Contraintes  Coq  Coq  Cryo-microscopie électronique  Cryomicroscopie  Différence angulaire  Dissertations universitaires  Distance euclidienne  Dsl  Débogage  Fondements de la géométrie  Formalisation  Frama-C  Graphe de voisinage  Graphes d'intersections, Théorie des  Graphes topologiques, Théorie des  Génie logiciel  Géologie.  Géométrie -- Informatique  Géométrie  Homotopie  Imagerie interventionnelle  Langage C  Langages formels  Modèles en géologie  Modèles géométriques  Modèles mathématiques  Modélisation géométrique  Modélisation tridimensionnelle  Modélisation à base topologique  Moment angulaire  Moments de projections  Méthodes Hybrides  Méthodes formelles  Méthodes formelles  Méthodes par continuation  Orientations inconnues  Planification  Preuve de programmes  Programmes impératifs  Projection  Prototypage rapide  Quadriques  Reconstruction tomographique  Reparamétrisation  Réalité virtuelle  Résolution de contraintes géométriques  Simulation par ordinateur -- Logiciels  Structures algorithmiques  Structures topologiques combinatoires  Surfaces quadriques  Systèmes Distribués asynchrones  Thermothérapie  Thèses et écrits académiques  Théorie des catégories  Tolérance aux fautes  Tolérance aux pannes  Tomographie  Tomographie en microscopie électronique  Topologie  Traitement réparti  Transformation de graphe  Transformation de graphes  Transformations de graphes  Tumeurs  Tumorectomie  Télédiagnostic  Télédiagnostic Collaboratif  

Pascal Schreck a rédigé la thèse suivante :


Pascal Schreck dirige actuellement la thèse suivante :


Pascal Schreck a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 13-11-2018
Thèse soutenue

Informatique
Soutenue en 2006
Thèse soutenue

Pascal Schreck a été président de jury de la thèse suivante :


Pascal Schreck a été rapporteur des 5 thèses suivantes :


Pascal Schreck a été membre de jury de la thèse suivante :