Search Results - "Margenstern, M."
-
1
NP problems are tractable in the space of cellular automata in the hyperbolic plane
Published in Theoretical computer science (2001)“…In this paper, we define cellular automata on a grid of the hyperbolic plane that is based on the tessellation obtained from the regular pentagon with right…”
Get full text
Journal Article -
2
Nine switch-affine neurons suffice for Turing universality
Published in Neural networks (01-06-1999)“…In a previous work Pollack showed that a particular type of heterogeneous processor network is Turing universal. Siegelmann and Sontag (1991) showed the…”
Get full text
Journal Article -
3
Frontier between decidability and undecidability: a survey
Published in Theoretical computer science (28-01-2000)Get full text
Journal Article -
4
East-West paths to unconventional computing
Published in Progress in biophysics and molecular biology (01-12-2017)“…Unconventional computing is about breaking boundaries in thinking, acting and computing. Typical topics of this non-typical field include, but are not limited…”
Get full text
Journal Article -
5
In some curved spaces, one can solve NP-hard problems in polynomial time
Published in Journal of mathematical sciences (New York, N.Y.) (01-05-2009)“…In the late 1970s and early 1980s, Yuri Matiyasevich actively used his knowledge of engineering and physical phenomena to come up with parallelized schemes for…”
Get full text
Journal Article -
6
Context-free insertion–deletion systems
Published in Theoretical computer science (02-02-2005)“…We consider a class of insertion–deletion systems which have not been investigated so far, those without any context controlling the insertion–deletion…”
Get full text
Journal Article Conference Proceeding -
7
A DNA computing inspired computational model
Published in Theoretical computer science (06-09-2008)“…In this paper we propose a universal rewriting system whose computational steps closely resemble the manner in which nature computes double stranded DNA…”
Get full text
Journal Article Conference Proceeding -
8
Frontier between decidability and undecidability : a survey: Universal Machines and Computations
Published in Theoretical computer science (2000)Get full text
Journal Article -
9
A universal cellular automaton in the hyperbolic plane
Published in Theoretical computer science (08-03-2003)“…The paper gives the construction of a universal CA with 22 states in the regular rectangular pentagonal grid of the hyperbolic plane. The CA implements a…”
Get full text
Journal Article Conference Proceeding -
10
On quasi-unilateral universal Turing machines
Published in Theoretical computer science (2001)“…Four universal Turing machines are given with strong limitations on the number of left instructions in their program. One of the machines is morever…”
Get full text
Journal Article -
11
On P systems with bounded parallelism
Published in Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05) (2005)“…A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into…”
Get full text
Conference Proceeding -
12
Universality of the chip-firing game
Published in Theoretical computer science (10-02-1997)“…We prove that the parallel updating of the chip-firing game on undirected graphs is universal. To achieve that, we simulate any given two-register machine by…”
Get full text
Journal Article -
13
A universal time-varying distributed H-system of degree 2
Published in BioSystems (01-10-1999)“…A time-varying distributed H system is a splicing system which has the following feature: at different moments one uses different sets of splicing rules. The…”
Get full text
Journal Article -
14
Some small self-describing Turing machines
Published in Computer science journal of Moldova (01-03-1998)“…Several small self-describing Turing machines are constructed. The number of instructions varies from 275 to 206, depending on the chosen encoding principles…”
Get full text
Journal Article -
15
Finite H-systems with 3 test tubes are not predictable
Published in Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing (1998)“…Finite H-systems with n test tubes are splicing systems of n test tubes over a common molecular alphabet, sigma, with a filter Fi [symbol: see text] sigma for…”
Get more information
Journal Article