Skip to main content

Research Repository

Advanced Search

All Outputs (83)

Towards a Severity Assessment Method for Potential Cyber Attacks to Connected and Autonomous Vehicles (2020)
Journal Article
He, Q., Meng, X., & Qu, R. (2020). Towards a Severity Assessment Method for Potential Cyber Attacks to Connected and Autonomous Vehicles. Journal of Advanced Transportation, 2020, 1-15. https://doi.org/10.1155/2020/6873273

CAV (connected and autonomous vehicle) is a crucial part of intelligent transportation systems. CAVs utilize both sensors and communication components to make driving decisions. A large number of companies, research organizations, and governments hav... Read More about Towards a Severity Assessment Method for Potential Cyber Attacks to Connected and Autonomous Vehicles.

Who is Responsible for Data Processing in Smart Homes? Reconsidering Joint Controllership and the Household Exemption (2020)
Journal Article
Chen, J., Edwards, L., Urquhart, L., & Mcauley, D. (2020). Who is Responsible for Data Processing in Smart Homes? Reconsidering Joint Controllership and the Household Exemption. International Data Privacy Law, 10(4), 279–293. https://doi.org/10.1093/idpl/ipaa011

The growing industrial and research interest in protecting privacy and fighting cyberattacks for smart homes has sparked various innovations in security- and privacy-enhancing technologies (S/PETs) powered by edge computing. The complex technical set... Read More about Who is Responsible for Data Processing in Smart Homes? Reconsidering Joint Controllership and the Household Exemption.

Interval type-2 fuzzy sets improved by Simulated Annealing for locating the electric charging stations (2020)
Journal Article
Türk, S., Deveci, M., Özcan, E., Canıtez, F., & John, R. (2021). Interval type-2 fuzzy sets improved by Simulated Annealing for locating the electric charging stations. Information Sciences, 547, 641-666. https://doi.org/10.1016/j.ins.2020.08.076

Electric vehicles are the key to facilitating the transition to low-carbon ‘green’ transport. However, there are concerns with their range and the location of the charging stations which delay a full-fledged adoption of their use. Hence, the electric... Read More about Interval type-2 fuzzy sets improved by Simulated Annealing for locating the electric charging stations.

Runtime verification and validation of functional reactive systems (2020)
Journal Article
Perez, I., & Nilsson, H. (2020). Runtime verification and validation of functional reactive systems. Journal of Functional Programming, 30, Article e28. https://doi.org/10.1017/s0956796820000210

Many types of interactive applications, including reactive systems implemented in hardware, interactive physics simulations and games, raise particular challenges when it comes to testing and debugging. Reasons include de facto lack of reproducibilit... Read More about Runtime verification and validation of functional reactive systems.

Calculating correct compilers II: Return of the register machines (2020)
Journal Article
Bahr, P., & Hutton, G. (2020). Calculating correct compilers II: Return of the register machines. Journal of Functional Programming, 30, Article e25. https://doi.org/10.1017/s0956796820000209

In ‘Calculating Correct Compilers’ (Bahr & Hutton, 2015), we developed a new approach to calculating compilers directly from specifications of their correctness. Our approach only required elementary reasoning techniques and has been used to calculat... Read More about Calculating correct compilers II: Return of the register machines.

Optimal Weight Power System Design and Synthesis for More Electric Aircraft (2020)
Presentation / Conference Contribution
Recalde, A. A., Bozhko, S., & Atkin, J. (2020). Optimal Weight Power System Design and Synthesis for More Electric Aircraft. In AIAA Propulsion and Energy 2020 Forum. https://doi.org/10.2514/6.2020-3545

© 2020, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved. The synthesis of a power distribution architecture for More Electric Aircraft requires weight optimization in order to reduce energy consumption. The weight of... Read More about Optimal Weight Power System Design and Synthesis for More Electric Aircraft.

