Location of Repository

This is the first ever doctoral thesis in the field of DNA computation. The field has its roots\ud in the late 1950s, when the Nobel laureate Richard Feynman first introduced the concept of\ud computing at a molecular level. Feynman's visionary idea was only realised in 1994, when\ud Leonard Adleman performed the first ever truly molecular-level computation using DNA\ud combined with the tools and techniques of molecular biology. Since Adleman reported the\ud results of his seminal experiment, there has been a flurry\ud of interest in the idea of using DNA\ud to perform computations. The potential benefits of using this particular molecule are enormous:\ud by harnessing the massive inherent parallelism of performing concurrent operations\ud on trillions of strands, we may one day be able to compress the power of today's supercomputer\ud into a single test tube. However, if we compare the development of DNA-based\ud computers to that of their silicon counterparts, it is clear that molecular computers are still\ud in their infancy. Current work in this area is concerned mainly with abstract models of\ud computation and simple proof-of-principle experiments. The goal of this thesis is to present\ud our contribution to the field, placing it in the context of the existing body of work. Our\ud new results concern a general model of DNA computation, an error-resistant implementation\ud of the model, experimental investigation of the implementation and an assessment of\ud the complexity and viability of DNA computations. We begin by recounting the historical\ud background to the search for the structure of DNA. By providing a detailed description of\ud this molecule and the operations we may perform on it, we lay down the foundations for subsequent\ud chapters. We then describe the basic models of DNA computation that have been\ud proposed to date. In particular, we describe our parallel filtering model, which is the first\ud to provide a general framework for the elegant expression of algorithms for NP-complete\ud problems. The implementation of such abstract models is crucial to their success. Previous\ud experiments that have been carried out suffer from their reliance on various error-prone laboratory\ud techniques. We show for the first time how one particular operation, hybridisation\ud extraction, may be replaced by an error-resistant enzymatic separation technique. We also\ud describe a novel solution read-out procedure that utilizes cloning, and is sufficiently general\ud to allow it to be used in any experimental implementation. The results of preliminary\ud tests\ud of these techniques are then reported. Several important conclusions are to be drawn from these investigations, and we report these in the hope that they will provide useful experimental\ud guidance in the future. The final contribution of this thesis is a rigorous consideration\ud of the complexity and viability of DNA computations. We argue that existing analyses of\ud models of DNA computation are flawed and unrealistic. In order to obtain more realistic\ud measures of the time and space complexity of DNA computations we describe a new strong\ud model, and reassess previously described algorithms within it. We review the search for\ud "killer applications": applications of DNA computing that will establish the superiority\ud of\ud this paradigm within a certain domain. We conclude the thesis with a description of several\ud open problems in the field of DNA computation

Topics:
QA76

OAI identifier:
oai:wrap.warwick.ac.uk:4238

Provided by:
Warwick Research Archives Portal Repository

Downloaded from
http://wrap.warwick.ac.uk/4238/1/WRAP_THESIS_Amos_1997.pdf

- A boom in plans for DNA computing.
- A comprehensive sequence analysis programme for the IBM personal computer.
- (1995). A DNA and restriction enzyme implementation of Turing Machines.
- A procedure for the isolation of deoxyribonucleic acid from microorganisms.
- A restricted genetic alphabet for DNA computing.
- A sticker based architecture for DNA computation.
- A surface-based approach to DNA computation.
- (1992). Active transport in biological computing.
- (1985). Algorithmtc Graph Theory.
- Biochemical method for inserting new genetic information into DNA of simian virus 40: circular SV40 DNA molecules containing lambda phage genes and the galactose operon of escherichia coli.
- (1990). Denovo design of sequences for nucleic- acid- structuralengineering.
- Direct fluorescence analysis of genetic polymorphisms by hybridization with oligonucleotide arrays on glass supports.
- DNA based molecular computation: template- template interactions in PCR.
- DNA double- crossover molecules.
- (1996). DNA Models and Algorithms for NP-complete Problems,
- DNA sequences useful for computation.
- DNA solution of hard computational problems.
- (1988). Effictent Parallel Algor%thms.
- Enzymatic end-to-end joining of DINA molecules.
- (1996). Error-resilient DNA computation.
- Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors.
- (1990). Gene cloning: an introduchon. Chapman and Hall,
- (1989). Genetic algorithms in search, optimization, and machine learning.
- (1993). Genetic Engineering. Oios Scientific Publishers,
- (1953). Genetical implications of the structure of deoxyribose nuclew acid.
- (1993). Genetics: A molecular approach.
- (1972). History of genef., ics - from pre-historic tbocs to the rc(liscovery of Mendel's laws.
- Holliday junction crossover topology.
- Improved m13 phage cloning vectors and host strains: nucleotide sequences of the ml3mpl8 and pucl9 vectors.
- (1965). Introduction to switching and automata theory.
- (1996). Lila Kari, and Gheorghe P6un. DNA computation based on splicing: universality results. In
- (1986). Making DNA computers error resistant.
- (1996). Models of DNA computation.
- (1996). Molecular computation and splicing systems.
- Molecular computation of solutions to combinatorial problems.
- (1995). Molecular computation: Adleman's experiment repeated.
- Molecular structure of nucleic acids: A structure for deoxyribose nucleic acid.
- Nucleic acid junctions and lattices.
- On constructing a molecular computer.
- (1979). On simultaneous resource bounds.
- (1994). On the path to computation with DNA.
- (1995). On the potential of molecular computing.
- (1995). On the potential of molecular coniplifilig.
- (1996). On the scalability of molecular computational solutions to NP problems.
- On the weight of computations.
- (1995). Parallel molecular computation: Models and simulations.
- (1994). Principles of gene manipulation, an introduction to genetic eng%neerZng. Blackwell Scientific Publications, fifth edition,
- (1992). Recombinant DNA.
- (1978). Relations among complexity measures.
- Running dynamic programming algorithms on a DNA computer.
- (1996). Simulating Boolean circuits on a DNA computer.
- (1992). Splicing schemes and DNA.
- (1986). The Biochemistry of the Nucleic AcZds. Chapman and Hall, tenth edition,
- (1988). The Complex%ty of Boolean Networks.
- (1996). The complexity and viability of DNA computations.
- The construction of a DNA truncated octahedron.
- The construction of a trefoil knot from a DNA branched junction motif.
- (1974). The design and analysts of computer algorithms.
- The network complexity and Turing machine complexity of finite functions.
- The thermodynamics of computation -a review.
- The unusual origin of the polymerase chain reaction.
- Universal computation via self-assembly of DNA: some theory and experiments.
- (1992). Xiaojun Li, Xiaoping Yang, Furong Liu, Weiqiong Sun, Zhiyong Shen, Ruojie Sha, Chengde Mao, Yinli Wang, Siwei Zhang, Tsu-Ju Fu, Shouming Du,

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.