A formal framework for spiking neural P systems

DOI10.1007/S41965-020-00050-2MaRDI QIDQ1982991zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

membrane computingnatural computingspiking neural P-systemformal framework

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Spiking neural P systems: theoretical results and applications
• Spiking neural P systems with rules on synapses
• SPIKING NEURAL P SYSTEMS: AN EARLY SURVEY
• Spiking neural P systems
• On spiking neural P systems

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• (Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode
• A Formal Framework for Static (Tissue) P Systems
• A formalization of membrane systems with dynamically evolving structures
• A general framework for sequential grammars with control mechanisms
• An improved universal spiking neural P system with generalized use of rules
• Asynchronous spiking neural P systems
• Bi-simulation between P colonies and P systems with multi-stable catalysts
• Cell-like spiking neural P systems
• Extended Spiking Neural P Systems
• Fast hardware implementations of P systems
• Flat maximal parallelism in P systems with promoters
• Normal forms for spiking neural P systems
• P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
• Sequential SNP systems based on min/max spike number
• Spiking Neural P Systems with Weights
• Spiking neural P systems
• Spiking neural P systems with extended rules: universality and languages
• Spiking neural P systems with multiple channels
• Spiking neural P systems: theoretical results and applications
• Using the formal framework for P systems

Cited in

(18)

• Using the formal framework for P systems
• 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
• Computational completeness of sequential spiking neural P systems with inhibitory rules
• On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
• Normal forms for spiking neural P systems and some of its variants

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)