Tissue P systems.

DOI10.1016/S0304-3975(02)00659-XzbMath1045.68063OpenAlexW1984586189MaRDI QIDQ1401274

Alfonso Rodríguez-Patón, Juan Pazos, Carlos Martín-Vide, Gheorghe Păun

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00659-x

zbMATH Keywords

NP-complete problems P systems Chomsky hierarchy Membrane computing Natural computing Lindenmayer hierarchy

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

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

Modelling and verification of weighted spiking neural systems ⋮ A sublinear Sudoku solution in cP systems and its formal verification ⋮ Spiking Neural P Systems with Astrocytes ⋮ An Adaptive Algorithm for P System Synchronization ⋮ Computing with Multi-membranes ⋮ An efficient time-free solution to SAT problem by P systems with proteins on membranes ⋮ The computational power of tissue-like P systems with promoters ⋮ Numerical P systems with migrating variables ⋮ Turing completeness of water computing ⋮ Formal verification of cP systems using Coq ⋮ Spiking neural P systems with a flat maximally parallel use of rules ⋮ Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division ⋮ Membrane computing and complexity theory: A characterization of PSPACE ⋮ Efficient simulation of tissue-like P systems by transition cell-like P systems ⋮ Multiset random context grammars, checkers, and transducers ⋮ Characterising the complexity of tissue P systems with fission rules ⋮ An efficient time-free solution to QSAT problem using P systems with proteins on membranes ⋮ On DNA-Based Gellular Automata ⋮ A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time ⋮ The computational power of enzymatic numerical P systems working in the sequential mode ⋮ Spiking neural P systems with rules on synapses and anti-spikes ⋮ Using membrane computing for effective homology ⋮ Rule synchronization for monodirectional tissue-like P systems with channel states ⋮ On generalized communicating P systems with minimal interaction rules ⋮ A path to computational efficiency through membrane computing ⋮ Computation power of asynchronous spiking neural P systems with polarizations ⋮ Membrane fission versus cell division: when membrane proliferation is not enough ⋮ Integrated regulatory networks (IRNs): spatially organized biochemical modules ⋮ P systems and computational algebraic topology ⋮ Spiking neural P systems with polarizations and rules on synapses ⋮ A time-free uniform solution to subset sum problem by tissue P systems with cell division ⋮ The environment as a frontier of efficiency in tissue P systems with communication rules ⋮ Numerical spiking neural P systems with production functions on synapses ⋮ Coping with Dynamical Structures for Interdisciplinary Applications of Membrane Computing ⋮ Walking Membranes: Grid-Exploring P Systems with Artificial Evolution for Multi-purpose Topological Optimisation of Cascaded Processes ⋮ Simulation of spatial P system models ⋮ Time-free solution to SAT problem using P systems with active membranes ⋮ Cell-like P systems with evolutional symport/antiport rules and membrane creation ⋮ A P-based hybrid evolutionary algorithm for vehicle routing problem with time windows ⋮ A linear time complexity of breadth-first search using P system with membrane division ⋮ The computational complexity of tissue P systems with evolutional symport/antiport rules ⋮ TISSUE-LIKE P SYSTEMS WITH DYNAMICALLY EMERGING REQUESTS ⋮ A limitation of cell division in tissue P systems by PSPACE ⋮ ON STATELESS AUTOMATA AND P SYSTEMS ⋮ Computational efficiency and universality of timed P systems with active membranes ⋮ A Turing machine simulation by P systems without charges ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework ⋮ Sequential dynamic threshold neural P systems ⋮ Simulating counting oracles with cooperation ⋮ Solving a PSPACE-complete problem with cP systems ⋮ Seeking computational efficiency boundaries: the Păun's conjecture ⋮ The computational power of cell-like P systems with one protein on membrane ⋮ Travelling salesman problem in tissue P systems with costs ⋮ Computational power of cell separation in tissue P systems ⋮ Computational power of tissue P systems for generating control languages ⋮ On languages generated by spiking neural P systems with weights ⋮ A uniform family of tissue P systems with cell division solving 3-COL in a linear time ⋮ A multiset-based model of synchronizing agents: Computability and robustness ⋮ Spiking neural P systems with target indications ⋮ Time-free solution to SAT problem by P systems with active membranes and standard cell division rules ⋮ Designing a new software tool for digital imagery based on P systems ⋮ A uniform solution to the independent set problem through tissue P systems with cell separation ⋮ A TISSUE P SYSTEM BASED SOLUTION TO QUADRATIC ASSIGNMENT PROBLEM ⋮ Tissue P systems with channel states ⋮ Tissue P systems with cell separation: attacking the partition problem ⋮ Spiking neural P systems with structural plasticity and anti-spikes ⋮ Computational complexity of tissue-like P systems ⋮ A quick introduction to membrane computing ⋮ Compositional semantics of spiking neural P systems ⋮ A P-Lingua based simulator for tissue P systems ⋮ Spiking Neural P Systems with Weights ⋮ Testing based on identifiable P systems using cover automata and X-machines ⋮ Local time membrane systems and time Petri nets ⋮ P systems with symport/antiport rules: when do the surroundings matter? ⋮ Tissue-like P systems with evolutional symport/antiport rules ⋮ CELL/SYMBOL COMPLEXITY OF TISSUE P SYSTEMS WITH SYMPORT/ANTIPORT RULES ⋮ Solution to PSPACE-complete problem using P systems with active membranes with time-freeness ⋮ P systems with proteins: a new frontier when membrane division disappears ⋮ P systems attacking hard problems beyond NP: a survey ⋮ Rule synchronization for tissue P systems ⋮ The computational power of monodirectional tissue P systems with symport rules ⋮ Neural-like P systems with plasmids ⋮ Monodirectional tissue P systems with channel states ⋮ Cell-like P systems with polarizations and minimal rules ⋮ MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USINGPSYSTEMS ⋮ Simulating P systems with membrane dissolution in a chemical calculus ⋮ Membrane automata for modeling biomolecular processes ⋮ On the overlap assembly of strings and languages ⋮ A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division ⋮ Cell-like spiking neural P systems with evolution rules ⋮ A software tool for verification of spiking neural P systems ⋮ (Tissue) P systems with cell polarity ⋮ Depth-two P systems can simulate Turing machines with \textbf{NP} oracles ⋮ P systems with evolutional symport and membrane creation rules solving QSAT ⋮ Solving the 3-COL problem by using tissue P systems without environment and proteins on cells ⋮ A polynomial alternative to unbounded environment for tissue P systems with cell division ⋮ A Linear–time Tissue P System Based Solution for the 3–coloring Problem ⋮ P systems with evolutional communication and separation rules ⋮ Membrane parallelism for discrete Morse theory applied to digital images

Cites Work

This page was built for publication: Tissue P systems.