Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Computation, Cooperation, and Life
Gheorghe Păun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration from living nature. He has significantly contributed to the development of these diverse fields, initiating and pioneering some of them with remarkable imaginativeness and enthusiasm. Gheorghe Păun’s research focusses on systems inspired by structures and processes found in living systems, with the field of membrane computing or P systems being the most important of his initiatives. This Festschrift volume, published to honor Gheorghe Păun on the occasion of his 60th birthday, includes 16 cont...
Membrane Computing
Membrane computing is an unconventional model of computation associated with a new computing paradigm. The field of membrane computing was initiated in 1998 by the author of this book; it is a branch of natural computing inspired by the structure and functioning of the living cell and devises distributed parallel computing models in the form of membrane systems. This book is the first monograph surveying the new field in a systematic and coherent way. It presents the central notions and results: the main classes of P systems, the main results about their computational power and efficiency, a complete bibliography, and a series of open problems and research topics.
DNA Computing
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory. It then brings the reader to the most advanced theories develop thus far in this emerging research area.
Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)
Zusammenfassung: This is an open access book. Computation should be a good blend of theory and practice. Researchers in the field should create algorithms to address real world problems putting equal weight to analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications. WCTP 2023 is the twelfth workshop organized by the Tokyo Institute of Technology, The Institute of Scientific and Industrial Research-Osaka University, Chitose Institute of Science and Technology, University of the Philippines-Diliman and De La Salle University-Manila that is devoted to theoretical and practical approaches to computation. It aims to presen...
Molecular Theory of the Living Cell
The book presents the first comprehensive molecular theory of the living cell ever published since the cell doctrine was formulated in 1838-1839. It introduces into cell biology over thirty key concepts, principles and laws imported from physics, chemistry, computer science, linguistics, semiotics and philosophy. The author formulates physically, chemically and enzymologically realistic molecular mechanisms to account for basic living processes such as ligand-receptor interactions, enzymic catalysis, force-generating mechanisms in molecular motors, chromatin remodelling, and signal transduction. Possible solutions to basic and practical problems facing contemporary biology and biomedical sciences have been suggested, including pharmacotherapeutics and personalized medicine.
DNA Computing
"..., the 11th International Meeting on DNA Computing was held June 6–9, 2005 at the University ofWestern Ontario in London, Ontario, Canada.
Combinatorics, Computability and Logic
This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001. The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.
Bio-Inspired Computing: Theories and Applications
This two-volume set (CCIS 1565 and CCIS 1566) constitutes selected and revised papers from the 16th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2021, held in Taiyuan, China, in December 2021. The 67 papers presented were thoroughly reviewed and selected from 211 submissions. The papers are organized in the following topical sections: evolutionary computation and swarm intelligence; DNA and molecular computing; machine learning and computer vision.
Dimension Groups and Dynamical Systems
This is the first self-contained exposition of the connections between symbolic dynamical systems, dimension groups and Bratteli diagrams.
Models of Computation
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided. Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models. and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics. At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.
