SCS home page / report search form / 1994 reports

Research Reports for 1992/3

This file contains an index of all of the School of Computer Studies Research Reports for 1992/3. Report titles are links which, if followed, cause the appropriate report to be downloaded via FTP. All of the reports are stored in compressed PostScript form and approximate file sizes are given.

General information on these reports is available.


C. Walshaw and M. Berzins
Dynamic Load Balancing for PDE Solvers on Adaptive Unstructured Meshes (221 KB)
Report number 92.32.

D.C. Hodgson and P.K. Jimack
Efficient Mesh Partitioning for Parallel P.D.E. Solvers on Distributed Memory Machines (172 KB)
Report number 93.1.

W.P. Willers, L.G. Proll and A. Wren
A Dual Strategy for Solving the Linear Programming Relaxation of a Driver Scheduling System (84 KB)
Report number 93.2.

L.G. Proll, A. Salhi, D. Rios Insua and J.I.M. Jimenez
Experiences with Stochastic Algorithms for Global Optimisation (98 KB)
Report number 93.3.

A. Salhi, G.R. Lindfield and L.G. Proll
Structure Exploitation and Postoptimality Analysis with a Dual Variant of Karmarkar's Algorithm (109 KB)
Report number 93.4.

C. Souter
Towards a Standard Format for Parsed Corpora (47 KB)
Report number 93.5.

C. Souter
Harmonising a Lexical Database With a Corpus-Based Grammar (34 KB)
Report number 93.6.

S. French
Models in Decision Analysis (109 KB)
Report number 93.7.

M. Gahegan
A Consistent User Model for a GIS Incorporating Remotely Sensed Data (50 KB)
Report number 93.8.

B. M. Smith
Experiments with a Reassignment Heuristic for Large Constraint Satisfaction Problems (72 KB)
Report number 93.9.

M. Gahegan and J. Flack
Query-centred Interpretation of Remotely Sensed Images within a GIS (209 KB)
Report number 93.10.

J E Spragg and B M Smith
NightWatch: An Astronomical Observation Scheduler using Constraint Satisfaction with Delayed Evaluation (60 KB)
Report number 93.11.

P. M. Hill
A Parameterised Module System for Constructing Typed Logic Programs (87 KB)
Report number 93.12.

Joerg Ueberla
Taking a Closer Look at a Simple Bipos Language Model (119 KB)
Report number 93.13.

Joerg Ueberla
State Language Models for Speech Recognition (56 KB)
Report number 93.14.

M. M. Kaddah and T. G. Gough
User Involvement in Office Automation: Overcoming the Barriers (330 KB)
Report number 93.15.

Report number 93.16 is currently unavailable.

M. Gahegan and J. Flack
Model to Support the Integration of image Understanding Techniques within a GIS (288 KB)
Report number 93.17.

M. Berzins
Temporal Error Control for Convection-Dominated Equations in Two Space Dimensions (95 KB)
Report number 93.18.

P. M. Hill
The Completion of Typed Logic Programs and SLDNF-Resolution (92 KB)
Report number 93.19.

Nik Silver and Peter Mott
The Shallow Level of Knowledge Representation (73 KB)
Report number 93.20.

S. V. Pennington and M. Berzins
New NAG Library Software for First-order Partial Differential Equations (205 KB)
Report number 93.21.

Liping Zhao, Anthony Wren & Raymond Kwan
Enriching Rules in a Driver Duty Estimator (59 KB)
Report number 93.22.

Raymond Kwan and Mohammad Rahin
Bus Scheduling with Trip Coordination and Complex Constraints (98 KB)
Report number 93.23.

Raymond Kwan, Anthony Wren, Liping Zhao, Ross Clement and Mohammad Rahin
Applications of Information Technology for Bus and Driver Scheduling (68 KB)
Report number 93.24.

C. Walshaw and S. J. Farr
A Two-Way Parallel Partition Method for Solving Tridiagonal Systems (104 KB)
Report number 93.25.

James M. Cameron
Parallelisation of the Rolls-Royce CFDS-ANSE Code (77 KB)
Report number 93.26.

Margaret Parker, Anthony Wren and Raymond Kwan
Modelling the Scheduling of Train Drivers
Report number 93.27. Available as hard-copy only.

Ross Clement and Anthony Wren
Greedy Genetic Algorithms, Optimizing Mutations and Bus Driver Scheduling
Report number 93.28. Available as hard-copy only.

Report number 93.29 is currently unavailable.

Report number 93.30 is currently unavailable.

Anthony Wren and Jean-Marc Rousseau
Bus Driver Scheduling - An Overview (70 KB)
Report number 93.31.

Gwo-Guang Lee and T. G. Gough
An Integrated System for Information Systems Planning and its Initial Application (103 KB)
Report number 93.32.

Simon French and Zhigang Xie
A Perspective on Recent Developments in Utility Theory (102 KB)
Report number 93.33.

J. E. McCormack, M. N. Gahegan, S. A. Roberts and J. Hogg
An Efficient Buffering Approach to Processing Large Two- Dimensional Data Sets in the Geosciences (56 KB)
Report number 93.34.

P. K. Jimack
A Best Approximation Property of the Moving Finite Element Method (133 KB)
Report number 93.35.

A. M. Baumberg and D. C. Hogg
Learning Flexible Models from Image Sequences (492 KB)
Report number 93.36.

X. Shen and D. C. Hogg
Shape Models from Image Sequences (935 KB)
Report number 93.37.

M. West, T. F. Buckley and P.H. Jesty
A Formal Expression of the Safety and Functional Requirements of a Safety-Critical System (128 KB)
Report number 93.38.

Gwo-Guang Lee and T. G. Gough
An Interactive Learning Mechanism for Encouraging the Strategic Use of Information Systems (72 KB)
Report number 93.39.

Theodor J. Stewart
Simplified Approaches for Multi-Criteria Decision Making Under Uncertainty
Report number 93.40. Available as hard-copy only.

B. M. Smith
One Solution versus All Solutions: The Phase Transition in Constraint Satisfaction Problems (59 KB)
Report number 93.41.


SCS home page / report search form / 1994 reports