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: A | B | C | D | E | F | H | K | L | M | N | Q | S | W | Z
Number of items at this level: 44.

A

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

Al-Azzani, Sarah (2014) Architecture-centric testing for security. Ph.D. thesis, University of Birmingham.

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

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

B

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

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

C

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.

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.

D

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.

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

E

Etebari, Dina (2014) Intelligent wardrobe: using mobile devices, recommender systems and social networks to advise on clothing choice. M.Phil. thesis, University of Birmingham.

F

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.

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

H

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

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

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

K

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.

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

L

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.

M

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

Mcmaster, Richard Benjamin (2014) Sensemaking in emergency response command and control. 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.

N

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.

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

Q

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

S

Sadawi, Noureddin (2013) A rule-based approach for recognition of chemical structure diagrams. 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.

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.

Smyth, Ben (2011) Formal verification of cryptographic protocols with automated reasoning. 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.

W

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

Z

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

This list was generated on Wed Oct 1 04:48:33 2014 IST.