Proceedings of the Ninth Brainstorming Week on Membrane Computing

In this page you can find the papers of the Proceedings of the Ninth Brainstorming Week on Membrane Computing, held in Sevilla (Spain) from January 31 to February 4, 2011. The whole book consists of one volume, that can be downloaded here: Proceedings. Thank you all for your participation.

Authors Title Pages
Editors: M.A. Martínez-del-Amor, Gh. Păun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera

ISBN: 978-84-615-1837-1

T. Bǎlǎnescu, R. Nicolescu, H. Wu Asynchronous P Systems 1-22
F. Cabarle, H. Adorna, M.A. Martínez-del-Amor Simulating Spiking Neural P Systems Without Delays Using GPUs 23-42
J. Carnero, D. Díaz-Pernil, M.A. Gutiérrez-Naranjo Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures 43-62
M. Cavaliere, M.A. Gutiérrez-Naranjo P Systems with Replicator Dynamics: A Proposal 63-70
L. Cienciala, L. Ciencialová, M. Langer P Colonies of Capacity One and Modularity 71-90
M.A. Colomer, C. Fondevilla, L. Valencia-Cabrera A New P System to Model the Subalpine and Alpine
Plant Communities
E. Csuhaj-Varjú, M. Gheorghe, G. Vaszil, M. Oswald P Systems for Social Networks 113-124
M.J. Dinneen, Y.-B. Kim, R. Nicolescu Using Central Nodes to Improve P System Synchronization 125-150
G. Franco, V. Manca Toward a Self-replicating Metabolic P System 151-158
M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez Implementing Local Search with Membrane Computing 159-168
M. Ionescu, Gh. Pǎun Notes About Spiking Neural P Systems 169-182
M. Ionescu, Gh. Pǎun, M.J. Pérez-Jiménez, A. Rodríguez-Patón Spiking Neural P Systems with Several Types of Spikes 183-192
M. Ionescu, Gh. Pǎun, M.J. Pérez-Jiménez, T. Yokomori Spiking Neural dP Systems 193-208
F. Ipate, A. Țurcanu Modeling, Veri cation and Testing of P Systems Using Rodin and ProB 209-220
S. Ivanov, A. Alhazov, V. Rogojin, M.A. Gutiérrez-Naranjo Forward and Backward Chaining with P Systems 221-236
R. Lefticaru, C. Tudose, F. Ipate Towards Automated Verifi cation of P Systems Using Spin 237-250
V. Manca, L. Marchetti, R. Pagliarini MP Modeling of Glucose-Insulin Interactions
in the Intravenous Glucose Tolerance Test
R. Nicolescu, H. Wu BFS Solution for Disjoint Paths in P Systems 265-286
Adam Obtuƚowicz On a Contribution of Membrane Computing to a Cultural Synthesis of Computer Science, Mathematics, and Biological Sciences 287-290
Adam Obtuƚowicz Well-Tempered P Systems: Towards a Membrane Computing Environment for Music Composition 291-292
Gh. Pǎun, M.J. Pérez-Jiménez dP Automata versus Right-Linear Simple Matrix Grammars 293-304
Gh. Pǎun, M.J. Pérez-Jiménez Towards Bridging Two Cell-Inspired Models: P Systems and R Systems 305-316
F. Peña-Cantillana, D. Díaz-Pernil, H.A. Christinal, M.A. Gutiérrez-Naranjo Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation 317-328
A.E. Porreca, A. Leporati, G. Mauri, C. Zandron Elementary Active Membranes Have the Power of Counting 329-342
R. Reina-Molina, D. Díaz-Pernil, M.A. Gutiérrez-Naranjo Integer Linear Programming for Tissue-like P Systems 343-354
X. Zhang, Y. Niu, L. Pan, M.J. Pérez-Jiménez Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division 355-372