The popular scholarly exercise of evaluating exchange rate forecasting models relative to a
random walk was stimulated by the well-cited Meese and Rogoff (1983) paper. Practitioners …

We analyze the worst episodes of currency carry loss in recent decades, including causes,
attribution by currency, timing, and duration of carry drawdowns. To explore the determinants …

There are no established benchmarks for evaluating currency investment manager performance.
Some analysts have suggested that known investing styles like momentum, purchasing …

In this paper we investigate the performance of completion theorem provers on a number of
group theoretic problems. These are of a rather different character to the usual test problems …

Determining the largest breaking wave height which can occur in water of finite depth is a
fundamental reference quantity for the design of coastal structures. Current design guidelines …

We prove that any simplification order over arbitrary terms is an extension of an order by
weight, by considering a related monadic term algebra called the spine. We show that any total …

This paper develops links between algebra and automated deduction. We show how we have
developed heuristics in automated deduction and computer algebra systems by looking at …

In this thesis lessons learned from the use of computer algebra systems and machine assisted
theorem provers are developed in order to give an insight into both the problems and their …

This note introduces a method of representing and reasoning about the actions of a class of
proof procedures. A graph-like structure, called a proof diagram, is introduced in which …

A single engine twin fan jetpack system (Craft) is modelled to explore its behaviour during
emergency descent. This is done using numerical modelling simulations. Aviation law in …