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

.

., Aishwaryaprajna ORCID: 0000-0003-4386-9745 (2022). Noisy combinatorial optimisation with evolutionary algorithms. University of Birmingham. Ph.D.

A

Abdulrhman Alanazi, Reem (2023). Optimal 0−1 loss classification in linear, overlapping and interpolation settings. University of Birmingham. Ph.D.

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

Aktaş, Ümit Ruşen (2018). Learning deep representations for robotics applications. University of Birmingham. Ph.D.

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

Alam, Intekhab Asim (2018). Real time tracking using nature-inspired algorithms. University of Birmingham. Ph.D.

Aldoseri, Abdulla ORCID: 0000-0002-4959-6832 (2023). Breaking boundaries: analysis of the interfaces between applications, systems and enclaves. University of Birmingham. Ph.D.

Allen, Piers C H (2023). Towards the design of hierarchical biomaterials to replace cartilage: development and validation of a localised cartilage model. University of Birmingham. Ph.D.

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

Alofi, Akram MohammedAli ORCID: 0000-0001-9165-8411 (2023). Optimising the sustainability of blockchain-based systems: balancing environmental sustainability, decentralisation and trustworthiness. University of Birmingham. Ph.D.

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

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

Amini, Arash (2016). Online condition monitoring of railway wheelsets. University of Birmingham. Ph.D.

Ani, Mohammad Kh M H M (2022). Transferrable learning from synthetic data: novel texture synthesis using Domain Randomization for visual scene understanding. University of Birmingham. Ph.D.

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

Arruda, Ermano ORCID: 0000-0001-5177-6552 (2021). Generative and predictive models for robust manipulation. University of Birmingham. Ph.D.

B

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

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

Ball, James A.D. ORCID: 0000-0001-5830-8268 (2024). Development and application of 3D X-ray diffraction for the study of phase transformations in metallic materials. University of Birmingham. Ph.D.

Baronti, Luca ORCID: 0000-0002-2883-706X (2020). Analysis and development of the Bees Algorithm for primitive fitting in point cloud models. University of Birmingham. Ph.D.

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

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

Ben-Dyke, Andrew David (1999). Prototyping parallel functional intermediate languages. University of Birmingham. Ph.D.

Benkwitz-Bedford, Sam Robin Edward (2022). A agent based modelling framework for dynamic biological systems and applications to cancer cells, G protein coupled receptors and G proteins. University of Birmingham. Ph.D.

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

Booij, Auke Bart ORCID: 0000-0003-3324-3167 (2020). Analysis in univalent type theory. University of Birmingham. Ph.D.

Brazier, Jack A. D. (2021). Rapid identification of fluorescently labelled DNA by image analysis. University of Birmingham. M.Sc.

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

Byrne, William Frederick (2016). Situated creativity-inspired problem-solving. University of Birmingham. Ph.D.

C

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

Chen, Zitai ORCID: 0000-0001-5640-0538 (2023). Security of esoteric firmware and trusted execution environments. University of Birmingham. Ph.D.

Cheputeh, Ni-Asri (2023). On modelling of the structural integrity of rails and crossings. University of Birmingham. Ph.D.

Cheung, Wai Tak (2021). Transparent synchronous dataflow: a functional paradigm for systems modelling and optimisation. University of Birmingham. Ph.D.

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

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

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

D

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

Denzel, Michael (2018). Malware tolerance: Distributing trust over multiple devices. University of Birmingham. Ph.D.

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

E

Elhabbash, Abdessalam (2017). Engineering self-awareness with knowledge management in dynamic systems: a case for volunteer computing. University of Birmingham. Ph.D.

Ellis, Robert Joseph (2017). Realising the potential of rich energy datasets. University of Birmingham. Ph.D.

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

Evangelidis, Alexandros ORCID: 0000-0003-4032-3042 (2020). Verified control and estimation for cloud computing. University of Birmingham. Ph.D.

F

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

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

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

Faruq, Fatma ORCID: 0000-0001-6928-0176 (2022). Verified multi-robot planning under uncertainty. University of Birmingham. Ph.D.

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

Foster, Timothy Roger ORCID: 0000-0001-8559-0983 (2023). Developing and validating a computational model of the gut microbiota–mucosa interactions to replace and reduce animal experiments. University of Birmingham. Ph.D.

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

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

G

Geron, Bram ORCID: 0000-0001-9237-3282 (2020). Defined algebraic operations. University of Birmingham. Ph.D.

Glöckner, Stephan (2017). Application of automated feedback for the improvement of data quality in web-based clinical collaborations. University of Birmingham. Ph.D.

Griffitts, Troy Andrew (2018). Software for the collaborative editing of the Greek new testament. University of Birmingham. Ph.D.

H

Hakami, Shatha Ali A. ORCID: 0000-0002-2107-1655 (2024). Exploring emoji sentiment roles in Arabic textual content on digital social networks. University of Birmingham. Ph.D.

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

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

Hamid, Hassan Abdulsalam ORCID: 0000-0001-9328-6594 (2020). Using information engineering to understand the impact of train positioning uncertainties on railway subsystems. University of Birmingham. Ph.D.

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

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

Hassan, Sara (2019). Modelling and evaluation of microservice granularity adaptation decisions. University of Birmingham. Ph.D.

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

J

Jakl, Tomáš (2018). d-Frames as algebraic duals of bitopological spaces. University of Birmingham. Ph.D.

