Student theses
Search results
-
Developing pXRF soil analysis of preservation at Vindolanda
Author: Williams, R., 19 Feb 2021Supervisor: Taylor, G. (Supervisor), Thompson, T. (Supervisor) & Orr, C. (Supervisor)
Student thesis: Doctoral Thesis
-
Reasoning About C11 Programs with Fences and Relaxed Atomics
Author: He, M., 16 Feb 2018Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)
Student thesis: Doctoral Thesis
-
Computer aided analysis of paraspinal electromyography
Author: Coxon, A., 8 Feb 2013Supervisor: 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 2013Supervisor: Qin, S. (Supervisor)
Student thesis: Doctoral Thesis
File