All Outputs (714)

A synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., Azevedo, L., & Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecast... Read More about A synthesis of logic and bio-inspired techniques in the design of dependable systems.

The validity and reliability of an automated method of scoring dental arch relationships in unilateral cleft lip and palate using the modified Huddart-Bodenham scoring system (2016)
Journal Article
Martin, C. B., Ma, X., McIntyre, G. T., Wang, W., Lin, P., Chalmers, E. V., & Mossey, P. A. (2016). The validity and reliability of an automated method of scoring dental arch relationships in unilateral cleft lip and palate using the modified Huddart-Bodenham scoring system. European Journal of Orthodontics, 38(4), 353-358. https://doi.org/10.1093/ejo/cjw031

Objective: To evaluate an automated software tool for the assessment of dental arch relationships using the modified Huddart and Bodenham index. Design: Cohort of 43 models of subjects aged 9-21 with UCLP and the ten GOSLON reference models sets. Met... Read More about The validity and reliability of an automated method of scoring dental arch relationships in unilateral cleft lip and palate using the modified Huddart-Bodenham scoring system.

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.

Application of the D3H2 methodology for the cost-effective design of dependable systems (2016)
Journal Article
Aizpurua, J. I., Muxika, E., Papadopoulos, Y., Chiacchio, F., & Manno, G. (2016). Application of the D3H2 methodology for the cost-effective design of dependable systems. Safety, 2(2), Article 9. https://doi.org/10.3390/safety2020009

The use of dedicated components as a means of achieving desirable levels of fault tolerance in a system may result in high costs. A cost effective way of restoring failed functions is to use heterogeneous redundancies: components that, besides perfor... Read More about Application of the D3H2 methodology for the cost-effective design of dependable systems.

On combinatorial optimisation in analysis of protein-protein interaction and protein folding networks (2016)
Book Chapter
Chalupa, D. (2016). On combinatorial optimisation in analysis of protein-protein interaction and protein folding networks. In G. Squillero, & P. Burelli (Eds.), Applications of Evolutionary Computation; Lecture Notes in Computer Science (91-105). Springer Publishing Company. https://doi.org/10.1007/978-3-319-31204-0_7

Abstract: Protein-protein interaction networks and protein folding networks represent prominent research topics at the intersection of bioinformatics and network science. In this paper, we present a study of these networks from combinatorial optimisa... Read More about On combinatorial optimisation in analysis of protein-protein interaction and protein folding networks.

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., Cobb, S. V., Eastgate, R. M., Haworth, S. M., Gregson, R. 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.

Quality measurements of an UWB reduced-size CPW-fed aperture antenna (2016)
Book Chapter
Zolfaghari, M., Riley, N. G., Mehdawi, M., Fanan, A., Ammar, M., & Meng, F. (2016). Quality measurements of an UWB reduced-size CPW-fed aperture antenna. . Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TELFOR.2015.7377526

The paper presents a characterization of a compact co-planar waveguide (CPW)-fed slot loaded low return loss planar printed antenna designed for wireless communication and ultra-wideband (UWB) applications. Following a review of the antenna design, w... Read More about Quality measurements of an UWB reduced-size CPW-fed aperture antenna.

Spectrum occupancy measurements and lessons learned in the context of cognitive radio (2016)
Presentation / Conference Contribution
Mehdawi, M., Riley, N. G., Ammar, M., Fanan, A., & Zolfaghari, M. (2015, November). Spectrum occupancy measurements and lessons learned in the context of cognitive radio. Presented at 2015 23rd Telecommunications Forum, TELFOR 2015

Various measurement campaigns have shown that numerous spectrum bands are vacant even though licenses have been issued by the regulatory agencies. Dynamic spectrum access (DSA) based on Cognitive Radio (CR) has been regarded as a prospective solution... Read More about Spectrum occupancy measurements and lessons learned in the context of cognitive radio.

Comparison of spectrum occupancy measurements using software defined radio RTL-SDR with a conventional spectrum analyzer approach (2016)
Presentation / Conference Contribution
Fanan, A., Riley, N., Mehdawi, M., Ammar, M., & Zolfaghari, M. (2016, November). Comparison of spectrum occupancy measurements using software defined radio RTL-SDR with a conventional spectrum analyzer approach. Presented at 2015 23rd Telecommunications Forum Telfor (TELFOR)

In the present day Cognitive Radio has become a realistic option for solution of the spectrum scarcity problem in wireless communication. Recently, the TV band has attracted attention due to the considerable potential for exploitation of available TV... Read More about Comparison of spectrum occupancy measurements using software defined radio RTL-SDR with a conventional spectrum analyzer approach.

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.

Evaluation of mobile health education applications for health professionals and patients (2016)
Presentation / Conference Contribution
Gordon, N., & Aljaber, T. Evaluation of mobile health education applications for health professionals and patients. Presented at Proceedings of the International Conference on E-Health, EH 2016 - Part of the Multi Conference on Computer Science and Information Systems 2016

Paper presented at 8th International conference on e-Health (EH 2016), 1-3 July 2016, Funchal, Madeira, Portugal. ABSTRACT Mobile applications for health education are commonly utilized to support patients and health professionals. A critical evaluat... Read More about Evaluation of mobile health education applications for health professionals and patients.

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.

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.