DNA Computing: 6th InternationalWorkshop on DNA-Based Computers, DNA 2000 Leiden, The Netherlands, June 13–17, 2000 Revised PapersAuthor: Anne Condon, Grzegorz Rozenberg Published by Springer Berlin Heidelberg ISBN: 978-3-540-42076-7 DOI: 10.1007/3-540-44992-2Table of Contents:Engineered communications for microbial robotics Successive state transitions with I/O interface by molecules Solution of a satisfiability problem on a gel-based DNA computer Diophantine equations and splicing: A new demonstration of the generative capability of H systems About time-varying distributed H systems String tile models for DNA computing by self-assembly From molecular computing to molecular programming Graph replacement chemistry for DNA processing DNA and circular splicing? Molecular computing with generalized homogeneous P-systems Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization? Challenges and applications for self-assembled DNA nanostructures? A space-efficient randomized DNA algorithm for k-SAT A DNA-based random walk method for solving k-SAT Solving computational learning problems of Boolean formulae on DNA computers The fidelity of annealing-ligation: A theoretical analysis DNA implementation of a Royal Road fitness evaluation Steady flow micro-reactor module for pipelined DNA computations, Includes bibliographical references and index