Buscar
Mostrando ítems 31-40 de 65
Capítulo de Libro
Other Buds in Membrane Computing
(Springer, 2018)
It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his name to the theory of complexity classes in P systems, the research of frontiers of the tractability ...
Capítulo de Libro
Hybrid Networks of Evolutionary Processors
(Springer, 2003)
A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the words existing in that node in accordance with ...
Capítulo de Libro
P and dP Automata: A Survey
(Springer, 2011)
This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working in the accepting mode), with some emphasis on the recently introduced dP automata (a distributed ...
Capítulo de Libro
A Modeling Approach Based on P Systems with Bounded Parallelism
(Springer, 2006)
This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm where rules have associated a finite set of attributes and a corresponding function. Attributes and ...
Capítulo de Libro
La mitosis celular: una sorprendente frontera de la eficiencia
(Fenix Editora, 2010)
En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional inspirado en la estructura y funcionamiento de las c´elulas de los organismos vivos. M´as ...
Capítulo de Libro
The P Versus NP Problem Through Cellular Computing with Membranes
(Springer, 2004)
We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework allowing us to obtain a characterization of the P = NP relation by the polynomial time unsolvability ...
Capítulo de Libro
Generation of Diophantine Sets by Computing P Systems with External Output
(Springer, 2002)
In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every ...
Ponencia
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)
This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize Agent-Based Models. The idea consists in obtaining a rule-based model of pedestrian behaviour by means ...
Capítulo de Libro
Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2005)
We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to the classical time complexity classes defined on the standard computing model of Turing machine. ...
Capítulo de Libro
On Experimental Efficiency for Retraction Operator to Stem Basis
(Springer, 2018)
In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the size of knowledge basis based on the retraction problem. This implementation is made in a functional ...