The following pages link to Tissue P systems. (Q1401274):
Displaying 50 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- An efficient time-free solution to SAT problem by P systems with proteins on membranes (Q295645) (← links)
- Integrated regulatory networks (IRNs): spatially organized biochemical modules (Q418851) (← links)
- A linear time complexity of breadth-first search using P system with membrane division (Q459939) (← links)
- A limitation of cell division in tissue P systems by PSPACE (Q473203) (← links)
- Computational efficiency and universality of timed P systems with active membranes (Q487991) (← links)
- Computational power of cell separation in tissue P systems (Q506362) (← links)
- Computational power of tissue P systems for generating control languages (Q506719) (← links)
- On languages generated by spiking neural P systems with weights (Q506742) (← links)
- Tissue P systems with cell separation: attacking the partition problem (Q543208) (← links)
- On generalized communicating P systems with minimal interaction rules (Q616499) (← links)
- P systems and computational algebraic topology (Q630756) (← links)
- Solving the 3-COL problem by using tissue P systems without environment and proteins on cells (Q781876) (← links)
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Membrane computing and complexity theory: A characterization of PSPACE (Q859989) (← links)
- Multiset random context grammars, checkers, and transducers (Q872199) (← links)
- Membrane fission versus cell division: when membrane proliferation is not enough (Q896708) (← links)
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time (Q953542) (← links)
- Computational complexity of tissue-like P systems (Q983185) (← links)
- A quick introduction to membrane computing (Q987956) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- A P-Lingua based simulator for tissue P systems (Q987972) (← links)
- A software tool for verification of spiking neural P systems (Q1035723) (← 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)
- Designing a new software tool for digital imagery based on P systems (Q1761730) (← links)
- A uniform solution to the independent set problem through tissue P systems with cell separation (Q1762209) (← links)
- Tissue P systems with channel states (Q1763703) (← links)
- Using membrane computing for effective homology (Q1928791) (← links)
- A Turing machine simulation by P systems without charges (Q1982960) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework (Q1982962) (← links)
- Sequential dynamic threshold neural P systems (Q1982980) (← links)
- Simulating counting oracles with cooperation (Q1982984) (← links)
- Solving a PSPACE-complete problem with cP systems (Q1982985) (← links)
- Seeking computational efficiency boundaries: the Păun's conjecture (Q1982986) (← links)
- The computational power of cell-like P systems with one protein on membrane (Q1982988) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- Spiking neural P systems with target indications (Q1998881) (← links)
- Time-free solution to SAT problem by P systems with active membranes and standard cell division rules (Q2003493) (← links)
- Spiking neural P systems with structural plasticity and anti-spikes (Q2007721) (← links)
- Rule synchronization for tissue P systems (Q2051764) (← links)
- The computational power of monodirectional tissue P systems with symport rules (Q2051785) (← links)
- Neural-like P systems with plasmids (Q2051790) (← links)
- Monodirectional tissue P systems with channel states (Q2055533) (← links)
- Depth-two P systems can simulate Turing machines with \textbf{NP} oracles (Q2077403) (← links)
- P systems with evolutional symport and membrane creation rules solving QSAT (Q2077404) (← links)
- P systems with evolutional communication and separation rules (Q2104141) (← links)
- Turing completeness of water computing (Q2152298) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
