Centre for Digital Innovation

Search results

• Computer aided analysis of paraspinal electromyography

  Author: Coxon, A., 8 Feb 2013

  Supervisor: Longstaff, J. (Supervisor)

  Student thesis: Doctoral Thesis

  File

• Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations

  Author: Arisaka, R., 12 Aug 2013

  Supervisor: Qin, S. (Supervisor)

  Student thesis: Doctoral Thesis

  File

• Reasoning About C11 Programs with Fences and Relaxed Atomics

  Author: He, M., 16 Feb 2018

  Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)

  Student thesis: Doctoral Thesis

• Crowd Simulation for Interactive Entertainment Applications

  Author: Matthews, J., May 2021

  Supervisor: Porteous, J. (Supervisor) & Jayne, C. (Supervisor)

  Student thesis: Doctoral Thesis

  File

• Developing pXRF soil analysis of preservation at Vindolanda

  Author: Williams, R., 19 Feb 2021

  Supervisor: Taylor, G. (Supervisor), Thompson, T. (Supervisor) & Orr, C. (Supervisor)

  Student thesis: Doctoral Thesis

• Morphoscopic and morphometric methodological approaches for segregating commingled human remains

  Author: Chrysostomou, P., 6 May 2022

  Supervisor: Thompson, T. (Supervisor)

  Student thesis: Doctoral Thesis

• An Investigation of Combined Domain Bi-Abductive Inference

  Author: Curry, C., 1 Oct 2022

  Supervisor: Qin, S. (Supervisor), He, M. (Supervisor) & Mu, C. (Supervisor)

  Student thesis: Doctoral Thesis

  File

• Lightweight Cryptography for Resource Constrained IoT devices

  Author: Thakor, V., 1 Oct 2022

  Supervisor: Razzaque, M. A. (Supervisor)

  Student thesis: Doctoral Thesis

  File