If you made any changes in Pure these will be visible here soon.

Thesis

Advances in Cylindrical Algebraic Decomposition

Author: Wilson, D., 24 Dec 2014

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Auto-tuning compiler for HPC

Author: Jones, J., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Computational Verification of Security Requirements

Author: Bibu, G. D., 19 Nov 2014

Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks

Author: Wang, Y., 18 Apr 2016

Supervisor: Bryson, J. (Supervisor), Priest, N. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Integrated-Key Cryptographic Hash Functions

Author: Al-Kuwari, S., 1 Sep 2011

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

On the regularity of cylindrical algebraic decompositions

Author: Locatelli, A., 15 Apr 2016

Supervisor: Sankaran, G. (Supervisor) & Davenport, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Practical simplification of elementary functions using CAD

Author: Phisanbut, N., 1 Aug 2011

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Semi-Supervised Topic Models Applied to Mathematical Document Classication

Author: Evans, I., 24 May 2017

Supervisor: Davenport, J. (Supervisor) & Hall, P. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Traceability, Linkability and Policy Hiding in Attribute-Based Signature Schemes

Author: El Kaafarani, A., 2 Jun 2015

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File