Skip to main content

Research Repository

Advanced Search

All Outputs (34)

Responsiveness of the order fulfilment process (1999)
Journal Article
Kritchanchai, D., & MacCarthy, B. (1999). Responsiveness of the order fulfilment process. International Journal of Operations and Production Management, 19(8), https://doi.org/10.1108/01443579910274419

This paper discusses evidence from field studies undertaken to investigate the responsiveness of the order fulfilment process in a number of companies. The evidence is analysed in the context of the literature on responsiveness and related areas such... Read More about Responsiveness of the order fulfilment process.

TIME's past in the present: nostalgia and the black and white image (1999)
Journal Article
Grainge, P. (1999). TIME's past in the present: nostalgia and the black and white image. Journal of American Studies, 33(3),

In 1995, the Hubble Space Telescope sent back to astronomers at the University of Arizona a series of vivid colour images of the Eagle Nebula, a dense formation of interstellar gas and dust the likes of which cradle newborn stars. As evidence that ou... Read More about TIME's past in the present: nostalgia and the black and white image.

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs (1999)
Conference Proceeding
Dennis, L. A., Bundy, A., & Green, I. (1999). Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In W. McCune (Ed.),

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can... Read More about Using a Generalisation Critic to find Bisimulations for Coinductive Proofs.