000 04359nam a22005775i 4500
001 978-3-540-24635-0
003 DE-He213
005 20240423132444.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540246350
_9978-3-540-24635-0
024 7 _a10.1007/b94864
_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 _aAspects of Molecular Computing
_h[electronic resource] :
_bEssays Dedicated to Tom Head on the Occasion of His 70th Birthday /
_cedited by Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aXII, 396 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 ;
_v2950
505 0 _aSolving Graph Problems by P Systems with Restricted Elementary Active Membranes -- Writing Information into DNA -- Balance Machines: Computing = Balancing -- Eilenberg P Systems with Symbol-Objects -- Molecular Tiling and DNA Self-assembly -- On Some Classes of Splicing Languages -- The Power of Networks of Watson-Crick D0L Systems -- Fixed Point Approach to Commutation of Languages -- Remarks on Relativisations and DNA Encodings -- Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems -- Digital Information Encoding on DNA -- DNA-based Cryptography -- Splicing to the Limit -- Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs -- n-Insertion on Languages -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages -- On the Universality of P Systems with Minimal Symport/Antiport Rules -- An Algorithm for Testing Structure Freeness of Biomolecular Sequences -- On Languages of Cyclic Words -- A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems -- Formal Languages Arising from Gene Repeated Duplication -- A Proof of Regularity for Finite Splicing -- The Duality of Patterning in Molecular Genetics -- Membrane Computing: Some Non-standard Ideas -- The P Versus NP Problem Through Cellular Computing with Membranes -- Realizing Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3SAT -- Communicating Distributed H Systems with Alternating Filters.
520 _aMolecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual computations while, on the other hand, it attempts to understand the computational nature of molecular processes going on in living cells. The book presents a unique and authorative state-of-the-art survey on current research in molecular computing: 30 papers by leading researchers in the area are drawn together on the occasion of the 70th birthday of Tom Head, a pioneer in molecular computing. Among the topics addressed are molecular tiling, DNA self-assembly, splicing systems, DNA-based cryptography, DNA word design, gene assembly, and membrane computing.
650 0 _aMathematical logic.
650 0 _aComputer science.
650 1 4 _aMathematical Logic and Foundations.
650 2 4 _aComputer Science.
700 1 _aJonoska, Natasha.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPăun, Gheorghe.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRozenberg, Grzegorz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540207818
776 0 8 _iPrinted edition:
_z9783662182215
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2950
856 4 0 _uhttps://doi.org/10.1007/b94864
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187948
_d187948