Ian M Davies, Singleton Park, Aubrey Truman, David Williams, Huaizhong Zhao, Le Tu
www.lboro.ac.uk/departments/ma/staff/hz/ Ph.D. students: Brett Reynolds, Chris Reynolds (UoW Swansea) 2 The Arnol’d-Thom classification of caustics for the Burgers equation suggests that there...
J A Bergstra, J V Tucker, J A Bergstra, Singleton Park
A 0-totalised field is a field in which division is a total operation with 0 −1 = 0. Equational reasoning in such fields is greatly simplified but in deriving a term one still wishes to know...
Tabular Documentation of Interactive Deterministic Systems derived from Algebraic Models (2008)
A. J. Wilder, J. V. Tucker, Singleton Park
Many reactive deterministic systems have a simple algebraic model consisting of a set S of states, a set C of commands the system may receive and a state transition function n: S C! S that can be...
University of Wales Swansea, (2008)
E. J. Beggs, J. V. Tucker, Singleton Park
In the theoretical analysis of the physical basis of computation there is a great deal of confusion and controversy, especially on the issue of the existence of hypercomputers. First, we present some...
WKB-Lange Asymptotic L² Approximation of Eigenfunctions and Their Derivatives (2007)
A. Truman, Singleton Park, Swansea Sa Pp, H.Z. Zhao
In this pape we studythe WKB-Lange asymptoticesymptot ofthe e9DMA)1Akk74 of a Schrodinge ope)947 H = - 1 2 # 2 # 2 #x 2 + V (x).The applyingthey asymptotic formulae we prove thatthe e)8 L 2...
Mark Kelbert Y, Singleton Park
The purpose of this paper is to relate the recurrence and transience properties of a branching di usion process on a Riemannian manifold M to some properties of a linear elliptic operator on M...
Predator-prey interactions: is “ecological stoichiometry ” sufficient HORIZONS (2005)
Aditee Mitra, Kevin J Flynn, Singleton Park, Sa Pp
food quality The dietary value of a prey type varies with its nutritional status and hence with its C:N:P content. However, while stoichiometric differences between a heterotroph and its food must...
School of Health Science, (2004)
Gary Rolfe, Bsc Ms, Phd Rmn, Singleton Park
Introduction: the quality muddle The issue of quality in qualitative research has troubled nursing for at least a quarter of a century. As Sandelowski and Barroso (2002) have recently observed:...
Computations via experiments with kinematic systems (2004)
E. J. Beggs, J. V. Tucker, Singleton Park
Consider the idea of computing functions using experiments with kinematic systems. We prove that for any set A of natural numbers there exists a 2-dimensional kinematic system BA with a single...
The data and temporal abstractions of a pipelined case study are explored in an algebraic setting. We apply a set of algebraic tools for modelling microprocessors to the specification, pipelined...