Jayakody, Harith Eranga (2019). Cryogenic energy for indirect freeze desalination – numerical and experimental investigation. University of Birmingham. Ph.D.

Jia, Guanbo (2017). Community detection in complex networks using evolutionary computation. University of Birmingham. Ph.D.

Joshi, Ayush (2017). The germinal centre artificial immune system. University of Birmingham. Ph.D.

K

Kent, Matthew Paul (2015). Estimating functional performance for use in the aesthetic design process. University of Birmingham. Ph.D.

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

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

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

Kumar, Satish (2021). Technical debt-aware and evolutionary adaptation for service composition in SaaS clouds. University of Birmingham. Ph.D.

L

Lawson, Thomas N. ORCID: 0000-0002-5915-7980 (2019). Reproducible computational tools for acquiring, analysing and managing model organism metabolomes. University of Birmingham. Ph.D.

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

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

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

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

M

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

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

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

McMahon Stone, Christopher (2021). Automated analysis of security protocol implementations. University of Birmingham. Ph.D.

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

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

Mohd Shukri, Siti Rohkmah Binti (2017). Children adapt drawing actions to their own motor variability and to the motivational context for action. University of Birmingham. Ph.D.

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

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

Murdock, Kit (2023). Finding and exploiting faults in hardware and software. University of Birmingham. Ph.D.

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

Muroya, Koko (2020). Hypernet semantics of programming languages. University of Birmingham. Ph.D.

Murwantara, I Made (2016). The application of software product line engineering to energy management in the cloud and in virtualised environments. University of Birmingham. Ph.D.

N

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

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

Nguyen, Phan Trung Hai ORCID: 0000-0003-0783-2224 (2021). Runtime analyses of univariate estimation of distribution algorithms under linearity, epistasis and deception. University of Birmingham. Ph.D.

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

Nigar, Natasha (2021). Multi-objective dynamic software project scheduling: an evolutionary approach for uncertain environments. University of Birmingham. Ph.D.

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

O

O'Brien, Eoin Nicholas ORCID: 0009-0003-8632-0063 (2023). The viscoelastic effects on the evolution of a three-dimensional microbubble. University of Birmingham. Ph.D.

Ojameruaye, Bendra Eloho (2016). A value and debt aware framework for evaluating compliance in software systems. University of Birmingham. Ph.D.

Oxford, Michael ORCID: 0000-0001-7033-8902 (2021). Quantitative verification of gossip protocols for certificate transparency. University of Birmingham. Ph.D.

P

Pardi, Tommaso ORCID: 0000-0002-9103-5246 (2022). Planning and control of robotic manipulation actions for extreme environments. University of Birmingham. Ph.D.

Pinder, Charlie (2018). Targeting the automatic: Nonconscious behaviour change using technology. University of Birmingham. Ph.D.

Preece, Joseph David ORCID: 0000-0002-1854-3578 (2021). Ticket to ride: an investigation into the use of blockchain technology in the rail industry. University of Birmingham. Ph.D.

Q

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

R

Radu, Andreea-Ina (2020). Securing the in-vehicle network. University of Birmingham. Ph.D.

Rocchi, Leonardo (2019). Adaptive algorithms for partial differential equations with parametric uncertainty. University of Birmingham. Ph.D.

S

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

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

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

Saxon, John Trevor (2018). Using traceability in model-to-model transformation to quantify confidence based on previous history. University of Birmingham. Ph.D.

Shafie, Sharil Idzwan (2018). Active modules of bipartite metabolic network. University of Birmingham. Ph.D.

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

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

Smith, Phillip (2017). Sentiment analysis of patient feedback. University of Birmingham. Ph.D.

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

Sobhy, Dalia (2019). Continuous evaluation framework for software architectures: an IoT case. University of Birmingham. Ph.D.

Song, Liyan (2019). Learning to cope with small noisy data in software effort estimation. University of Birmingham. Ph.D.

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

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

T

Tabassum, Sadia ORCID: 0000-0002-5096-7100 (2023). Online cross-project prediction of defect-inducing software changes. University of Birmingham. Ph.D.

Thomas, Richard James ORCID: 0000-0002-7199-1265 (2019). A systematic development of a secure architecture for the European Rail Traffic Management System. University of Birmingham. Ph.D.

Thomas, Sam Lloyd (2018). Backdoor detection systems for embedded devices. University of Birmingham. Ph.D.

W

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

White, Jamie Aaron (2017). Empowering medical personnel to challenge through simulation-based training. University of Birmingham. Ph.D.

Wicaksono, Adhi (2022). Reinforcement framework: strengthening implementation intentions to support habit formation. University of Birmingham. Ph.D.

X

Xu, Jialiang (2019). Algorithms and stability analysis for optimization problems with sparsity. University of Birmingham. Ph.D.

Y

Yu, Juntao (2018). Semi-supervised methods for out-of-domain dependency parsing. University of Birmingham. Ph.D.

Z

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

Zhang, Nan ORCID: 0000-0002-5728-0440 (2024). Digital twins and intelligence: A symbiotic framework. University of Birmingham. Ph.D.

Zhang, Zhihua (2023). Development of automatic micromanipulation measurement system to analyse the mechanical strength of micro-sized materials. University of Birmingham. Ph.D.

Zhao, Chao (2019). Dexterous grasping of novel objects from a single view. University of Birmingham. M.Sc.