Buscar
Mostrando ítems 11-20 de 35
Ponencia
Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 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 ...
Ponencia
Toward Semantic Mobile Web 2.0 through Multiagent Systems
(Springer, 2009)
In this paper, a solution for semantic annotation of Consumers Generated Content, based on the actions of a multiagent system, is presented. This solution is designed in the context of an spin-off which was born from ...
Ponencia
Expert System to Real Time Control of Machining Processes
(Springer, 2009)
Industrial machining processes use automated milling machines. These machines are connected to a control device that provides the basic instructions used to obtain a piece. However, these processes depend on the human ...
Ponencia
Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems
(Fénix Editora, 2009)
It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any arbitrary initial distribution, the sequence of distributions at time n converges to the stationary ...
Ponencia
Sistema certificado de decisión proposicional basado en polinomios
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que ...
Ponencia
Performing Arithmetic Operations with Spiking Neural P Systems
(Fénix Editora, 2009)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely addition, subtraction, comparison and multiplication by a fixed factor. The input to these systems are ...
Ponencia
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
(Springer, 2009)
The Bearded Vulture (Gypaetus barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains of wild and domestic ungulates. In this paper, we present a model of an ecosystem related to the ...
Ponencia
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)
We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful to compute the conservative retractions of propositional logic theories. In this paper we show ...
Ponencia
Solving the Independent Set problem by using tissue-like P systems with cell division
(Springer, 2009)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing inspired by the intercellular communication and neuronal synaptics. It considers the cells as unit processors and the ...
Ponencia
Efficiency of Tissue P Systems with Cell Separation
(Fénix Editora, 2009)
The most investigated variants of P systems in the last years are cell-like models, especially in terms of efficiency. Recently, different new models of tissue-like (symport/antiport) P systems have received important ...