Technical Reports 1998
1998/1
Quasi-Interpolation on the 2-Sphere using Radial
Polynomials
A.K. Kushpel and J. Levesley
1998/2
Approximation theory for the hp-version finite element method
and application to the non-linear Laplacian
Mark Ainsworth and David Kay
1998/3
Program Equivalences for Linear Theories
Roy L. Crole
1998/4
Hierarchies in Classes of Program Schemes
A A Arratia-Quesada, Savita R Chauhan and Iain A Stewart
1998/5
Specification and Verification of Fault-tolerance, Timing and
Scheduling
Zhiming Liu and Mathai Joseph
1998/6
Towards a Completeness Result for Model Checking of Security
Protocols
Gavin Lowe
1998/7
Approximation in L2 Sobolev spaces on the 2-Sphere by
Quasi-Interpolation.
S.M. Gomes, A.K. Kushpel and J. Levesley
1998/8
Formal Languages and the Word Problem for Groups
I.A. Stewart and R.M. Thomas
1998/10
Modelling FIX in Recursive Object Calculi
R.L. Crole
1998/11
Loewy Series, V-Modules and Trace Ideals
J. Watters
1998/12
Lectures on [Co]Induction and [Co]Algebras
R.L. Crole
1998/13
Using program schemes to logically capture polynomial-time on
certain classes of structures
I. Stewart
1998/14
Projection Quasicrystals I: Toral Rotations.
Alan Forrest, John Hunton and Johannes Kellendonk
1998/15
Dade's inductive conjecture for the Ree groups of type G2 in the
defining characteristic
Charles W Eaton
1998/16
Error estimates for Hermite Interpolation on Spheres
Jeremy Levesley and Zuhua Luo
1998/17
Stability of Spherical Hermite Interpolation using Radial Basis
Functions
Jeremy Levesley and Zuhua Luo
1998/18
Encoding FIX in Object Calculi
Roy L. Crole
1998/19
The Friedrichs Extension of Singular Differential
Operators
Marco Marletta and Anton Zettl
1998/20
Direct Forms for Seminorms Arising in the Theory of
Interpolation by Translates of A Basis Function
Jeremy Levesley and Will Light
1998/21
Guaranteed error bounds for eigenvalues of singular
Sturm-Liouville problems
B.M. Brown, D.K.R. McCormack and M. Marletta
1998/22
Mechanized Operational Semantics via (Co)Induction (Preliminary
Report)
Simon J. Ambler and Roy L. Crole
|