The following pages link to (Q5480659):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- Investigating dynamic causalities in reaction systems (Q264548) (← links)
- Computing with viruses (Q264553) (← links)
- Cell-like spiking neural P systems (Q264559) (← links)
- An efficient time-free solution to SAT problem by P systems with proteins on membranes (Q295645) (← links)
- Spiking neural P systems with neuron division and budding (Q350918) (← links)
- Universality of sequential spiking neural P systems based on minimum spike number (Q391185) (← links)
- A linear time complexity of breadth-first search using P system with membrane division (Q459939) (← links)
- A new approach to fault diagnosis of power systems using fuzzy reasoning spiking neural P systems (Q474655) (← links)
- Three small universal spiking neural P systems (Q487986) (← links)
- Computational efficiency and universality of timed P systems with active membranes (Q487991) (← 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)
- An unsupervised learning algorithm for membrane computing (Q528779) (← links)
- (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode (Q553919) (← links)
- On the computational complexity of spiking neural P systems (Q609034) (← links)
- A weakly universal spiking neural P system (Q630746) (← links)
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Spiking neural P systems: an improved normal form (Q847669) (← links)
- Normal forms for spiking neural P systems (Q872205) (← links)
- Spiking neural P systems with extended rules: universality and languages (Q934976) (← links)
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time (Q953542) (← 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)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- Asynchronous spiking neural P systems (Q1019715) (← links)
- On languages generated by asynchronous spiking neural P systems (Q1029355) (← links)
- On string languages generated by spiking neural P systems with exhaustive use of rules (Q1035716) (← links)
- Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources (Q1035718) (← links)
- On the power of elementary features in spiking neural P systems (Q1035721) (← links)
- A software tool for verification of spiking neural P systems (Q1035723) (← links)
- Characterizations of some classes of spiking neural P systems (Q1035724) (← links)
- Experiments on the reliability of stochastic spiking neural P systems (Q1035726) (← links)
- Solving the N-queens problem using dP systems with active membranes (Q1643128) (← links)
- Fuzzy reasoning spiking neural P systems revisited: a formalization (Q1682871) (← links)
- The computational complexity of tissue P systems with evolutional symport/antiport rules (Q1722689) (← links)
- Dendrite P systems (Q1982409) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Computing with SN P systems with I/O mode (Q1982977) (← 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)
- A formal framework for spiking neural P systems (Q1982991) (← links)
- Homogeneous spiking neural P systems with structural plasticity (Q1982997) (← links)
- Implementation of RSA cryptographic algorithm using SN P systems based on HP/LP neurons (Q1983001) (← links)
- Reliability evaluation of distribution network based on fuzzy spiking neural P system with self-synapse (Q1983007) (← links)
