LEADER 05669nam 22008175 450 001 996465990603316 005 20200704165703.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)123720567 035 $a(EXLCZ)991000000000211736 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDNA Computing$b[electronic resource] $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 $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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2340 606 $aComputer hardware 606 $aMathematical logic 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$aMathematical logic. 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 Nadriaan C$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 $a996465990603316 996 $aDNA Computing$9378179 997 $aUNISA