Results 11  20
of
22
Using DNA to solve the Bounded Post Correspondence Problem
, 2000
"... Theoretical research in DNA computing includes designing practical experiments for solving various computational problems by means of DNA manipulation. This paper proposes a DNA algorithm for an NPcomplete problem, The Bounded Post Correspondence Problem. The proposed experiment can be used to test ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Theoretical research in DNA computing includes designing practical experiments for solving various computational problems by means of DNA manipulation. This paper proposes a DNA algorithm for an NPcomplete problem, The Bounded Post Correspondence Problem. The proposed experiment can be used to test several standard molecular biology laboratory procedures
Circular Suggestions for DNA Computing
 Pattern Formation in Biology, Vision and Dynamics: 325335. World Scientific
"... This article arose from a reading of the paper of Q.Ouyang, P.D.Kaplan, S.Liu and A.Libchaber ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
This article arose from a reading of the paper of Q.Ouyang, P.D.Kaplan, S.Liu and A.Libchaber
YAC: Yet Another Computation Model of SelfAssembly
, 1999
"... . This paper proposes a new model for DNA computation termed YAC based on selfassembly principle. The model has three advantages: (i) It has the universal computability of Turing machines. (ii) It requires only simple and basic molecular biological operations. Besides annealing and melting in a o ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
. This paper proposes a new model for DNA computation termed YAC based on selfassembly principle. The model has three advantages: (i) It has the universal computability of Turing machines. (ii) It requires only simple and basic molecular biological operations. Besides annealing and melting in a onepot reaction, only the detection of a completely hybridized double stranded molecule is used. (iii) Therefore, a molecular biological implementation of the model seems highly feasible. In order to make YAC computation more resource efficient, we introduce an incremental computation method. 1. Introduction In recent intensive study of normal form theorems for the generative grammars in formal language theory, quite a few number of normal form theorems for a variety of types of grammars have been presented, ranging from regular grammars to phrasestructure grammars in Chomsky's hierarchy. Among others, some of the normal forms for phrasestructure grammars can be of crucially importance wh...
On the Universality of Post and Splicing Systems
 Biocomputing: Proceedings of the 1996 Pacific Symposium pages 288299. World Scientific Publishing Co
, 1996
"... In search for a universal splicing system, in this paper we present a Post system universal for the class of Post systems, and we discuss its translation into an extended splicing system with multiplicity. We also discuss the complexity of the resulting universal splicing system, comparing our resul ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In search for a universal splicing system, in this paper we present a Post system universal for the class of Post systems, and we discuss its translation into an extended splicing system with multiplicity. We also discuss the complexity of the resulting universal splicing system, comparing our result with recent known results about the translation of universal Turing machines into splicing systems. 1 Introduction Since the possibility of molecular computing was shown by Adleman's pioneering work ([1]) which, in a test tube, experimentally solves a small instance of an NPcomplete problem, the theoretical formalization of such a new computing technology has been attracting much attention in computer science ([3][5][6][12][17]). One of the formal frameworks for molecular computations is the Tom Head's splicing system ( or H system ), which gives a theoretical foundation for computing based on DNA recombination. Tom Head's seminal work ([9]) on modeling DNA recombination as a splicing sys...
Computation = Selfassembly + Conformational Change: Toward New Computing Paradigms
 Department of Mathematics, School of Education, Waseda University
, 1999
"... . Molecular Computing is a novel computing paradigm recently emerged from and stimulated by a groundbreaking wet lab experimental work by Adleman in 1994. Since then, a great number of computation models have been proposed in the context of both biomolecular experiments and theoretical computer scie ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
. Molecular Computing is a novel computing paradigm recently emerged from and stimulated by a groundbreaking wet lab experimental work by Adleman in 1994. Since then, a great number of computation models have been proposed in the context of both biomolecular experiments and theoretical computer science (e.g., [2, 3, 7, 9, 10, 11, 13, 17, 19, 20]), trying to break through the socalled NPcompleteness barrier or to establish new computation paradigms with universal capability. This paper proposes new computing paradigms based on selfassembly and conformational change. These two principles have already appeared in an extensive variety of literature in natural science, while relatively a few studies have discussed these two together in the context of computing. In order to demonstrate a new computing schema : computation = selfassembly + conformational change, we first discuss a framework of computing model CCC (Computing by Conformational Change) by showing examples of solving several N...
DNA computing in vitro and in vivo
 In Future generation computer systems, Elsevier Science. In
