Browse by University and Academic Department

A

Abba, Abdulrazaq (2020) Temporal Reasoning About Robotics Applications: Refinement and Temporal Logic. PhD thesis, University of York.

Algahtani, Eyad (2020) A Scalable and Parallel Inductive Learner in Description Logic. PhD thesis, University of York.

B

Beeston, Jen ORCID: https://orcid.org/0000-0002-9284-2867 (2020) Social experiences of people with disabilities in playing (in)accessible digital games. PhD thesis, University of York.

Burden, John ORCID: https://orcid.org/0000-0001-7526-0753 (2020) Automating abstraction for potential-based reward shaping. PhD thesis, University of York.

J

Jiménez Gil, Samuel (2020) Constraint-Based Testing and Tail Tests for Measurement-Based Probabilistic Timing Analysis. PhD thesis, University of York.

Johnson, Nikita Laura ORCID: https://orcid.org/0000-0002-0058-2958 (2020) Assuring Safety and Security. PhD thesis, University of York.

L

Law, Stephen (2020) Advancing mixed criticality scheduling techniques to support industrial applications. PhD thesis, University of York.

M

Madani, Sina ORCID: https://orcid.org/0000-0001-9166-2584 (2020) Parallel and Distributed Execution of Model Management Programs. PhD thesis, University of York.

Meyer, Rachel ORCID: https://orcid.org/0000-0001-7331-9002 (2020) Exploring Toxic Behaviour in Online Multiplayer Video Games. MSc by research thesis, University of York.

P

Peng, Shuyi (2020) Stock Forecasting using Neural Network with Graphs. MSc by research thesis, University of York.

Pereira, Jason ORCID: https://orcid.org/0000-0002-0568-5737 (2020) Quantum channel simulation and discrimination with applications to quantum communications. PhD thesis, University of York.

R

Rainer, Jonathan ORCID: https://orcid.org/0000-0002-0584-4574 (2020) Using Tracing To Enhance Data Cache Performance in CPUs: The creation of a Trace-Assisted Cache to increase cache hits and decrease runtime. PhD thesis, University of York.

S

Simpson, Andrew Lee ORCID: https://orcid.org/0000-0003-2296-6626 (2020) Improving the usability of Medical Infrastructure Software: the redesign of a Linear Accelerator machine log. MSc by research thesis, University of York.

W

Waters, Stuart Clive (2020) Exploring mechanisms in VR games to change attitudes towards outgroups: contact, cooperation and embodiment. MSc by research thesis, University of York.

Wilkinson, Kieran Neil ORCID: https://orcid.org/0000-0003-2606-7003 (2020) Analysing and reducing the limitations of continuous-variable quantum cryptography and quantum networks. PhD thesis, University of York.

Y

Yohannis, Alfa ORCID: https://orcid.org/0000-0003-4425-3731 (2020) Change-Based Model Differencing and Conflict Detection. PhD thesis, University of York.