Search
Now showing items 31-40 of 123
Presentation
Learning Services Based on Formal Concept Reasoning
(IADIS: International Association for Development of the Information Society, 2007)
A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization of the problem using an agent oriented programming language (ConGolog), as well as on the use ...
Chapter of Book
Modeling Signal Transduction Using P Systems
(Springer, 2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling network functions is crucial to the study of different diseases and to the design of effective ...
Presentation
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
(Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)
La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible en el proyecto de la Web Semántica. Algunas aproximaciones adolecen de confianza lógica, y otras ...
Article
On spiking neural P systems
(Springer, 2010)
This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some variants. A methodology based on the information given by the transition diagram associated with an ...
Presentation
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 ...
Article
On the degree of parallelism in membrane systems
(Elsevier, 2007)
In the literature, several designs of P systems might be found for performing the same task. The use of different techniques or even different P system models makes it very difficult to compare these designs. In this ...
Presentation
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
(IEEE Computer Society, 2008)
Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the intercellular communication and cooperation between neurons. In such a model, the structure of the devices ...
Presentation
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 ...
Presentation
A Membrane Computing View on Tumours
(2006)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done both from a macroscopic point of view, by considering the tumour as a growing mass of cells, as ...
Chapter of Book
Topología simplicial en ACL2
(Universidad de la Rioja, 2010)