Proceedings of the Twelfth Brainstorming Week on Membrane Computing

The Proceedings of the Twelfth Brainstorming Week on Membrane Computing can be freely downloaded below. The Twelfth Brainstorming Week on Membrane Computing was held in Sevilla (Spain) from February 3-7, 2014. The whole book consists of one volume (click on the cover to download it), and a supplementary paper (not included in the printed volume). Each contribution is available separately on the table below.

Contents of the Volume

Authors Title Pages
Editors: Luis F. Macías-Ramos, Miguel A. Martínez-del-Amor, Gheorghe Păun, Agustín Riscos-Núñez, Luis Valencia-Cabrera

ISBN: 978-84-940056-4-0

A. Alhazov, B. Aman, R. Freund, Gh. Păun Matter and Anti-Matter in Membrane Systems 1-26
A. Alhazov, R. Freund Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P Systems 27-36
A. Alhazov, R. Freund, S. Ivanov Length P Systems with a Lone Traveler 37-48
B. Aman, G. Ciobanu Life-Death Ratio Approach by a Multiset-Based Type System 49-62
B. Aman, G. Ciobanu Solving SAT with Active Membranes and Pre-Computed Initial Configurations 63-72
B. Aman, E. Csuhaj-Varjú, R. Freund Red-Green P Automata 73-78
P. Battyányi, G. Vaszil Describing Membrane Computations with a Chemical Calculus 79-90
R. Ceterchi, M.A. Martínez-del-Amor, M.J. Pérez-Jiménez The Reduction Problem in CUDA and Its Simulation with P Systems 91-102
L. Cienciala, L. Ciencialová, E. Csuhaj-Varjú Towards P Colonies Processing Strings 103-118
G. Ciobanu Scalable Grid-Based Implementation for Membrane Computing
(The Appendix is available here)
D. Díaz-Pernil, F. Peña-Cantillana, M.A. Gutiérrez-Naranjo Self-constructing Recognizer P Systems 137-154
D. Díaz-Pernil, F. Peña-Cantillana, M.A. Gutiérrez-Naranjo Antimatter as a Frontier of Tractability in Membrane Computing 155-168
R. Freund, Gh. Păun P Systems with Anti-Matter 169-182
M. García-Quismondo, M.A. Martínez-del-Amor, M.J. Pérez-Jiménez Probabilistic Guarded P Systems, A formal Definition 183-206
Z. Gazdag, M.A Gutiérrez-Naranjo Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques 207-220
S. Konur, M. Gheorghe, C. Dragomir, F. Ipate, N. Krasnogor Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example 221-234
M. Langer, L. Cienciala, L. Ciencialová, M. Perdek, V. Smolka P Colony Robot Controller 235-242
A. Leporati, L. Manzoni, G. Mauri, A.E. Porreca, C. Zandron Constant-Space P Systems with Active Membranes 243-260
L.F. Macías-Ramos, T. Song, L. Pan, M.J. Pérez-Jiménez Extending SNP Systems Asynchronous Simulation Modes in P-Lingua 261-280
D. Orellana-Martín, C. Graciani, M.A. Martínez-del-Amor, A. Riscos-Núñez, L. Valencia-Cabrera Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era 281-292
L. Pan, Gh. Păun On Parallel Array P Systems 293-304
Gh. Păun Four (Somewhat Nonstandard) Research Topics 305-310
H. Peng, J. Zhang, J. Wang, T. Wang, M.J. Pérez-Jiménez, A. Riscos-Núñez Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing 311-328
T. Wang, G. Zhang, M.J. Pérez-Jiménez Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways 329-350
Author Index 351-352
Supplementary paper
Z. Xu, M. Cavaliere, P. An, S. Vrudhula, Y. Cao The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits 353-373