From Micro-Soft to Bio-Soft: Computing With DNA

The notion of computing seems nowadays to be so synonymous with computers, that we often seem to forget that electronic computers are relatively new players on the world stage, [31]. Indeed, a brief look at the history of humanity shows that since the earliest days people needed to count and compute, either for measuring the months and the seasons or for commerce and constructions. The means used for performing calculations were whatever was available, and thus gradually progressed from manual to mechanical, and from there on to electrical devices. Indeed, man started off by counting on his digits, a fact attested by the use of the word digit to mean both “any of the ten numbers from 0 to 9” and “a finger, thumb or toe” (Oxford Advanced Learner’s Dictionary). The need for counting and tracking occurrences in the physical world is witnessed by primitive calendars like the one at Stonehenge, 2,800 B.C., or by primitive calculators like the abacus. The abacus, the most common of which comes from China, was man’s first attempt at automating the counting process, and it involved the idea of positional representation: the value assigned to each bead (pebble, shell) was determined not by its shape but by its position. The transition to a qualitatively superior way of doing computation had to wait until the 17th century when Pascal built the first mechanical adding machine (1642), based on a gear system. In his machine, based on the design of Hero of Alexandria (2 A.D.), a wheel engaged its single tooth with a ten-teeth

[1]  John-Thones Amenyo Mesoscopic computer engineering: Automating DNA-based molecular computing via traditional practices of parallel computer architecture design , 1996, DNA Based Computers.

[2]  Hui Wang,et al.  The perils of polynucleotides: The experimental gap between the design and assembly of unusual DNA structures , 1996, DNA Based Computers.

[3]  Kalim U. Mir A restricted genetic alphabet for DNA computing , 1996, DNA Based Computers.

[4]  Juris Hartmanis,et al.  On the Weight of Computations , 1995, Bull. EATCS.

[5]  Gheorghe Paun,et al.  DNA COMPUTING BASED ON THE SPLICING OPERATION , 1996 .

[6]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[7]  Leonard M. Adleman,et al.  On constructing a molecular computer , 1995, DNA Based Computers.

[8]  Gheorghe Paun,et al.  On the power of the splicing operation , 1995, Int. J. Comput. Math..

[9]  Lila Kari,et al.  Contextual Insertions/Deletions and Computability , 1996, Inf. Comput..

[10]  Peter C. Chapin Formal languages I , 1973, CSC '73.

[11]  Stuart A. Kurtz,et al.  Active transport in biological computing , 1996, DNA Based Computers.

[12]  Rudolf Freund,et al.  DNA Computing Based on Splicing: The Existence of Universal Computers , 1999, Theory of Computing Systems.

[13]  N. Jonoska,et al.  Ligation experiments in computing with DNA , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[14]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[15]  Martyn Amos,et al.  Error-resistant implementation of DNA computations , 1996, DNA Based Computers.

[16]  Gheorghe Paun,et al.  At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems , 1997, DNA Based Computers.

[17]  Richard J. Lipton,et al.  Breaking DES using a molecular computer , 1995, DNA Based Computers.

[18]  Erik Winfree,et al.  Complexity of restricted and unrestricted models of molecular computation , 1995, DNA Based Computers.

[19]  R J Lipton,et al.  DNA solution of hard computational problems. , 1995, Science.

[20]  Masami Hagiya,et al.  Joining and rotating data with molecules , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[21]  Satoshi Kobayashi,et al.  On the power of circular splicing systems and DNA computability , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[22]  Richard J. Lipton,et al.  On the Computational Power of DNA , 1996, Discret. Appl. Math..

[23]  Masami Hagiya,et al.  Towards parallel evaluation and learning of Boolean μ-formulas with molecules , 1997, DNA Based Computers.

[24]  Satoshi Kobayashi,et al.  DNA-EC: A model of DNA-computing based on equality checking , 1997, DNA Based Computers.

[25]  Erik Winfree,et al.  On the computational power of DNA annealing and ligation , 1995, DNA Based Computers.

[26]  Qinghua Liu,et al.  A surface-based approach to DNA computation , 1996, DNA Based Computers.

[27]  V. Mihalache Prolog approach to DNA computing , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[28]  Erik Winfree,et al.  Universal computation via self-assembly of DNA: Some theory and experiments , 1996, DNA Based Computers.

[29]  Donald Beaver,et al.  A universal molecular computer , 1995, DNA Based Computers.

[30]  Richard J. Lipton,et al.  Speeding up computations via molecular biology , 1995, DNA Based Computers.

[31]  D K Gifford,et al.  On the path to computation with DNA. , 1994, Science.

[32]  T. Head Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. , 1987, Bulletin of mathematical biology.

[33]  F Guarnieri,et al.  Maya Blue Paint: An Ancient Nanostructured Material , 1996, Science.

[34]  R. Garrett,et al.  RNA Editing: The alteration of protein coding sequences of RNA : Edited by R. Benne; Ellis Horwood, Chichester, 1993. 196 pp. $ 67.95. ISBN 0-13-782558-7 , 1994 .

[35]  Paul W. K. Rothemund,et al.  A DNA and restriction enzyme implementation of Turing machines , 1995, DNA Based Computers.

[36]  David Harlan Wood,et al.  Exascale computer algebra problems interconnect with molecular reactions and complexity theory , 1996, DNA Based Computers.

[37]  Guillermo A. Cecchi,et al.  DNA based molecular computation: Template-template interactions in PCR , 1996, DNA Based Computers.

[38]  E B Baum,et al.  Building an associative memory vastly larger than the brain. , 1995, Science.

[39]  Natasa Jonoska,et al.  A molecular computation of the road coloring problem , 1996, DNA Based Computers.

[40]  Erik Winfree,et al.  On applying molecular computation to the data encryption standard , 1999, DNA Based Computers.

[41]  R. Deaton,et al.  A DNA based implementation of an evolutionary search for good encodings for DNA computation , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[42]  Lila Kari,et al.  Towards a DNA solution to the shortest common superstring problem , 1998, Proceedings. IEEE International Joint Symposia on Intelligence and Systems (Cat. No.98EX174).

[43]  L. Karl DNA computing: Arrival of biological mathematics , 1997 .

[44]  R. Benne,et al.  RNA Editing: The Alteration of Protein Coding Sequences of RNA , 1993 .

[45]  Takashi Yokomori,et al.  DNA implementation of simple Horn clause computation , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[46]  David Harlan Wood,et al.  Massively parallel DNA computation: Expansion of symbolic determinants , 1996, DNA Based Computers.

[47]  Dan Boneh,et al.  Running dynamic programming algorithms on a DNA computer , 1996, DNA Based Computers.

[48]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[49]  Richard J. Lipton,et al.  Making DNA computers error resistant , 1996, DNA Based Computers.

[50]  John S. Oliver Computation with DNA: Matrix multiplication , 1996, DNA Based Computers.