Logo - springer
Slogan - springer

Mathematics | DNA Computing - 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June

DNA Computing

9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers

Chen, Junghuei, Reif, John (Eds.)

2004, IX, 212 p.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-540-24628-2

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-540-20930-0

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • About this book

Biomolecular computing is an interdisciplinary ?eld that draws together mol- ular biology, DNA nanotechnology, chemistry, physics, computer science and mathematics. Theannualinternationalmeeting onDNA-based computationhas been an exciting forum where scientists of di?erent backgrounds who share a common interest in biomolecular computing can meet and discuss their latest results. The central goal of this conference is to bring together experimentalists and theoreticians whose insights can calibrate each others’ approaches. The 9th Annual International Meeting on DNA Based Computers was held during June 1–4, 2003 in the University of Wisconsin, Madison, USA. The meeting had 106 registered participants from 12 countries around the world. On the ?rst day of the meeting, we had three tutorials: the ?rst was on self-assembly of DNA nano structures which focused on the basic techniques of using designed DNA nano molecules to be self-assembled onto larger structures for computational purposes. This tutorial was given by Hao Yan of Duke U- versity. The second tutorial was given by Chengde Mao of Purdue University in which Dr. Mao presented basic DNA biochemistry that was designed for non experimentalists. The third tutorial was given by Max Garzon of the Univ- sity of Memphis. Dr. Garzon gave a lecture on computational complexity which was tailored for non-computer scientists. The next three days were for invited plenary lectures, and regular oral and poster presentations. Invited plenary l- turesweregivenbyHelenBermanofRutgersUniversity(USA),GiancarloMauri of the University of Milan (Italy), Guenter von Kiedrowski of Ruhr University (Germany), and Sorin Istrail of Celera/Applied Biosystems. Theorganizerssoughtto attractthemostsigni?cantrecentresearchwith the highestimpactonthedevelopmentofthediscipline.

Content Level » Research

Keywords » DNA algorithms - DNA computers - DNA computing - DNA devices - DNA-based computing - bio-inspired computing - biocomputing - bioinformatics - biomolecular computing - evolutionary computing - molecular computing - nanotechnology - natural computing - proof - selforganization

Related subjects » Artificial Intelligence - Mathematics - Systems Biology and Bioinformatics - Theoretical and Computational Chemistry - Theoretical Computer Science

Table of contents 

New Experimental Tools.- A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning.- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser Illumination.- Chemical Switching and Molecular Logic in Fluorescent-Labeled M-DNA.- RCA-Based Detection Methods for Resolution Refutation.- Theory.- Word Design for Molecular Computing: A Survey.- Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved.- Deadlock Decidability in Partial Parallel P Systems.- Computer Simulation and Sequence Design.- Languages of DNA Based Code Words.- Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions.- Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules.- Self-Assembly and Autonomous Molecular Computation.- Self-Assembled Circuit Patterns.- One Dimensional Boundaries for DNA Tile Self-Assembly.- Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly.- Experimental Solutions.- A DNA-Based Memory with In Vitro Learning and Associative Recall.- Efficiency and Reliability of Semantic Retrieval in DNA-Based Memories.- Nearest-Neighbor Thermodynamics of DNA Sequences with Single Bulge Loop.- New Computing Models.- Mathematical Considerations in the Design of Microreactor-Based DNA Computers.- Towards a Re-programmable DNA Computer.- In Vitro Translation-Based Computations.- Autonomous Biomolecular Computer Modeled after Retroviral Replication.- Biomolecular Computing by Encoding of Regulated Phosphorylation-Dephosphorylation and Logic of Kinase-Phosphatase in Cells.- Conformational Addressing Using the Hairpin Structure of Single-Strand DNA.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Mathematical Logic and Foundations.