Skip to main content

Research Repository

Advanced Search

All Outputs (708)

Construction of near-optimal vertex clique covering for real-world networks (2015)
Journal Article
Chalupa, D. (2015). Construction of near-optimal vertex clique covering for real-world networks. Computing and Informatics, 34(6), 1397-1417

We propose a method based on combining a constructive and a bounding heuristic to solve the vertex clique covering problem (CCP), where the aim is to partition the vertices of a graph into the smallest number of classes, which induce cliques. Searchi... Read More about Construction of near-optimal vertex clique covering for real-world networks.

Mining frequent biological sequences based on bitmap without candidate sequence generation (2015)
Journal Article
Wang, Q., Davis, D. N., & Ren, J. (2016). Mining frequent biological sequences based on bitmap without candidate sequence generation. Computers in biology and medicine, 69, 152-157. https://doi.org/10.1016/j.compbiomed.2015.12.016

Biological sequences carry a lot of important genetic information of organisms. Furthermore, there is an inheritance law related to protein function and structure which is useful for applications such as disease prediction. Frequent sequence mining i... Read More about Mining frequent biological sequences based on bitmap without candidate sequence generation.

Information density and overlap in spoken dialogue (2015)
Journal Article
Dethlefs, N., Hastie, H., Cuayáhuitl, H., Yu, Y., Rieser, V., & Lemon, O. (2016). Information density and overlap in spoken dialogue. Computer speech & language, 37, 82-97. https://doi.org/10.1016/j.csl.2015.11.001

Incremental dialogue systems are often perceived as more responsive and natural because they are able to address phenomena of turn-taking and overlapping speech, such as backchannels or barge-ins. Previous work in this area has often identified disti... Read More about Information density and overlap in spoken dialogue.

Guided mesh normal filtering (2015)
Presentation / Conference Contribution
Zhang, W., Deng, B., Zhang, J., Bouaziz, S., & Liu, L. (2015). Guided mesh normal filtering. Computer graphics forum : journal of the European Association for Computer Graphics, 34(7), 23-34. https://doi.org/10.1111/cgf.12742

The joint bilateral filter is a variant of the standard bilateral filter, where the range kernel is evaluated using a guidance signal instead of the original signal. It has been successfully applied to various image processing problems, where it prov... Read More about Guided mesh normal filtering.

Evolving models in model-driven engineering : state-of-the-art and future challenges (2015)
Journal Article
Matragkas, N., Paige, R. F., & Rose, L. M. (2016). Evolving models in model-driven engineering : state-of-the-art and future challenges. Journal of Systems and Software, 111, 272-280. https://doi.org/10.1016/j.jss.2015.08.047

The artefacts used in Model-Driven Engineering (MDE) evolve as a matter of course: models are modified and updated as part of the engineering process; metamodels change as a result of domain analysis and standardisation efforts; and the operations ap... Read More about Evolving models in model-driven engineering : state-of-the-art and future challenges.

Towards optimisation of load-time conditions for producing viscoelastically prestressed polymeric matrix composites (2015)
Journal Article
Fancey, K. S., & Wang, B. (2016). Towards optimisation of load-time conditions for producing viscoelastically prestressed polymeric matrix composites. Composites. Part B, Engineering, 87, 336-342. https://doi.org/10.1016/j.compositesb.2015.09.003

A viscoelastically prestressed polymeric matrix composite (VPPMC) is produced by applying a tensile creep load to polymeric fibres, the load being released before the fibres are moulded into a polymeric matrix. The viscoelastically recovering fibres... Read More about Towards optimisation of load-time conditions for producing viscoelastically prestressed polymeric matrix composites.

A computer vision approach to classification of birds in flight from video sequences (2015)
Presentation / Conference Contribution
Atanbori, J., Duan, W., Murray, J., Appiah, K., & Dickinson, P. (2015, September). A computer vision approach to classification of birds in flight from video sequences. Presented at Machine Vision of Animals and their Behaviour Workshop 2015, Swansea, UK

Bird populations are an important bio-indicator, ; so collecting reliable data is useful for ecologists helping conserve and manage fragile ecosystems. However, existing manual monitoring methods are labour-intensive, time-consuming, and error-prone.... Read More about A computer vision approach to classification of birds in flight from video sequences.

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.

Four-fingered lightweight exoskeleton robotic device accommodating different hand sizes (2015)
Journal Article
Iqbal, J., Tsagarakis, N. G., & Caldwell, D. G. (2015). Four-fingered lightweight exoskeleton robotic device accommodating different hand sizes. Electronics letters, 51(12), 888-890. https://doi.org/10.1049/el.2015.0850

A wearable hand exoskeleton (EXO) device that permits exertion of bidirectional forces on finger phalanges throughout the human finger workspace is proposed. The novelty of the proposed device lies in its direct-driven, portable and optimised mechani... Read More about Four-fingered lightweight exoskeleton robotic device accommodating different hand sizes.

A synthesis of logic and biology in the design of dependable systems (2015)
Journal Article
Papadopoulos, Y. (2015). A synthesis of logic and biology in the design of dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 28(7), 1-8. https://doi.org/10.1016/j.ifacol.2015.06.465

The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in f... Read More about A synthesis of logic and biology in the design of dependable systems.

Motivating and engagaging students through technology (2015)
Book Chapter
Gordon, N., Grey, S., & Brayshaw, M. (2015). Motivating and engagaging students through technology. In J. Hawkins (Ed.), Student Engagement: Leadership Practices, Perspectives and Impact of Technology (25-43). Nova Science Publishers

© 2015 Nova Science Publishers, Inc. This chapter will consider what we mean by student engagement, and how students may be motivated through appropriate pedagogy - that is through teaching approaches and related assessment. We will focus in particul... Read More about Motivating and engagaging students through technology.