Skip to main content

About this book

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions. Research in DNA computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. The papers address all areas related to biomolecular computing such as: algorithms and models for computation with biomolecular systems; computational processes in vitro and in vivo; 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


2017 | OriginalPaper | Chapter

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures

Matthew R. Lakin, Andrew Phillips

2017 | OriginalPaper | Chapter

DNA-Templated Synthesis Optimization

Bjarke N. Hansen, Kim S. Larsen, Daniel Merkle, Alexei Mihalchuk

2017 | OriginalPaper | Chapter

Ruleset Optimization on Isomorphic Oritatami Systems

Yo-Sub Han, Hwee Kim

2017 | OriginalPaper | Chapter

Unknotted Strand Routings of Triangulated Meshes

Abdulmelik Mohammed, Mustafa Hajij

2017 | OriginalPaper | Chapter

The Design Space of Strand Displacement Cascades with Toehold-Size Clamps

Boya Wang, Chris Thachuk, Andrew D. Ellington, David Soloveichik

2017 | OriginalPaper | Chapter

A Stochastic Molecular Scheme for an Artificial Cell to Infer Its Environment from Partial Observations

Muppirala Viswa Virinchi, Abhishek Behera, Manoj Gopalkrishnan

2017 | OriginalPaper | Chapter

Complexities for High-Temperature Two-Handed Tile Self-assembly

Robert Schweller, Andrew Winslow, Tim Wylie

2017 | OriginalPaper | Chapter

A DNA Neural Network Constructed from Molecular Variable Gain Amplifiers

Sherry Xi Chen, Georg Seelig

2017 | OriginalPaper | Chapter

A Stochastic Approach to Shortcut Bridging in Programmable Matter

Marta Andrés Arroyo, Sarah Cannon, Joshua J. Daymude, Dana Randall, Andréa W. Richa

2017 | OriginalPaper | Chapter

A Minimal Requirement for Self-assembly of Lines in Polylogarithmic Time

Yen-Ru Chin, Jui-Ting Tsai, Ho-Lin Chen

2017 | OriginalPaper | Chapter

Robust Detection in Leak-Prone Population Protocols

Dan Alistarh, Bartłomiej Dudek, Adrian Kosowski, David Soloveichik, Przemysław Uznański

2017 | OriginalPaper | Chapter

Inferring Parameters for an Elementary Step Model of DNA Structure Kinetics with Locally Context-Dependent Arrhenius Rates

Sedigheh Zolaktaf, Frits Dannenberg, Xander Rudelis, Anne Condon, Joseph M. Schaeffer, Mark Schmidt, Chris Thachuk, Erik Winfree

2017 | OriginalPaper | Chapter

Simplifying Analyses of Chemical Reaction Networks for Approximate Majority

Anne Condon, Monir Hajiaghayi, David Kirkpatrick, Ján Maňuch

2017 | OriginalPaper | Chapter

Chemical Boltzmann Machines

William Poole, Andrés Ortiz-Muñoz, Abhishek Behera, Nick S. Jones, Thomas E. Ouldridge, Erik Winfree, Manoj Gopalkrishnan

2017 | OriginalPaper | Chapter

A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities

Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree

2017 | OriginalPaper | Chapter

Thermodynamic Binding Networks

David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods


Additional information