Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Terrier, Véronique"'
Publikováno v:
In Theoretical Computer Science 1 March 2024 987
Autor:
Terrier, Véronique
Les automates cellulaires ont été introduits il y a une soixantaine d'années par von Neumann et Ulam qui cherchaient à définir les caractéristiques d'un système formel apte au calcul universel et à l'auto-reproduction. Leur utilité a été r
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-01070916
http://tel.archives-ouvertes.fr/docs/01/07/09/16/PDF/HDR-Veronique-Terrier-2011.pdf
http://tel.archives-ouvertes.fr/docs/01/07/09/16/PDF/HDR-Veronique-Terrier-2011.pdf
Publikováno v:
EPTCS 90, 2012, pp. 177-193
Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the parallelism may provide further possibilities. In this paper, we investi
Externí odkaz:
http://arxiv.org/abs/1208.2764
Publikováno v:
LATIN 2002: Theoretical Informatics (2002) 451-464
We investigate how increasing the dimension of the array can help to draw signals on cellular automata.We show the existence of a gap of constructible signals in any dimension. We exhibit two cellular automata in dimension 2 to show that increasing t
Externí odkaz:
http://arxiv.org/abs/cs/0412013
Descriptive complexity provides intrinsic, that is,machine-independent, characterizations of the major complexity classes. On the other hand, logic can be useful for designing programs in a natural declarative way. This is particularly important for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::172ae16b02d8716e9d2f5c65c158e925
https://hal-normandie-univ.archives-ouvertes.fr/hal-02474520/file/logic_rtCA.pdf
https://hal-normandie-univ.archives-ouvertes.fr/hal-02474520/file/logic_rtCA.pdf
Autor:
Terrier, Véronique
Publikováno v:
In Theoretical Computer Science 2010 411(1):266-276
Autor:
Terrier, Veronique
Publikováno v:
Proceedings of the American Mathematical Society, 1992 Mar 01. 114(3), 809-816.
Externí odkaz:
https://www.jstor.org/stable/2159410
Autor:
Terrier, Véronique
Publikováno v:
In Theoretical Computer Science 2006 369(1):142-156
Autor:
Terrier, Véronique
Publikováno v:
In Theoretical Computer Science 2006 352(1):97-107