Now showing items 1-10 of 37
Towards Probabilistic Model Checking on P Systems Using PRISM [Chapter of Book]
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.
The Role of the Environment in Tissue P Systems with Cell Division [Presentation]
(Fénix Editora, 2012)
Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration of the system in an arbitrary large number of copies. These objects are shared in a distinguished ...
A CLIPS Simulator for Recognizer P Systems with Active Membranes [Presentation]
(Fénix Editora, 2004)
In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems techniques. This representation allows us to express the set of rules and the configurations in each ...
Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes [Presentation]
(Fénix Editora, 2004)
In this paper we present an e®ective solution to the BINPACKING problem using a family of recognizer P systems with active membranes, input membrane and external output. The analysis of the solution presented here will ...
Simulating Avascular Tumors with Membrane Systems [Presentation]
(Fénix Editora, 2005)
Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, tumor growth seems to be regulated by direct diffusion of nutrients and wastes from and to surrounding ...
Modelling Vibrio fischeri’s behaviour Using P Systems [Presentation]
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 Apoptosis Using Discrete Methods: a Membrane System and a Stochastic Approach [Presentation]
Membrane Systems provide an intriguing method for modeling biological systems at a molecular level. The hierarchical structure of Membrane Systems lends itself readily to mimic the nature and behavior of cells.We have ...
Solving SAT with membrane creation [Presentation]
(University of Amsterdam, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in the compartmental structure of a living cell can be interpreted as computations. In this paper we ...
A Linear Solution of Subset Sum Problem by Using Membrane Creation [Chapter of Book]
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in the compartmental structure of a living cell can be interpreted as computations. In this framework, ...
Attacking the Common Algorithmic Problem by Recognizer P Systems [Chapter of Book]
Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, which will be defined in the paper, one may say that CAP has a property of local universality. In ...