Department of Computer Science

Student Theses

  1. Effective Bayesian Inference for Sparse Factor Analysis Models

    Author: Sharp, K., 1 Aug 2011

    Supervisor: Rattray, M. (Supervisor)

    UoM administered thesis: Phd

  2. Efficient ''black-box'' multigrid solvers for convection-dominated problems

    Author: Rees, G., 31 Dec 2011

    Supervisor: Silvester, D. (Supervisor) & Mihajlovic, M. (Supervisor)

    UoM administered thesis: Phd

  3. Efficient Equational Reasoning for the Inst-Gen Framework

    Author: Sticksel, C., 1 Aug 2011

    Supervisor: Schmidt, R. (Supervisor) & Korovin, K. (Supervisor)

    UoM administered thesis: Phd

  4. Efficient Optical Network-on-chip Design

    Author: Werner, S., 1 Aug 2018

    Supervisor: Luján, (Supervisor) & Navaridas, (Supervisor)

    UoM administered thesis: Phd

  5. Enabling High Quality Executable Domain Specific Language Specification

    Author: Lai, Q., 1 Aug 2015

    Supervisor: Carpenter, A. (Supervisor)

    UoM administered thesis: Phd

  6. Enriching Biomedical Events with Meta-knowledge

    Author: Nawaz, R., 1 Aug 2013

    Supervisor: Ananiadou, S. (Supervisor)

    UoM administered thesis: Phd

  7. Error Control With Binary Cyclic Codes

    Author: Grymel, M., 1 Aug 2013

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

    UoM administered thesis: Phd

  8. Evolution of a Heterogeneous Hybrid Extreme Learning Machine

    Author: Christou, V., 31 Dec 2019

    Supervisor: Zhao, L. (Supervisor) & Brown, G. (Supervisor)

    UoM administered thesis: Phd

  9. Examining expertise through eye movements: a study of clinicians interpreting electrocardiograms

    Author: Davies, A., 1 Aug 2018

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

    UoM administered thesis: Phd

  10. Experimenting with a Big Data Framework for Scaling a Data Quality Query System

    Author: Cisneros Cabrera, S., 1 Aug 2017

    Supervisor: Sampaio, S. (Supervisor) & Sampaio, P. (Supervisor)

    UoM administered thesis: Master of Philosophy

  11. Exploiting Distributed Software Transactional Memory

    Author: Kotselidis, C., 1 Aug 2011

    Supervisor: Kirkham, C. (Supervisor) & Furber, S. (Supervisor)

    UoM administered thesis: Phd

  12. EXPLOITING PHONOLOGICALCONSTRAINTS AND AUTOMATICIDENTIFICATION OF SPEAKERCLASSES FOR ARABIC SPEECHRECOGNITION

    Author: Alsharhan, E. T. A. E. A., 1 Aug 2014

    Supervisor: Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  13. EXPLOITING PHONOLOGICALCONSTRAINTS AND AUTOMATICIDENTIFICATION OF SPEAKERCLASSES FOR ARABIC SPEECHRECOGNITION

    Author: Alsharhan, E. T. A. E. A., 1 Aug 2014

    Supervisor: Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  14. EXPLORATION OF VARIATIONS OF UNRESTRICTED BLOCKING FOR DESCRIPTION LOGICS

    Author: Khodadadi, M., 31 Dec 2015

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

    UoM administered thesis: Phd

  15. Explorations in Grid Workflow Scheduling

    Author: Zheng, W., 1 Aug 2010

    Supervisor: Sakellariou, R. (Supervisor)

    UoM administered thesis: Phd

  16. Exploring vectorisation for parallel breadth-first search on an advanced vector processor

    Author: Paredes Lopez, M., 1 Aug 2017

    Supervisor: Lujan Moreno, M. (Supervisor) & Riley, G. (Supervisor)

    UoM administered thesis: Phd

  17. Extraction and representation of key characteristics from epidemiological literature

    Author: Karystianis, G., 1 Aug 2014

    Supervisor: Nenadic, G. (Supervisor) & Buchan, I. (Supervisor)

    UoM administered thesis: Phd

  18. Extraction of database and software usage patterns from the bioinformatics literature

    Author: Duck, G., 1 Aug 2015

    Supervisor: Stevens, R. (Supervisor), Nenadic, G. (Supervisor) & Robertson, D. (Supervisor)

    UoM administered thesis: Phd

  19. Eye Tracking Scanpath Trend Analysis on Web Pages

    Author: Eraslan, S., 31 Dec 2016

    Supervisor: Harper, S. (Supervisor) & Yesilada, Y. (Supervisor)

    UoM administered thesis: Phd

  20. Fabrication and characterisation of L10 ordered FePt thin films and bit patterned media

    Author: Zygridou, S., 31 Dec 2016

    Supervisor: Nutter, P. (Supervisor) & Thomson, T. (Supervisor)

    UoM administered thesis: Phd

  21. Fabrication and characterisation of novel materials and devices for spintronics

    Author: Warren, J., 1 Aug 2018

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

    UoM administered thesis: Phd

  22. FACILITATING DATA SHARING: A DESIGN APPROACH TO INCORPORATE CONTEXT INTO THE RESEARCH DATA REPOSITORY

    Author: Garza Gutierrez, K., 1 Aug 2017

    Supervisor: Goble, C. (Supervisor), Brooke, J. (Supervisor) & Jay, C. (Supervisor)

    UoM administered thesis: Phd

  23. FAULT TOLERANT TECHNIQUES FOR ASYNCHRONOUS NETWORKS ON CHIP

    Author: Zhang, G., 1 Aug 2016

    Supervisor: Garside, J. (Supervisor) & Navaridas Palma, J. (Supervisor)

    UoM administered thesis: Phd

  24. Feature Distribution Learning for Covariate Shift Adaptation Using Sparse Filtering

    Author: Zennaro, F., 31 Dec 2017

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

    UoM administered thesis: Phd

  25. Feature Selection via Joint Likelihood

    Author: Pocock, A., 1 Aug 2013

    Supervisor: Brown, G. (Supervisor) & Lujan Moreno, M. (Supervisor)

    UoM administered thesis: Phd

  26. Finding Conflicting Statements in the Biomedical Literature

    Author: Sarafraz, F., 1 Aug 2012

    Supervisor: Nenadic, G. (Supervisor)

    UoM administered thesis: Phd

  27. Formalism of Privacy Preserving Access Control

    Author: Yang, N., 31 Dec 2011

    Supervisor: Barringer, H. (Supervisor) & Zhang, N. (Supervisor)

    UoM administered thesis: Phd

  28. General Terminology Induction in Description Logics

    Author: Sazonau, V., 1 Aug 2017

    Supervisor: Sattler, U. (Supervisor) & Brown, G. (Supervisor)

    UoM administered thesis: Phd

  29. Global Optimization with Hybrid Evolutionary Computation

    Author: Bashir, H., 1 Aug 2014

    Supervisor: Neville, R. (Supervisor)

    UoM administered thesis: Phd

  30. Graphene-Based High Spatial Resolution Hall Sensors with Potential Application for Data Storage Media Characterisation

    Author: Tian, P., 31 Dec 2015

    Supervisor: Hill, E. (Supervisor)

    UoM administered thesis: Phd

  31. Hardware Languages and Proof

    Author: Richards, D., 31 Dec 2011

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

    UoM administered thesis: Phd

  32. High Performance Optimizations in Runtime Speculative Parallelization for Multicore Architectures

    Author: Yiapanis, P., 1 Aug 2014

    Supervisor: Lujan Moreno, M. (Supervisor) & Brown, G. (Supervisor)

    UoM administered thesis: Phd

  33. HIGH-LEVEL SYNTHESIS OF ELASTICITY: FROM MODELS TO CIRCUITS

    Author: Jelodari Mamaghani, M., 1 Aug 2016

    Supervisor: Garside, J. (Supervisor) & Pavlidis, V. (Supervisor)

    UoM administered thesis: Phd

  34. High-Mobility Graphene Nano-Rectifiers and Transistors for High Frequency Applications

    Author: Auton, G., 31 Dec 2016

    Supervisor: Hill, E. (Supervisor) & Song, A. (Supervisor)

    UoM administered thesis: Phd

  35. HYPOTHESIS FORMULATION IN MEDICAL RECORDS SPACE

    Author: Ba Dhafari, T., 1 Aug 2017

    Supervisor: Brass, A. (Supervisor)

    UoM administered thesis: Phd

  36. Hypothesis Testing and Feature Selection in Semi-Supervised Data

    Author: Sechidis, K., 1 Aug 2016

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

    UoM administered thesis: Phd

  37. Identification of biomarkers for capsular contracture formation and novel biomimetic breast implant surface design and development

    Author: Kyle, D., 1 Aug 2016

    Supervisor: Hill, E. (Supervisor) & Bayat, A. (Supervisor)

    UoM administered thesis: Phd

  38. Impact Analysis in Description Logic Ontologies

    Author: Goncalves, J. R., 1 Aug 2014

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

    UoM administered thesis: Phd

  39. Improved Load-balancing for a Chord-based Peer-to-Peer Storage System in a Cluster Environment

    Author: Chen, F., 1 Aug 2016

    Supervisor: Gurd, J. (Supervisor) & Filer, N. (Supervisor)

    UoM administered thesis: Phd

  40. Improving Learning and Teaching through Automated Short-Answer Marking

    Author: Siddiqi, R., 31 Dec 2010

    Supervisor: Harrison, C. (Supervisor)

    UoM administered thesis: Phd

  41. Improving the Currency of Information in Large-Scale Grid Information Systems

    Author: Field, L., 1 Aug 2014

    Supervisor: Sakellariou, R. (Supervisor)

    UoM administered thesis: Phd

  42. INFERRING INFORMATION ABOUT CORRESPONDENCES BETWEEN DATA SOURCES FOR DATASPACES

    Author: Guo, C., 31 Jul 2012

    Supervisor: Fernandes, A. (Supervisor)

    UoM administered thesis: Phd

  43. Information Extraction from Pharmaceutical Literature

    Author: Batista-Navarro, R. T., 1 Aug 2014

    Supervisor: Ananiadou, S. (Supervisor)

    UoM administered thesis: Phd

  44. Information Flow in Spatial Models of Computation

    Author: Razavi, J., 1 Aug 2017

    Supervisor: Schalk, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor)

    UoM administered thesis: Phd

  45. Information Representation on a Universal Neural Chip

    Author: Galluppi, F., 31 Dec 2013

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

    UoM administered thesis: Phd

  46. INTEGRATED DEMAND AND SUPPLY SIDE MANAGEMENT AND SMART PRICING FOR ELECTRICITY MARKET

    Author: Liu, Z., 1 Aug 2018

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

    UoM administered thesis: Phd

  47. Integrated Supervised and Unsupervised Learning Method to Predict the Outcome of Tuberculosis Treatment Course

    Author: Rostamniakankalhori, S., 3 Jan 2012

    Supervisor: Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  48. Integrating Linked Data Search Results Using Statistical Relational Learning Approaches

    Author: Al Shekaili, D., 1 Aug 2017

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

    UoM administered thesis: Phd

  49. Interaction Patterns as Composite Connectors in Component-based Software Development

    Author: Stepan, P., 1 Aug 2014

    Supervisor: Lau, K. (Supervisor)

    UoM administered thesis: Phd

  50. Interlayer Exchange Coupling in Co/Pd-NiFe films studied by Vector Network Analyser Ferromagnetic Resonance

    Author: Johansson, A., 1 Aug 2018

    Supervisor: Rezazadeh, A. (Supervisor) & Thomson, T. (Supervisor)

    UoM administered thesis: Phd

  51. Investigating Data Quality in Question and Answer Reports

    Author: Mohamed Zaki Ali, M., 31 Dec 2016

    Supervisor: Nenadic, G. (Supervisor) & Theodoulidis, B. (Supervisor)

    UoM administered thesis: Phd

  52. Investigating Retrospective Interoperability between the Accessible and Mobile Webs with regard to User Input

    Author: Chen, T., 1 Aug 2011

    Supervisor: Harper, S. (Supervisor)

    UoM administered thesis: Phd

  53. Investigation of Island Geometry Variations in Bit Patterned Media Storage Systems

    Author: Shi, Y., 31 Dec 2011

    Supervisor: Nutter, P. (Supervisor)

    UoM administered thesis: Phd

  54. Justification Based Explanation in Ontologies

    Author: Horridge, M., 31 Dec 2011

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

    UoM administered thesis: Phd

  55. LEARNING AND IDENTIFICATION OF FUZZY SYSTEMS

    Author: Lee, S., 1 Aug 2012

    Supervisor: Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  56. Learning constructive primitives for procedural content generation

    Author: Shi, P., 1 Aug 2019

    Supervisor: Zeng, (Supervisor) & Chen, (Supervisor)

    UoM administered thesis: Phd

  57. Learning Hierarchical Speech Representations Using Deep Convolutional Neural Networks

    Author: Hau, D., 1 Aug 2014

    Supervisor: Chen, K. (Supervisor)

    UoM administered thesis: Master of Philosophy

  58. Learning in high dimensions with asymmetric costs

    Author: Reeve, H., 1 Aug 2019

    Supervisor: Chen, K. (Supervisor) & Brown, G. (Supervisor)

    UoM administered thesis: Phd

  59. Learning in Spiking Neural Networks

    Author: Davies, S., 1 Aug 2013

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

    UoM administered thesis: Phd

  60. Learning Speaker-Specific Characteristics With Deep Neural Architecture

    Author: Salman, A., 31 Dec 2012

    Supervisor: Chen, K. (Supervisor)

    UoM administered thesis: Phd

  61. Learning-Based Procedural Content Generation

    Author: Roberts, J., 31 Dec 2014

    Supervisor: Chen, K. (Supervisor)

    UoM administered thesis: Phd

  62. Lexical Selection for Machine Translation

    Author: Sabtan, Y., 1 Aug 2011

    Supervisor: Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  63. Lexical Simplification: Optimising the Pipeline

    Author: Shardlow, M., 31 Dec 2015

    Supervisor: Mcnaught, J. (Supervisor) & Harper, S. (Supervisor)

    UoM administered thesis: Phd

  64. LINKING ARABIC SOCIAL MEDIA BASED ON SIMILARITY AND SENTIMENT

    Author: Alhazmi, S., 31 Dec 2016

    Supervisor: Mcnaught, J. (Supervisor)

    UoM administered thesis: Phd

  65. Linking Clinical Records to the Biomedical Literature

    Author: Alnazzawi, N., 31 Dec 2016

    Supervisor: Ananiadou, S. (Supervisor) & Ramsay, A. (Supervisor)

    UoM administered thesis: Phd

  66. Linking Electronic Health Records with the Biomedical Literature

    Author: Fu, X., 1 Aug 2017

    Supervisor: Ananiadou, S. (Supervisor) & Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  67. Low Overhead & Energy Efficient Storage Path for Next Generation Computer Systems

    Author: Stratikopoulos, A., 1 Aug 2019

    Supervisor: Luján, M. (Supervisor)

    UoM administered thesis: Phd

  68. Low Overhead Dynamic Binary Translation for ARM

    Author: D'Antras, B., 1 Aug 2017

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

    UoM administered thesis: Phd

  69. Machine Learning Applied to the Study of Knee Osteoarthritis and Associated Pain

    Author: Minciullo, L., 31 Dec 2019

    Supervisor: Cootes, T. (Supervisor) & Twining, C. (Supervisor)

    UoM administered thesis: Phd

  70. Machine Learning Approach for Crude Oil Price Prediction

    Author: Abdullah, S. N. B., 1 Aug 2014

    Supervisor: Zeng, X. (Supervisor)

    UoM administered thesis: Phd

  71. MAGNETO-OPTIC KERR AND HALL EFFECT MEASUREMENTS FOR THE CHARACTERISATION OF BIT PATTERNED MEDIA

    Author: Alexandrou, M., 1 Aug 2011

    Supervisor: Nutter, P. (Supervisor)

    UoM administered thesis: Phd

  72. MANAGING A REAL-TIME MASSIVELY-PARALLEL NEURAL ARCHITECTURE

    Author: Patterson, J., 31 Dec 2012

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

    UoM administered thesis: Phd

  73. Minimal Model Reasoning for Modal Logic

    Author: Papacchini, F., 1 Aug 2015

    Supervisor: Schmidt, R. (Supervisor)

    UoM administered thesis: Phd

  74. Mining Negation and Uncertainty in Social Healthcare Networks

    Author: Awg Hj Md Apong, R. A., 1 Aug 2018

    Supervisor: Nenadic, G. (Supervisor)

    UoM administered thesis: Phd

  75. Mining Patient Journeys From Healthcare Narratives

    Author: Dehghan, A., 1 Aug 2015

    Supervisor: Nenadic, G. (Supervisor) & Keane, J. (Supervisor)

    UoM administered thesis: Phd

  76. MITIGATING THE EFFECT OF SOFT-LIMITING FOR OFDM PEAK REDUCTION

    Author: Bibi, N., 1 Aug 2014

    Supervisor: Filer, N. (Supervisor)

    UoM administered thesis: Phd

  77. Modelling and Computing the Quality of Scientific Information on the Web of Data

    Author: Gamble, M., 1 Aug 2014

    Supervisor: Goble, C. (Supervisor)

    UoM administered thesis: Phd

  78. Modelling and reasoning about dynamic networks as concurrent systems

    Author: Rusmawati, Y., 31 Dec 2014

    UoM administered thesis: Phd

  79. MODELLING APPEARANCE AND GEOMETRY FROM IMAGES

    Author: Melendez, F., 1 Aug 2011

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

    UoM administered thesis: Phd

  80. Modelling Data Storage in Nano-Island Magnetic Materials

    Author: Kalezhi, J., 1 Aug 2011

    Supervisor: Miles, J. (Supervisor)

    UoM administered thesis: Phd

  81. 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

  82. Module-based classification of OWL ontologies

    Author: Matentzoglu, N., 1 Aug 2016

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

    UoM administered thesis: Phd

  83. Multiversal Algebra

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

    Supervisor: Schalk, A. (Supervisor)

    UoM administered thesis: Phd

  84. 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

  85. 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

  86. 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

  87. 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

  88. 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

  89. On Selection for Evolvability

    Author: Webb, A., 1 Aug 2017

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

    UoM administered thesis: Phd

  90. 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

  91. ONTOLOGY-BASED MULTIPLE-CHOICE QUESTION GENERATION

    Author: Alsubait, T., 31 Dec 2015

    Supervisor: Sattler, U. (Supervisor)

    UoM administered thesis: Phd

  92. 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

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

    Author: Jin, X., 31 Dec 2010

    Supervisor: Furber, S. (Supervisor)

    UoM administered thesis: Phd

  94. 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

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

    Author: Maskat, R., 1 Aug 2016

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

    UoM administered thesis: Phd

  96. 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

  97. Practical Aspects of Automated First-Order Reasoning

    Author: Hoder, K., 31 Dec 2012

    Supervisor: Voronkov, A. (Supervisor)

    UoM administered thesis: Phd

  98. Practical Reasoning in Probabilistic Description Logic

    Author: Klinov, P., 1 Aug 2011

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

    UoM administered thesis: Phd

  99. Practical Uniform Interpolation for Expressive Description Logics

    Author: Koopmann, P., 31 Dec 2015

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

    UoM administered thesis: Phd

Return to faculty and school overview