Sciweavers

MCU
2004
126views Hardware» more  MCU 2004»
13 years 5 months ago
Universality and Cellular Automata
The classification of discrete dynamical systems that are computationally complete has recently drawn attention in light of Wolfram's "Principle of Computational Equivale...
Klaus Sutner
MCU
2004
129views Hardware» more  MCU 2004»
13 years 5 months ago
Solving 3CNF-SAT and HPP in Linear Time Using WWW
We propose linear time solutions to two much celebrated NP-complete problems, namely the 3CNF-SAT and the directed Hamiltonian Path Problem (HPP), based on AHNEPs having all resour...
Florin Manea, Carlos Martín-Vide, Victor Mi...
MCU
2004
141views Hardware» more  MCU 2004»
13 years 5 months ago
Abstract Geometrical Computation for Black Hole Computation
geometrical computation for Black hole computation d abstract) J
Jérôme Durand-Lose
MCU
2004
105views Hardware» more  MCU 2004»
13 years 5 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...
MCU
2004
59views Hardware» more  MCU 2004»
13 years 5 months ago
On the Complexity of Universal Programs
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...
Alain Colmerauer
MCU
2004
95views Hardware» more  MCU 2004»
13 years 5 months ago
Algorithmic Randomness, Quantum Physics, and Incompleteness
Abstract. Is randomness in quantum mechanics "algorithmically random"? Is there any relation between Heisenberg's uncertainty relation and G
Cristian Calude
MCU
2004
76views Hardware» more  MCU 2004»
13 years 5 months ago
Real Recursive Functions and Real Extensions of Recursive Functions
Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing...
Olivier Bournez, Emmanuel Hainry
MCU
2004
96views Hardware» more  MCU 2004»
13 years 5 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
MCU
2007
74views Hardware» more  MCU 2007»
13 years 5 months ago
More on the Size of Higman-Haines Sets: Effective Constructions
Hermann Gruber, Markus Holzer, Martin Kutrib