000 06134nam a22006375i 4500
001 978-3-540-36440-5
003 DE-He213
005 20240423132554.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 _a9783540364405
_9978-3-540-36440-5
024 7 _a10.1007/3-540-36440-4
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBCD
_2bicssc
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBCD
_2thema
072 7 _aPBC
_2thema
082 0 4 _a511.3
_223
245 1 0 _aDNA Computing
_h[electronic resource] :
_b8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers /
_cedited by Masami Hagiya, Azuma Ohuchi.
250 _a1st ed. 2003.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2003.
300 _aXII, 344 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2568
505 0 _aSelf-assembly and Autonomous Molecular Computation -- Self-assembling DNA Graphs -- DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice -- The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA -- Cascading Whiplash PCR with a Nicking Enzyme -- Molecular Evolution and Application to Biotechnology -- A PNA-mediated Whiplash PCR-based Program for In Vitro Protein Evolution -- Engineering Signal Processing in Cells: Towards Molecular Concentration Band Detection -- Applications to Mathematical Problems -- Temperature Gradient-Based DNA Computing for Graph Problems with Weighted Edges -- Shortening the Computational Time of the Fluorescent DNA Computing -- How Efficiently Can Room at the Bottom Be Traded Away for Speed at the Top? -- Hierarchical DNA Memory Based on Nested PCR -- Binary Arithmetic for DNA Computers -- Implementation of a Random Walk Method for Solving 3-SAT on Circular DNA Molecules -- Version Space Learning with DNA Molecules -- DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic -- Universal Biochip Readout of Directed Hamiltonian Path Problems -- Nucleic Acid Sequence Design -- Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure -- A PCR-based Protocol for In Vitro Selection of Non-crosshybridizing Oligonucleotides -- On Template Method for DNA Sequence Design -- From RNA Secondary Structure to Coding Theory: A Combinatorial Approach -- Stochastic Local Search Algorithms for DNA Word Design -- NACST/Seq: A Sequence Design System with Multiobjective Optimization -- A Software Tool for Generating Non-crosshybridizing Libraries of DNA Oligonucleotides -- Theory -- Splicing Systems: Regularity and Below -- On the Computational Power of Insertion-Deletion Systems -- Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport -- Conformons-P Systems -- Parallel Rewriting P Systems with Deadlock -- A DNA-based Computational Model Using a Specific Type of Restriction Enzyme -- Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations.
520 _aBiomolecular computing has emerged as an interdisciplinary ?eld that draws - gether chemistry, computer science, mathematics, molecular biology, and physics. Our knowledge on DNA nanotechnology and biomolecular computing increases exponentially with every passing year. The international meeting on DNA Based Computers has been a forum where scientists with di?erent backgrounds, yet sharing a common interest in biomolecular computing, meet and present their latest results. Continuing this tradition, the 8th International Meeting on DNA Based Computers (DNA8) focuses on the current theoretical and experimental results with the greatest impact. Papers and poster presentations were sought in all areas that relate to b- molecular computing, including (but not restricted to): algorithms and appli- tions, analysis of laboratory techniques/theoretical models, computational p- cesses in vitro and in vivo, DNA-computing-based biotechnological applications, DNA devices, error evaluation and correction, in vitro evolution, models of biomolecular computing (using DNA and/or other molecules), molecular - sign, nucleic acid chemistry, and simulation tools. Papers and posters with new experimental results were particularly encouraged. Authors who wished their work to be considered for either oral or poster presentation were asked to select from one of two submission “tracks”: – Track A - Full Paper – Track B - One-Page Abstract For authors with late-breaking results, or who were submitting their manuscript to a scienti?c journal, a one-page abstract, rather than a full paper, could be submitted in Track B. Authors could (optionally) include a preprint of their full paper, for consideration only by the program committee.
650 0 _aMathematical logic.
650 0 _aComputer science.
650 0 _aAlgorithms.
650 0 _aArtificial intelligence.
650 0 _aBioinformatics.
650 1 4 _aMathematical Logic and Foundations.
650 2 4 _aTheory of Computation.
650 2 4 _aAlgorithms.
650 2 4 _aArtificial Intelligence.
650 2 4 _aBioinformatics.
700 1 _aHagiya, Masami.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aOhuchi, Azuma.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540005315
776 0 8 _iPrinted edition:
_z9783662207307
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2568
856 4 0 _uhttps://doi.org/10.1007/3-540-36440-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c189260
_d189260