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
|
|
i-xiv |
| 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 |
91-112 |
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 |
251-264 |
| 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 |