"... This is a review paper addressing two main aspects of DNA computing research: DNA computing in vitro (in the test tube) and in vivo (in a living organism). We describe the first successful in vitro DNA computing experiment [L.M. Adleman, Science 266 (1994) 1021–1024] which solved a mathematical prob ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
This is a review paper addressing two main aspects of DNA computing research: DNA computing in vitro (in the test tube) and in vivo (in a living organism). We describe the first successful in vitro DNA computing experiment [L.M. Adleman, Science 266 (1994) 1021–1024] which solved a mathematical problem, the Directed Hamiltonian Path Problem, solely by manipulation of DNA strands in test tubes. We then address DNA computing in vivo by presenting a model proposed by Head [in: G.
Recent Developments in DNAComputing
"... In 1994 Adleman published the description of a lab experiment, where he computed an instance of the Hamiltonian path problem with DNA in test tubes. He initiated a flood of further research on computing with molecular means in theoretical computer science. A great number of models was introduced and ..."
Abstract
 Add to MetaCart
(Show Context)
In 1994 Adleman published the description of a lab experiment, where he computed an instance of the Hamiltonian path problem with DNA in test tubes. He initiated a flood of further research on computing with molecular means in theoretical computer science. A great number of models was introduced and examined, concerning their computional power (universality as well as time and space complexity), their efficiency and their error resistance. The main results are presented in this survey. 1
Recent Developments in DNAComputing
 IN PROCEEDINGS OF THE 1997 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLEVALUED LOGIC
, 1997
"... In 1994 Adleman published the description of a lab experiment, where he computed an instance of the Hamiltonian path problem with DNA in test tubes. He initiated a flood of further research on computing with molecular means in theoretical computer science. A great number of models was introduced and ..."
Abstract
 Add to MetaCart
In 1994 Adleman published the description of a lab experiment, where he computed an instance of the Hamiltonian path problem with DNA in test tubes. He initiated a flood of further research on computing with molecular means in theoretical computer science. A great number of models was introduced and examined, concerning their computional power (universality as well as time and space complexity), their efficiency and their error resistance. The main results are presented in this survey.
Computing with Molecules
, 1997
"... In 1994 Adleman published the description of a lab experiment, where he computed an instance of the Hamiltonian path problem with DNA in test tubes. He initiated a flood of further research on computing with molecular means in theoretical computer science. A great number of models have been introduc ..."
Abstract
 Add to MetaCart
In 1994 Adleman published the description of a lab experiment, where he computed an instance of the Hamiltonian path problem with DNA in test tubes. He initiated a flood of further research on computing with molecular means in theoretical computer science. A great number of models have been introduced, and their computational power has been examined, with results on universality, complexity, efficient algorithms, and error resistance. The main results are presented in this survey.
288 DNA SPLICING SYSTEMS AND POST SYSTEMS
"... This paper concems the formal study on the generative powers of extended splicing (H) systems. First, using a classical result by Post which characterizes the recursively enumerable languages in terms of his Post Normal systems, we establish several new characterizations of extended H systems which ..."
Abstract
 Add to MetaCart
This paper concems the formal study on the generative powers of extended splicing (H) systems. First, using a classical result by Post which characterizes the recursively enumerable languages in terms of his Post Normal systems, we establish several new characterizations of extended H systems which not only allow us to have very simple altemative proof methods for the previous results mentioned above, but also give a new insight into the relationships between families of extended H systems. We show a kind of normal form for extended H systems exactly characterizing the class of regular languages. We also show a new representation result for the family of contextfree languages in terms of extended H systems. 1