DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

✍ Scribed by Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 226
• Series: Lecture Notes in Computer Science 6937 Theoretical Computer Science and General Issues
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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 -

✦ Subjects

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