ACSL  ACSL  Ablation percutanée  Aide à la preuve  Algorithmes  Algèbre Géométrique  Algèbre linéaire  Appareil de Golgi  Arbres  Arbres  Assistant de preuve  Assistants de preuve  Automatisation  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  Géométrie combinatoire  Géométrie finie  Géométrie projective  Homotopie  Imagerie interventionnelle  Langage C  Langages formels  Matroïdes  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écanisation des preuves  Méthodes Hybrides  Méthodes formelles  Méthodes formelles  Méthodes par continuation  Orientations inconnues  Planification  Preuve de programmes  Programmes impératifs  Projection  Propriété de Desargues  Prototypage rapide  Prouveur automatique  Quadriques  Reconstruction tomographique  Reparamétrisation  Réalité virtuelle  Résolution de contraintes géométriques  Simulation par ordinateur  Structures algorithmiques  Structures topologiques combinatoires  Surfaces quadriques  Systèmes Distribués asynchrones  Thermothérapie  Théorie des catégories  Théorie des matroïdes  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 a dirigé les 6 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 :