Buscar
Mostrando ítems 1-10 de 14
Ponencia
Life-Death Ratio Approach by a Multiset-Based Type System
(Fénix Editora, 2014)
We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \life-death" ratio between some given lower and upper thresholds. ...
Ponencia
WebPS: A Web-based P System Simulator with Query Facilities
(Fénix Editora, 2005)
In this paper we present an open-source web-enabled simulator for P sys- tems. We use CLIPS embedded in C, and make the simulator available as a web application, complemented by a query language to specify the results.
Ponencia
Computational Complexity of Simple P Systems
(Fénix Editora, 2008)
We introduce a new class of membrane systems called simple P systems, and study its computational complexity using the classical theory. We start by presenting the knapsack problem and analyzing its space and time ...
Ponencia
Mutual Mobile Membranes Systems with Surface Objects
(Fénix Editora, 2009)
In this paper we introduce mutual mobile membranes with surface objects, systems which have biological motivation. In P systems with mobile membranes with surface objects, a membrane may enter or exit another membrane. ...
Ponencia
Scenario Based P Systems
(Fénix Editora, 2013)
In this paper we de ne and study Scenario Based P Systems, a model of computation inspired by the metabolic pathways and networks. Starting from the classical de nition of P systems with symbol objects and multiset ...
Ponencia
Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus
(Fénix Editora, 2015)
We present a transformation of membrane systems, possibly with pro- moter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes ...
Ponencia
Information Theory over Multisets
(Fénix Editora, 2007)
Starting from Shannon theory of information, we present the case of producing information in the form of multisets, and encoding information using multisets. We compute the entropy of a multiset information source by ...
Ponencia
Solving SAT with Active Membranes and Pre-Computed Initial Con gurations
(Fénix Editora, 2014)
In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither polarization nor division rules. The semi- uniform solutions are given under the assumption that initial ...
Ponencia
Pumps Systems of Membranes
(Fénix Editora, 2004)
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 ...
Ponencia
Membrane Systems and Time Petri Nets
(Fenix Editora, 2017)
We investigate the relationship of time Petri nets and di erent variants of membrane systems. First we show that the added feature of \time" in time Petri nets makes it possible to simulate the maximal parallel rule ...