Ninth Brainstorming Week On Membrane Computing
Información General
- Autores: Miguel Ángel Martínez del Amor (ed. lit.)
, Gheorghe Paun (ed. lit.) , Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Francisco José Romero Campero (ed. lit.) , Luis Valencia Cabrera (ed. lit.) - Editores: Sevilla: Fénix Editora, 2011
- Año de publicación: 2011
- País: España
- Idioma: inglés
- ISBN: 9788461518371
- Recoge los contenidos presentados a: Research Group on Natural Computing. Brainstorming Week on Membrane Computing (9. 2011. Sevilla).
- Enlaces
Otros catálogos
Listado de artículos
-
págs. 1-22
Simulating Spiking Neural P Systems Without Delays Using GPUs
Francis George C. Cabarle, Henry Adorna, Miguel Ángel Martínez del Amor
págs. 23-41
Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures
Javier Carnero Iglesias, Daniel Díaz Pernil
, Miguel Ángel Gutiérrez Naranjo págs. 43-61
págs. 63-70
págs. 70-90
A New P System to Model the Subalpine and Alpine Plant Communities
Maria Angels Colomer Cugat
, Cristian Fondevilla, Luis Valencia Cabrera págs. 91-112
P Systems for Social Networks ?
Erzsébet Csuhaj-Varjú
, Marian Gheorghe , György Vaszil , Marion Oswaldpágs. 113-123
págs. 125-150
págs. 151-158
Implementing Local Search with Membrane Computing
Miguel Ángel Gutiérrez Naranjo
, Mario de Jesús Pérez Jiménez págs. 159-168
págs. 169-181
Spiking Neural P Systems with Several Types of Spikes
Mihai Ionescu, Gheorge Paun, Mario de Jesús Pérez Jiménez
, Alfonso Rodríguez-Patón Aradas págs. 183-192
Mihai Ionescu, Gheorge Paun, Mario de Jesús Pérez Jiménez
, Takashi Yokomoripágs. 193-208
Modeling, Verification and Testing of P Systems Using Rodin and ProB
Florentin Ipate
, Adrian Turcanupágs. 209-219
Forward and Backward Chaining with P Systems
Sergiu Ivanov, Artiom Alhazov, Vladimir Rogozhin, Miguel Ángel Gutiérrez Naranjo
págs. 221-236
Towards Automated Verification of P Systems Using Spin
Raluca Lefticaru
, Cristina Tudose, Florentin Ipate págs. 237-250
MP Modeling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test
Vincenzo Manca
, Luca Marchetti, Roberto Pagliarinipágs. 251-264
págs. 265-285
On a Contribution of Membrane Computing to a Cultural Synthesis of Computer Science, Mathematics, and Biological Sciences
Adam Obtulowicz
págs. 287-289
Well-Tempered P Systems: Towards a Membrane Computing Environment for Music Composition
Adam Obtulowicz
págs. 291-292
págs. 293-304
págs. 305-316
Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation
Francisco Peña Cantillana, Daniel Díaz Pernil
, Hepzibah A. Christinal, Miguel Ángel Gutiérrez Naranjo págs. 317-328
Elementary Active Membranes Have the Power of Counting
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
págs. 329-342
Integer Linear Programming for Tissue-like P Systems
Raúl Reina Molina, Daniel Díaz Pernil
, Miguel Ángel Gutiérrez Naranjo págs. 343-353
Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division
Zhang Xingyi, Yunyun Niu, Pan Linqiang, Mario de Jesús Pérez Jiménez
págs. 355-372
