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 | ||
fr:research:models-computation [2021/04/07 11:41] apeiron automates cellulaires |
fr:research:models-computation [2025/03/13 20:47] (Version actuelle) apeiron |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | FIXME (outdated) | ||
+ | |||
Durant ma thèse j'ai prouvé des équivalences entre modèles de calcul en utilisant une simulation mutuelle, mettant en pratique l'identité des indiscernables. | Durant ma thèse j'ai prouvé des équivalences entre modèles de calcul en utilisant une simulation mutuelle, mettant en pratique l'identité des indiscernables. | ||
J'ai caractérisé des classes temporelles d'algorithmes en utilisant des restrictions syntaxiques sur les langages de programmation impératifs, garantissant ainsi la complexité implicite des codes développés. | J'ai caractérisé des classes temporelles d'algorithmes en utilisant des restrictions syntaxiques sur les langages de programmation impératifs, garantissant ainsi la complexité implicite des codes développés. | ||
Ligne 92: | Ligne 94: | ||
- | ====== Thèse (TODO maj) ====== | + | ====== Thèse ====== |