LEADER 05203nam 22007695 450 001 9910483392803321 005 20251226202903.0 010 $a3-540-34165-X 024 7 $a10.1007/11753681 035 $a(CKB)1000000000232974 035 $a(SSID)ssj0000317283 035 $a(PQKBManifestationID)11258602 035 $a(PQKBTitleCode)TC0000317283 035 $a(PQKBWorkID)10293640 035 $a(PQKB)10635599 035 $a(DE-He213)978-3-540-34165-9 035 $a(MiAaPQ)EBC3068041 035 $a(PPN)123134706 035 $a(BIP)34164066 035 $a(BIP)13394114 035 $a(EXLCZ)991000000000232974 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDNA Computing $e11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. /$fedited by Alessandra Carbone, Niles A. Pierce 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 444 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3892 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-34161-7 320 $aIncludes bibliographical references and index. 327 $aSelf-correcting Self-assembly: Growth Models and the Hammersley Process -- Recognizing DNA Splicing -- On Computational Properties of Template-Guided DNA Recombination -- Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks -- DNA Recombination by XPCR -- An Algorithm for SAT Without an Extraction Phase -- Sensitivity and Capacity of Microarray Encodings -- Simple Operations for Gene Assembly -- Counting Time in Computing with Cells -- On Bounded Symport/Antiport P Systems -- Expectation and Variance of Self-assembled Graph Structures -- Hairpin Structures in DNA Words -- Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences -- Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication -- Intensive In Vitro Experiments of Implementing and Executing Finite Automata in Test Tube -- Development of an In Vivo Computer Based on Escherichia coli -- Control of DNA Molecules on a Microscopic Bead Using Optical Techniques for Photonic DNA Memory -- Linearizer and Doubler : Two Mappings to Unify Molecular Computing Models Based on DNA Complementarity -- Analysis and Simulation of Dynamics in Probabilistic P Systems -- Experimental Validation of DNA Sequences for DNA Computing: Use of a SYBR Green I Assay -- Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems -- Designing Nucleotide Sequences for Computation: A Survey of Constraints -- A Self-assembly Model of Time-Dependent Glue Strength -- Complexity of Compact Proofreading for Self-assembled Patterns -- A Microfluidic Device for DNA Tile Self-assembly -- Photo- and Thermoregulation of DNA Nanomachines -- Chain Reaction Systems Based on Loop Dissociation of DNA -- A Local Search Based Barrier Height Estimation Algorithm for DNA Molecular Transitions -- Specificity of Hybridization Between DNA Sequences Based on Free Energy -- A Poor Man?s Microfluidic DNA Computer -- Two Proteins for the Price of One: The Design of Maximally Compressed Coding Sequences -- Design of Autonomous DNA Cellular Automata -- Use of DNA Nanodevices in Modulating the Mechanical Properties of Polyacrylamide Gels -- Molecular Learning of wDNF Formulae. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on DNA Based Computers, DNA11, held in London, ON, Canada, in June 2005. The 34 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 79 submissions. The wide-ranging topics include in vitro and in vivo biomolecular computation, algorithmic self-assembly, DNA device design, DNA coding theory, and membrane computing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3892 606 $aComputer science 606 $aAlgorithms 606 $aArtificial intelligence 606 $aBioinformatics 606 $aTheory of Computation 606 $aAlgorithms 606 $aArtificial Intelligence 606 $aBioinformatics 606 $aComputational and Systems Biology 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aBioinformatics. 615 14$aTheory of Computation. 615 24$aAlgorithms. 615 24$aArtificial Intelligence. 615 24$aBioinformatics. 615 24$aComputational and Systems Biology. 676 $a511.3 701 $aCarbone$b Alessandra$062814 701 $aPierce$b Niles A$01763991 712 12$aInternational Workshop on DNA-Based Computers 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483392803321 996 $aDNA computing$94204725 997 $aUNINA