Sciweavers

214 search results - page 4 / 43
» On Turing machines, dynamical systems and the Atiyah problem
Sort
View
DIGRA
2005
Springer
15 years 7 months ago
The Nip and the Bite
An examination of the contributions that can be made by the field of non-mechanistic cybernetics (as elaborated by Gregory Bateson and Anthony Wilden) to a theory of videogames th...
Darshana Jayemanne
MCU
2004
105views Hardware» more  MCU 2004»
15 years 3 months ago
Computational Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blon...
DLT
2010
15 years 3 months ago
On a Powerful Class of Non-universal P Systems with Active Membranes
Abstract. We prove that uniform and semi-uniform families of P systems with active membranes using only communication and nonelementary division rules are not computationally unive...
Antonio E. Porreca, Alberto Leporati, Claudio Zand...
CEC
2007
IEEE
15 years 8 months ago
A Genetic approach to search for glider guns in cellular automata
— We aim to search for cellular automata candidate to an automatic system for the demonstration of collision-based universality and that can be able to simulate Turing machines i...
Emmanuel Sapin, Larry Bull, Andrew Adamatzky
98
Voted
JAPLL
2007
78views more  JAPLL 2007»
15 years 1 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse