eTheses Repository

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

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Author | Year of Award
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2006 | 2004 | 1999
Number of items at this level: 42.

2014

Ahmad, Norasnita (2014) Users’ trust in open learner models. Ph.D. thesis, University of Birmingham.

Bajwa, Imran Sarwar (2014) A natural language processing approach to generate SBVR and OCL. Ph.D. thesis, University of Birmingham.

Corcalciuc, Horia V. (2014) Taxonomies for software security. Ph.D. thesis, University of Birmingham.

Cross, Benjamin (2014) GCS approximation. Ph.D. thesis, University of Birmingham.

Mcmaster, Richard Benjamin (2014) Sensemaking in emergency response command and control. Ph.D. thesis, University of Birmingham.

Weber, Philip (2014) A framework for the analysis and comparison of process mining algorithms. Ph.D. thesis, University of Birmingham.

2013

Danesh Sedigh, Yalda (2013) Development and validation of technology acceptance modelling for evaluating user acceptance of an e-learning framework. M.Phil. thesis, University of Birmingham.

Fouad, Shereen (2013) Metric learning for incorporating privileged information in prototype-based models. Ph.D. thesis, University of Birmingham.

Hamani, Sadek (2013) Software based solutions for mobile positioning. Ph.D. thesis, University of Birmingham.

Sadawi, Noureddin (2013) A rule-based approach for recognition of chemical structure diagrams. Ph.D. thesis, University of Birmingham.

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.

Zhang, Li (2004) A syllable-based, pseudo-articulatory approach to speech recognition. Ph.D. thesis, University of Birmingham.

1999

Hammerton, James Alistair (1999) Exploiting holistic computation: an evaluation of the sequential RAAM. Ph.D. thesis, University of Birmingham.

This list was generated on Thu Apr 17 04:25:17 2014 IST.