Buscar
Mostrando ítems 1-9 de 9
Artículo
On the degree of parallelism in membrane systems
(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 ...
Artículo
P systems with minimal parallelism
(Elsevier, 2007)
A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and one target in this respect is to relax the condition of using the rules in a maximally parallel way. ...
Artículo
Cellular modelling using P systems and process algebra.
(Taylor and Francis Online, 2007)
In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and -calculus are used to describe intra-cellular reactions like protein-protein interactions and ...
Artículo
A linear-time tissue P system based solution for the 3-coloring problem
(Elsevier, 2007)
In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial time can be found (obviously, trading space for time). Recently, different new ...
Artículo
Membrane Systems with Marked Membranes
(Elsevier, 2007)
Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane systems which differ from conventional membrane systems by the following features: (1) biomolecules ...
Artículo
A uniform solution to SAT using membrane creation
(Elsevier, 2007)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have inspired two variants of cell-like membrane systems, namely P systems with active membranes ...
Artículo
A Note on Σ₁-Maximal Models
(Association for Symbolic Logic, 2007)
Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of parameter free Δ₁-minimization (plus exp), or (b) the scheme of parameter free Π₁-induction, then there ...
Artículo
Simulating FAS-induced apoptosis by using P systems
(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 ...
Artículo
How to express tumours using membrane systems
(ELSEVIER SCIENCE INC, 2007)
In this paper we discuss the potential usefulness of membrane systems as tools for modelling tumours. The approach is followed both from a macroscopic and a microscopic point of view. In the first case, one considers the ...