Wyniki wyszukiwania:

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification;...

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.
The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions. Among the topics addressed are abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science, process algebras,...

This volume is based on the workshop"Modelling in Molecular Biology" that tookplacein2002inSingapore. Themaingoaloftheworkshopwastopresent models/methods used in solving some fundamental problems in biosciences. The volume consists of a selection of papers presented at the workshop as well as of some other papers that are included so that the presentation of the theme of the workshop is broader and more balanced. As a matter of fact we feel that the collection of papers comprising this volume represents a wide spectrum of quite diverse ideas and trends. The paper by D. A. Beard et al....

The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while membrane computing, a rule-based formalism inspired by biological cells, is a more recent field that belongs to the general area of natural computing. This is the first book to establish a link between these two research directions while treating mobility as the central topic. In the first chapter the authors offer a formal description of mobility in process calculi, noting the entities that...

This volume refers to the formal description of mobility in computer science, using p-calculus, ambient calculus, bioambients, brane calculi, and systems of mobile membranes. Concepts are supported by examples and exercises, which makes it suitable for relevant courses.

This volume is based on the workshop"Modelling in Molecular Biology" that tookplacein2002inSingapore. Themaingoaloftheworkshopwastopresent models/methods used in solving some fundamental problems in biosciences. The volume consists of a selection of papers presented at the workshop as well as of some other papers that are included so that the presentation of the theme of the workshop is broader and more balanced. As a matter of fact we feel that the collection of papers comprising this volume represents a wide spectrum of quite diverse ideas and trends. The paper by D. A. Beard et al....

Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages - among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.

In...

Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages - among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.

In...