Membrane computing.
The present volume contains a selection of papers presented at the Seventh Workshop on
Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17 …
Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17 …
Modelling metapopulations with stochastic membrane systems
Metapopulations, or multi-patch systems, are models describing the interactions and the
behavior of populations living in fragmented habitats. Dispersal, persistence and extinction …
behavior of populations living in fragmented habitats. Dispersal, persistence and extinction …
Monodirectional evolutional symport tissue P systems with promoters and cell division
Monodirectional tissue P systems with promoters are natural inspired parallel computing
paradigms, where only symport rules are permitted, and with the restriction of …
paradigms, where only symport rules are permitted, and with the restriction of …
Simulation of P systems with active membranes on CUDA
JMC Canales, JMG Carrasco… - … Workshop on High …, 2009 - ieeexplore.ieee.org
P systems or membrane systems provide a high level computational modeling framework
that combines the structural and dynamic aspects of biological systems in a relevant and …
that combines the structural and dynamic aspects of biological systems in a relevant and …
Real-time multi-view face detection
We present a detector-pyramid architecture for real-time multi-view face detection. Using a
coarse to fine strategy, the full view is partitioned into finer and finer views. Each face …
coarse to fine strategy, the full view is partitioned into finer and finer views. Each face …
DICE: Internet delivery of immersive voice communication for crowded virtual spaces
This paper develops a scalable system design for the creation, and delivery over the
Internet, of a realistic voice communication service for crowded virtual spaces. Examples of …
Internet, of a realistic voice communication service for crowded virtual spaces. Examples of …
Kernel P systems and stochastic P systems for modelling and formal verification of genetic logic gates
P systems are the computational models of membrane computing, a computing paradigm
within natural computing area inspired by the structure and behaviour of the living cell. In …
within natural computing area inspired by the structure and behaviour of the living cell. In …
The efficiency of tissue P systems with cell separation relies on the environment
LF Macías-Ramos, MJ Pérez-Jiménez… - … Conference, CMC 2012 …, 2013 - Springer
The classical definition of tissue P systems includes a distinguished alphabet with the
special assumption that its elements are available in an arbitrarily large amount of copies …
special assumption that its elements are available in an arbitrarily large amount of copies …
Formal verification of P systems using Spin
This paper presents an approach to P system verification using the Spin model checker. It
proposes a P system implementation in PROMELA, the modeling language accepted by …
proposes a P system implementation in PROMELA, the modeling language accepted by …
Membrane computing as a framework for modeling economic processes
G Paun, RA Paun - … on Symbolic and Numeric Algorithms for …, 2005 - ieeexplore.ieee.org
This paper is a first step towards a systematic evaluation of the possibilities to use
membrane computing as a modeling framework for economics. We start by a simple …
membrane computing as a modeling framework for economics. We start by a simple …