Department of Computer Science

Student Theses

  1. ZERO-SHOT VISUAL RECOGNITION VIA LATENT EMBEDDING LEARNING

    Author: Wang, Q., 1 Aug 2018

    Supervisor: Chen, K. (Supervisor) & Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  2. Write Errors in Exchange Coupled Bit Patterned Media

    Author: Talbot, J., 1 Aug 2016

    Supervisor: Miles, J. (Supervisor) & Hamilton, B. (Supervisor)

    UoM administered thesis: Phd

  3. WORKLOAD-ADAPTATION IN MEMORY CONTROLLERS

    Author: Ghasempour, M., 1 Aug 2016

    Supervisor: Lujan Moreno, M. (Supervisor) & Garside, J. (Supervisor)

    UoM administered thesis: Phd

  4. Why Are Pulsars Hard To Find?

    Author: Lyon, R., 31 Dec 2016

    Supervisor: Brooke, J. (Supervisor), Knowles, J. (Supervisor) & Stappers, B. (Supervisor)

    UoM administered thesis: Phd

  5. Visual Speech Synthesis by Learning Joint Probabilistic Models of Audio and Video

    Author: Deena, S., 1 Aug 2012

    Supervisor: Galata, A. (Supervisor)

    UoM administered thesis: Phd

  6. Video event analysis using activity primitives

    Author: Garg, A., 1 Aug 2014

    Supervisor: Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  7. VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES

    Author: Copeland, M., 3 Jan 2016

    Supervisor: Stevens, R. (Supervisor) & Parsia, B. (Supervisor)

    UoM administered thesis: Master of Philosophy

  8. Verification of Liveness Properties on Hybrid Dynamical Systems

    Author: Carter, R., 1 Aug 2013

    Supervisor: Navarro Lopez, E. (Supervisor)

    UoM administered thesis: Phd

  9. Using pathway networks to model context dependent cellular function

    Author: Stoney, R., 1 Aug 2018

    Supervisor: Nenadic, G. (Supervisor), Robertson, D. (Supervisor) & Schwartz, J. (Supervisor)

    UoM administered thesis: Phd

  10. UNSUPERVISED ENSEMBLE LEARNING AND ITS APPLICATION TO TEMPORAL DATA CLUSTERING

    Author: YANG, Y., 31 Dec 2011

    Supervisor: Chen, K. (Supervisor)

    UoM administered thesis: Phd

  11. Unobtrusive and Personalised Monitoring of Parkinson's Disease Using Smartphones

    Author: Vega Hernandez, J., 1 Aug 2019

    Supervisor: Jay, C. (Supervisor), Harper, S. (Supervisor) & Vigo, M. (Supervisor)

    UoM administered thesis: Phd

  12. Tuning Genetic Programming Performance via Bloating Control and a Dynamic Fitness Function Approach

    Author: Li, G., 1 Aug 2014

    Supervisor: Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  13. Tuning Evolutionary Search for Closed-Loop Optimization

    Author: Allmendinger, R., 1 Aug 2012

    Supervisor: Knowles, J. (Supervisor)

    UoM administered thesis: Phd

  14. TRUST-AWARE INFORMATION RETRIEVAL IN PEER-TO-PEER ENVIRONMENTS

    Author: Zhang, Y., 1 Aug 2011

    Supervisor: Sakellariou, R. (Supervisor)

    UoM administered thesis: Phd

  15. TRANSFORMING ONTOLOGIES IN THE WEB ONTOLOGY LANGUAGE (OWL) TO VOCABULARIES IN THE SIMPLE KNOWLEDGE ORGANIZATION SYSTEM (SKOS)

    Author: Abdul Manaf, N. A., 1 Aug 2015

    Supervisor: Stevens, R. (Supervisor) & Bechhofer, S. (Supervisor)

    UoM administered thesis: Master of Philosophy

  16. Transactional Data Structures

    Author: Jarvis, K., 31 Dec 2011

    Supervisor: Kirkham, C. (Supervisor) & Watson, I. (Supervisor)

    UoM administered thesis: Phd

  17. TRAM: Transforming Textual Requirements to Support the Earliest Stage of Model Driven Development

    Author: Letsholo, K., 1 Aug 2015

    Supervisor: Zhao, L. (Supervisor)

    UoM administered thesis: Phd

  18. TOWARDS SYSTEMATIC REQUIREMENTS REUSE

    Author: Naish, J., 1 Aug 2014

    UoM administered thesis: Phd

  19. TOWARDS HARNESSING COMPUTATIONAL WORKFLOW PROVENANCE FOR EXPERIMENT REPORTING

    Author: Alper, P., 1 Aug 2016

    Supervisor: Goble, C. (Supervisor) & Bechhofer, S. (Supervisor)

    UoM administered thesis: Phd

  20. TOWARDS AN ADAPTIVE SOLUTION TO DATA PRIVACY PROTECTION IN HIERARCHICAL WIRELESS SENSOR NETWORKS

    Author: Al-Riyami, A., 31 Dec 2016

    Supervisor: Zhang, N. (Supervisor) & Keane, J. (Supervisor)

    UoM administered thesis: Phd

  21. Towards Accountable Anonymity in Digital Rights Management

    Author: Jones, M., 1 Aug 2011

    Supervisor: Zhang, N. (Supervisor)

    UoM administered thesis: Master of Philosophy

  22. Towards a Virtual Domain based Authentication Solution for the MapReduce Application

    Author: Lahmer, I., 31 Dec 2018

    Supervisor: Brooke, J. (Supervisor) & Zhang, N. (Supervisor)

    UoM administered thesis: Phd

  23. TOWARDS A FRAMEWORK FOR VISUALISING THE SEMANTIC WEB

    Author: Sajjacholapunt, P., 1 Aug 2013

    Supervisor: Goble, C. (Supervisor) & Pettifer, S. (Supervisor)

    UoM administered thesis: Master of Philosophy

  24. TOPIC MODELLING FOR SUPPORTING SYSTEMATIC REVIEWS

    Author: Mo, Y., 1 Aug 2016

    Supervisor: Ananiadou, S. (Supervisor) & Kontonatsios, G. (Supervisor)

    UoM administered thesis: Master of Philosophy

  25. Time Series Data Mining In Systems Biology

    Author: Tapinos, A., 1 Aug 2013

    Supervisor: Pedrosa Mendes, P. (Supervisor)

    UoM administered thesis: Phd

  26. The Role of Symmetry Features in Connectionist Pattern Recognition

    Author: Holland, S., 1 Aug 2012

    Supervisor: Neville, R. (Supervisor)

    UoM administered thesis: Phd

  27. The Modular Structure of an Ontology: Atomic Decomposition and its Applications

    Author: Del Vescovo, C., 1 Aug 2013

    Supervisor: Sattler, U. (Supervisor) & Parsia, B. (Supervisor)

    UoM administered thesis: Phd

  28. THE MANIPULATION OF SCHEMATIC CORRESPONDENCES WITH THE QUANTIFICATION OF UNCERTAINTY IN DATASPACES

    Author: Mao, L., 1 Aug 2013

    Supervisor: Fernandes, A. (Supervisor) & Paton, N. (Supervisor)

    UoM administered thesis: Phd

  29. The Justificatory Structure of OWL Ontologies

    Author: Bail, S., 31 Dec 2013

    Supervisor: Parsia, B. (Supervisor) & Sattler, U. (Supervisor)

    UoM administered thesis: Phd

  30. The Interplay Between Web Aesthetics and Accessibility

    Author: Mbipom, G., 1 Aug 2013

    Supervisor: Harper, S. (Supervisor) & Jay, C. (Supervisor)

    UoM administered thesis: Phd

  31. THE GENERATOR MAINTENANCE SCHEDULING PROBLEM:BENCHMARKS, LOCAL SEARCH and METAHEURISTICS

    Author: Almakhlafi, A., 1 Aug 2016

    Supervisor: Knowles, J. (Supervisor)

    UoM administered thesis: Phd

  32. THE APPLICATION OF CONSTRAINT RULES TO DATA-DRIVEN PARSING

    Author: Jaf, S., 31 Dec 2015

    Supervisor: Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  33. Textural Measurements for Retinal Image Analysis

    Author: Mohammad, S., 1 Aug 2015

    Supervisor: Morris, T. (Supervisor) & Thacker, N. (Supervisor)

    UoM administered thesis: Phd

  34. Textual Entailment for Modern Standard Arabic

    Author: Alabbas, M., 31 Dec 2013

    Supervisor: Ramsay, A. (Supervisor) & Somers, H. (Supervisor)

    UoM administered thesis: Phd

  35. Text Mining for Drug Discovery

    Author: Piliouras, D., 31 Dec 2014

    UoM administered thesis: Master of Philosophy

  36. Targeted Feedback Collection for Data Source Selection with Uncertainty

    Author: Cortes Rios, J. C., 1 Aug 2018

    Supervisor: Paton, N. (Supervisor) & Fernandes, A. (Supervisor)

    UoM administered thesis: Phd

  37. Tableau-Based Reasoning for Decidable Fragments of First-Order Logic

    Author: Reker, H., 1 Aug 2012

    Supervisor: Schmidt, R. (Supervisor)

    UoM administered thesis: Phd

  38. Systematic Approaches for Modelling and Visualising Responses to Perturbation of Transcriptional Regulatory Networks

    Author: Han, N. S., 1 Aug 2013

    Supervisor: Brass, A. (Supervisor)

    UoM administered thesis: Phd

  39. SUPPORTING VOIP IN IEEE802.11 DISTRIBUTED WLANS

    Author: Liu, Z., 31 Dec 2013

    Supervisor: Filer, N. (Supervisor)

    UoM administered thesis: Phd

  40. SUPPORTING ACCESS TO DISTRIBUTED EPRS (ELECTRONIC PATIENT RECORDS) WITH THREE LEVELS OF IDENTITY PRIVACY PRESERVATION

    Author: Addas, R., 31 Dec 2015

    Supervisor: Zhang, N. (Supervisor)

    UoM administered thesis: Phd

  41. Support Consumers' Rights in DRM: A Secure and Fair Solution to Digital License Reselling over The Internet

    Author: Gaber, T., 1 Aug 2012

    Supervisor: Zhang, N. (Supervisor)

    UoM administered thesis: Phd

  42. STRUCTURAL PLASTICITY ON SPINNAKER

    Author: Bogdan, P., 3 Jan 2020

    Supervisor: Lester, D. (Supervisor) & Furber, S. (Supervisor)

    UoM administered thesis: Phd

  43. Structural characterisation of L10 ordered materials for spintronics

    Author: Huskisson, D., 1 Aug 2018

    Supervisor: Thomson, T. (Supervisor), Hill, E. (Supervisor) & Haigh, S. (Supervisor)

    UoM administered thesis: Phd

  44. STABILITY AND STABILISATION OF SWITCHING AND HYBRID DISSIPATIVE SYSTEMS

    Author: Karalis, P., 31 Dec 2018

    Supervisor: Sakellariou, R. (Supervisor) & Navarro Lopez, E. (Supervisor)

    UoM administered thesis: Phd

  45. Specialising Dynamic Techniques for Implementing the Ruby Programming Language

    Author: Seaton, C., 31 Dec 2015

    Supervisor: Lujan Moreno, M. (Supervisor) & Watson, I. (Supervisor)

    UoM administered thesis: Phd

  46. Spatial Parallelism in the Routers of Asynchronous On-Chip Networks

    Author: Song, W., 31 Dec 2011

    Supervisor: Edwards, D. (Supervisor)

    UoM administered thesis: Phd

  47. Software/Hardware Co-Design and Co-Specialisation: Novel Simulation Techniques and Optimisations

    Author: Rodchenko, A., 1 Aug 2018

    Supervisor: Lujan Moreno, M. (Supervisor) & Pop, A. (Supervisor)

    UoM administered thesis: Phd

  48. Software Engineering Abstractions for a Numerical Linear Algebra Library

    Author: Song, Z., 1 Aug 2013

    Supervisor: Gurd, J. (Supervisor) & Freeman, T. (Supervisor)

    UoM administered thesis: Phd

  49. Sociotechnical Architecture for Biomedical Communication on the Web of Argument and Data

    Author: Clark, T., 31 Dec 2014

    Supervisor: Goble, C. (Supervisor)

    UoM administered thesis: Phd

  50. SMART GRID SECURITY: PROTECTING USERS' PRIVACY IN SMART GRID APPLICATIONS

    Author: Mustafa, M., 31 Dec 2015

    Supervisor: Zhang, N. (Supervisor) & Forsyth, A. (Supervisor)

    UoM administered thesis: Phd

  51. Skill Capture in First-Person Shooters

    Author: Buckley, D., 1 Aug 2016

    Supervisor: Chen, K. (Supervisor) & Knowles, J. (Supervisor)

    UoM administered thesis: Phd

  52. Sketch-Based Intuitive 3D Model Deformations

    Author: Bao, X., 31 Dec 2014

    UoM administered thesis: Phd

  53. Simulating characters for observation: Bridging theory and practice

    Author: Albin-Clark, A., 1 Aug 2013

    Supervisor: Howard, T. (Supervisor)

    UoM administered thesis: Phd

  54. SIMPLIFIED NEURAL NETWORKS ALGORITHMS FOR FUNCTION APPROXIMATION AND REGRESSION BOOSTING ON DISCRETE INPUT SPACES.

    Author: Haider, S., 1 Aug 2011

    Supervisor: Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  55. SEPARATION OF CONCERNS IN CONCURRENT PROGRAMS USING FINE GRAINED JOIN POINTS

    Author: Xi, C., 1 Aug 2012

    Supervisor: Gurd, J. (Supervisor)

    UoM administered thesis: Phd

  56. SENSING PHYSIOLOGICAL AROUSAL AND VISUAL ATTENTION DURING USER INTERACTION

    Author: Matthews, O., 31 Dec 2019

    Supervisor: Harper, S. (Supervisor) & Vigo, M. (Supervisor)

    UoM administered thesis: Phd

  57. SECURING MOBILITY LOCATION MANAGEMENT IN WIRELESS MESH NETWORKS

    Author: Alkhliwi, S., 31 Dec 2018

    Supervisor: Carpenter, A. (Supervisor) & Harper, S. (Supervisor)

    UoM administered thesis: Phd

  58. SECURING HOME AND CORRESPONDENT REGISTRATIONS IN MOBILE IPv6 NETWORKS

    Author: Elshakankiry, O., 1 Aug 2011

    Supervisor: Carpenter, A. (Supervisor), Paton, N. (Supervisor) & Zhang, N. (Supervisor)

    UoM administered thesis: Phd

  59. Secure Computation in the Cloud Using MapReduce

    Author: Dyer, J., 1 Aug 2018

    Supervisor: Paton, N. (Supervisor)

    UoM administered thesis: Phd

  60. Scalable Event-Driven Modelling Architectures for Neuromimetic Hardware

    Author: Rast, A., 1 Aug 2011

    Supervisor: Furber, S. (Supervisor)

    UoM administered thesis: Phd

  61. SCALABILITY AND ROBUSTNESS OF ARTIFICIAL NEURAL NETWORKS

    Author: Stromatias, E., 1 Aug 2016

    Supervisor: Furber, S. (Supervisor) & Garside, J. (Supervisor)

    UoM administered thesis: Phd

  62. Reverse Engineering Encapsulated components from Legacy Code

    Author: Arshad, R., 1 Aug 2019

    Supervisor: Zhao, L. (Supervisor) & Lau, K. (Supervisor)

    UoM administered thesis: Phd

  63. RESILIENT SENSOR NETWORK QUERY PROCESSING

    Author: Stokes, A., 1 Aug 2015

    Supervisor: Fernandes, A. (Supervisor) & Paton, N. (Supervisor)

    UoM administered thesis: Phd

  64. Representation learning with a temporally coherent mixed-representation

    Author: Parkinson, J., 1 Aug 2017

    Supervisor: Chen, K. (Supervisor) & Shapiro, J. (Supervisor)

    UoM administered thesis: Phd

  65. REINFORCEMENT LEARNING WITH TIME PERCEPTION

    Author: Liu, C., 31 Dec 2013

    Supervisor: Shapiro, J. (Supervisor)

    UoM administered thesis: Phd

  66. RECOMMENDER SYSTEMS BASED ON ONLINE SOCIAL NETWORKS -AN IMPLICIT SOCIAL TRUST AND SENTIMENT ANALYSIS APPROACH

    Author: Alahmadi, D., 1 Aug 2017

    Supervisor: Zeng, X. (Supervisor) & Chen, K. (Supervisor)

    UoM administered thesis: Phd

  67. Real-Time Million-Synapse Simulation of Cortical Tissue

    Author: Sharp, T., 1 Aug 2013

    Supervisor: Furber, S. (Supervisor) & Garside, J. (Supervisor)

    UoM administered thesis: Phd

  68. Real time Spaun on SpiNNaker - Functional brain simulation on a massively-parallel computer architecture

    Author: Mundy, A., 1 Aug 2017

    Supervisor: Garside, J. (Supervisor) & Furber, S. (Supervisor)

    UoM administered thesis: Phd

  69. Real Time Single and Multi-Gesture Recognition Based on Skin Colour and Optical Flow

    Author: Ali, M. R., 1 Aug 2013

    Supervisor: Morris, T. (Supervisor)

    UoM administered thesis: Phd

  70. Quantifying the Stability of Feature Selection

    Author: Nogueira, S., 1 Aug 2018

    Supervisor: Brown, G. (Supervisor) & Shapiro, J. (Supervisor)

    UoM administered thesis: Phd

  71. QRMF: A Multi-Perspective Framework for Quality Requirements Modelling

    Author: Saeedi, K., 1 Aug 2014

    Supervisor: Zhao, L. (Supervisor) & Sampaio, P. (Supervisor)

    UoM administered thesis: Phd

  72. Provenance of Visual Interpretations in the Exploration of Data

    Author: Al-Naser, A., 1 Aug 2015

    Supervisor: Brooke, J. (Supervisor)

    UoM administered thesis: Phd

  73. Pronunciation Support for Arabic Learners

    Author: Alsabaan, M., 1 Aug 2015

    Supervisor: Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  74. PREFERENCE ELICITATION FROM PAIRWISE COMPARISONS IN MULTI-CRITERIA DECISION MAKING

    Author: Siraj, S., 31 Dec 2011

    Supervisor: Keane, J. (Supervisor)

    UoM administered thesis: Phd

  75. Preference Elicitation from Pairwise Comparisons for Traceable Multi-Criteria Decision Making

    Author: Abel, E., 1 Aug 2016

    Supervisor: Keane, J. (Supervisor) & Mikhailov, L. (Supervisor)

    UoM administered thesis: Phd

  76. Predictive Variable Selection for Subgroup Identification

    Author: Turner, E., 1 Aug 2018

    Supervisor: Brown, G. (Supervisor) & Stevens, R. (Supervisor)

    UoM administered thesis: Master of Philosophy

  77. Prediction-based failure management for supercomputers

    Author: Ge, W., 31 Dec 2011

    Supervisor: Gurd, J. (Supervisor) & Keane, J. (Supervisor)

    UoM administered thesis: Phd

  78. Practical Uniform Interpolation for Expressive Description Logics

    Author: Koopmann, P., 31 Dec 2015

    Supervisor: Schmidt, R. (Supervisor) & Tishkovsky, D. (Supervisor)

    UoM administered thesis: Phd

  79. Practical Reasoning in Probabilistic Description Logic

    Author: Klinov, P., 1 Aug 2011

    Supervisor: Parsia, B. (Supervisor) & Sattler, U. (Supervisor)

    UoM administered thesis: Phd

  80. Practical Aspects of Automated First-Order Reasoning

    Author: Hoder, K., 31 Dec 2012

    Supervisor: Voronkov, A. (Supervisor)

    UoM administered thesis: Phd

  81. Plasticity in large-scale neuromorphic models of the neocortex

    Author: Knight, J., 1 Aug 2017

    Supervisor: Furber, S. (Supervisor) & Lester, D. (Supervisor)

    UoM administered thesis: Phd

  82. PAY-AS-YOU-GO INSTANCE-LEVEL INTEGRATION

    Author: Maskat, R., 1 Aug 2016

    Supervisor: Paton, N. (Supervisor) & Embury, S. (Supervisor)

    UoM administered thesis: Phd

  83. Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting

    Author: Kourtis, G., 1 Aug 2017

    Supervisor: Pratt-Hartmann, I. (Supervisor) & Schmidt, R. (Supervisor)

    UoM administered thesis: Phd

  84. Parallel Simulation of Neural Networks on SpiNNaker Universal Neuromorphic Hardware

    Author: Jin, X., 31 Dec 2010

    Supervisor: Furber, S. (Supervisor)

    UoM administered thesis: Phd

  85. Optimising Dynamic Binary Modification Across ARM Microarchitectures

    Author: Gorgovan, C., 1 Aug 2017

    Supervisor: Lujan Moreno, M. (Supervisor) & Rawsthorne, A. (Supervisor)

    UoM administered thesis: Phd

  86. ONTOLOGY-BASED MULTIPLE-CHOICE QUESTION GENERATION

    Author: Alsubait, T., 31 Dec 2015

    Supervisor: Sattler, U. (Supervisor)

    UoM administered thesis: Phd

  87. ON TECHNIQUES FOR PAY-AS-YOU-GO DATA INTEGRATION OF LINKED DATA

    Author: Christodoulou, K., 1 Aug 2015

    Supervisor: Fernandes, A. (Supervisor) & Paton, N. (Supervisor)

    UoM administered thesis: Phd

  88. On Selection for Evolvability

    Author: Webb, A., 1 Aug 2017

    Supervisor: Knowles, J. (Supervisor) & Handl, J. (Supervisor)

    UoM administered thesis: Phd

  89. OBSTACLE DETECTION AND EMERGENCY EXIT SIGN RECOGNITION FOR AUTONOMOUS NAVIGATION USING CAMERA PHONE

    Author: Mohammed, A., 31 Dec 2017

    Supervisor: Morris, T. (Supervisor)

    UoM administered thesis: Phd

  90. Numerical Modelling and Visualization of the Evolution of Extensional Fault Systems

    Author: Longshaw, S., 1 Aug 2011

    Supervisor: Turner, M. (Supervisor) & Gawthorpe, R. (Supervisor)

    UoM administered thesis: Phd

  91. Numerical methods for dynamic micromagnetics

    Author: Shepherd, D., 31 Dec 2015

    Supervisor: Miles, J. (Supervisor), Heil, M. (Supervisor) & Mihajlovic, M. (Supervisor)

    UoM administered thesis: Phd

  92. Network Fluctuation as an Explanatory Factor in the Evolution of Cooperation

    Author: Miller, S., 1 Aug 2017

    Supervisor: Knowles, J. (Supervisor) & Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  93. Neighbour discovery and distributed spatio-temporal cluster detection in pocket switched networks

    Author: Orlinski, M., 31 Dec 2013

    Supervisor: Filer, N. (Supervisor)

    UoM administered thesis: Phd

  94. Multiversal Algebra

    Author: Meneres Pimentel Leite Lobo, F., 1 Aug 2014

    Supervisor: Schalk, A. (Supervisor)

    UoM administered thesis: Phd

  95. Module-based classification of OWL ontologies

    Author: Matentzoglu, N., 1 Aug 2016

    Supervisor: Parsia, B. (Supervisor) & Sattler, U. (Supervisor)

    UoM administered thesis: Phd

  96. MODELLING OF HUMAN AGEING, COMPOUND EMOTIONS, AND INTENSITY FOR AUTOMATIC FACIAL EXPRESSION RECOGNITION

    Author: Al-Garaawi, N., 1 Aug 2019

    Supervisor: Morris, (Supervisor) & Galata, (Supervisor)

    UoM administered thesis: Phd

  97. Modelling Data Storage in Nano-Island Magnetic Materials

    Author: Kalezhi, J., 1 Aug 2011

    Supervisor: Miles, J. (Supervisor)

    UoM administered thesis: Phd

  98. MODELLING APPEARANCE AND GEOMETRY FROM IMAGES

    Author: Melendez, F., 1 Aug 2011

    Supervisor: Hubbold, R. (Supervisor) & Howard, T. (Supervisor)

    UoM administered thesis: Phd

Previous 1 2 3 Next
Return to faculty and school overview