Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday
著者
書誌事項
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday
(Lecture notes in computer science, 2950)
Springer, c2004
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
Includes list of publications by Thomas J. Head (p.[385]-389)
内容説明・目次
内容説明
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.
「Nielsen BookData」 より