The P systems are a class of distributed parallel computing devices of a biochemical type. In this paper, a new de¯nition of separation rules in P systems with active membranes is given. Under the new de¯nition, the e±ciency ...

P systems are parallel molecular computing models based on pro- cessing multisets of objects in cell-like membrane structures. In this paper we give a membrane algorithm to multidimensional 0-1 knapsack problem in lin- ear ...

In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in order to obtain some quantitative parameters showing how complex the evolution of a P system is. To ...

The usual assumption in P systems behavior is that of maximal parallelism, however in living cells it is not the case because they have a limited number of enzymes. The aim of this paper is to try to merge these ideas ...

The P systems are a class of distributed parallel computing devices of a biochemical type. In this note, we show that by using membrane separation to obtain exponential workspace, SAT problem can be solved in linear ...

This paper presents three new proposals to take advantage, in the framework of P systems, from proteins acting in bacteria. One attempt aims to focus on the transport protein that act as a logic AND gate at the cell membrane. ...

Moving \instructions" instead of \data", using transport mecha- nisms inspired by biology { this could represent, shortly, the basic idea of the computing device presented in this paper. Speci¯cally, we propose a new ...

Ambient calculus is a theory which deals with mobile computing and computation and encompasses such notions as mobile agents, the ambients where the agents interact and the mobility of the ambients themselves. P systems ...

The reactivity of the living cells provides the real complexity of biological systems. This paper presents a reactive P system where the rules are triggered by certain conditions, and pumps are the parallel processors ...

P systems with active membranes using only two electrical charges and only rules of types (a) and (c) assigned to at most two membranes are shown to be computationally complete { thus improving the previous result of ...