Pages that link to "Item:Q1872776"
From MaRDI portal
The following pages link to Membrane computing. An introduction. (Q1872776):
Displaying 50 items.
- 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)
- On the degree of parallelism in membrane systems (Q872203) (← links)
- Normal forms for spiking neural P systems (Q872205) (← links)
- Three ``quantum'' algorithms to solve 3-SAT (Q872207) (← links)
- Cycles and communicating classes in membrane systems and molecular dynamics (Q872209) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- P systems with minimal parallelism (Q884455) (← links)
- Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
- Execution information rate for some classes of automata (Q899317) (← links)
- Networks of polarized evolutionary processors (Q903660) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Relational state transition dynamics (Q929970) (← links)
- The foundation of self-developing blob machines for spatial computing (Q933442) (← 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)
- A DNA computing inspired computational model (Q953543) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- The metabolic algorithm for P systems: principles and applications (Q953550) (← links)
- Generalized communicating P systems (Q953554) (← links)
- Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources (Q974099) (← links)
- Reversing computation in membrane systems (Q974138) (← links)
- Computational complexity of tissue-like P systems (Q983185) (← links)
- A quick introduction to membrane computing (Q987956) (← links)
- Rule-based and object-based event structures for membrane systems (Q987957) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- Simulating a P system based efficient solution to SAT by using GPUs (Q987962) (← links)
- P systems and the Byzantine agreement (Q987968) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Metabolic approximation of real periodical functions (Q987971) (← links)
- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P (Q987973) (← links)
- Computational expressiveness of genetic systems (Q1004070) (← links)
- Membrane computing with transport and embedded proteins (Q1004081) (← links)
- Asynchronous spiking neural P systems (Q1019715) (← links)
- On languages generated by asynchronous spiking neural P systems (Q1029355) (← links)
- Optical computing (Q1036535) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Solving the N-queens problem using dP systems with active membranes (Q1643128) (← links)
- Predictors for flat membrane systems (Q1643137) (← links)
- An adaptive and robust biological network based on the vacant-particle transportation model (Q1670644) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- Signal set tissue systems and overlapping localities (Q1682863) (← links)
- On path-controlled insertion-deletion systems (Q1713412) (← links)
- Generalized contexts for reaction systems: definition and study of dynamic causalities (Q1745347) (← links)
- Languages generated by P systems with active membranes (Q1762936) (← links)