A formal framework for spiking neural P systems
From MaRDI portal
Publication:1982991
DOI10.1007/S41965-020-00050-2zbMATH Open1469.68057OpenAlexW3094109137MaRDI QIDQ1982991FDOQ1982991
Authors: Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang 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
Recommendations
Cites Work
- Title not available (Why is that?)
- Asynchronous spiking neural P systems
- Spiking neural P systems: theoretical results and applications
- Flat maximal parallelism in P systems with promoters
- Cell-like spiking neural P systems
- Extended Spiking Neural P Systems
- Fast hardware implementations of P systems
- Spiking neural P systems
- (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode
- Spiking neural P systems with extended rules: universality and languages
- Sequential SNP systems based on min/max spike number
- Spiking Neural P Systems with Weights
- Normal forms for spiking neural P systems
- A Formal Framework for Static (Tissue) P Systems
- A general framework for sequential grammars with control mechanisms
- P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
- A formalization of membrane systems with dynamically evolving structures
- 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
- Using the formal framework for P systems
Cited In (18)
- A return to stochasticity and probability in spiking neural P systems
- Spiking neural P systems: matrix representation and formal verification
- Small universal improved spiking neural P systems with multiple channels and autapses
- Universality of SN P systems with stochastic application of rules
- Languages generated by numerical P systems with thresholds
- Numerical networks of cells
- Variants of spiking neural P systems and their operational semantics in Haskell
- A web-based visual simulator for spiking neural P systems
- Spiking neural P systems and their semantics in Haskell
- A process calculus for spiking neural P systems
- Generation of chain code pictures using cell-like spiking neural P system with several types of spikes
- Asynchronous homogenous spiking neural P systems with local rule synchronization
- Dynamic threshold P systems with delay on synapses for shortest path problems
- A tutorial on the formal framework for spiking neural P systems
- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
- Computational completeness of sequential spiking neural P systems with inhibitory rules
- Normal forms for spiking neural P systems and some of its variants
- Using the formal framework for P systems
This page was built for publication: A formal framework for spiking neural P systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1982991)
