The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on implementation ...

The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about theircorrectness using multiple levels of abstraction, based on implementation ...

This report describes the Barton Libraries RDF dataset and Longwell querybenchmark that we use for our recent VLDB paper on Scalable Semantic WebData Management Using Vertical Partitioning.

This memo describes the practical implementation of programs written in the language EUTERPE. Details of this language are given in the author's thesis (A Parallel Processing Model of Musical Structures) and will not ...

This document describes the operation of the Lisp Machine interface to the Unimation Puma 600 Robot Arm. The interface is evolved from a system described in an earlier paper, and much is the same. However, the under-lying ...

The stored picture facility (FAKETV) allows LISP users, and to some extent machine language users, to access a library of stored images rather than live vidisector scenes. The vidisector functions in LISP have been slightly ...

The use of Magnesium oxide (MgO) cement as a full replacement and viable alternative for Ordinary Portland Cement was studied. Rice husk, an agricultural waste, was calcined and synthesised to be used as a source of silica ...

In this investigation, we examine how the precision of energy spectra and scattering phase shifts, extracted in lattice QCD, depend upon the degree of distillation type smearing. We use the variational method to extract ...

There is insufficient literature for annular flow and applications of Machine Learning in the petroleum industry; thus, this thesis is centred on annular flow prediction. Liquid holdup and flow behaviour during annular ...

The intent of this research is to study the dynamic behavior of a solid body resting on a moving surface. Results of the study are then used to propose methods for controlling the orientation of parts in preparation ...

This study presents the results of a combined theoretical, experimental and statistical study of the mechanical performance of stabilized lateritic soil for sustainable construction applications. The lateritic soil was ...

Transferring data between ICs accounts for a growing proportion of system power in wearable and mobile systems. Reducing signal transitions reduces the dynamic power dissipated in this data transfer, but traditional ...

Accretion discs are fluid-dynamical entities which surround many black holes. Observations reveal that these systems exhibit variability on a range of time scales. This thesis investigates phenomena occurring in black-hole ...

Variable Horizon Model Predictive Control (VH-MPC) is a form of predictive control that includes the horizon length as a decision variable in the constrained optimisation problem solved at each iteration. It has been ...

Variable precision logic is concerned with problems of reasoning with incomplete information and under time constraints. It offers mechanisms for handling trade-offs between the precision of inferences and the ...

Stability Selection was recently introduced by Meinshausen and B¨uhlmann (2010) as a very general technique designed to improve the performance of a variable selection algorithm. It is based on aggregating the results of ...

We introduce a notion of stability for sheaves with respect to several polarisations that generalises the usual notion of Gieseker-stability. We prove, under a boundedness assumption, which we show to hold on threefolds ...

We develop a systematic approach to the discovery of parallel iterative schemes for solving the shape-from-shading problem on a grid. A standard procedure for finding such schemes is outlines, and subsequently used ...

The study of variational inequalities frequently deals with a mapping F from a vector 0 space X or a convex subset of X into its dual X . Let H be a real Hilbert space and a(u, v) be a real bilinear form on H. Assume that ...