Aspects of Molecular Computing
Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday
Jonoska, Nataša.
editor.
Păun, Gheorghe.
editor.
Rozenberg, Grzegorz.
editor.
SpringerLink (Online service)
text
gw
2004
monographic
eng
access
XII, 396 p. online resource.
Molecular 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.
Solving 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.
edited by Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg.
Mathematics
Computer science
Mathematical logic
Mathematics
Mathematical Logic and Foundations
Computer Science, general
QA8.9-10.3
511.3
Springer eBooks
Lecture Notes in Computer Science, 2950
9783540246350
http://dx.doi.org/10.1007/b94864
http://dx.doi.org/10.1007/b94864
121227
20170515111559.0
978-3-540-24635-0