This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011.
The 12 revised full papers presented together with 5 invited talks were carefully selected from numerous submissions. Research in DNA computing and molecular programming draws together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. This annual meeting is the premier forum where scientists with diverse backgrounds come together with the common purpose of advancing the engineering and science of biology and chemistry from the point of view of computer science, physics, and mathematics.
Author(s): Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)
Series: Lecture Notes in Computer Science 6937
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 217
Tags: Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Computational Biology/Bioinformatics; Artificial Intelligence (incl. Robotics); Data Structures; Discrete Mathematics in Computer Science
Front Matter....Pages -
Cooperative Assembly Systems....Pages 1-20
The Computer Science of Molecular Programming....Pages 21-21
An Autonomous DNA Nanodevice Captures pH Maps of Living Cells in Culture and in Vivo ....Pages 22-31
Cooperation in an All-RNA Network....Pages 32-32
Designer DNA Architectures for Bionanotechnology....Pages 33-33
An Improved DNA-Sticker Addition Algorithm and Its Application to Logarithmic Arithmetic....Pages 34-48
Graph-Theoretic Formalization of Hybridization in DNA Sticker Complexes....Pages 49-63
Localized Hybridization Circuits....Pages 64-83
Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems....Pages 84-99
One-Dimensional Staged Self-assembly....Pages 100-114
Computing Maximal Kleene Closures That Are Embeddable in a Given Constrained DNA Language....Pages 115-129
Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems....Pages 130-144
Synthesizing Small and Reliable Tile Sets for Patterned DNA Self-assembly....Pages 145-159
Multivalent Random Walkers — A Model for Deoxyribozyme Walkers....Pages 160-174
Exact Shapes and Turing Universality at Temperature 1 with a Single Negative Glue....Pages 175-189
Autonomous Resolution Based on DNA Strand Displacement....Pages 190-203
Multiple Molecular Spiders with a Single Localized Source—The One-Dimensional Case....Pages 204-216
Back Matter....Pages -
