The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The Lorentz Center, University of Leiden, Leiden, The Netherlands. DNA Computing is a novel and fascinating development at the interface of computer science and molecular biology. It has emerged in recent years, not simply as an exciting technology for information processing, but also as a catalyst for knowledge transfer between information processing, nanotechnology, and biology. This area of research has the potential to change our understanding of the theory and practice of computing. The call for papers and poster presentations sought contributions of original research and technical expositions in all areas of bio-computation. A total of 33 abstracts were submitted of which 16 were accepted for presentation and included in the proceedings. The papers were selected by the program committee based on originality and quality of research and on relevance to the bio-computing eld. Invited talks were given by Masami Hagiya (Tokyo University), Laura La- weber (Princeton University), John Reif (Duke University), Thomas Schmidt (Leiden University), and Lloyd M. Smith (University of Wisconsin). Invited - pers based on the talks by Hagiya and Reif are included in this volume, along with the contributed papers. Additional tutorials were held on the rst and last days of the conference.
Author(s): Ron Weiss, Thomas F. Knight Jr. (auth.), Anne Condon, Grzegorz Rozenberg (eds.)
Series: Lecture Notes in Computer Science 2054
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 278
Tags: Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Artificial Intelligence (incl. Robotics); Computer Appl. in Life Sciences
Engineered communications for microbial robotics....Pages 1-16
Successive state transitions with I/O interface by molecules....Pages 17-26
Solution of a satisfiability problem on a gel-based DNA computer....Pages 27-42
Diophantine equations and splicing: A new demonstration of the generative capability of H systems....Pages 43-52
About time-varying distributed H systems....Pages 53-62
String tile models for DNA computing by self-assembly....Pages 63-88
From molecular computing to molecular programming....Pages 89-102
Graph replacement chemistry for DNA processing....Pages 103-116
DNA and circular splicing?....Pages 117-129
Molecular computing with generalized homogeneous P-systems....Pages 130-144
Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization?....Pages 145-172
Challenges and applications for self-assembled DNA nanostructures?....Pages 173-198
A space-efficient randomized DNA algorithm for k -SAT....Pages 199-208
A DNA-based random walk method for solving k -SAT....Pages 209-220
Solving computational learning problems of Boolean formulae on DNA computers....Pages 220-230
The fidelity of annealing-ligation: A theoretical analysis....Pages 231-246
DNA implementation of a Royal Road fitness evaluation....Pages 247-262
Steady flow micro-reactor module for pipelined DNA computations....Pages 263-270