A formal framework for spiking neural P systems
From MaRDI portal
Publication:1982991
DOI10.1007/s41965-020-00050-2zbMath1469.68057OpenAlexW3094109137MaRDI QIDQ1982991
Sergiu Ivanov, Artiom Alhazov, Rudolf Freund, Sergey Verlan, Lin-Qiang Pan
Publication date: 14 September 2021
Published in: Journal of Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s41965-020-00050-2
Related Items (16)
Asynchronous homogenous spiking neural P systems with local rule synchronization ⋮ Dynamic threshold P systems with delay on synapses for shortest path problems ⋮ Numerical networks of cells ⋮ Variants of spiking neural P systems and their operational semantics in Haskell ⋮ Normal forms for spiking neural P systems and some of its variants ⋮ A web-based visual simulator for spiking neural P systems ⋮ Small universal improved spiking neural P systems with multiple channels and autapses ⋮ Universality of SN P systems with stochastic application of rules ⋮ A tutorial on the formal framework for spiking neural P systems ⋮ Languages generated by numerical P systems with thresholds ⋮ Generation of chain code pictures using cell-like spiking neural P system with several types of spikes ⋮ Spiking neural P systems and their semantics in Haskell ⋮ A process calculus for spiking neural P systems ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ A return to stochasticity and probability in spiking neural P systems ⋮ Computational completeness of sequential spiking neural P systems with inhibitory rules
Cites Work
- Unnamed Item
- Unnamed Item
- Flat maximal parallelism in P systems with promoters
- Cell-like spiking neural P systems
- (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode
- Normal forms for spiking neural P systems
- Spiking neural P systems with extended rules: universality and languages
- Asynchronous spiking neural P systems
- Spiking neural \(\mathrm{P}\) systems: theoretical results and applications
- Bi-simulation between P colonies and P systems with multi-stable catalysts
- An improved universal spiking neural P system with generalized use of rules
- Spiking neural P systems with multiple channels
- A general framework for sequential grammars with control mechanisms
- Sequential SNP systems based on min/max spike number
- P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
- A formalization of membrane systems with dynamically evolving structures
- Spiking Neural P Systems with Weights
- Extended Spiking Neural P Systems
- Fast Hardware Implementations of P Systems
- Using the Formal Framework for P Systems
- A Formal Framework for Static (Tissue) P Systems
This page was built for publication: A formal framework for spiking neural P systems
