University of Leicester

School of Mathematics & Computer Science

 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

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