Buscar
Mostrando ítems 61-70 de 183
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 ...
Capítulo de Libro
Computing with Spiking Neural P Systems: Traces and Small Universal Systems
(Springer, 2006)
Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and so-called spiking neural P systems (abbreviated SN P systems) were introduced. Very shortly, in these ...
Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
(Springer, 2005)
In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss ...
Capítulo de Libro
On Two-Dimensional Mesh Networks and Their Simulation with P Systems
(Springer, 2005)
We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the two-dimensional mesh, with P systems with dynamic communication graphs. We illustrate this simulation for an ...
Ponencia
A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks
(Fénix Editora, 2005)
In this paper we present a software tool to represent P systems modelling signalling networks of biochemical reactions using SBML (Systems Biology Markup Language), a machine-readable format for describing qualitative and ...
Ponencia
KRRT: Knowledge Representation and Reasoning Tutor System
(Springer, 2007)
Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First– Order Logic (FOL), the most representative logic–based representation language, which is part ...
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
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2
(Springer, 2003)
We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms are represented as directed acyclic graphs (dags) and these graphs are stored in a single-threaded ...
Ponencia
P systems-based Modelling of Cellular Signalling Pathways
(2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behaviour. Understanding the biosignalling network functions are crucial for studying di erent diseases and for designing e ective ...
Capítulo de Libro
Exploring Computation Trees Associated with P Systems
(Springer, 2005)
Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day computers; moreover, different branches in this tree may differ significantly from a computational ...