The following pages link to Computing with membranes (Q1582013):
Displaying 50 items.
- Membrane computing and complexity theory: A characterization of PSPACE (Q859989) (← links)
- Deterministic catalytic systems are not universal (Q860859) (← links)
- A uniform solution to SAT using membrane creation (Q870255) (← links)
- Universality results for P systems based on brane calculi operations (Q870259) (← links)
- Using well-structured transition systems to decide divergence for catalytic P systems (Q872196) (← links)
- Multiset random context grammars, checkers, and transducers (Q872199) (← links)
- On small universal antiport P systems (Q872200) (← links)
- Discrete solutions to differential equations by metabolic P systems (Q872202) (← links)
- Three ``quantum'' algorithms to solve 3-SAT (Q872207) (← links)
- Cycles and communicating classes in membrane systems and molecular dynamics (Q872209) (← links)
- P systems with minimal parallelism (Q884455) (← links)
- Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
- Relational state transition dynamics (Q929970) (← links)
- Membrane computing and brane calculi. Old, new, and future bridges (Q953535) (← links)
- Membrane systems with proteins embedded in membranes (Q953537) (← links)
- Decision problems in membrane systems with peripheral proteins, transport and evolution (Q953538) (← links)
- (Mem)brane automata (Q953539) (← links)
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time (Q953542) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- The metabolic algorithm for P systems: principles and applications (Q953550) (← links)
- Generalized communicating P systems (Q953554) (← links)
- Hybrid functional Petri nets as MP systems (Q968382) (← links)
- Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources (Q974099) (← links)
- Computational complexity of tissue-like P systems (Q983185) (← links)
- A quick introduction to membrane computing (Q987956) (← links)
- Simulating a P system based efficient solution to SAT by using GPUs (Q987962) (← links)
- P systems with control nuclei: the concept (Q987966) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- A P-Lingua based simulator for tissue P systems (Q987972) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Membrane computing with transport and embedded proteins (Q1004081) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- A software tool for verification of spiking neural P systems (Q1035723) (← links)
- On three variants of rewriting P systems (Q1399988) (← links)
- Gemmating P systems: Collapsing hierarchies. (Q1401271) (← links)
- Tissue P systems. (Q1401274) (← links)
- Aqueous computing: A survey with an invitation to participate. (Q1433943) (← links)
- Solving the N-queens problem using dP systems with active membranes (Q1643128) (← links)
- Predictors for flat membrane systems (Q1643137) (← links)
- Small asynchronous P systems with inhibitors defining non-semilinear sets (Q1682851) (← links)
- Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation (Q1682872) (← links)
- Other buds in membrane computing (Q1709908) (← links)
- Aggregating parallel multiset rewriting systems (Q1709920) (← links)
- A P-based hybrid evolutionary algorithm for vehicle routing problem with time windows (Q1717814) (← links)
- The computational complexity of tissue P systems with evolutional symport/antiport rules (Q1722689) (← links)
- Research on P system with chain structure and application and simulation in arithmetic operation (Q1723170) (← links)
- Generalized contexts for reaction systems: definition and study of dynamic causalities (Q1745347) (← links)
- Biocomputing: an insight from linguistics (Q1761720) (← links)
- Designing a new software tool for digital imagery based on P systems (Q1761730) (← links)
- Using enzymatic numerical P systems for modeling mobile robot controllers (Q1761731) (← links)
