LEADER 05433nam 22007455 450 001 9910483451403321 005 20251226195226.0 010 $a3-540-68423-9 024 7 $a10.1007/11925903 035 $a(CKB)1000000000283822 035 $a(SSID)ssj0000317284 035 $a(PQKBManifestationID)11232428 035 $a(PQKBTitleCode)TC0000317284 035 $a(PQKBWorkID)10293020 035 $a(PQKB)11468417 035 $a(DE-He213)978-3-540-68423-7 035 $a(MiAaPQ)EBC3068500 035 $a(PPN)123139643 035 $a(BIP)32373332 035 $a(BIP)13948267 035 $a(EXLCZ)991000000000283822 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDNA Computing $e12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers /$fedited by Chengde Mao, Takashi Yokomori 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 440 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4287 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-49024-8 320 $aIncludes bibliographical references and index. 327 $aMolecular and Membrane Computing Models -- Computing with Spiking Neural P Systems: Traces and Small Universal Systems -- Minimal Parallelism for Polarizationless P Systems -- P Systems with Active Membranes Characterize PSPACE -- All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size -- Length-Separating Test Tube Systems -- Gene Assembly Algorithms for Ciliates -- Complexity Analysis -- Spectrum of a Pot for DNA Complexes -- On the Complexity of Graph Self-assembly in Accretive Systems -- Viral Genome Compression -- Sequence and Tile Designs and Their Properties -- DNA Codes and Their Properties -- In Search of Optimal Codes for DNA Computing -- DNA Sequence Design by Dynamic Neighborhood Searches -- Sequence Design for Stable DNA Tiles -- Hairpin Structures Defined by DNA Trajectories -- DNA Tile Self-assembly Models -- Design and Simulation of Self-repairing DNA Lattices -- On Times to Compute Shapes in 2D Tile Self-assembly -- Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions -- A Mathematical Approach to Cross-Linked Structures in Viral Capsids: Predicting the Architecture of Novel Containers for Drug Delivery -- Simulator and Software for DNA Computing -- A Framework for Modeling DNA Based Molecular Systems -- Uniquimer: A de Novo DNA Sequence Generation Computer Software for DNA Self-assembly -- A Probabilistic Model of the DNA Conformational Change -- Simulations of Microreactors: The Order of Things -- DNA Computing Algorithms and New Applications -- DNA Hypernetworks for Information Storage and Retrieval -- Abstraction Layers for Scalable Microfluidic Biocomputers -- Fuzzy Forecasting with DNA Computing -- ?Reasoning? and ?Talking? DNA: Can DNA UnderstandEnglish? -- Novel Experimental Approaches -- A New Readout Approach in DNA Computing Based on Real-Time PCR with TaqMan Probes -- Automating the DNA Computer: Solving n-Variable 3-SAT Problems -- Local Area Manipulation of DNA Molecules for Photonic DNA Memory -- Experimental Solutions -- Unravel Four Hairpins! -- Displacement Whiplash PCR: Optimized Architecture and Experimental Validation -- MethyLogic: Implementation of Boolean Logic Using DNA Methylation -- Development of DNA Relational Database and Data Manipulation Experiments -- Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation. 330 $aThis book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, held in Seoul, Korea in June 2006. The 34 revised full papers presented are organized in topical sections on molecular and membrane computing models, complexity analysis, sequence and tile designs and their properties, DNA tile self-assembly models, simulator and software for DNA computing, DNA computing algorithms and new applications, novel experimental approaches, and experimental solutions. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4287 606 $aComputer science 606 $aAlgorithms 606 $aBioinformatics 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aAlgorithms 606 $aComputational and Systems Biology 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aBioinformatics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aAlgorithms. 615 24$aComputational and Systems Biology. 615 24$aArtificial Intelligence. 676 $a621.39/1 701 $aMao$b Chengde$01762321 701 $aYokomori$b Takashi$01762322 712 12$aInternational Workshop on DNA Computing 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483451403321 996 $aDNA computing$94202183 997 $aUNINA