Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"

2013

Reed, Kate (2013) Improving aesthetic measures for evolutionary vase design. M.Res. thesis, University of Birmingham.

Sunmola, Funlade Tajudeen (2013) Optimising learning with transferable prior information. Ph.D. thesis, University of Birmingham.

2012

Ameedeen , Mohamed Ariff (2012) A model driven approach to analysis and synthesis of sequence diagrams. 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.

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

Hu, Hongwei (2012) Towards an improved model of dynamics for speech recognition and synthesis. Ph.D. thesis, University of Birmingham.

Hu, Zhen Hua Sampson (2012) Antennas with frequency domain control for future communication systems. Ph.D. thesis, University of Birmingham.

Khalil, Ashraf F. (2012) Networked control of distributed energy systems. 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.

Landassuri Moreno, Victor Manuel (2012) Evolution of modular neural networks. Ph.D. thesis, University of Birmingham.

Logsdail, Andrew James (2012) Computational characterisation of gold nanocluster structures. Ph.D. thesis, University of Birmingham.

Menaa, Mohamed Nabih (2012) On the compositionality of round abstraction. 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.

Onolaja, Olufunmilola Oladunni (2012) Dynamic data-driven framework for reputation management. 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.

Rodan, Ali (2012) Architectural designs of Echo State Network. 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.

Smale, Jonathan Ross (2012) Fitting and using model Hamiltonian in non-adiabatic molecular dynamics simulations. 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.

Stewart, Edward James Charles (2012) A distributed instrumentation system for the acquisition of rich, multi-dimensional datasets from railway vehicles. Ph.D. thesis, University of Birmingham.

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

Vasalos, Averkios (2012) Late time response analysis in UWB radar for concealed weapon detection: feasibility study. Ph.D. thesis, University of Birmingham.

Wang, Gehao (2012) Genus zero systems for primitive groups of affine type. Ph.D. thesis, University of Birmingham.

Yasmin, Rehana (2012) An efficient authentication framework for wireless sensor networks. Ph.D. thesis, University of Birmingham.

Zhang, Mengsu (2012) Design and performance analysis of novel signature code in two-dimensional optical CDMA systems. M.Phil. thesis, University of Birmingham.

Zuo, Rui (2012) Bistatic synthetic aperture radar using GNSS as transmitters of opportunity. 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.

Milner, Walter William (2011) Concept development in novice programmers learning Java. Ph.D. thesis, University of Birmingham.

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

Robinson, Edward Robert (2011) Resource allocation via competing marketplaces. Ph.D. thesis, University of Birmingham.

Rossiter, James (2011) Multimodal intent recognition for natural human-robotic interaction. Ph.D. thesis, University of Birmingham.

Saigol, Zeyn A. (2011) Automated planning for hydrothermal vent prospecting using AUVs. Ph.D. thesis, University of Birmingham.

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

Wang, Shuo (2011) Ensemble diversity for class imbalance learning. Ph.D. thesis, University of Birmingham.

Welsh, Noel (2011) Learning and acting in unknown and uncertain worlds. Ph.D. thesis, University of Birmingham.

2010

Dinh, Tien Tuan Anh (2010) Trustworthy infrastructure for Peer-to-Peer applications using hardware based security. Ph.D. thesis, University of Birmingham.

Garcia Najera, Abel (2010) Multi-Objective evolutionary algorithms for vehicle routing problems. Ph.D. thesis, University of Birmingham.

Gómez Bardón, María del Rocío (2010) Mathematical models and simulations of complex social systems. Ph.D. thesis, University of Birmingham.

Kneebone, M L (2010) Probabilistic roadmaps in uncertain environments. Ph.D. thesis, University of Birmingham.

Lewis, Peter Richard (2010) Evolutionary market-based resource allocation in decentralised computational systems. Ph.D. thesis, University of Birmingham.

Price, Richard Michael (2010) Using current uptime to improve failure detection in peer-to-peer networks. Ph.D. thesis, University of Birmingham.

Salaiwarakul, Anongporn (2010) Verification of secure biometric authentication protocols. Ph.D. thesis, University of Birmingham.

Wang, Xiaoxia (2010) Manifold aligned density estimation. Ph.D. thesis, University of Birmingham.

Yao, Conglun (2010) Strongly typed, compile-time safe and loosely coupled data persistence. Ph.D. thesis, University of Birmingham.

2009

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

Easton, John M. (2009) Optimised analysis and visualisation of metabolic data using graph theoretical approaches. Ph.D. thesis, University of Birmingham.

Karbassian, Mohammad Massoud (2009) Design and analysis of spreading code and transceiver architectures for optical CDMA networks. Ph.D. thesis, University of Birmingham.

Salazar Lechuga, Maximino (2009) Multi-objective optimisation using sharing in swarm optimisation algorithms. Ph.D. thesis, University of Birmingham.

2008

Downing, Richard Mark (2008) Artificial evolution with Binary Decision Diagrams: a study in evolvability in neutral spaces. Ph.D. thesis, University of Birmingham.

Miconi, Thomas (2008) The road to everywhere: Evolution, complexity and progress in natural and artificial systems. Ph.D. thesis, University of Birmingham.

Schaeffer, Oksana (2008) On the use of process algebra techniques in computational modelling of cancer initiation and development. Ph.D. thesis, University of Birmingham.

Swinbank, Richard (2008) Virtual forced splitting in multidimensional access methods. Ph.D. thesis, University of Birmingham.

2007

Ch'ng, Eugene (2007) Developing artificial life simulations of vegetation to support the virtual reconstruction of ancient landscapes. Ph.D. thesis, University of Birmingham.

Cuevas Tello, Juan Carlos (2007) Estimating time delays between irregularly sampled time series. Ph.D. thesis, University of Birmingham.

Hammond, Simon P. (2007) Adaptive scaling of evolvable systems. Ph.D. thesis, University of Birmingham.

2005

Ueda, Naoki (2005) Metro traffic optimisation accounting for the disbenefit of halting between stations. Ph.D. thesis, University of Birmingham.

2004

Bristow, Huw William (2004) Context awareness for wearable computers. Ph.D. thesis, University of Birmingham.

Foo, Kae Yeet (2004) Incoherent processing of synthetic aperture sonar. Ph.D. thesis, University of Birmingham.

2003

Melnikoff, Stephen Jonathan (2003) Speech recognition in programmable logic. Ph.D. thesis, University of Birmingham.

Parker, David Anthony (2003) Implementation of symbolic model checking for probabilistic systems. Ph.D. thesis, University of Birmingham.

Ulicsak, Mary Helen (2003) Working together in the classroom : an investigation into software to raise awareness of group-learning skills in children aged 9 and 10. Ph.D. thesis, University of Birmingham.

2000

Meech, John Foster (2000) Contextualising user interfaces for complex systems. Ph.D. thesis, University of Birmingham.

1999

Lomuscio, Alessio (1999) Knowledge sharing among ideal agents. Ph.D. thesis, University of Birmingham.