Buscar
Mostrando ítems 1-10 de 12
Artículo
Spiking neural P systems with extended rules: universality and languages
(Springer, 2008)
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems and from generating strings; previous ...
Artículo
Uniform solutions to SAT and Subset Sum by spiking neural P systems
(Springer, 2009)
We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving computationally hard problems, addressing two problems which were already recently considered in this ...
Artículo
Fuzzy reasoning spiking neural P systems revisited: A formalization
(Elsevier, 2017)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest applications is fault diagnosis. The underlying mechanismwas conceived by bridging spiking neural P ...
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
Improving GPU Simulations of Spiking Neural P Systems
(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 ...
Ponencia
Spiking Neural P System Simulations on a High Performance GPU Platform
(Springer, 2011)
In this paper we present our results in adapting a Spiking Neural P system (SNP system) simulator to a high performance graphics processing unit (GPU) platform. In particular, we extend our simulations to larger and ...
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae ...
Ponencia
A Spiking Neural P System Simulator Based on CUDA
(Springer, 2011)
In this paper we present a Spiking Neural P system (SNP system) simulator based on graphics processing units (GPUs). In particular we implement the simulator using NVIDIA CUDA enabled GPUs. The massively parallel ...
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 ...
Ponencia
Sparse-matrix Representation of Spiking Neural P Systems for GPUs
(Fenix Editora, 2017)
Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps to harness the inherent parallelism in algebraic operations, such as vector-matrix multiplication. ...