Skip to main content

Research Repository

Advanced Search

All Outputs (31)

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.

Stroke rehabilitation using exoskeleton-based robotic exercisers: Mini review (2015)
Journal Article
Iqbal, J., & Baizid, K. (2015). Stroke rehabilitation using exoskeleton-based robotic exercisers: Mini review. Biomedical Research, 26(1), 197-201

Stroke is a debilitating disease that has afflicted millions of people throughout the world. Assisting physiotherapists in post-stroke activities to conduct rehabilitation therapies, scientific community has presented a new type of man-machine intell... Read More about Stroke rehabilitation using exoskeleton-based robotic exercisers: Mini review.

Towards sophisticated control of robotic manipulators: An experimental study on a pseudo-industrial arm (2015)
Journal Article
Iqbal, J., Imran Ullah, M., Khan, A. A., & Irfan, M. (2015). Towards sophisticated control of robotic manipulators: An experimental study on a pseudo-industrial arm. Strojniški vestnik - Journal of Mechanical Engineering, 61(7-8), 465-470. https://doi.org/10.5545/sv-jme.2015.2511

Robotic manipulators have reshaped industrial processes. The scientific community has witnessed an ever increasing trend in robots deployed to accomplish various tasks in industry. The complex nature and constrained requirements of robots may demand... Read More about Towards sophisticated control of robotic manipulators: An experimental study on a pseudo-industrial arm.

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)
Journal Article
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)
Conference Proceeding
Atanbori, J., Duan, W., Murray, J., Appiah, K., & Dickinson, P. (2015). A computer vision approach to classification of birds in flight from video sequences. In Proceedings of the Machine Vision of Animals and their Behaviour (MVAB) (3.1-3.9). https://doi.org/10.5244/c.29.mvab.3

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.

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.

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 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., …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)
Conference Proceeding
Ammar, M., Riley, N., Mehdawi, M., Fanan, A., & Zolfaghari, M. (2015). Security aspects in cognitive radio networks detection and mitigation of primary user emulation attacks. In Advances in cognitive radio. International conference. 5TH 2015. (COCORA 2015) (1-7)

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.

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.

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.