DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000: Revised Papers Book

	Engineered Communications for Microbial Robotics	1
	Successive State Transitions with I/O Interface by Molecules	17
	Solution of a Satisfiability Problem on a Gel-Based DNA Computer	27
	Diophantine Equations and Splicing: A New Demonstration of the Generative Capability of H Systems	43
	About Time-Varying Distributed H Systems	53
	String Tile Models for DNA Computing by Self-Assembly	63
	From Molecular Computing to Molecular Programming	89
	Graph Replacement Chemistry for DNA Processing	103
	DNA and Circular Splicing	117
	Molecular Computing with Generalized Homogeneous P-Systems	130
	Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization	145
	Challenges and Applications for Self-Assembled DNA Nanostructures	173
	A Space-Efficient Randomized DNA Algorithm for k-Sat	199
	A DNA-Based Random Walk Method for Solving k-SAT	209
	Solving Computational Learning Problems of Boolean Formulae on DNA Computers	220
	The Fidelity of Annealing-Ligation: A Theoretical Analysis	231
	DNA Implementation of a Royal Road Fitness Evaluation	247
	Steady Flow Micro-Reactor Module for Pipelined DNA Computations	263
	Author Index	271