LEADER 05814nam 22007575 450 001 996466168603316 005 20200704052227.0 010 $a3-540-44992-2 024 7 $a10.1007/3-540-44992-2 035 $a(CKB)1000000000211408 035 $a(SSID)ssj0000322717 035 $a(PQKBManifestationID)11222870 035 $a(PQKBTitleCode)TC0000322717 035 $a(PQKBWorkID)10305711 035 $a(PQKB)10578501 035 $a(DE-He213)978-3-540-44992-8 035 $a(MiAaPQ)EBC3072382 035 $a(PPN)155164066 035 $a(EXLCZ)991000000000211408 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDNA Computing$b[electronic resource] $e6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers /$fedited by Anne Condon, Grzegorz Rozenberg 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (CCLXXXVIII, 278 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2054 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42076-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aEngineered communications for microbial robotics -- Successive state transitions with I/O interface by molecules -- Solution of a satisfiability problem on a gel-based DNA computer -- Diophantine equations and splicing: A new demonstration of the generative capability of H systems -- About time-varying distributed H systems -- String tile models for DNA computing by self-assembly -- From molecular computing to molecular programming -- Graph replacement chemistry for DNA processing -- DNA and circular splicing? -- Molecular computing with generalized homogeneous P-systems -- Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization? -- Challenges and applications for self-assembled DNA nanostructures? -- A space-efficient randomized DNA algorithm for k-SAT -- A DNA-based random walk method for solving k-SAT -- Solving computational learning problems of Boolean formulae on DNA computers -- The fidelity of annealing-ligation: A theoretical analysis -- DNA implementation of a Royal Road fitness evaluation -- Steady flow micro-reactor module for pipelined DNA computations. 330 $aThe papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The Lorentz Center, University of Leiden, Leiden, The Netherlands. DNA Computing is a novel and fascinating development at the interface of computer science and molecular biology. It has emerged in recent years, not simply as an exciting technology for information processing, but also as a catalyst for knowledge transfer between information processing, nanotechnology, and biology. This area of research has the potential to change our understanding of the theory and practice of computing. The call for papers and poster presentations sought contributions of original research and technical expositions in all areas of bio-computation. A total of 33 abstracts were submitted of which 16 were accepted for presentation and included in the proceedings. The papers were selected by the program committee based on originality and quality of research and on relevance to the bio-computing eld. Invited talks were given by Masami Hagiya (Tokyo University), Laura La- weber (Princeton University), John Reif (Duke University), Thomas Schmidt (Leiden University), and Lloyd M. Smith (University of Wisconsin). Invited - pers based on the talks by Hagiya and Reif are included in this volume, along with the contributed papers. Additional tutorials were held on the rst and last days of the conference. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2054 606 $aComputer programming 606 $aMathematical logic 606 $aComputers 606 $aAlgorithms 606 $aArtificial intelligence 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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 615 0$aComputer programming. 615 0$aMathematical logic. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aMathematical Logic and Foundations. 615 24$aTheory of Computation. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aArtificial Intelligence. 676 $a511.3 702 $aCondon$b Anne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on DNA-Based Computers 906 $aBOOK 912 $a996466168603316 996 $aDNA Computing$9378179 997 $aUNISA