A tutorial on the formal framework for spiking neural P systems

DOI10.1007/S11047-022-09896-0MaRDI QIDQ6136470zbMATH OpenFDO

Authors Sergey Verlan, Gexiang Zhang

Publication date 31 August 2023

Published in Natural Computing (Search for Journal in Brave)

zbMATH Keywords

tutorialmembrane computingspiking neural P-systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• A formal framework for spiking neural P systems
• Spiking neural P systems: theoretical results and applications
• Spiking neural P systems: main ideas and results
• On spiking neural P systems
• Spiking neural P systems with rules on synapses

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A Formal Framework for Static (Tissue) P Systems
• A distributed adaptive optimization spiking neural P system for approximately solving combinatorial optimization problems
• A formal framework for spiking neural P systems
• A formalization of membrane systems with dynamically evolving structures
• Bridging deterministic P systems and conditional grammars
• Computing with SN P systems with I/O mode
• Computing with membranes
• Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
• Extended Spiking Neural P Systems
• Membrane computing. An introduction.
• Normal forms for spiking neural P systems
• P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
• Real-life applications with membrane computing
• Seeking computational efficiency boundaries: the Păun's conjecture
• Simulation challenges in membrane computing
• 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 with target indications
• Spiking neural P systems: theoretical results and applications
• Using the formal framework for P systems

Cited in

(3)

• Universal enzymatic numerical P systems with small number of enzymatic rules
• Notes on spiking neural P systems and finite automata
• On Structures and Behaviors of Spiking Neural P Systems and Petri Nets

This page was built for publication: A tutorial on the 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 Q6136470)