Now showing items 1-10 of 155
Programas moleculares y sistemas lógico-formales [Article]
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, ...
Available Membrane Computing Software [Chapter of Book]
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 ...
Dynamic consequence and public announcement [Article]
(Cambridge University Press, 2013)
On the degree of parallelism in membrane systems [Article]
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 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 ...
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 Eﬃciency 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 ...
Spiking neural P systems with extended rules: universality and languages [Article]
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 ...