Handbook of formal languages, vol. 3: beyond words
Handbook of formal languages, vol. 3: beyond words
Pulsed neural networks
Journal of Computer and System Sciences
Turing's connectionism: an investigation of neural network architectures
Turing's connectionism: an investigation of neural network architectures
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Spiking Neuron Models: An Introduction
Spiking Neuron Models: An Introduction
Designing DBMS support for the temporal dimension
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A New Class of Symbolic Abstract Neural Nets: Tissue P Systems
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Computation: finite and infinite machines
Computation: finite and infinite machines
On symport/antiport p systems and semilinear sets
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Normal forms for spiking neural P systems
Theoretical Computer Science
On String Languages Generated by Spiking Neural P Systems
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A Linear--time Tissue P System Based Solution for the 3--coloring Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Extended spiking neural P systems with excitatory and inhibitory astrocytes
EC'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing - Volume 8
Spiking neural P systems with extended rules: universality and languages
Natural Computing: an international journal
Regular ω-Languages Defined by Finite Extended Spiking Neural P Systems
Fundamenta Informaticae
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
Theoretical Computer Science
Spiking Neural P Systems. Power and Efficiency
IWINAC '07 Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks
On the Computational Complexity of Spiking Neural P Systems
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Computing with cells: membrane systems-some complexity issues
International Journal of Parallel, Emergent and Distributed Systems
Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
Natural Computing: an international journal
Natural Computing: an international journal
On the power of elementary features in spiking neural P systems
Natural Computing: an international journal
Bibliography of spiking neural P systems
Natural Computing: an international journal
On string languages generated by spiking neural P systems with exhaustive use of rules
Natural Computing: an international journal
A software tool for verification of Spiking Neural P Systems
Natural Computing: an international journal
Experiments on the reliability of stochastic spiking neural P systems
Natural Computing: an international journal
Characterizations of some classes of spiking neural P systems
Natural Computing: an international journal
Implementing Sorting Networks with Spiking Neural P Systems
Fundamenta Informaticae
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
Fundamenta Informaticae
Smaller Universal Spiking Neural P Systems
Fundamenta Informaticae
Hebbian Learning from Spiking Neural P Systems View
Membrane Computing
How Redundant Is Your Universal Computation Device?
Membrane Computing
Asynchronous spiking neural P systems
Theoretical Computer Science
On languages generated by asynchronous spiking neural P systems
Theoretical Computer Science
Sequential SNP systems based on min/max spike number
Theoretical Computer Science
Uniform solutions to SAT and Subset Sum by spiking neural P systems
Natural Computing: an international journal
Homogeneous Spiking Neural P Systems
Fundamenta Informaticae
Membrane computing as a framework for bio-modeling: an informal glimpse
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
Theoretical Computer Science
Spiking neural P systems used as acceptors and transducers
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Solving numerical NP-complete problems with spiking neural P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Asynchronous spiking neural P system with promoters
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Asynchronous spiking neural P systems: decidability and undecidability
DNA13'07 Proceedings of the 13th international conference on DNA computing
Computational complexity of tissue-like P systems
Journal of Complexity
Natural Computing: an international journal
Spiking neural p systems with weights
Neural Computation
On the computational complexity of spiking neural P systems
Natural Computing: an international journal
Computationally complete spiking neural P systems without delay: two types of neurons are enough
CMC'10 Proceedings of the 11th international conference on Membrane computing
Polynomial complexity classes in spiking neural P systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
Spiking neural P systems with neuron division
CMC'10 Proceedings of the 11th international conference on Membrane computing
Matrix representation of spiking neural P systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
An overview of membrane computing
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Time-free spiking neural p systems
Neural Computation
Event-related outputs of computations in P systems
Journal of Automata, Languages and Combinatorics
(Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode
Natural Computing: an international journal
Selected topics in computational complexity of membrane systems
Computation, cooperation, and life
Computing the maximum bisimulation with spiking neural P systems
Computation, cooperation, and life
Spiking neural P system simulations on a high performance GPU platform
ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part II
Biological roots and applications of p systems: further suggestions
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Extended spiking neural p systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Characterizations of some restricted spiking neural p systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems with symport/antiport and time
WMC'06 Proceedings of the 7th international conference on Membrane Computing
On spiking neural p systems and partially blind counter machines
UC'06 Proceedings of the 5th international conference on Unconventional Computation
Spiking Neural P Systems with Weighted Synapses
Neural Processing Letters
Computing with spiking neural p systems: traces and small universal systems
DNA'06 Proceedings of the 12th international conference on DNA Computing
Spiking neural p systems with astrocytes
Neural Computation
A boundary between universality and non-universality in extended spiking neural p systems
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Languages in membrane computing: some details for spiking neural p systems
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Transition and halting modes in (tissue) p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Solving NP-Complete problems by spiking neural p systems with budding rules
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A note on small universal spiking neural p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A spiking neural p system simulator based on CUDA
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Asynchronous extended spiking neural p systems with astrocytes
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A p---lingua based simulator for spiking neural p systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Sequentiality induced by spike number in SNP systems: small universal machines
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A weakly universal spiking neural P system
Mathematical and Computer Modelling: An International Journal
Fundamenta Informaticae
Computing k-block Morphisms by Spiking Neural P Systems
Fundamenta Informaticae
Limited Asynchronous Spiking Neural P Systems
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Hi-index | 0.01 |
This paper proposes a way to incorporate the idea of spiking neurons into the area of membrane computing, and to this aim we introduce a class of neural-like P systems which we call spiking neural P systems (in short, SN P systems). In these devices, the time (when the neurons fire and/or spike) plays an essential role. For instance, the result of a computation is the time between the moments when a specified neuron spikes. Seen as number computing devices, SN P systems are shown to be computationally complete (both in the generating and accepting modes, in the latter case also when restricting to deterministic systems). If the number of spikes present in the system is bounded, then the power of SN P systems falls drastically, and we get a characterization of semilinear sets. A series of research topics and open problems are formulated.