Buscar
Mostrando ítems 11-20 de 24
Ponencia
Design of Specific P Systems Simulators on GPUs
(Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having effi-cient simulation tools is crucial, and for this purpose, parallel platforms should be ...
Artículo
A Survey of Parallel Simulation of P Systems with GPUs
(IMCS: International Membrane Computing Society, 2017)
P system simulators become essential for model verification and validation, since they reproduce the semantics of the models in an automatic way. For this reason, in the literature, many authors have proposed several ...
Artículo
A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study
(Science Direct, 2011)
The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational models based on biological processes, or bioinspired models, have arisen, among which are P ...
Ponencia
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
(Springer, 2015)
Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy logic elements that make it suitable to model fuzzy diagnosis knowledge and reasoning ...
Artículo
P systems based computing polynomials: design and formal verification
(Springer, 2016)
Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the previous work that used evolutionary algorithms to fulfill the task, this paper presents the ...
Artículo
Fuzzy reasoning spiking neural P system for fault diagnosis
(Elsevier, 2013)
Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing models. Some features that SN P systems possess are attractive to fault diagnosis. However, handling ...
Artículo
Dynamic threshold neural P systems
(Elsevier, 2019)
Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally for the cortical neurons in the visual cortex of a cat’s brain, and the intersecting cortical ...
Artículo
The GPU on the simulation of cellular computing models
(Springer, 2012)
Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from the structure and functioning of the living cells as well as from the cooperation of cells in ...
Capítulo de Libro
Characterizing tractability by cell-like membrane systems
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)
In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using accepting transition P systems, we provide a characterization of the standard computational class P ...
Capítulo de Libro
Cellular solutions to some numerical NP-complete problems: A prolog implementation
(Idea Group Inc., 2005)
This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, also called P systems (Pǎun, 1998). The chapter presents efficient solutions to the subset sum and ...