Results 1  10
of
22
An Indexed Bibliography of Genetic Algorithms in Power Engineering
, 1995
"... s: Jan. 1992  Dec. 1994 ffl CTI: Current Technology Index Jan./Feb. 1993  Jan./Feb. 1994 ffl DAI: Dissertation Abstracts International: Vol. 53 No. 1  Vol. 55 No. 4 (1994) ffl EEA: Electrical & Electronics Abstracts: Jan. 1991  Dec. 1994 ffl P: Index to Scientific & Technical Proceed ..."
Abstract

Cited by 85 (10 self)
 Add to MetaCart
s: Jan. 1992  Dec. 1994 ffl CTI: Current Technology Index Jan./Feb. 1993  Jan./Feb. 1994 ffl DAI: Dissertation Abstracts International: Vol. 53 No. 1  Vol. 55 No. 4 (1994) ffl EEA: Electrical & Electronics Abstracts: Jan. 1991  Dec. 1994 ffl P: Index to Scientific & Technical Proceedings: Jan. 1986  Feb. 1995 (except Nov. 1994) ffl EI A: The Engineering Index Annual: 1987  1992 ffl EI M: The Engineering Index Monthly: Jan. 1993  Dec. 1994 The following GA researchers have already kindly supplied their complete autobibliographies and/or proofread references to their papers: Dan Adler, Patrick Argos, Jarmo T. Alander, James E. Baker, Wolfgang Banzhaf, Ralf Bruns, I. L. Bukatova, Thomas Back, Yuval Davidor, Dipankar Dasgupta, Marco Dorigo, Bogdan Filipic, Terence C. Fogarty, David B. Fogel, Toshio Fukuda, Hugo de Garis, Robert C. Glen, David E. Goldberg, Martina GorgesSchleuter, Jeffrey Horn, Aristides T. Hatjimihail, Mark J. Jakiela, Richard S. Judson, Akihiko Konaga...
On the Power of Circular Splicing Systems and DNA Computability
 Proc. of IEEE Intern. Conf. on Evol. Comput. (ICEC'97
, 1997
"... From a biological motivation of interactions between linear and circular DNA sequences, we propose a new type of splicing models called circular H systems and show that they have the same computational power as Turing machines. It is also shown that there effectively exists a universal circular H sy ..."
Abstract

Cited by 22 (5 self)
 Add to MetaCart
(Show Context)
From a biological motivation of interactions between linear and circular DNA sequences, we propose a new type of splicing models called circular H systems and show that they have the same computational power as Turing machines. It is also shown that there effectively exists a universal circular H system which can simulate any circular H system with the same terminal alphabet, which strongly suggests a feasible design for a DNA computer based on circular splicing. 1 Introduction Since Adleman's breathtaking paper on molecular (DNA) computing ([1]), there have already been quite a few papers on this challenging topic : [10] shows how to solve NPcomplete problems using DNA, while [3] discusses a design method for simulating a Turing machine by molecular biological techniques and shows how to compute PSPACE, and [4]) gives a methodology for breaking the DES using techniques in genetic engineering. In response to the rapid stream of experimental research on this new computation paradigm...
DNA Computing Based on Splicing: Universality Results
 FIRST ANNUAL PACIFIC SYMPOSIUM ON BIOCOMPUTING
, 1996
"... The paper extends some of the most recently obtained results on the computational universality of specific variants of H systems (e. g. with regular sets of rules) and proves that we can construct universal computers based on various types of H systems with a finite set of splicing rules as well as ..."
Abstract

Cited by 20 (6 self)
 Add to MetaCart
The paper extends some of the most recently obtained results on the computational universality of specific variants of H systems (e. g. with regular sets of rules) and proves that we can construct universal computers based on various types of H systems with a finite set of splicing rules as well as a finite set of axioms, i. e. we show the theoretical possibility to design programmable universal DNA computers based on the splicing operation. For H systems working in the multiset style (where the numbers of copies of all available strings are counted) we elaborate how a Turing machine computing a partial recursive function can be simulated by an equivalent H system computing the same function; in that way, from a universal Turing machine we obtain a universal H system. Considering H systems as language generating devices we have to add various simple control mechanisms (checking the presence/absence of certain symbols in the spliced strings) to systems with a finite set of splicing ru...
Test Tube Distributed Systems Based on Splicing
 COMPUTERS AND AI
, 1996
"... We define a symbol processing mechanism with the components (test tubes) working as splicing schemes in the sense of T. Head and communicating by redistributing the contents of tubes (in a similar way to the separate operation of LiptonAdleman). (These systems are similar to the distributed generat ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
We define a symbol processing mechanism with the components (test tubes) working as splicing schemes in the sense of T. Head and communicating by redistributing the contents of tubes (in a similar way to the separate operation of LiptonAdleman). (These systems are similar to the distributed generative mechanisms called Parallel Communicating Grammar Systems.) Systems with finite initial contents of tubes and finite sets of splicing rules associated to each component are computationally complete, they characterize the family of recursively enumerable languages. The existence of universal test tube distributed systems is obtained on this basis, hence the theoretical proof of the possibility to design universal programmable computers with the structure of such a system.
DNA Computing, Sticker Systems, and Universality
 ACTA INFORMATICA
, 1998
"... We introduce the sticker systems, a computability model, which is an abstraction of the computations using the WatsonCrick complementarity as in Adleman's DNA computing experiment, [1]. Several types of sticker systems are shown to characterize (modulo a weak coding) the regular languages, hen ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
We introduce the sticker systems, a computability model, which is an abstraction of the computations using the WatsonCrick complementarity as in Adleman's DNA computing experiment, [1]. Several types of sticker systems are shown to characterize (modulo a weak coding) the regular languages, hence the power of finite automata. One variant is proven to be equivalent to Turing machines. Another one is found to have a strictly intermediate power.
DNA Computing Based on Splicing: Universality Results
, 1997
"... First, we recall some characterizations of recursively enumerable languages by means of finite H systems with certain regulations on the splicing operation. Then, we consider a variant of the splicing operation where the splicing proceeds always in couples of steps: the two strings obtained after a ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
First, we recall some characterizations of recursively enumerable languages by means of finite H systems with certain regulations on the splicing operation. Then, we consider a variant of the splicing operation where the splicing proceeds always in couples of steps: the two strings obtained after a splicing enter immediately a second splicing (the rules used in the two steps are not prescribed). Somewhat surprising if we take into account the loose control on the performed operations, extended H systems with finite sets of axioms and of splicing rules, using this double splicing operation, can again characterize the recursively enumerable languages. Finally, we consider twotypes of distributed H systems: communicating distributed H systems and timevarying distributed H systems. For the first type of devices, we give a new proof of the recent result of [24] that (in the extended case) such systems with three components characterize the recursively enumerable languages. In what...
Dna Splicing Systems And Post Systems
, 1996
"... This paper concerns the formal study on the generative powers of extended splicing ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
This paper concerns the formal study on the generative powers of extended splicing
DNA Implementation of Simple Horn Clause Computation
, 1997
"... In this paper, we propose a method for biologically implementing simple Boolean formulae. This method enables us to compute logical consequences of a given set of simple Horn clauses in parallel and takes advantage of potentially huge number of molecular CPUs of DNA computers. Further, we show that ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
In this paper, we propose a method for biologically implementing simple Boolean formulae. This method enables us to compute logical consequences of a given set of simple Horn clauses in parallel and takes advantage of potentially huge number of molecular CPUs of DNA computers. Further, we show that the method is nicely applied to the parallel implementation of a grammatical recognition algorithm which is based on `dynamic programming. ' 1 Introduction Adleman's work on the DNA implementation of computing a given instance of directed Hamiltonian path problem, which is known to be NPComplete, opens the door to the highly parallel computation using `molecules'([Adl94]). His study was followed by many researches: generalizing his technique([Lip95a][Lip95b]), providing abstract DNA computer models with Turing computability([Adl95] [Bea95][WR95]), and so forth. In spite of those efforts on pursuing possible implementation of DNA computers with Turing computability using a finite set of bio...
Test tube systems with cutting/recombination operations
 In Pacific Symposium on Biocomputing
, 1997
"... We introduce test tube systems 1;2;3;9 based on operations that are closely related to the splicing operation8, i.e. we consider the operations of cutting a string at a speci c site into two pieces with marking them at the cut ends and of recombining two strings with speci cly marked endings 7. Wher ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
We introduce test tube systems 1;2;3;9 based on operations that are closely related to the splicing operation8, i.e. we consider the operations of cutting a string at a speci c site into two pieces with marking them at the cut ends and of recombining two strings with speci cly marked endings 7. Whereas in the splicing of two strings these strings are cut at speci c sites and the cut pieces are recombined immediately in a crosswise way, inCR(cutting/recombination)schemes cutting can happen independently from recombining the cut pieces. Test tube systems based on these operations of cutting and recombinationturn out to have maximal generativepower even if only very restricted types of input lters for the test tubes are used for the redistribution of the contents of the test tubes after a period of cuttings and recombinations in the test tubes. 1
From DNA Recombination to DNA Computing Via Formal Languages
 IN COMPUTER SCIENCE AND BIOLOGY
, 1996
"... We briefly present notions and results from three directions of research which use formal language theory tools for modelling operations specific to DNA (and RNA) recombinations; in all cases one obtains computability models which are universal (language generating devices are obtained which are equ ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We briefly present notions and results from three directions of research which use formal language theory tools for modelling operations specific to DNA (and RNA) recombinations; in all cases one obtains computability models which are universal (language generating devices are obtained which are equivalent in power with Turing machines). The basic operations are those of matching (a model of the WatsonCrick complementarity), of splicing (a model of the recombinant behaviour of DNA sequences under the influence of restriction enzymes), and of insertion/deletion (known to hold both for DNA and for RNA sequences).