PhD Theses 1999-2000
Sep |
2000 |
Chun Yu |
Kit |
PhD |
Y Wilks |
Unsupervised
Lexical Learning as Inductive Inference |
Sep |
2000 |
Sarah |
Chambers |
PhD |
M Holcombe |
Applying X-machines in the Retrospective Testing of
Software |
Jun |
2000 |
Hamish |
Cunningham |
PhD |
Y Wilks |
Software
Architecture for Language Engineering |
May |
2000 |
Martin |
Nike |
PhD |
A Cowling |
Using
Dataflow Algebra as a Specification Method |
May |
2000 |
Colin |
Chambers |
PhD |
P Croll |
Industrial Strength Techniques for the Development of
Plc-Based Safety-Related Control and Protection Systems |
Feb |
2000 |
Tom |
Ziemke |
PhD |
N Sharkey |
Situated Neuro-Robotics and Interactive Cognition |
Jan |
2000 |
Kevin |
Rathbone |
PhD |
N Sharkey |
Evolving Visually Guided Neural Network Robot Arm
Controllers
for Lifetime Learning |
Jan |
2000 |
Kirill |
Bogdanov |
PhD |
M Holcombe |
Automated
testing of Harel's statecharts |
Oct |
1999 |
Athanassios |
Hatzis |
PhD |
P Green |
Optical
Logo-Therapy (OLT) Computer-Based Audio-Visual Feedback
Using
Interactive Displays for Speech Training |
|