The following pages link to (Q4309295):
Displayed 9 items.
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Feedback control of the immune response of renal transplant recipients with inequality constraints (Q2007276) (← links)
- Numerical methods for solving fuzzy equations: a survey (Q2035392) (← links)
- Fast state estimation under sensor attacks: a sensor categorization approach (Q2151914) (← links)
- Minimax optimal sequential hypothesis tests for Markov processes (Q2215752) (← links)
- Quaternion involutions and anti-involutions (Q2469923) (← links)
- Bayesian sequential joint detection and estimation (Q4634018) (← links)
- Bayesian sequential joint detection and estimation under multiple hypotheses (Q5089388) (← links)
- \texttt{WannierTools}: an open-source software package for novel topological materials (Q6096975) (← links)