Buscar
Mostrando ítems 1-10 de 35
Capítulo de Libro
Attacking the Common Algorithmic Problem by Recognizer P Systems
(Springer, 2005)
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 ...
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)
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.
Ponencia
Modelling Vibrio fischeri’s behaviour Using P Systems
(2005)
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 ...
Capítulo de Libro
Modeling Signal Transduction Using P Systems
(Springer, 2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling network functions is crucial to the study of different diseases and to the design of effective ...
Ponencia
A CLIPS Simulator for Recognizer P Systems with Active Membranes
(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 ...
Ponencia
Heterotic Computing Examples with Optics, Bacteria, and Chemicals
(Springer, 2012)
Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. But such in materio devices are often limited, special purpose machines. To be practically useful, ...
Ponencia
A Membrane Computing View on Tumours
(2006)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done both from a macroscopic point of view, by considering the tumour as a growing mass of cells, as ...
Ponencia
Membrane Computing (Tutorial)
(Springer, 2011)
The aim of the tutorial is to give a general overview of the Membrane Computing paradigm [2,5]. Membrane Computing is a quite active research field, initiated by Gh. Păun in 1998 [3]. It is a theoretical machine-oriented ...
Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
(Springer, 2005)
In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss ...
Ponencia
A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks
(Fénix Editora, 2005)
In this paper we present a software tool to represent P systems modelling signalling networks of biochemical reactions using SBML (Systems Biology Markup Language), a machine-readable format for describing qualitative and ...