A guide to membrane computing.
From MaRDI portal
Publication:1853480
DOI10.1016/S0304-3975(02)00136-6zbMath1061.68054OpenAlexW2148456801WikidataQ56485415 ScholiaQ56485415MaRDI QIDQ1853480
Grzegorz Rozenberg, Gheorghe Păun
Publication date: 21 January 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00136-6
Related Items
Spiking Neural P Systems with Astrocytes ⋮ Evolutionary Design of a Simple Membrane System ⋮ Catalytic P systems, semilinear sets, and vector addition systems ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Tissue Systems and Petri Net Synthesis ⋮ Deterministic catalytic systems are not universal ⋮ A Petri net model for membrane systems with dynamic structure ⋮ On the computational complexity of membrane systems ⋮ Three ``quantum algorithms to solve 3-SAT ⋮ Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ A bibliometric analysis of membrane computing (1998--2019) ⋮ Molecular computing for Markov chains ⋮ Generation of chain code pictures using cell-like spiking neural P system with several types of spikes ⋮ Spiking neural P systems with polarizations and astrocytes ⋮ Compositional semantics and behavioral equivalences for P systems ⋮ Spiking Neural P Systems with Thresholds ⋮ The computational power of timed P systems with active membranes using promoters ⋮ ON ONE-MEMBRANE P SYSTEMS OPERATING IN SEQUENTIAL MODE ⋮ Simulating counting oracles with cooperation ⋮ On languages generated by spiking neural P systems with weights ⋮ Weight optimization for case-based reasoning using membrane computing ⋮ Decision problems in membrane systems with peripheral proteins, transport and evolution ⋮ Processes of membrane systems with promoters and inhibitors ⋮ On aggregation in multiset-based self-assembly of graphs ⋮ An empirical evaluation of P system testing techniques ⋮ A Prolog simulator for deterministic P systems with active membranes ⋮ P systems with symport/antiport simulating counter automata ⋮ On membrane hierarchy in P systems ⋮ Compositional semantics of spiking neural P systems ⋮ Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems ⋮ Spiking Neural P Systems with Weights ⋮ (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power ⋮ Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ On Bounded Symport/Antiport P Systems ⋮ ON VARIOUS NOTIONS OF PARALLELISM IN P SYSTEMS ⋮ P SYSTEMS WITH INPUT IN BINARY FORM ⋮ Networks of Reaction Systems ⋮ A multi-objective membrane algorithm guided by the skin membrane ⋮ Theory of tailor automata ⋮ Cell-like spiking neural P systems with evolution rules ⋮ Computation with finite stochastic chemical reaction networks ⋮ Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources ⋮ (Tissue) P systems with cell polarity ⋮ Depth-two P systems can simulate Turing machines with \textbf{NP} oracles ⋮ Synthesising elementary net systems with localities ⋮ On determinism versus nondeterminism in P systems ⋮ A fast \(P\) system for finding a balanced 2-partition ⋮ Topics in the theory of DNA computing. ⋮ Membrane Systems with Peripheral Proteins: Transport and Evolution ⋮ A Survey on Analog Models of Computation
Cites Work
- The power of communication: P systems with symport/antiport
- Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors
- The chemical abstract machine
- Membrane systems with promoters/inhibitors
- Computing with membranes
- P systems with energy accounting∗
- Six nonterminals are enough for generating each r.e. language by a matrix grammar
- A CHARACTERIZATION OF PARIKH SETS OF ET0L LANGUAGES IN TERMS OF P SYSTEMS
- COMPUTING WITH MEMBRANES (P SYSTEMS): A VARIANT
- MEMBRANE COMPUTING AND ONE-WAY FUNCTIONS
- Membrane systems with carriers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
