Spiking neural P systems
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Asynchronous spiking neural P systems
- On languages generated by asynchronous spiking neural P systems
- On string languages generated by spiking neural P systems with exhaustive use of rules
- Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
- On the power of elementary features in spiking neural P systems
- A software tool for verification of spiking neural P systems
- Characterizations of some classes of spiking neural P systems
- Experiments on the reliability of stochastic spiking neural P systems
- Spiking neural nets with symbolic internal state
- On computing Boolean functions by a spiking neuron
- Solving the N-queens problem using dP systems with active membranes
- Fuzzy reasoning spiking neural P systems revisited: a formalization
- Small spiking neural \(\mathrm{P}\) systems with structural plasticity
- A look at the descriptional complexity of SNQ P systems
- Spiking neural P systems: theoretical results and applications
- The computational complexity of tissue P systems with evolutional symport/antiport rules
- Dendrite P systems
- Formal verification of cP systems using PAT3 and ProB
- Computing with SN P systems with I/O mode
- Sequential dynamic threshold neural P systems
- Simulating counting oracles with cooperation
- Solving a PSPACE-complete problem with cP systems
- Seeking computational efficiency boundaries: the Păun's conjecture
- The computational power of cell-like P systems with one protein on membrane
- A formal framework for spiking neural P systems
- Homogeneous spiking neural P systems with structural plasticity
- Implementation of RSA cryptographic algorithm using SN P systems based on HP/LP neurons
- Reliability evaluation of distribution network based on fuzzy spiking neural P system with self-synapse
- Theory of reaction automata: a survey
- Travelling salesman problem in tissue P systems with costs
- Spiking neural P systems: matrix representation and formal verification
- A return to stochasticity and probability in spiking neural P systems
- An error-tolerant serial binary full-adder via a spiking neural P system using HP/LP basic neurons
- An improved universal spiking neural P system with generalized use of rules
- Hyperparameter optimization in learning systems
- Small SNQ P systems with multiple types of spikes
- Spiking neural P systems with target indications
- On string languages generated by sequential spiking neural P systems based on the number of spikes
- Time-free solution to SAT problem by P systems with active membranes and standard cell division rules
- Spiking neural P systems with structural plasticity and anti-spikes
- Rule synchronization for tissue P systems
- The computational power of monodirectional tissue P systems with symport rules
- Neural-like P systems with plasmids
- Computational completeness of sequential spiking neural P systems with inhibitory rules
- Nonlinear neural P systems for generating string languages
- Monodirectional tissue P systems with channel states
- Depth-two P systems can simulate Turing machines with \textbf{NP} oracles
- P systems with evolutional symport and membrane creation rules solving QSAT
- Computational completeness of spiking neural P systems with inhibitory rules for generating string languages
- Turing completeness of water computing
- Formal verification of cP systems using Coq
- Spiking neural P systems with a flat maximally parallel use of rules
- Computational power of sequential spiking neural P systems with multiple channels
- Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division
- Asynchronous homogenous spiking neural P systems with local rule synchronization
- Dynamic threshold P systems with delay on synapses for shortest path problems
- Spiking neural P systems with multiple channels
- Spiking neural P systems with polarizations and rules on synapses
- Cell-like P systems with evolutional symport/antiport rules and membrane creation
- Computational power of dynamic threshold neural P systems for generating string languages
- On solutions and representations of spiking neural P systems with rules on synapses
- Control languages accepted by labeled spiking neural P systems with rules on synapses
- Computational power of sequential dendrite P systems
- Sequential SNP systems based on min/max spike number
- Design of logic gates using spiking neural P systems with homogeneous neurons and astrocytes-like control
- Local time membrane systems and time Petri nets
- P systems with symport/antiport rules: when do the surroundings matter?
- Tissue-like P systems with evolutional symport/antiport rules
- Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
- P systems with proteins: a new frontier when membrane division disappears
- Alternative representations of P systems solutions to the graph colouring problem
- Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity
- Generating context-free languages using spiking neural P systems with structural plasticity
- P systems attacking hard problems beyond NP: a survey
- Cell-like P systems with polarizations and minimal rules
- Simulating P systems with membrane dissolution in a chemical calculus
- Notes on spiking neural P systems and finite automata
- Numerical P systems with Boolean condition
- A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division
- Cell-like spiking neural P systems with evolution rules
- Sequential spiking neural P systems with local scheduled synapses without delay
- A semantic investigation of spiking neural P systems
- Small universal simple spiking neural P systems with weights
- On trace languages generated by (small) spiking neural P systems
- An efficient time-free solution to QSAT problem using P systems with proteins on membranes
- The computational power of enzymatic numerical P systems working in the sequential mode
- Spiking neural P systems with rules on synapses and anti-spikes
- Reversible spiking neural P systems
- A path to computational efficiency through membrane computing
- Computation power of asynchronous spiking neural P systems with polarizations
- Time-free solution to SAT problem using P systems with active membranes
- Spiking neural P systems with rules on synapses
- Fuzzy reasoning spiking neural P system for fault diagnosis
- Parallel computation in spiking neural nets
- The computational power of tissue-like P systems with promoters
- Numerical P systems with migrating variables
- Modelling and analysing neural networks using a hybrid process algebra
- Modelling and verification of weighted spiking neural systems
- Investigating dynamic causalities in reaction systems
- Computing with viruses
This page was built for publication: Spiking neural P systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5480659)
