Learning outcomes: By the end of the module, students should have achieved: • a clear understanding of the meaning of temporal and spatial correlation; • a good working knowledge of standard models to describe both the systematic and the random parts of an appropriate model; • the ability to implement and interpret these models in standard applications; • an understanding of some of the key con...

Learning outcomes: By the end of the module, students should have achieved: • a clear understanding of the meaning of temporal and spatial correlation; • a good working knowledge of standard models to describe both the systematic and the random parts of an appropriate model; • the ability to implement and interpret these models in standard applications; • an understanding of some of the key con...

Article history: Received 22 July 2016 Received in revised form 23 December 2016 Accepted 23 December 2016 Available online 05 January 2017 Paleomagnetic and cycle stratigraphic analyses of nearly 7000m of section from continuous cores in the Newark basin and an overlapping 2500meter-thick composite outcrop and core section in the nearby Hartford basin provide an astrochronostratigraphic polari...

This article presents two different ways of model-checking higher-order recursion schemes, both relying on game semantics. A given recursion scheme is translated to another, which is its computational extent, in the sense that β-reduction paths called traversals in the new generated tree are isomorphic to branches of the former tree. Then, the two approaches differ on their way of simulating tr...