Buscar
Mostrando ítems 1-3 de 3
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
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
Scalable Grid-Based Implementation for Membrane Computing
(Fénix Editora, 2014)
We first present the formal semantics of a parallel rule-based formalism inspired by biological cells, and then provide a faithful parallel implementation of this computational model by using GridGain and taking care of ...