Linear Power Flow Characterization of DC Power Distribution Systems for MEA Optimization (2020)
Presentation / Conference Contribution
RECALDE, A., BOZHKO, S., & ATKIN, J. (2020). Linear Power Flow Characterization of DC Power Distribution Systems for MEA Optimization. In 2020 IEEE Transportation Electrification Conference & Expo (ITEC). https://doi.org/10.1109/ITEC48692.2020.9161584

The increased utilization of electrical energy in future aviation requires an efficient method to perform load flow for optimizing on-board operating conditions. Load flow models of electrical networks are complex to solve and requires iterative meth... Read More about Linear Power Flow Characterization of DC Power Distribution Systems for MEA Optimization.

Machine Learning-Based Detection for Cyber Security Attacks on Connected and Autonomous Vehicles (2020)
Journal Article
He, Q., Meng, X., Qu, R., & Xi, R. (2020). Machine Learning-Based Detection for Cyber Security Attacks on Connected and Autonomous Vehicles. Mathematics, 8(8), Article 1311. https://doi.org/10.3390/math8081311

Connected and Autonomous Vehicle (CAV)-related initiatives have become some of the fastest expanding in recent years, and have started to affect the daily lives of people. More and more companies and research organizations have announced their initia... Read More about Machine Learning-Based Detection for Cyber Security Attacks on Connected and Autonomous Vehicles.

Assessing hyper-heuristic performance (2020)
Journal Article
Pillay, N., & Qu, R. (2021). Assessing hyper-heuristic performance. Journal of the Operational Research Society, 72(11), 2503-2516. https://doi.org/10.1080/01605682.2020.1796538

Limited attention has been paid to assessing the generality performance of hyper-heuristics. The performance of hyper-heuristics has been predominately assessed in terms of optimality which is not ideal as the aim of hyper-heuristics is not to be com... Read More about Assessing hyper-heuristic performance.

On Algorithmic Descriptions and Software Implementations for Multi-objective Optimisation: A Comparative Study (2020)
Journal Article
Rostami, S., Neri, F., & Gyaurski, K. (2020). On Algorithmic Descriptions and Software Implementations for Multi-objective Optimisation: A Comparative Study. SN Computer Science, 1, Article 247. https://doi.org/10.1007/s42979-020-00265-1

Multi-objective optimisation is a prominent subfield of optimisa-tion with high relevance in real-world problems, such as engineering design. Over the past two decades a multitude of heuristic algorithms for multi-objective optimisation have been int... Read More about On Algorithmic Descriptions and Software Implementations for Multi-objective Optimisation: A Comparative Study.

FuzzyR: An Extended Fuzzy Logic Toolbox for the R Programming Language (2020)
Presentation / Conference Contribution
Chen, C., Razak, T. R., & Garibaldi, J. M. (2020). FuzzyR: An Extended Fuzzy Logic Toolbox for the R Programming Language. In 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (1-8). https://doi.org/10.1109/fuzz48607.2020.9177780

This paper presents an R package FuzzyR which is an extended fuzzy logic toolbox for the R programming language. FuzzyR is a continuation of the previous Fuzzy R toolboxes such as FuzzyToolkitUoN. Whilst keeping existing functionalities of the previo... Read More about FuzzyR: An Extended Fuzzy Logic Toolbox for the R Programming Language.

Comparing Intervals Using Type Reduction (2020)
Presentation / Conference Contribution
Runkler, T. A., Chen, C., Coupland, S., & John, R. (2020). Comparing Intervals Using Type Reduction. In 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (1-6). https://doi.org/10.1109/fuzz48607.2020.9177675

Many decision making processes are based on choosing options with maximum utility. Often utility assessments are associated with uncertainty, which may be mathematically modeled by intervals of utilities. Intervals of utilities may be mapped to singl... Read More about Comparing Intervals Using Type Reduction.

Covariance Local Search for Memetic Frameworks: A Fitness Landscape Analysis Approach (2020)
Presentation / Conference Contribution
Neri, F., & Zhou, Y. (2020). Covariance Local Search for Memetic Frameworks: A Fitness Landscape Analysis Approach. In 2020 IEEE Congress on Evolutionary Computation (CEC) (1-8). https://doi.org/10.1109/CEC48606.2020.9185548

