Skip to main content

Research Repository

Advanced Search

All Outputs (23)

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.

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.

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.

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.

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.

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.

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.

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.

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.

A systematic review of current and emergent manipulator control approaches (2015)
Journal Article
Ajwad, S. A., Iqbal, J., Ullah, M. I., & Mehmood, A. (2015). A systematic review of current and emergent manipulator control approaches. Frontiers of Mechanical Engineering, 10(2), 198-210. https://doi.org/10.1007/s11465-015-0335-0

Pressing demands of productivity and accuracy in today’s robotic applications have highlighted an urge to replace classical control strategies with their modern control counterparts. This recent trend is further justified by the fact that the robotic... Read More about A systematic review of current and emergent manipulator control approaches.

Longitudinal and lateral slip control of autonomous wheeled mobile robot for trajectory tracking (2015)
Journal Article
Khan, H., Iqbal, J., Baizid, K., & Zielinska, T. (2015). Longitudinal and lateral slip control of autonomous wheeled mobile robot for trajectory tracking. Frontiers of Information Technology & Electronic Engineering, 16(2), 166-172. https://doi.org/10.1631/FITEE.1400183

This research formulates a path-following control problem subjected to wheel slippage and skid and solves it using a logic-based control scheme for a wheeled mobile robot (WMR). The novelty of the proposed scheme lies in its methodology that consider... Read More about Longitudinal and lateral slip control of autonomous wheeled mobile robot for trajectory tracking.

3D perception from binocular vision for a low cost humanoid robot NAO (2015)
Journal Article
Nefti-Meziani, S., Manzoor, U., Davis, S., & Pupala, S. K. (2015). 3D perception from binocular vision for a low cost humanoid robot NAO. Robotics and Autonomous Systems, 68, 129-139. https://doi.org/10.1016/j.robot.2014.12.016

Depth estimation is a classical problem in computer vision and after decades of research many methods have been developed for 3D perception like magnetic tracking, mechanical tracking, acoustic tracking, inertial tracking, optical tracking using mark... Read More about 3D perception from binocular vision for a low cost humanoid robot NAO.