7 results

Towards a unified method to synthesising scenarios and solvers in combinatorial optimisation via graph-based approaches

2015 - 2020
Christopher Stone | Director of Studies: Prof Emma Hart | Second Supervisor: Prof Ben Paechter

Visualisation support for biological Bayesian network inference

2015 - 2019
Network models are often created to describe interactions between components in biological systems. At a molecular level the involved com...
Thanasis Vogogias | Director of Studies: Prof Jessie Kennedy

Visualisation techniques to facilitate argument exploration

2015 - 2020
Arguments are structures of premises and conclusions that underpin rational reasoning processes. Within complex knowledge domains, especially...
Dana Khartabil | Director of Studies: Dr Simon Wells | Second Supervisor: Prof Jessie Kennedy

Mango: A model-driven approach to Engineering Green Mobile Cloud Applications

2012 - 2017
With the growing need of the industry and due to high business demands, there have consequently been high demands of IT pro...
Mr Samuel Chinenyeze | Director of Studies: Prof Xiaodong Liu | Second Supervisor: Prof Ahmed Al-Dubai

Tasks and visual techniques for exploration of temporal graph data

2010 - 2017
Dr Natalie Kerracher | Director of Studies: Dr Kevin Chalmers | Second Supervisor: Prof Jessie Kennedy

Investigating communicating sequential processes for Java to support ubiquitous computing

2005 - 2009
Ubiquitous Computing promises to enrich our everyday lives by enabling the environment to be enhanced via compu...
Dr Kevin Chalmers | Director of Studies: Prof Jon Kerridge | Second Supervisor: Dr Imed Romdhani

Visualising Multiple Overlapping Classification Hierarchies

1998 - 2002
The revision or reorganisation of hierarchical data sets can result in many possible hierarchical classifications composed of the same or ove...
Dr Martin Graham | Director of Studies: Prof Jessie Kennedy | Second Supervisor: Prof David Benyon