DNA Computing and Molecular Programming: 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

✍ Scribed by Andrew Phillips, Peng Yin (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 223
• Series: Lecture Notes in Computer Science 9211
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015.

The 13 full papers presented were carefully selected from 63 submissions. The papers address all current issues related to biomolecular computing, such as: algorithms and models for computation on biomolecular systems; computational processes in vitro and in vivo; molecular switches, gates, devices, and circuits; molecular folding and self-assembly of nanostructures; analysis and theoretical models of laboratory techniques; molecular motors and molecular robotics; studies of fault-tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications in engineering, physics, chemistry, biology, and medicine.

✦ Table of Contents

Front Matter....Pages I-XII
Dominance and T-Invariants for Petri Nets and Chemical Reaction Networks....Pages 1-15
Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours....Pages 16-33
Universal Computation and Optimal Construction in the Chemical Reaction Network-Controlled Tile Assembly Model....Pages 34-54
Reflections on Tiles (in Self-Assembly)....Pages 55-70
Optimal Program-Size Complexity for Self-Assembly at Temperature 1 in 3D....Pages 71-86
Flipping Tiles: Concentration Independent Coin Flips in Tile Self-Assembly....Pages 87-103
New Geometric Algorithms for Fully Connected Staged Self-Assembly....Pages 104-116
Leader Election and Shape Formation with Self-organizing Programmable Matter....Pages 117-132
Leakless DNA Strand Displacement Systems....Pages 133-153
Supervised Learning in an Adaptive DNA Strand Displacement Circuit....Pages 154-167
Automated Design and Verification of Localized DNA Computation Circuits....Pages 168-180
On Low Energy Barrier Folding Pathways for Nucleic Acid Sequences....Pages 181-193
Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands....Pages 194-211
Back Matter....Pages 213-213

✦ Subjects

Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Computational Biology/Bioinformatics; Artificial Intelligence (incl. Robotics); Data Structures; Discrete Mathematics in Computer Science