Now showing items 1-10 of 158
Membrane computing: Brief introduction, recent results and applications [Article]
The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order structures, can be a rich source of inspiration for computer science, not fully exploited at the present ...
Programas moleculares y sistemas lógico-formales [Article]
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, ...
Dynamic consequence and public announcement [Article]
(Cambridge University Press, 2013)
Available Membrane Computing Software [Chapter of Book]
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 ...
Verification of the Formal Concept Analysis [Article]
(Real Academia de Ciencias, 2004)
This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform ...
P systems with symport/antiport rules: When do the surroundings matter? [Article]
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. These systems compute by changing the places of objects with respect to the membranes, and not ...
Formally Verified Tableau-Based Reasoners for a Description Logic [Article]
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description ...
Discovering New Sentiments from the Social Web [Article]
(Cornell University Library, 2014)
Weighted Fuzzy Spiking Neural P Systems [Article]
(IEEE Computer Society, 2013)
Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior of biological spiking neurons. In order to make SN P sys-tems capable of representing and processing ...
Improving GPU Simulations of Spiking Neural P Systems [Article]
(Romanian Academy, 2012)
In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator on graphics processing units (for short, GPUs). Using previous results on representing SNP system ...