The following pages link to (Q3322961):
Displaying 25 items.
- Exact computation and approximation of stochastic and analytic parameters of generalized Sierpinski gaskets (Q370892) (← links)
- Branching-time model-checking of probabilistic pushdown automata (Q394999) (← links)
- Minimization of probabilistic models of programs (Q906254) (← links)
- Quantum loop programs (Q977174) (← links)
- The GI/M/1 queue with phase-type working vacations and vacation interruption (Q1032001) (← links)
- On Boyer-Moore automata (Q1336957) (← links)
- Collecting coupons on trees, and the cover time of random walks (Q1386177) (← links)
- Cycle frequency in standard rock-paper-scissors games: evidence from experimental economics (Q1673261) (← links)
- Steady-state analysis of probabilistic Boolean networks (Q1738576) (← links)
- Ranking nodes in general networks: a Markov multi-chain approach (Q1745939) (← links)
- The jump start power method: a new approach for computing the ergodic projector of a finite Markov chain (Q1999881) (← links)
- Iterates and invariant measures for Markov operators (Q2051422) (← links)
- Switching problems with controlled randomisation and associated obliquely reflected BSDEs (Q2066958) (← links)
- Link prediction techniques, applications, and performance: a survey (Q2070200) (← links)
- New evidence on market response to public announcements in the presence of microstructure noise (Q2076860) (← links)
- Limiting distribution of X-chromosomal coalescence times under first-cousin consanguineous mating (Q2083917) (← links)
- Parallel computing for Markov chains with islands and ports (Q2095208) (← links)
- Fast reactions with non-interacting species in stochastic reaction networks (Q2130335) (← links)
- Understanding transitions in professors' evaluation: the application of Markov chain (Q2150516) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- A discrete probability problem in card shuffling (Q2807709) (← links)
- Branching-Time Model-Checking of Probabilistic Pushdown Automata (Q5179051) (← links)
- Double coset Markov chains (Q5870344) (← links)
- Formally verified animation for RoboChart using interaction trees (Q6151624) (← links)
- Kemeny's constant and Wiener index on trees (Q6173920) (← links)
