All Outputs (445)

Autonomous crowds tracking with box particle filtering and convolution particle filtering (2016)
Journal Article
De Freitas, A., Mihaylova, L., Gning, A., Angelova, D., & Kadirkamanathan, V. (2016). Autonomous crowds tracking with box particle filtering and convolution particle filtering. Automatica : the journal of IFAC, the International Federation of Automatic Control, 69, 380-394. https://doi.org/10.1016/j.automatica.2016.03.009

Autonomous systems such as Unmanned Aerial Vehicles (UAVs) need to be able to recognise and track crowds of people, e.g. for rescuing and surveillance purposes. Large groups generate multiple measurements with uncertain origin. Additionally, often th... Read More about Autonomous crowds tracking with box particle filtering and convolution particle filtering.

Randomised controlled trial of video clips and interactive games to improve vision in children with amblyopia using the I-BiT system (2016)
Journal Article
Herbison, N., Mackeith, D., Vivian, A., Purdy, J., Fakis, A., Ash, I. M., …Foss, A. J. (2016). Randomised controlled trial of video clips and interactive games to improve vision in children with amblyopia using the I-BiT system. British journal of ophthalmology, 100(11), 1511-1516. https://doi.org/10.1136/bjophthalmol-2015-307798

Background Traditional treatment of amblyopia involves either wearing a patch or atropine penalisation of the better eye. A new treatment is being developed on the basis of virtual reality technology allowing either DVD footage or computer games whic... Read More about Randomised controlled trial of video clips and interactive games to improve vision in children with amblyopia using the I-BiT system.

Using robots to understand animal cognition (2016)
Journal Article
Frohnwieser, A., Murray, J. C., Pike, T. W., & Wilkinson, A. (2016). Using robots to understand animal cognition. Journal of the Experimental Analysis of Behavior, 105(1), 14-22. https://doi.org/10.1002/jeab.193

In recent years, robotic animals and humans have been used to answer a variety of questions related to behavior. In the case of animal behavior, these efforts have largely been in the field of behavioral ecology. They have proved to be a useful tool... Read More about Using robots to understand animal cognition.

Extreme learning machine based approach for diagnosis and analysis of breast cancer (2016)
Journal Article
Iqbal, J., Tsagarakis, N., & Caldwell, D. (2016). Extreme learning machine based approach for diagnosis and analysis of breast cancer. Journal of the Chinese Institute of Engineers, 39(1), 74-78. https://doi.org/10.1080/02533839.2015.1082934

Due to the heterogeneous and complex nature of clinical data, the need to use sophisticated diagnosis techniques has increased significantly in recent years. The proposed approach for diagnosis of breast cancer exploits the potential of an extreme le... Read More about Extreme learning machine based approach for diagnosis and analysis of breast cancer.

Optimal v/s robust control: A study and comparison for articulated manipulator (2016)
Journal Article
Ajwad, S. A., Mehmood, A., Ullah, M. I., & Iqbal, J. (2016). Optimal v/s robust control: A study and comparison for articulated manipulator. Journal of the Balkan Tribological Association, 22(3), 2469-2475

Highly nonlinear and coupled dynamics of a robotic manipulator demands sophisticated control strategies. These strategies must have the ability to handle the uncertainties and external disturbances that can significantly deviate the system from its d... Read More about Optimal v/s robust control: A study and comparison for articulated manipulator.

Non-linear control law for articulated serial manipulators: Simulation augmented with hardware implementation (2016)
Journal Article
Ullah, M. I., Ajwad, S. A., Irfan, M., & Iqbal, J. (2016). Non-linear control law for articulated serial manipulators: Simulation augmented with hardware implementation. Elektronika Ir Elektrotechnika, 22(1), 3-7. https://doi.org/10.5755/j01.eee.22.1.14094

The performance of a robotic arm includes accuracy, repeatability and reliability to accomplish a task. These parameters, in turn, are function of associated control law. Multi-Degree Of Freedom (DOF) robotic arms, because of their inherent highly no... Read More about Non-linear control law for articulated serial manipulators: Simulation augmented with hardware implementation.

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.

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.

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.

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.