PhD Theses 1998-1999
Sep |
1999 |
Chih Nam |
Yap |
PhD |
M Holcombe |
Visual-Z: A Methodology and Environment for Developing
Visual
Formal Z Specifications |
Sep |
1999 |
Stephen |
Weatherley |
PhD |
G Manson |
A Meta-Modelling Environment for a Metacase Tool |
Aug |
1999 |
Badr |
Al-Johar |
PhD |
J McGregor |
A Portable Natural Language Interface from Arabic to SQL |
Jul |
1999 |
Simon |
Brown |
PhD |
S North |
The
Semantics of Database Query Languages |
Jun |
1999 |
Hamid |
Khosravi |
PhD |
Y Wilks |
Extracting Pragmatic Content From Email |
Jun |
1999 |
Paul |
Woods |
PhD |
M Hepple |
Cognitive Schemas for Chinese Noun Classifiers: A
Corpus-Based Investigation |
May |
1999 |
Gethin |
Williams |
PhD |
S Renals |
Knowing
What You Don't Know: Roles for Confidence Measures in
Automatics Speech
Recognition |
Mar |
1999 |
Kitty |
Hung |
PhD |
A Simons |
A Dynamic Business Object Architecture for Supporting
Strategic Management Planning |
Feb |
1999 |
Ho-Chuan |
Huang |
PhD |
J Kerridge |
Interoperable Query Processing For Heterogeneous
Applications
In A Mixed Object And Relational Database Environment |
Jan |
1999 |
Ilias |
Stergiou |
PhD |
S Cvetkovic |
Novel Computer-Network Traffic Modelling Techniques for
Analysis and Simulation |
Dec |
1998 |
Stephen |
Maddock |
PhD |
A Watt |
An
Investigation Of The Modelling-Animation Relationship In
Computer
Graphics |
Dec |
1998 |
Ali |
Mansour |
PhD |
J McGregor |
A Framework For The Design Of A Medical Tutoring System
For
The Instruction Of Undergraduates In General Practice |
Nov |
1998 |
Matt |
Walton |
PhD |
M Fairtlough |
First-Order Lax Logic: A Framework For Abstraction
Constraints And Refinement |
Nov |
1998 |
Alexander |
Bell |
PhD |
M Holcombe |
Formal Computational Models Of Biological Systems |
|