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), https://doi.org/10.1017/s0021875899006155

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.

Proof methods for structured corecursive programs (1999)
Presentation / Conference Contribution
Gibbons, J., & Hutton, G. (1999). Proof methods for structured corecursive programs.

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixp... Read More about Proof methods for structured corecursive programs.

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs (1999)
Presentation / Conference Contribution
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.

The asymptotics of an amplitude for the 4-simplex (1999)
Journal Article
Barrett, J. W., & Williams, R. M. (1999). The asymptotics of an amplitude for the 4-simplex. https://doi.org/10.4310/atmp.1999.v3.n2.a1

An expression for the oscillatory part of an asymptotic formula for the relativistic spin network amplitude for a 4-simplex is given. The amplitude depends on specified areas for each two-dimensional face in the 4-simplex. The asymptotic formula has... Read More about The asymptotics of an amplitude for the 4-simplex.