Items where Subject is "Q Science > QA Mathematics > QA76 Computer software"

2012

Baker, Josef B. (2012) A linear grammar approach for the analysis of mathematical documents. Ph.D. thesis, University of Birmingham.

Fan, Bo (2012) Railway traffic rescheduling approaches to minimise delays in disturbed conditions. Ph.D. thesis, University of Birmingham.

Farah, Ali Mohamud (2012) Generalized and quadratic eigenvalue problems with hermitian matrices. M.Phil. thesis, University of Birmingham.

Klinke, Olaf Karl (2012) A bitopological point-free approach to compactifications. Ph.D. thesis, University of Birmingham.

Koleini, Masoud (2012) Verification of temporal-epistemic properties of access control systems. Ph.D. thesis, University of Birmingham.

Lin, Ming Huei (2012) Blog assisted language learning in the EFL writing classroom: an empirical study. Ph.D. thesis, University of Birmingham.

Liu, Sze-Yeung (2012) Matching algorithms for interest management in distributed virtual environments. Ph.D. thesis, University of Birmingham.

Lobato, Hugo Manuael Pinto (2012) An investigation into coordinate measuring machine task specific measurement uncertainty and automated conformance assessment of airfoil leading edge profiles. Eng.D. thesis, University of Birmingham.

Luque Ancona, Sergio (2012) Portfolio of compositions. Ph.D. thesis, University of Birmingham.

Menaa, Mohamed Nabih (2012) On the compositionality of round abstraction. Ph.D. thesis, University of Birmingham.

Murgatroyd, Philip Scott (2012) Medieval warfare on the grid. Ph.D. thesis, University of Birmingham.

Nallur, Vivek (2012) A decentralized self-adaptation mechanism for service-based applications in the cloud. Ph.D. thesis, University of Birmingham.

Newton, Derrick (2012) Business Process Access Control (BPAC): workflow-based authorisation for complex systems. Ph.D. thesis, University of Birmingham.

Qunoo, Hasan Najib Yousif (2012) Modelling and verifying dynamic access control policies using knowledge-based model checking. Ph.D. thesis, University of Birmingham.

Sawatmongkhon, Boonlue (2012) Modelling of catalytic aftertreatment of NOx emissions using hydrocarbon as a reductant. Ph.D. thesis, University of Birmingham.

Shah, Seyyed Madasar Ali (2012) Model transformation dependability evaluation by the automated creation of model generators. Ph.D. thesis, University of Birmingham.

Smart, Matthew James (2012) Anonymity vs. traceability: revocable anonymity in remote electronic voting protocols. Ph.D. thesis, University of Birmingham.

Staite, Christopher (2012) Identity management architecture and implementation: evaluation and improvement. Ph.D. thesis, University of Birmingham.

Suryanarayanan, Vinoth (2012) Synchronised range queries. Ph.D. thesis, University of Birmingham.

2011

Alodib, Mohammed Ibrahim (2011) Creation, integrating and deployment of diagnoser for web services. Ph.D. thesis, University of Birmingham.

Chandra, Arjun (2011) A methodical framework for engineering co-evolution for simulating socio-economic game playing agents. Ph.D. thesis, University of Birmingham.

Cook, Andrew James (2011) Computational chunking in Chess. Ph.D. thesis, University of Birmingham.

Duff, Damien Jade (2011) Visual motion estimation and tracking of rigid bodies by physical simulation. Ph.D. thesis, University of Birmingham.

Nguyen, Trung Thanh (2011) Continuous dynamic optimisation using evolutionary algorithms. Ph.D. thesis, University of Birmingham.

Smyth, Ben (2011) Formal verification of cryptographic protocols with automated reasoning. Ph.D. thesis, University of Birmingham.

2010

Kopicki, Marek (2010) Prediction learning in robotic manipulation. Ph.D. thesis, University of Birmingham.

Sawasdichai, Araya (2010) An estimation of risk of Colles’ fracture using model-based interpretation of bone profiles. M.Res. thesis, University of Birmingham.

2009

Arcuri, Andrea (2009) Automatic software generation and improvement through search based techniques. Ph.D. thesis, University of Birmingham.

2006

Mason, Oliver Jan (2006) The automatic extraction of linguistic information from text corpora. Ph.D. thesis, University of Birmingham.

2004

Hawes, Nicholas Andrew (2004) Anytime deliberation for computer game agents. Ph.D. thesis, University of Birmingham.