Integrative Biology: Real science through e-Science (2008)
Sharon Lloyd, David Gavaghan, David Boyd, Denis Noble, Blanca Rodriguez, Thushka Maharaj, ...
‘eScience can be described as the large scale science that will increasingly be carried out through distributed global collaborations enabled by the Internet. ’ This describes the fundamental...
A. Borzi, K. W. Morton, E. Süli, M. Vanmaele, Ox Qd
INTRODUCTION We discuss a full multi-grid algorithm for the numerical solution of the system of inhomogeneous Cauchy--Riemann equations. This algorithm has been formulated in [1]. The Cauchy--Riemann...
Compiling Ultimotion Video-Decompression into Hardware (2007)
Contents Acknowledgement 5 1 Introduction 6 1.1 Multimedia Requirements and the Harp1 board : : : : : : : : : : : : : : : : : : : : : : : : 6 1.1.1 Storage Requirements For Video Applications : : : :...
Stephen Drape, Oege De Moor, Ganesh Sittampalam, Ox Qd
United Kingdom Path logic programming is a modest extension of Prolog for the specification of program transformations. We give an informal introduction to this extension, and we show how it can be...
Density and Trace for Graph Spaces of First-Order Linear Operators (2002)
We de ne and analyse graph spaces of rst-order linear dierential operators. In particular we consider the density of the set of smooth functions and the construction of a trace operator. Oxford...
Formal Specification of the X.400 Reliable Transfer Service (1990)
Michael Butler, Ox Qd, Clanwilliam Place
Architecture of RTS The RTS will be specified as a large CSP process. A state-based approach to CSP will be used. Section 2 gives a state-based specification of the Association object. Section 3 uses...