Description
This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus, Denmark, in August 2012. The 11 full papers presented were carefully selected from 37 submissions. The papers are organized in topical sections on advancing the engineering and science of biology and chemistry from the point of view of computer science, physics, and mathematics. Turing Universality of Step-Wise and Stage Assembly at Temperature 1.-A Type System for DNAQL.-Deterministic Function Computation with Chemical Reaction Networks .-Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems .-Synthesizing Minimal Tile Sets for Complex Patterns in the Framework of Patterned DNA Self-Assembly.-A Geometric Approach to Gibbs Energy Landscapes and Optimal DNA Codeword Design.-A DNA Based Molecular Logic Gate Capable of a Variety of Logical Operations .-Deciding Whether a Regular Language Is Generated by a Splicing System.-Probabilistic Reasoning with a Bayesian DNA Device Based on Strand Displacement.-DNA Self-Assembly and Computation Studied with a Coarse-Grained Dynamic Bonded Model.-Space and Energy Efficient Computation with DNA Strand Displacement Systems.
