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.
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 |
i-x | |
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) |
119-136 |
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 |