Probabilistic model checking and Markov decision processes (MDPs) form two interlinked branches of formal analysis for systems operating under uncertainty. These techniques offer a mathematical ...
Lecture Notes-Monograph Series, Vol. 30, Statistics, Probability and Game Theory: Papers in Honor of David Blackwell (1996), pp. 45-63 (19 pages) In 1962 Blackwell derived the partial Laurent's series ...
This is a preview. Log in through your library . Abstract In this paper, we analyze the effect of vitamin A deficiency on respiratory infection using a longitudinal data set from a study of young ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback