Discrétisation automatique de machines à signaux en automates cellulaires
Dans le contexte du calcul géométrique abstrait, les machines à signaux ont été développées comme le pendant continu des automates cellulaires capturant les notions de particules, de signaux et de collisions. Une question importante est la génération automatique d un automate cellulaire reproduisant...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , , , , |
| Format: | Thèse numérique |
| Idioma: | Français |
| Publicat: |
2018.
|
| Matèries: | |
| Accés en línia: | Accès au texte intégral https://theses.univ-orleans.fr/public/2018ORLE2009_va.pdf http://www.theses.fr/2018ORLE2009/abes https://theses.hal.science/tel-01975875 |
| Nota: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Olivier Bournez (Président du jury) ; Jérôme Durand-Lose, Olivier Bournez, Christine Eisenbeis, Jean-Baptiste Yunès, Sama Goliaei, Thierry Monteil (Membre(s) du jury) ; Christine Eisenbeis (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Automatic discretization of signal machines into cellular automata |