Buscar
Mostrando ítems 1-10 de 17
Ponencia
Limits on Efficient Computation in P Systems with Symport/Antiport Rules
(Fenix Editora, 2017)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by changing the places of objects with respect to the membranes, and not by changing the objects ...
Ponencia
The Role of the Environment in Tissue P Systems with Cell Division
(Fénix Editora, 2012)
Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration of the system in an arbitrary large number of copies. These objects are shared in a distinguished ...
Artículo
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
(Springer, 2012)
Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological systems in general, and ecosystems in particular. Due to the inherent randomness and uncertainty in ...
Artículo
Solving Common Algorithmic Problem by Recognizer Tissue P Systems
(Romanian Academy, 2012)
Common Algorithmic Problem is an optimization problem, which has the nice property that several other NP-complete problems can be reduced to it in linear time. In this work, we deal with its decision version in the ...
Artículo
Computation of Ramsey Numbers by P Systems with Active Membranes
(World Scientific, 2011)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is well known that it is very difficult to obtain the values of Ramsey numbers. In this work, a theoretical ...
Ponencia
Kernel P Systems: Applications and Implementations
(Springer, 2013)
This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of ...
Artículo
Improving GPU Simulations of Spiking Neural P Systems
(Romanian Academy, 2012)
In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator on graphics processing units (for short, GPUs). Using previous results on representing SNP system ...
Ponencia
Population Dynamics P Systems on CUDA
(Springer, 2012)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been successfully used by ecologists. These models are validated using software tools against actual ...
Artículo
Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane Computing. Many P system simulators have been presented in this area, but they are inefficient since ...
Artículo
Spiking Neural P systems with several types of spikes
(Agora University of Oradea, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several ...