Buscar
Mostrando ítems 121-130 de 360
Artículo
Complexity aspects of polarizationless membrane systems
(Springer, 2009)
We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make use of evolution or communication rules, in order to find which features are sufficient to efficiently ...
Artículo
Generalized Graph Pattern Matching
(Cornell University, 2017)
Artículo
Monodirectional Tissue P Systems With Promoters
(IEEE Computer Society, 2020)
Tissue P systems with promoters provide nondeterministic parallel bioinspired devices that evolve by the interchange of objects between regions, determined by the existence of some special objects called promoters. ...
Artículo
Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division
(IEEE Computer Society, 2019)
Membrane computing is a kind of distributed and parallel computing model inspired by a biological cell mechanism. The maximum parallelism of membrane computing improves the computational efficiency of its computational ...
Artículo
Propuestas para el Análisis de Colecciones de Arte a través de Metodologías y Herramientas Computacionales
(Instituto de Investigaciones sobre el Patrimonio Cultural, Universidad Nacional de San Martín, 2016)
La metodología presentada en este artículo propone el uso de herramientas que facilitan la identificación, descripción, clasificación, visualización y manipulación de grandes cantidades de información provenientes de ...
Artículo
P–Lingua 2.0: A software framework for cell–like P systems
(Agora University of Oradea, Romania, 2009)
P-Lingua is a programming language for membrane computing. It was first presented in Edinburgh, during the Ninth Workshop on Membrane Computing (WMC9). In this paper, the models, simulators and formats included in P-Lingua ...
Artículo
When object production tunes the efficiency of membrane systems
(Elsevier, 2020)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the organization and behavior of the living cells througha tree-like structure and abstracting the mechanisms ...
Capítulo de Libro
Available Membrane Computing Software
(Springer, 2006)
The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic computational devices and therefore their computation trees are di±cult to store and handle with ...
Artículo
Formal proofs about rewriting using ACL2
(Springer, 2002)
We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization and representation aspects of our work using the firstorder, quantifier-free logic of ACL2 and ...
Artículo
Verifying a P system generating squares
(Romanian Academy, Section for Information Science and Technology, 2002)
In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, only an informal reasoning of this result is presented. In this paper we study a similar P ...