Step-indexed semantic models of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. Building on work by Ahmed, Appel and others, we introduce a step-indexed model for the imperative object calculus of Abadi and Cardelli. Providing a semantic account of this calculus using more ‘traditional’, domain-theoretic approaches has proved challenging ...

Typically, model misspecification is addressed by statistics relying on model-residuals, i.e., on one-step ahead forecasting errors. In practice, however, users are often interested in problems involving (also) multi-step ahead forecasting performances, which are not explicitly addressed by traditional diagnostics. In this article, we consider the topic of misspecification from the perspective ...

Three hundred fifteen crossbred steers (732 ± 9 lb) were used to determine the effects of feeding high levels of Sweet Bran ® during the grain adaptation period on steer performance and carcass characteristics compared with steers fed a steam-flaked corn and alfalfa-based adaptation diet containing 20% Sweet Bran. A traditional step-up procedure was compared to four strategies which utilized Sw...

Although the study of market equilibria has occupied a central place within mathematical economics for over a century, polynomial time algorithms for such issues have started emerging only recently [6, 5, 8]. However, it is worth noting that whereas the traditional theory of market equilibria was built around tools from the fields of analysis and topology, we are attempting to build an algorith...

There are many ways in which eLearning can be applied in tertiary education. Because the applications can be technologically complicated, and because their use does not always match well with traditional modes of teaching and learning, much care needs to be taken in the design, creation and implementation of eLearning solutions. UCOL has developed a quality assurance system that assists its eCa...