LEADER 07504nam 22008415 450 001 9910143905303321 005 20250515234936.0 010 $a3-540-48017-X 024 7 $a10.1007/3-540-48017-X 035 $a(CKB)1000000000211736 035 $a(SSID)ssj0000317279 035 $a(PQKBManifestationID)11253066 035 $a(PQKBTitleCode)TC0000317279 035 $a(PQKBWorkID)10289095 035 $a(PQKB)10484405 035 $a(DE-He213)978-3-540-48017-4 035 $a(MiAaPQ)EBC3062333 035 $a(MiAaPQ)EBC6283362 035 $a(PPN)155220446 035 $a(BIP)7783743 035 $a(EXLCZ)991000000000211736 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDNA Computing $e7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers /$fedited by Natasa Jonoska, Nadriaan C. Seeman 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XI, 392 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2340 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-43775-4 320 $aIncludes bibliographical references and index. 327 $aExperimental Tools -- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification -- Towards Optimization of PCR Protocol in DNA Computing -- DNASequenceGenerator: A Program for the Construction of DNA Sequences -- DNA Computing in Microreactors -- Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules -- Theoretical Tools -- Coding Properties of DNA Languages -- Boundary Components of Thickened Graphs -- Probabilistic Computational Models -- Population Computation and Majority Inference in Test Tube -- DNA Starts to Learn Poker -- PNA-mediated Whiplash PCR -- Computer Simulation and Sequence Design -- Biomolecular Computation in Virtual Test Tubes -- Developing Support System for Sequence Design in DNA Computing -- The Fidelity of the Tag-Antitag System -- PUNCH: An Evolutionary Algorithm for Optimizing Bit Set Selection -- Algorithms -- Solving Knapsack Problems in a Sticker Based Model -- A Clause String DNA Algorithm for SAT -- A Proposal of DNA Computing on Beads with Application to SAT Problems -- Experimental Solutions -- Aqueous Solutions of Algorithmic Problems: Emphasizing Knights on a 3 × 3 -- Solutions of Shortest Path Problems by Concentration Control -- Another Realization of Aqueous Computing with Peptide Nucleic Acid -- Experimental Confirmation of the Basic Principles of Length-only Discrimination -- Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability -- Nano-tech Devices -- Operation of a Purified DNA Nanoactuator -- DNA Scissors -- Biomimetic Tools -- A Realization of Information Gate by Using Enterococcus faecalis Pheromone System -- Patterns of Micronuclear Genes in Ciliates -- Peptide Computing - Universality and Complexity -- Programmed Mutagenesis Is a Universal Model of Computation -- New Computing Models -- Horn Clause Computation by Self-assembly of DNA Molecules -- DNA-based Parallel Computation of Simple Arithmetic -- Splicing Systems and Membranes -- On P Systems with Global Rules -- Computing with Membranes: Variants with an Enhanced Membrane Handling -- Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems -- Insertion-Deletion P Systems -- A Universal Time-Varying Distributed H System of Degree 1 -- A Note on Graph Splicing Languages. 330 $aBiomolecular computing is an interdisciplinary ?eld that draws together mol- ular biology, chemistry, physics, computer science, and mathematics. DNA n- otechnology and molecular biology are key relevant experimental areas, where knowledge increases with each passing year. The annual international meeting on DNA-based computation has been an exciting forum where scientists of d- ferent backgrounds who share a common interest in biomolecular computing meetanddiscusstheirlatestresults. Thecentralgoalofthisconeren f ceisto bring together experimentalists and theoreticians whose insights can calibrate each other's approaches. DNA7, The Seventh International Meeting on DNA Based Computers,washeldatTheUniversityofSouthFloridainTampa,FL, USA, June 10-13,2001. The organizerssought to attract the most signi'cant - centresearch,withthehighestimpactonthedevelopmentofthediscipline. The meeting had 93 registered participants from 14 countries around the world. The program committee received 44 abstracts, from which 26 papers were presented at the meeting, and included in this volume. In addition to these papers, the Program Committee chose 9 additional papers from the poster presentations, and their revised versions have been added to this volume. As is now a tradition, four tutorials were presented on the ?rst day of the meeting. The morning started with general tutorials by Erik Winfree (Caltech) andJunghueiChen(UniversityofDelaware),designedtobridgebetweentheir respectiveareasofexpertise,computerscienceandmolecularbiology. Mores- cialized tutorials on encoding DNA sequences and on non-standard DNA motifs and interactions were given in the afternoon by Anne Condon (University of British Columbia) and Nadrian C. Seeman (New York University), respectively. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2340 606 $aComputer hardware 606 $aLogic, Symbolic and mathematical 606 $aComputers 606 $aAlgorithms 606 $aArtificial intelligence 606 $aBioinformatics 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aBioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/L15001 615 0$aComputer hardware. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aBioinformatics. 615 14$aComputer Hardware. 615 24$aMathematical Logic and Foundations. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aArtificial Intelligence. 615 24$aBioinformatics. 676 $a511.3 702 $aJonoska$b Natasa$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeeman$b Nadrian C.$f1945-2021,$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on DNA-Based Computers. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143905303321 996 $aDNA Computing$9378179 997 $aUNINA