Since the earliest days of proving the correctness of programs, predicates on the program's state space have played a central role. This role became essential when non-deterministic systems were ...

Journal of the Royal Statistical Society. Series C (Applied Statistics) An algorithm is presented for filling in least squares estimates of m missing values in any analysis of variance design. The ...