University of Leicester

School of Mathematics & Computer Science

 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

1997 reports [University Home] [Faculty of Science] [MCS Home] Technical Reports Home [University Index A-Z] [University Search] [University Help] 1996 reports
Author: Anne Heyworth (ah83@mcs.le.ac.uk).
© University of Leicester 27th July 2000. Last modified: 14th December 2017, 23:01:20.
MCS Web Maintainer. This document has been approved by the Head of School.