Sciweavers

214 search results - page 4 / 43
» On Turing machines, dynamical systems and the Atiyah problem
Sort
View
DIGRA
2005
Springer
14 years 28 days 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»
13 years 8 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
13 years 8 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
14 years 1 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
JAPLL
2007
78views more  JAPLL 2007»
13 years 7 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