Outputs (36)

Requirements capture analysis for MOOCS in higher education (2015)
Book Chapter
Gordon, N. A., & Brayshaw, M. (2015). Requirements capture analysis for MOOCS in higher education. In A. Mesquita, & P. Peres (Eds.), Furthering Higher Education Possibilities through Massive Open Online Courses (107-125). IGI Global. https://doi.org/10.4018/978-1-4666-8279-5.ch005

One of the attention grabbing headlines in the last two years has been of hundreds of thousands of students enrolling on MOOCs (Massive Open Online Courses) that are being offered by some of the world's top Universities. Large numbers of students are... Read More about Requirements capture analysis for MOOCS in higher education.

Automatic classification of flying bird species using computer vision techniques (2015)
Journal Article
Atanbori, J., Duan, W., Murray, J., Appiah, K., & Dickinson, P. (2016). Automatic classification of flying bird species using computer vision techniques. Pattern recognition letters, 81, 53-62. https://doi.org/10.1016/j.patrec.2015.08.015

Bird populations are identified as important biodiversity indicators, so collecting reliable population data is important to ecologists and scientists. However, existing manual monitoring methods are labour-intensive, time-consuming, and potentially... Read More about Automatic classification of flying bird species using computer vision techniques.

An evaluation framework for mobile health education software (2015)
Presentation / Conference Contribution
Aljaber, T., Gordon, N., Kambhampati, C., & Brayshaw, M. (2015, July). An evaluation framework for mobile health education software. Presented at 2015 Science and Information Conference (SAI), London

© 2015 IEEE. Mobile applications in general, and mobile applications for health education in particular, are commonly used to support patients, health professionals and other stakeholders. A critical evaluation framework is needed to ensure the usabi... Read More about An evaluation framework for mobile health education software.

Automatic allocation of safety requirements to components of a software product line (2015)
Journal Article
De Oliveira, A. L., Papadopoulos, Y., Azevedo, L. S., Parker, D., Braga, R. T., Masiero, P. C., Habli, I., & Kelly, T. (2015). Automatic allocation of safety requirements to components of a software product line. IFAC Proceedings Volumes/ International Federation of Automatic Control, 48(21), 1309-1314. https://doi.org/10.1016/j.ifacol.2015.09.706

Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under des... Read More about Automatic allocation of safety requirements to components of a software product line.

Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets (2015)
Journal Article
Kabir, S., Papadopoulos, Y., & Walker, M. (2015). Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets. IFAC Proceedings Volumes/ International Federation of Automatic Control, 48(21), 458-463. https://doi.org/10.1016/j.ifacol.2015.09.569

© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unab... Read More about Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets.

Automating allocation of development assurance levels: An extension to HiP-HOPS (2015)
Journal Article
Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., & Walker, M. (2015). Automating allocation of development assurance levels: An extension to HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 48(7), 9-14. https://doi.org/10.1016/j.ifacol.2015.06.466

Controlling the allocation of safety requirements across a system's architecture from the early stages of development is an aspiration embodied in numerous major safety standards. Manual approaches of applying this process in practice are ineffective... Read More about Automating allocation of development assurance levels: An extension to HiP-HOPS.

Multilevel refinable triangular PSP-splines (Tri-PSPS) (2015)
Journal Article
Li, Q., & Tian, J. (2015). Multilevel refinable triangular PSP-splines (Tri-PSPS). Computers & mathematics with applications, 70(8), 1781-1798. https://doi.org/10.1016/j.camwa.2015.07.017

A multi-level spline technique known as partial shape preserving splines (PSPS) (Li and Tian, 2011) has recently been developed for the design of piecewise polynomial freeform geometric surfaces, where the basis functions of the PSPS can be directly... Read More about Multilevel refinable triangular PSP-splines (Tri-PSPS).

Facilitating learning resource retrieval for students with disabilities through an ontology-driven and disability-aware Virtual Learning Environment (2015)
Journal Article
Nganji, J. T., & Brayshaw, M. (2015). Facilitating learning resource retrieval for students with disabilities through an ontology-driven and disability-aware Virtual Learning Environment. International Journal of Information Retrieval Research, 5(3), 75-98. https://doi.org/10.4018/IJIRR.2015070105

Existing virtual learning environments VLEs in educational institutions are not designed with the expectation that students with disabilities will use them. Consequently, retrieving relevant information by some students with disabilities is a challen... Read More about Facilitating learning resource retrieval for students with disabilities through an ontology-driven and disability-aware Virtual Learning Environment.

Security aspects in cognitive radio networks detection and mitigation of primary user emulation attacks (2015)
Presentation / Conference Contribution
Ammar, M., Riley, N., Mehdawi, M., Fanan, A., & Zolfaghari, M. (2015, April). Security aspects in cognitive radio networks detection and mitigation of primary user emulation attacks. Presented at COCORA 2015 : The Fifth International Conference on Advances in Cognitive Radio

Cognitive Radio Networks (CR) is an advanced growing technique and a promising technology for the upcoming generation of the wireless networks. Deployment of such networks is hindered by the vulnerabilities that these networks are exposed to, in this... Read More about Security aspects in cognitive radio networks detection and mitigation of primary user emulation attacks.

Data mining for heart failure : an investigation into the challenges in real life clinical datasets (2015)
Thesis
Kirke, L. Data mining for heart failure : an investigation into the challenges in real life clinical datasets. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4218159

Clinical data presents a number of challenges including missing data, class imbalance, high dimensionality and non-normal distribution. A motivation for this research is to investigate and analyse the manner in which the challenges affect the perform... Read More about Data mining for heart failure : an investigation into the challenges in real life clinical datasets.