Membrane computing. An introduction.

zbMath1034.68037MaRDI QIDQ1872776

Gheorghe Păun

Publication date: 15 May 2003

Published in: Natural Computing Series (Search for Journal in Brave)

zbMATH Keywords

molecular computingP systemsnatural computing

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (only showing first 100 items - show all)

Tissue Systems and Petri Net Synthesis ⋮ From P Colonies to 2D P Colonies and Simulations of Multiagent Systems ⋮ Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems ⋮ P Systems with Toxic Objects ⋮ Promoters and Inhibitors in Purely Catalytic P Systems ⋮ The Abilities of P Colony Based Models in Robot Control ⋮ Polymorphic P Systems with Non-cooperative Rules and No Ingredients ⋮ Universality in Molecular and Cellular Computing ⋮ Quantifying Communication in Synchronized Languages ⋮ Systolic Automata and P Systems ⋮ Small Universal Devices ⋮ Asynchronous Spiking Neural P Systems with Structural Plasticity ⋮ Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer $$\omega $$-Languages ⋮ A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time ⋮ Unnamed Item ⋮ Variants of spiking neural P systems and their operational semantics in Haskell ⋮ Solving SAT with P systems with anti-membranes ⋮ Extended spiking neural P systems with white hole rules and their red-green variants ⋮ A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time ⋮ On simulating cooperative transition P systems in evolution-communication P systems with energy ⋮ Some wonders of a bio-computer-scientist ⋮ Spiking Neural P Systems Used as Acceptors and Transducers ⋮ The power of synchronizing rules in membrane computing ⋮ Parallel contextual array insertion deletion grammars, pure 2D context-free grammars and associated P systems ⋮ Self-adapting spiking neural P systems with refractory period and propagation delay ⋮ P Automata: Membrane Systems as Acceptors ⋮ On the Computational Power of Enhanced Mobile Membranes ⋮ On the efficiency of synchronized P systems ⋮ Array P systems and pure 2D context-free grammars with independent mode of rewriting ⋮ Universality of spiking neural P systems with polarizations working in sequential mode induced by maximum spike number ⋮ Neighbourhood message passing computation on a lattice with cP systems ⋮ A bibliometric analysis of membrane computing (1998--2019) ⋮ A tutorial on the formal framework for spiking neural P systems ⋮ A membrane computing framework for self-reconfigurable robots ⋮ A model learning based testing approach for kernel P systems ⋮ Spiking neural P systems with weights and delays on synapses ⋮ Relating randomized right-hand sides to communicating rewriting rules ⋮ Turing universality of sequential spiking neural P systems with polarizations as number accepting devices ⋮ Spiking neural P systems: main ideas and results ⋮ Solving subset sum by spiking neural P systems with astrocytes producing calcium ⋮ On the power of boundary rule application in membrane computing ⋮ Spiking neural P systems and their semantics in Haskell ⋮ A process calculus for spiking neural P systems ⋮ A time-free uniform solution to subset sum problem by tissue P systems with cell division ⋮ Timed P Automata ⋮ On Some Classes of Sequential Spiking Neural P Systems ⋮ Spiking Neural P Systems with Thresholds ⋮ Spiking Neural P Systems with a Generalized Use of Rules ⋮ The Expressiveness of Concentration Controlled P Systems ⋮ A Characterisation of NL Using Membrane Systems without Charges and Dissolution ⋮ On the Computational Complexity of Spiking Neural P Systems ⋮ Lifted Bayesian Filtering in Multiset Rewriting Systems ⋮ Spatial Calculus of Looping Sequences ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions ⋮ Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors ⋮ Strategy-Based Proof Calculus for Membrane Systems ⋮ Patterns for Maude Metalanguage Applications ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ Testing Non-deterministic Stream X-machine Models and P systems ⋮ Psim: A Computational Platform for Metabolic P Systems ⋮ Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata ⋮ (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ Membrane Computing in Connex Environment ⋮ Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes ⋮ On the Reachability Problem in P Systems with Mobile Membranes ⋮ Simulating the Bitonic Sort Using P Systems ⋮ On the Number of Agents in P Colonies ⋮ P Systems with String Objects and with Communication by Request ⋮ A Logarithmic Bound for Solving Subset Sum with P Systems ⋮ A Formal Framework for Static (Tissue) P Systems ⋮ Conformon-P Systems with Negative Values ⋮ Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo ⋮ Solving Numerical NP-Complete Problems with Spiking Neural P Systems ⋮ Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P ⋮ Characterizing Membrane Structures Through Multiset Tree Automata ⋮ Asynchronous Spiking Neural P Systems: Decidability and Undecidability ⋮ P Systems with Anti-Matter ⋮ Universality of SNQ P Systems Using One Type of Spikes and Restrictive Rule Application ⋮ A Framework for Complexity Classes in Membrane Computing ⋮ Complexity classes for membrane systems ⋮ Membrane Computing and Brane Calculi (Some Personal Notes) ⋮ Translating Mobile Ambients into P Systems ⋮ Membrane Systems with Marked Membranes ⋮ Membrane Systems with Peripheral Proteins: Transport and Evolution ⋮ A Linear–time Tissue P System Based Solution for the 3–coloring Problem ⋮ Computing by Floating Strings ⋮ Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings ⋮ Expressiveness Issues in Brane Calculi: A Survey ⋮ Describing the Immune System Using Enhanced Mobile Membranes ⋮ An Intermediate Language for the Simulation of Biological Systems ⋮ A Survey on Analog Models of Computation ⋮ Time-free Solution to Independent Set Problem using P Systems with Active Membranes ⋮ On trace languages generated by (small) spiking neural P systems ⋮ On the computational completeness of graph-controlled insertion-deletion systems with binary sizes ⋮ BioAmbients: an abstraction for biological compartments ⋮ Catalytic P systems, semilinear sets, and vector addition systems ⋮ The computational power of tissue-like P systems with promoters

This page was built for publication: Membrane computing. An introduction.