Buscar
Mostrando ítems 1-10 de 14
Capítulo de Libro
Graphical Modeling of Higher Plants Using P Systems
(Springer, 2006)
L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we continue developing the framework introduced in [21], which make use of the topology of membrane ...
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(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.
Capítulo de Libro
Modeling Signal Transduction Using P Systems
(Springer, 2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling network functions is crucial to the study of different diseases and to the design of effective ...
Capítulo de Libro
Computationally Hard Problems Addressed Through P Systems
(Springer, 2006)
In this chapter we present a general framework to provide efficient solutions to decision problems through families of cell-like membrane systems constructed in a semi-uniform way (associating with each instance of the ...
Capítulo de Libro
Computing with Spiking Neural P Systems: Traces and Small Universal Systems
(Springer, 2006)
Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and so-called spiking neural P systems (abbreviated SN P systems) were introduced. Very shortly, in these ...
Capítulo de Libro
Available Membrane Computing Software
(Springer, 2006)
The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic computational devices and therefore their computation trees are di±cult to store and handle with ...
Capítulo de Libro
On P Systems as a Modelling Tool for Biological Systems
(Springer, 2006)
We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic reactivity”of the rule and roughly corresponding to the kinetic coefficient which, in bio-chemistry, ...
Capítulo de Libro
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, up to now, it was an open problem whether such P systems were able to solve PSPACE-complete problems ...
Capítulo de Libro
Applications of Membrane Computing
(Springer, 2006)
Capítulo de Libro
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 2006)
In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using electrical charges. More precisely, we prove that the polynomial computational complexity class ...