| Description |
1 online resource (xi, 423 pages) : illustrations (black and white) |
| Series |
Lecture notes in computer science, 0302-9743 ; 7762 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7762.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Invited Papers -- (Tissue) P Systems with Decaying Objects / Rudolf Freund -- Alan Turing and John von Neumann -- Their Brains and Their Computers / Sorin Istrail, Solomon Marcus -- Turing's Three Pioneering Initiatives and Their Interplays / Jozef Kelemen -- An Outline of MP Modeling Framework / Vincenzo Manca -- Turing Computability and Membrane Computing / Yurii Rogozhin, Artiom Alhazov -- Membrane Systems and Hypercomputation / Mike Stannett -- Regular Papers -- A Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery / Tanvir Ahmed, Garrett DeLancy, Andrei Păun -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN / Artiom Alhazov, Rudolf Freund -- Sequential P Systems with Regular Control / Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin |
|
Mobile Membranes with Objects on Surface as Colored Petri Nets / Bogdan Aman, Gabriel Ciobanu -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets / Francis George C. Cabarle, Henry N. Adorna -- 2D P Colonies / Luděk Cienciala, Lucie Ciencialová, Michal Perdek -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs / Hossam ElGindy, Radu Nicolescu, Huiling Wu -- A New Approach for Solving SAT by P Systems with Active Membranes / Zsolt Gazdag, Gábor Kolonits -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency / Thomas Hinze, Benjamin Schell, Mathias Schumann, Christian Bodenstein -- Spiking Neural P Systems with Functional Astrocytes / Luis F. Macías-Ramos, Mario J. Pérez-Jiménez -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment / Luis F. Macías-Ramos, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Miquel Rius-Font |
|
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution / Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Manuel García-Quismondo -- Membranes with Boundaries / Tamás Mihálydeák, Zoltán Ernő Csajbók -- On Efficient Algorithms for SAT / Benedek Nagy Multigraphical Membrane Systems Revisited / Adam Obtułowicz -- An Analysis of Correlative and Static Causality in P Systems / Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca -- Sublinear-Space P Systems with Active Membranes / Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron -- Modelling Ecological Systems with the Calculus of Wrapped Compartments / Pablo Ramón, Angelo Troina -- Observer/Interpreter P Systems / Dragoş Sburlan -- Limits of the Power of Tissue P Systems with Cell Division / Petr Sosík -- Fast Hardware Implementations of P Systems / Sergey Verlan, Juan Quiros |
| Summary |
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012. The 21 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 25 papers presented at the conference. The book also deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment |
| Analysis |
Computer science |
|
Software engineering |
|
Computer software |
|
Computer vision |
|
Computation by Abstract Devices |
|
Algorithm Analysis and Problem Complexity |
|
History of Computing |
|
Computer Imaging, Vision, Pattern Recognition and Graphics |
|
computerwetenschappen |
|
computer sciences |
|
geschiedenis |
|
history |
|
patroonherkenning |
|
pattern recognition |
|
machine vision |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
computational science |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
With bibliographical references and index |
| Notes |
Print version record |
| Subject |
Molecular computers -- Congresses
|
|
Biocomputers -- Congresses
|
|
Computers, Molecular
|
|
Biocomputers
|
|
Molecular computers
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Software.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Csuhaj-Varjú, E., editor
|
|
Gheorghe, Marian, 1953- editor.
|
|
Rozenberg, Grzegorz, editor
|
|
Salomaa, Arto, editor
|
|
Vaszil, György, editor
|
| ISBN |
9783642367519 |
|
3642367518 |
|
364236750X |
|
9783642367502 |
|
