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 | O | Q | S | W | Z
Number of items at this level: 65.

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.

Alotaibi, Fahd Saleh S. (2015) Fine-grained Arabic named entity recognition. Ph.D. thesis, University of Birmingham.

Alwanain, Mohammed Ibrahim (2016) Automated composition of sequence diagrams. Ph.D. thesis, University of Birmingham.

Amini, Arash (2016) Online condition monitoring of railway wheelsets. 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.

Barrance, Thomas Alexander (2016) Perceptions and practice of Gov2.0 in English local government. Ph.D. thesis, University of Birmingham.

Batten, Ian Gilbert (2016) Trusted execution: applications and verification. Ph.D. thesis, University of Birmingham.

Bennett, Tom (2015) Modelling of crushing operations in the aggregates industry. M.Res. thesis, University of Birmingham.

Brown, James (2015) Articulated statistical shape models for the analysis of bone destruction in mouse models of rheumatoid arthritis. Ph.D. thesis, University of Birmingham.

Byrne, William Frederick (2016) Situated creativity-inspired problem-solving. 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.

Faniyi, Funmilade Olugbenga (2015) Self-aware software architecture style and patterns for cloud-based applications. Ph.D. thesis, University of Birmingham.

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

Fascianelli, Valeria (2016) Development of a software trigger algorithm for electron identification using the NA62 RICH Cherenkov detector. M.Sc. thesis, University of Birmingham.

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

Fredriksson, Olle (2015) Distributing abstract machines. Ph.D. thesis, University of Birmingham.

H

Hakvoort, Gido Albert (2016) Multi-touch and mobile technologies for galleries, libraries, archives and museums. Ph.D. thesis, University of Birmingham.

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.

Harris, Catherine Ann (2015) Online plan modification in uncertain resource-constrained environments. Ph.D. thesis, University of Birmingham.

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

K

Kent, Matthew Paul (2015) Estimating functional performance for use in the aesthetic design process. Ph.D. 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.

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

Mademtzi, Marilena (2016) The use of a Kinect-based technology within the school environment to enhance sensory-motor skills of children with autism. Ph.D. thesis, University of Birmingham.

Mambrini, Andrea (2015) Theory grounded design of genetic programming and parallel evolutionary algorithms. Ph.D. thesis, University of Birmingham.

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.

Mohd Yusof, Mohd Hafizuddin (2016) Real-time person re-identification for interactive environments. Ph.D. thesis, University of Birmingham.

Morgan, Amy (2015) Supporting the diagnosis of childhood brain tumours through structural reports and ontological reasoning. M.Sc. thesis, University of Birmingham.

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

Murwantara, I Made (2016) The application of software product line engineering to energy management in the cloud and in virtualised environments. 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.

Novakovic, Christopher (2015) Computing and estimating information leakage with a quantitative point-to-point information flow model. Ph.D. thesis, University of Birmingham.

O

Ojameruaye, Bendra (2016) A value and debt aware framework for evaluating compliance in software systems. 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 Tue Dec 6 08:22:27 2016 GMT.