8. DNA 2002: Sapporo, Japan

Masami Hagiya, Azuma Ohuchi (Eds.): DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers. Lecture Notes in Computer Science 2568 Springer 2003, ISBN 3-540-00531-5 BibTeX

@proceedings{DBLP:conf/dna/2002,
  editor    = {Masami Hagiya and
               Azuma Ohuchi},
  title     = {DNA Computing, 8th International Workshop on DNA Based Computers,
               DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  booktitle = {DNA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2568},
  year      = {2003},
  isbn      = {3-540-00531-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Self-assembly and Autonomous Molecular Computation

Phiset Sa-Ardyen, Natasa Jonoska, Nadrian C. Seeman:
Self-assembling DNA Graphs. 1-9
Electronic Edition (Springer LINK) BibTeX
Dage Liu, John H. Reif, Thomas H. LaBean:
DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice. 10-21
Electronic Edition (Springer LINK) BibTeX
John H. Reif:
The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA. 22-37
Electronic Edition (Springer LINK) BibTeX
Daisuke Matsuda, Masayuki Yamamura:
Cascading Whiplash PCR with a Nicking Enzyme. 38-46
Electronic Edition (Springer LINK) BibTeX

Molecular Evolution and Application to Biotechnology

John A. Rose, Mitsunori Takano, Akira Suyama:
A PNA-mediated Whiplash PCR-based Program for In Vitro Protein Evolution. 47-60
Electronic Edition (Springer LINK) BibTeX
Subhayu Basu, David Karig, Ron Weiss:
Engineering Signal Processing in Cells: Towards Molecular Concentration Band Detection. 61-72
Electronic Edition (Springer LINK) BibTeX

Applications to Mathematical Problems

Ji Youn Lee, Soo-Yong Shin, Sirk June Augh, Tai Hyun Park, Byoung-Tak Zhang:
Temperature Gradient-Based DNA Computing for Graph Problems with Weighted Edges. 73-84
Electronic Edition (Springer LINK) BibTeX
Yoichi Takenaka, Akihiro Hashimoto:
Shortening the Computational Time of the Fluorescent DNA Computing. 85-94
Electronic Edition (Springer LINK) BibTeX
Pilar de la Torre:
How Efficiently Can Room at the Bottom Be Traded Away for Speed at the Top? 95-111
Electronic Edition (Springer LINK) BibTeX
Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Toshikazu Shiba, Azuma Ohuchi:
Hierarchical DNA Memory Based on Nested PCR. 112-123
Electronic Edition (Springer LINK) BibTeX
Rana Barua, Janardan Misra:
Binary Arithmetic for DNA Computers. 124-132
Electronic Edition (Springer LINK) BibTeX
Hubert Hug, Rainer Schuler:
Implementation of a Random Walk Method for Solving 3-SAT on Circular DNA Molecules. 133-142
Electronic Edition (Springer LINK) BibTeX
Hee-Woong Lim, Ji-Eun Yun, Hae-Man Jang, Young-Gyu Chai, Suk-In Yoo, Byoung-Tak Zhang:
Version Space Learning with DNA Molecules. 143-155
Electronic Edition (Springer LINK) BibTeX
In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, Young-Gyu Chai, Byoung-Tak Zhang:
DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. 156-167
Electronic Edition (Springer LINK) BibTeX
David Harlan Wood, Catherine L. Taylor Clelland, Carter Bancroft:
Universal Biochip Readout of Directed Hamiltonian Path Problems. 168-181
Electronic Edition (Springer LINK) BibTeX

Nucleic Acid Sequence Design

Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, Steven Skiena:
Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure. 182-195
Electronic Edition (Springer LINK) BibTeX
Russell J. Deaton, Junghuei Chen, Hong Bi, Max H. Garzon, Harvey Rubin, David Harlan Wood:
A PCR-based Protocol for In Vitro Selection of Non-crosshybridizing Oligonucleotides. 196-204
Electronic Edition (Springer LINK) BibTeX
Satoshi Kobayashi, Tomohiro Kondo, Masanori Arita:
On Template Method for DNA Sequence Design. 205-214
Electronic Edition (Springer LINK) BibTeX
Christine E. Heitsch, Anne Condon, Holger H. Hoos:
From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. 215-228
Electronic Edition (Springer LINK) BibTeX
Dan C. Tulpan, Holger H. Hoos, Anne Condon:
Stochastic Local Search Algorithms for DNA Word Design. 229-241
Electronic Edition (Springer LINK) BibTeX
Dongmin Kim, Soo-Yong Shin, In-Hee Lee, Byoung-Tak Zhang:
NACST/Seq: A Sequence Design System with Multiobjective Optimization. 242-251
Electronic Edition (Springer LINK) BibTeX
Russell J. Deaton, Junghuei Chen, Hong Bi, John A. Rose:
A Software Tool for Generating Non-crosshybridizing Libraries of DNA Oligonucleotides. 252-261
Electronic Edition (Springer LINK) BibTeX

Theory

Tom Head, Dennis Pixton, Elizabeth Goode:
Splicing Systems: Regularity and Below. 262-268
Electronic Edition (Springer LINK) BibTeX
Akihiro Takahara, Takashi Yokomori:
On the Computational Power of Insertion-Deletion Systems. 269-280
Electronic Edition (Springer LINK) BibTeX
Mihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun:
Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport. 281-290
Electronic Edition (Springer LINK) BibTeX
Pierluigi Frisco, Sungchul Ji:
Conformons-P Systems. 291-301
Electronic Edition (Springer LINK) BibTeX
Daniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron:
Parallel Rewriting P Systems with Deadlock. 302-314
Electronic Edition (Springer LINK) BibTeX
Yasubumi Sakakibara, Hiroshi Imai:
A DNA-based Computational Model Using a Specific Type of Restriction Enzyme. 315-325
Electronic Edition (Springer LINK) BibTeX
Maurice Margenstern, Yurii Rogozhin, Sergey Verlan:
Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. 326-336
Electronic Edition (Springer LINK) BibTeX