- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor "Gheorghe, Marian"
Mostrando ítems 1-7 de 7
-
Ponencia
A Hybrid Approach to Modeling Biological Systems
Bernardini, Francesco; Gheorghe, Marian; Romero Campero, Francisco José; Walkinshaw, Neil (Springer, 2007)This paper investigates a hybrid approach to modeling molecular interactions in biology. P systems, π-calculus, and Petri ...
-
Capítulo de Libro
A Modeling Approach Based on P Systems with Bounded Parallelism
Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús (Springer, 2006)This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ...
-
Ponencia
Kernel P Systems: Applications and Implementations
Ipate, Florentin; Lefticaru, Raluca; Mierla, Laurentiu; Valencia Cabrera, Luis; Han, Huang; Zhang, Gexiang; Dragomir, Ciprian; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (Springer, 2013)This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...
-
Capítulo de Libro
On P Systems as a Modelling Tool for Biological Systems
Bernardini, Francesco; Gheorghe, Marian; Krasnogor, Natalio; Muniyandi, Ravie C.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
-
Ponencia
On P Systems with Bounded Parallelism
Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Margenstern, Maurice; Verlan, Sergey; Krasnogor, Natalio (IEEE Computer Society, 2005)A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...
-
Ponencia
Towards a P Systems Pseudomonas Quorum Sensing Model
Bianco, Luca; Pescini, Dario; Siepmann, Peter; Krasnogor, Natalio; Romero Campero, Francisco José; Gheorghe, Marian (Springer, 2006)Pseudomonas aeruginosa is an opportunistic bacterium that exploits quorum sensing communication to synchronize individuals ...
-
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.