Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
fr:research:thesis-defense [2018/02/16 01:25] 127.0.0.1 modification externe |
fr:research:thesis-defense [2018/03/29 15:35] apeiron [Publications] |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== Le manuscrit ====== | ||
| - | |||
| - | **Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** | ||
| - | |||
| - | Les rapporteurs ayant examiné mon manuscrit sont : | ||
| - | * Patrick Baillot, directeur de recherche au CNRS | ||
| - | * Gilles Dowek, directeur de recherche à INRIA | ||
| - | * Daniel Leivant, professeur à l'Indiana University Bloomington | ||
| - | |||
| - | Voici {{:manuscrit-these.pdf|la version finale}}. | ||
| - | |||
| ====== Résumé ====== | ====== Résumé ====== | ||
| Ligne 24: | Ligne 13: | ||
| **Mots-clés** : Algorithme séquentiel, ASM, calculabilité, complexité implicite, langage impératif, simulation, temps récursif primitif, temps polynomial. | **Mots-clés** : Algorithme séquentiel, ASM, calculabilité, complexité implicite, langage impératif, simulation, temps récursif primitif, temps polynomial. | ||
| + | |||
| + | ====== Manuscrit ====== | ||
| + | |||
| + | **Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial** | ||
| + | |||
| + | Les rapporteurs ayant examiné mon manuscrit sont : | ||
| + | * Patrick Baillot, directeur de recherche au CNRS | ||
| + | * Gilles Dowek, directeur de recherche à INRIA | ||
| + | * Daniel Leivant, professeur à l'Indiana University Bloomington | ||
| + | |||
| + | Voici {{:manuscrit-these.pdf|la version finale}}. | ||
| ====== Soutenance ====== | ====== Soutenance ====== | ||
| Ligne 37: | Ligne 37: | ||
| Ma soutenance a été filmée((Un grand merci à Marie Le Cun !)), voici [[https://www.youtube.com/watch?v=Nx7ZDE7vV-c|la vidéo]] postée sur ma chaîne. | Ma soutenance a été filmée((Un grand merci à Marie Le Cun !)), voici [[https://www.youtube.com/watch?v=Nx7ZDE7vV-c|la vidéo]] postée sur ma chaîne. | ||
| + | |||
| + | ====== Publications ====== | ||
| + | |||
| + | Ce travail de thèse a donné lieu à deux publications : | ||
| + | * Algorithmic Completeness of Imperative Programming Languages (Yoann Marquer), accepté par Fundamenta Informaticae en 2016 | ||
| + | * Imperative Characterization of Polynomial Time Algorithms (Yoann Marquer, Pierre Valarcher), publié en 2016 dans Developments in Implicit Computational Complexity, volume 3, pages 91 - 130 | ||