A tutorial on the formal framework for spiking neural P systems
From MaRDI portal
Publication:6136470
DOI10.1007/s11047-022-09896-0zbMath1530.68109MaRDI QIDQ6136470
Publication date: 31 August 2023
Published in: Natural Computing (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Normal forms for spiking neural P systems
- Spiking neural P systems with extended rules: universality and languages
- Computing with membranes
- Spiking neural \(\mathrm{P}\) systems: theoretical results and applications
- Real-life applications with membrane computing
- Membrane computing. An introduction.
- Computing with SN P systems with I/O mode
- Seeking computational efficiency boundaries: the Păun's conjecture
- Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
- A formal framework for spiking neural P systems
- Simulation challenges in membrane computing
- Spiking neural P systems with target indications
- Spiking neural P systems with multiple channels
- Bridging Deterministic P Systems and Conditional Grammars
- 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
- Using the Formal Framework for P Systems
- A Formal Framework for Static (Tissue) P Systems
- A distributed adaptive optimization spiking neural P system for approximately solving combinatorial optimization problems
