Technical Reports 1996 

1996/1 (Abstract)
Approximation of Smooth Functions by sk-Splines
A.K. Kushpel, J. Levesley and W. Light

1996/2 (Abstract) (ps.gz)
On Representing Finite Lattices as Intervals in Subgroup Lattices of Finite Groups
R. Baddeley and A. Lucchini

1996/3 (Abstract) (dvi.gz)
On Fixpoint Objects and Gluing Constructions
R.L. Crole

1996/4 (Abstract)
Verification of Fault-Tolerance and Real-Time
Z. Liu

1996/5 (Abstract)
Relating Operational and Denotational Semantics for Input/Output Effects
R.L. Crole, A.D. Gordon

1996/6 (Abstract)
Regular Subgraphs in Graphs and Rooted Graphs, and Definability in Monadic Second-order Logic
I.A. Stewart

1996/7 (Abstract)
Higher vn Torsion in Lie Groups
J. Hunton, M. Mimura, T. Nishimoto and B. Schuster

1996/8 (Abstract)
Presentations for Subsemigroups - Applications to Ideals of Semigroups
C.M. Campbell, E.F. Robertson, N. Ruskuc, R.M. Thomas.

1996/9 (Abstract)
On embedding cycles in k-ary n-cubes
Y.A. Ashir, I.A. Stewart

1996/10 (Abstract)
Logics with zero-one laws that are not fragments of bounded-variable infinitary logic
I.A. Stewart

1996/11
Optimal Approximation of Sets of Smooth Functions on Sd
Alexander Kushpel

1996/12
Modified Quasi-Interpolation on the Square using Thin-Plate Splines: Part II
Jeremy Levesley

1996/13 (Abstract)
On classifying all full factorisations and multiple-factorisations of the finite almost simple groups
R. Baddeley, C.E. Praeger

1996/14 (Abstract)
On primitive overgroups of quasiprimitive permutation groups
R. Baddeley, C.E. Praeger

1996/15 (Abstract)
Preconditions for the Adaptive h-p Version Finite Element Method
Ainsworth B. Senior D. Andrews

1996/16 (Abstract)
On Fixpoint Objects for Commutative Faithful Monads
R.L. Crole

1996/17 (Abstract)
How Linear is Howe?
R.L. Crole

1996/18 (Abstract)
On the power of built-in relations in certain classes of program schemes
S.R. Chauhan, I.A. Stewart

1996/19
A Comparison on the Commutative Products of the Distributions and Semigroups
A. Kilicman, B. Fisher

1996/20
The density of translates of zonal kernels on compact homogeneous spaces
L. Ragozin, J. Levesley

1996/21
Variational Theory for Interpolation on Spheres
Levesley, W A Light, D Rogozin, X. Sun

1996/22
A Note on the Commutative Neutrix Product of Distributions and -functions
Adem Kilicman

1996/23 (Abstract)
A Posteriori Error Estimation for Fully Discrete Hierarchic Models of Elliptic Boundary Value Problems on Thin Domains
Mark Ainsworth

1996/24 (Abstract)
On Hochschild Cohomology of Preprojective Algebras, I
Karin Erdmann, Nicole Snashall

1996/25 (Abstract)
On Hochschild Cohomology of Preprojective Algebras, II
Karin Erdmann, Nicole Snashall

1996/26 (Abstract)
Positive Versions of Polynomial Time
C. Lautemann, T. Schwentick, I.A. Stewart

1996/27
Approximation of Smooth Functions by sk-splines
A K Kushpel, J Levesley, W A Light

1996/28 (Abstract)
Communication algorithms in $k$-ary $n$-cube interconnection networks
Y.A. Ashir, I.A. Stewart

1996/29 (Abstract)
An Adaptive Refinement Strategy of hp-finite Elemens Computations
M Ainsworth, B Senior

1996/30 (Abstract)
Fault-tolerant embeddings of Hamiltonian circuits in $k$-ary $n$-cubes
Y.A. Ashir, I.A. Stewart

1996/31
Sk-Spline Interpolation on the Torus using Number Theoretic Knots
S M Gomes, A K Kushpel, J Levesley, D L Ragozin

1996/32
Spaces of Distributions and Interpolation by Translates of a Basis Function
W A Light, H S J Wayne

1996/33
A Hierarchy of Authentication Specifications
G Lowe

1996/34
Using CSP to Detect Errors in the TMN Protocol
G Lowe, B Roscoe

1996/35
Interpolation by Translates of a Basis Function
Will Light

1996/36
On the norm of the Fourier projection in weighted Lp spaces
J Levesley, A K Kushpel

1996/37 (Abstract)
Generalized Hex and logical characterizations of polynomial space.
A A Arratia-Quesada, I A Stewart

1996/38 (Abstract)
Formalizing Real-Time Scheduling as Program Refinement
Z Liu, M Joseph

1996/39 (Abstract)
Coalgebraic Algebra
J Hunton, P Turner