A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry, and DNA-oriented nanoscience on the other. In particular, this book offers a comprehensive overview of research into algorithmic self-assembly, RNA folding, the algorithmic foundations for biochemical reactions, and the algorithmic nature of developmental processes.
The editors of the book invited 36 chapters, written by the leading researchers in this area, and their contributions include detailed tutorials on the main topics, surveys of the state of the art in research, experimental results, and discussions of specific research goals. The main subjects addressed are sequence discovery, generation, and analysis; nanoconstructions and self-assembly; membrane computing; formal models and analysis; process calculi and automata; biochemical reactions; and other topics from natural computing, including molecular evolution, regulation of gene expression, light-based computing, cellular automata, realistic modelling of biological systems, and evolutionary computing.
This subject is inherently interdisciplinary, and this book will be of value to researchers in computer science and biology who study the impact of the exciting mutual interaction between our understanding of bioprocesses and our understanding of computation.
Monotony and Surprise: Pattern Discovery Under Saturation Constraints.- Information Content of Sets of Biological Sequences Revisited.- Duplication in DNA Sequences.- Sequence and Structural Analysis for Functional Non-coding RNAs.- Strategies for RNA-Guided DNA Recombination.- Reality-and-Desire in Ciliates.- Template-Guided Recombination: From Theory to Laboratory.- DNA Cages with Icosahedral Symmetry in Bionanotechnology.- Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles.- The Perils of Polynucleotides Revisited.- On Nonuniversal Symport/Antiport P Systems.- Spiking Neural P Systems: Recent Results, Research Topics.- Membrane Computing Schema: A New Approach to Computation Using String Insertions.- Understanding Network Behaviour by Structured Representations of Transition Invariants: A Petri Net Perspective on Systems and Synthetic Biology.- Quantitative Verification Techniques for Biological Processes.- A New Mathematical Model for the Heat Shock Response.- Artificial Biochemistry.- Process Calculi Abstractions for Biology.- Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style.- A Multivolume Approach to Stochastic Modelling with Membrane Systems.- Log-Gain Principles for Metabolic P Systems.- Hybrid Method for Simulating Small-Number Molecular Systems.- Formal Models of the Calyx of Held.- On Involutions Arising from Graphs.- Parallel Computing by Xeroxing on Transparencies.- Some Undecidable Dynamical Properties for One-Dimensional Reversible Cellular Automata.- On Using Divide and Conquer in Modeling Natural Systems.- Niching Methods: Speciation Theory Applied for Multimodal Function Optimization
The editors and contributors include most of the key researchers working on these topics worldwide.