Search
Now showing items 1-10 of 76
Available Membrane Computing Software [Chapter of Book]
(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 ...
On the degree of parallelism in membrane systems [Article]
(Elsevier, 2007)
In the literature, several designs of P systems might be found for performing the same task. The use of different techniques or even different P system models makes it very difficult to compare these designs. In this ...
A software tool for verification of Spiking Neural P Systems [Article]
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae ...
Simulating FAS-induced apoptosis by using P systems [Article]
(Taylor and Francis Online, 2007)
In contrast to differential equations, P systems are an unconven- tional model of computation which takes into consideration the discrete character of the quantity of components and the inherent randomness that exists ...
Tissue P systems with cell division [Article]
(Agora University of Oradea, 2008)
In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a computation. We add to such systems the basic feature of (cell–like) P systems with active membranes ...
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems [Article]
(Romanian Academy, 2008)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired by the intercellular communication and neuronal synaptics, their structures being formalized ...
Uniform solutions to SAT and Subset Sum by spiking neural P systems [Article]
(Springer, 2009)
We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving computationally hard problems, addressing two problems which were already recently considered in this ...
Spiking neural P systems with extended rules: universality and languages [Article]
(Springer, 2008)
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems and from generating strings; previous ...
On the efficiency of cell-like and tissue-like recognizing membrane systems [Article]
(Wiley, 2009)
Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the structure of living cells, where biological membranes are arranged hierarchically. In this paper ...
A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems [Article]
(MIT Press, 2008)
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain or specific genes in a coordinated way ...