© 2020 IEEE. The design of each agent composing a Memetic Algorithm (MA) is a delicate task which often requires prior knowledge of the problem to be effective. This paper proposes a method to analyse one feature of the fitness landscape, that is the... Read More about Covariance Local Search for Memetic Frameworks: A Fitness Landscape Analysis Approach.

Insights from interval-valued ratings of consumer products - a DECSYS appraisal (2020)
Presentation / Conference Contribution
Ellerby, Z., Miles, O., McCulloch, J., & Wagner, C. (2020). Insights from interval-valued ratings of consumer products - a DECSYS appraisal. In 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (1-8). https://doi.org/10.1109/FUZZ48607.2020.9177634

The capture and analysis of interval-valued data has seen increased interest over recent years. This offers a direct means to capture and reason about uncertainty in data, whether obtained from sensors or from people. Open-source software (DECSYS [1]... Read More about Insights from interval-valued ratings of consumer products - a DECSYS appraisal.

An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem (2020)
Presentation / Conference Contribution
Dong, J., Rong, H., Neri, F., Yang, Q., Zhu, M., & Zhang, G. (2020). An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem. In Proceedings of the 2020 IEEE Congress on Evolutionary Computation (1-8). https://doi.org/10.1109/CEC48606.2020.9185841

© 2020 IEEE. Memetic Algorithms are traditionally composed of an evolutionary framework and one or more local search elements. However, modern generation Memetic Algorithms do not necessarily follow a pre-established scheme and are hybrid structures... Read More about An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem.

Using Internet of Things to Reduce Office Workers’ Sedentary Behavior: Intervention Development Applying the Behavior Change Wheel and Human-Centered Design Approach (2020)
Journal Article
Huang, Y., Benford, S., Price, D., Patel, R., Li, B., Ivanov, A., & Blake, H. (2020). Using Internet of Things to Reduce Office Workers’ Sedentary Behavior: Intervention Development Applying the Behavior Change Wheel and Human-Centered Design Approach. JMIR mHealth and uHealth, 8(7), Article e17914. https://doi.org/10.2196/17914

Background: Sedentary behavior (SB) is associated with various adverse health outcomes. The prevalence of prolonged sitting at work among office workers makes a case for SB interventions to target this setting and population. Everyday mundane objects... Read More about Using Internet of Things to Reduce Office Workers’ Sedentary Behavior: Intervention Development Applying the Behavior Change Wheel and Human-Centered Design Approach.

TransVis: Integrated Distant and Close Reading of Othello Translations (2020)
Journal Article
Alharbi, M. S., Laramee, R. S., & Cheesman, T. (2022). TransVis: Integrated Distant and Close Reading of Othello Translations. IEEE Transactions on Visualization and Computer Graphics, 28(2), 1397-1414. https://doi.org/10.1109/tvcg.2020.3012778

Studying variation among time-evolved translations is a valuable research area for cultural heritage. Understanding how and why translations vary reveals cultural, ideological, and even political influences on literature as well as author relations.... Read More about TransVis: Integrated Distant and Close Reading of Othello Translations.

Quality Assessment of Dental Photostimulable Phosphor Plates with Deep Learning (2020)
Presentation / Conference Contribution
Bermudez, A., Calderon-Ramirez, S., Thang, T., Tyrrell, P., Moemeni, A., Yang, S., & Torrents-Barrena, J. (2020). Quality Assessment of Dental Photostimulable Phosphor Plates with Deep Learning. . https://doi.org/10.1109/IJCNN48605.2020.9206779

Photostimulable Phosphor Plates are commonly used in digital X-ray imaging for dentistry. During its usage, these plates get damaged, influencing the diagnosis performance and confidence of the dentistry professional. We propose a deep learning based... Read More about Quality Assessment of Dental Photostimulable Phosphor Plates with Deep Learning.