Buscar
Mostrando ítems 61-70 de 411
Ponencia
A P System Modeling an Ecosystem Related to the Bearded Vulture
(Fénix Editora, 2008)
The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a model of an ecosystem related with the Bearded Vulture which is located in the Catalan Pyrenees, by ...
Ponencia
Sobre ciertas expresiones de la función rango, independientes de la teoría de ordinales
(Universitat Autónoma de Barcelona, 1980)
In the present work we obtain several representations of the rank func- tion associated to a well founded relation in terms of transitive and supertransitive closures, by means of transfinite recursion theorems con- cerning ...
Ponencia
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT
(2002)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this ...
Ponencia
On Efficiency of P Systems with Symport/Antiport and Membrane Division
(Fenix Editora, 2017)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by changing the places of objects with respect to the membranes, and not by changing the objects ...
Ponencia
Tissue P Systems with Cell Division
(Fénix Editora, 2004)
In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out a computation. We add to such systems the basic feature of (cell) P systems with active membranes { ...
Artículo
Small universal simple spiking neural P systems with weights
(Springer, 2014)
Spiking neural P systems with weights (WSN P systems, for short) are a new variant of spiking neural P systems, where the rules of a neuron are enabled when the potential of that neuron equals a given value. It is known ...
Ponencia
Simulating Active Membrane Systems Using GPUs
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator for the class of recognizer P systems with active membranes, which exploits the massively parallel ...
Artículo
P‑Lingua in two steps: flexibility and efficiency
(Springer, 2019)
Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware implementations have to be used to validate models. Several tools have been created for this ...
Artículo
Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks
(Elsevier, 2019)
It is a challenge problem how to deal with the uncertainty in fault diagnosis of power systems. To solve the challenge problem, this paper introduces an interval-valued fuzzy spiking neural P system (IVFSNP system), where ...
Artículo