Student theses

A context model, design tool and architecture for context-aware systems designs

Author: Kaenampornpan, M., 1 Jan 2009

Supervisor: O'Neill, E. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

A design framework for pervasive computing systems

Author: Kostakos, V., 2004

Student thesis: Doctoral ThesisPhD

File
File

Advances in Cylindrical Algebraic Decomposition

Author: Wilson, D., 24 Dec 2014

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

A general view of normalisation through atomic flows

Author: Gundersen, T., 1 Aug 2009

Supervisor: McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

A graphics design system for artists

Author: Hanson, J. B., 1 Jan 1983

Supervisor: Willis, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

A lambda-calculus that achieves full laziness with spine duplication

Author: Sherratt, D., 4 Sep 2019

Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

A modular physics methodology for games

Author: Schanda, F., 30 Apr 2012

Supervisor: Willis, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

An agent-independent task learning framework

Author: Wood, M., 1 Jul 2008

Supervisor: Bryson, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

An Argumentation-Based Approach to Normative Practical Reasoning

Author: Shams, Z., 3 May 2016

Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

An Investigation into the Use of Ethnography and Participatory Design in Identifying and Meeting Collaborative Needs: A Case Study of Software Development Teams at Airbus

Author: Shipp, V., 30 Apr 2014

Supervisor: Johnson, P. (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File

Architecture and Remote Interaction Techniques for Digital Media Exchange across 3G Mobile Devices

Author: Yousef, K., 1 Apr 2009

Supervisor: O'Neill, E. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Artificial Prediction Markets for Online Prediction of Continuous Variables

Author: Jahedpari, F., 30 Jun 2016

Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Aspects of learning within networks of spiking neurons

Author: Carnell, A., 1 Nov 2008

Supervisor: Richardson, D. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

A study of normalisation through subatomic logic

Author: Aler Tubella, A., 24 May 2017

Supervisor: Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Attribute based authentication schemes

Author: Khader, D., 23 Apr 2009

Supervisor: Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Authentication, pre-handoff and handoff in pure MANET

Author: Boonkrong, S., 2006

Student thesis: Doctoral ThesisPhD

File

Automated analysis and transcription of rhythm data and their use for composition

Author: Boenn, G., 1 Feb 2011

Supervisor: Fitch, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Automating Group-Based Privacy Control in Social Networks

Author: Jones, S., 1 Aug 2012

Supervisor: O'Neill, E. (Supervisor)

Student thesis: Doctoral ThesisPhD

Autonomous Visual Learning for Robotic Systems

Author: Beale, D., 31 Mar 2012

Supervisor: Hall, P. (Supervisor) & Iravani, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Auto-tuning compiler for HPC

Author: Jones, J., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals

Author: Clutha, M., 1 Jan 2011

Supervisor: Vorobjov, N. (Supervisor) & McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Building Abstractable Story Components with Institutions and Tropes

Author: Thompson, M., 30 May 2018

Supervisor: Padget, J. (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File

Building Robust Real-Time Game AI: Simplifying & Automating Integral Process Steps in Multi-Platform Design

Author: Gaudl, S., 3 Aug 2016

Supervisor: Bryson, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Categorical models of first-order classical proofs

Author: McKinley, R., 2006

Student thesis: Doctoral ThesisPhD

File

Challenges in artificial socio-cognitive systems: A study based on intelligent vehicles

Author: Baines, V., 14 May 2015

Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Collision Guided Routing for Ad Hoc Mobile Wireless Networks

Author: Ba Surra, S., 24 Apr 2013

Supervisor: De Vos, M. (Supervisor), Padget, J. (Supervisor), Lewis, T. (External person) (Supervisor) & Armour, S. (External person) (Supervisor)

Student thesis: Doctoral ThesisPhD

Compensating for distance compression in virtual audiovisual environments

Author: Finnegan, D., 6 Sep 2017

Supervisor: O'Neill, E. (Supervisor) & Proulx, M. (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File

Complexity bounds for cylindrical cell decompositions of sub-Pfaffian sets

Author: Pericleous, S., 2002

Student thesis: Doctoral ThesisPhD

File

Computational Verification of Security Requirements

Author: Bibu, G. D., 19 Nov 2014

Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Computer animation of deformable bodies

Author: Samoylenko, I., 2002

Student thesis: Doctoral ThesisPhD

File

Constraint based simulation of soft and rigid bodies

Author: Lewin, C., 22 Feb 2016

Supervisor: Willis, P. (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File

Designing Communication Devices for Long Distance Dating Relationships

Author: Gooch, D., 4 Feb 2014

Supervisor: Watts, L. (Supervisor) & Payne, S. (Advisor)

Student thesis: Doctoral ThesisPhD

File

Designing Emotionally Expressive Behaviour: Intelligibility and Predictability in Human-Robot Interaction

Author: Novikova, J., 1 Mar 2016

Supervisor: Watts, L. (Supervisor) & Bryson, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Designing for Effective Freehand Gestural Interaction

Author: Ren, G., 1 Oct 2013

Supervisor: O'Neill, E. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Digital processing of images using integer arithmetic transformations.

Author: Horne, D. A., 1977

Student thesis: Doctoral ThesisPhD

File

Dynamic Editable Models of Fire From Video

Author: Chinery, A., 29 May 2015

Supervisor: Hall, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Economic Algorithms for the Management of Resources in Computer Systems

Author: Gradwell, P., 1 Oct 2009

Supervisor: Padget, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Efficient Accumulation, Analysis and Visualisation of Full-Waveform LiDAR in a Volumetric Representation with Applications to Forestry

Author: Miltiadou, M., 11 Dec 2017

Supervisor: Brown, M. (Supervisor), Campbell, N. (Supervisor), Cosker, D. (Supervisor) & Grant, M. (External person) (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File

Emotions: the art of communication applied to virtual actors

Author: Tanguy, E. A. R., 2006

Student thesis: Doctoral ThesisPhD

File

Enhancing the performance of Decoupled Software Pipeline through Backward Slicing

Author: Alwan, E., 1 Jan 2014

Supervisor: Padget, J. (Supervisor) & Fitch, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

E-StopMotion: Reconstructing and Enhancing 3D Animation of Stop Motion Characters by Reverse Engineering Plasticine Deformation

Author: Ciucanu, A., 19 Jun 2019

Supervisor: Campbell, N. (Supervisor) & Cosker, D. (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File

Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks

Author: Wang, Y., 18 Apr 2016

Supervisor: Bryson, J. (Supervisor), Priest, N. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Evolution of the Social Contract

Author: Taylor, D., 1 Mar 2014

Supervisor: Bryson, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Exact real arithmetic in computer algebra

Author: Hur, N., 2001

Student thesis: Doctoral ThesisPhD

File

Example-Based Water Animation

Author: Pickup, D., 23 Oct 2013

Supervisor: Willis, P. (Supervisor) & Hall, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Fairness in the division and completion of collaborative work

Author: Kelly, R., 2 Jul 2014

Supervisor: Payne, S. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Graphical Foundations for Dialogue Games

Author: Wingfield, C., 31 Dec 2013

Supervisor: McCusker, G. (Supervisor) & Power, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Hierarchical Image Descriptions for Classification and Painting

Author: Song, Y., 1 Mar 2009

Supervisor: Hall, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

File