All Outputs (88)

Emerging technologies as the next pandemic?: Possible consequences of the Covid crisis for the future of responsible research and innovation (2020)
Journal Article
Stahl, B. C. (2021). Emerging technologies as the next pandemic?: Possible consequences of the Covid crisis for the future of responsible research and innovation. Ethics and Information Technology, 23(S1), 135-137. https://doi.org/10.1007/s10676-020-09551-1

Digital technology plays a key role during the Covid-19 pandemic. It is used to hunt for vaccination and treatment; it helps us collect and represent the data to understand the progress of the disease and it contributes to tracking and tracing infect... Read More about Emerging technologies as the next pandemic?: Possible consequences of the Covid crisis for the future of responsible research and innovation.

End-to-End Fovea Localisation in Colour Fundus Images with a Hierarchical Deep Regression Network (2020)
Journal Article
Xie, R., Liu, J., Cao, R., Qiu, C. S., Duan, J., Garibaldi, J., & Qiu, G. (2020). End-to-End Fovea Localisation in Colour Fundus Images with a Hierarchical Deep Regression Network. IEEE Transactions on Medical Imaging, 40(1), 116-128. https://doi.org/10.1109/TMI.2020.3023254

Accurately locating the fovea is a prerequisite for developing computer aided diagnosis (CAD) of retinal diseases. In colour fundus images of the retina, the fovea is a fuzzy region lacking prominent visual features and this makes it difficult to dir... Read More about End-to-End Fovea Localisation in Colour Fundus Images with a Hierarchical Deep Regression Network.

Acoustic topology optimisation using CMA-ES (2020)
Presentation / Conference Contribution
Ramamoorthy, V. T., Ozcan, E., Parkes, A., Sreekumar, A., Jaouen, L., & Becot, F. (2020, September). Acoustic topology optimisation using CMA-ES. Presented at ISMA-USD 2020 - International Conference on Noise and Vibration Engineering, Leuven, Belgium

Structural topology optimisation techniques are increasingly being applied to acoustic materials. Most acoustic topology optimisation applications use the solid-isotropic-material-with-penalization (SIMP) approach [1]–[4] which is a derivative-based... Read More about Acoustic topology optimisation using CMA-ES.

Response to Call for Views: Proposals for Regulating Consumer Smart Product Cyber Security (2020)
Other
McAuley, D., Haddadi, H., Urquhart, L., & Chen, J. Response to Call for Views: Proposals for Regulating Consumer Smart Product Cyber Security

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, August). Optimal Weight Power System Design and Synthesis for More Electric Aircraft. Presented at AIAA Propulsion and Energy 2020 Forum, VIRTUAL EVENT

© 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.

Response To the Royal Society Call For Evidence: Technologies for Spreading and Detecting Misinformation (2020)
Other
McAuley, D., Koene, A., & Chen, J. Response To the Royal Society Call For Evidence: Technologies for Spreading and Detecting Misinformation

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.

Linear Power Flow Characterization of DC Power Distribution Systems for MEA Optimization (2020)
Presentation / Conference Contribution
RECALDE, A., BOZHKO, S., & ATKIN, J. (2020, June). Linear Power Flow Characterization of DC Power Distribution Systems for MEA Optimization. Presented at 2020 IEEE Transportation Electrification Conference & Expo (iTEC 2020), Chicago, Illinois, USA (online)

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.

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.

Comparing Intervals Using Type Reduction (2020)
Presentation / Conference Contribution
Runkler, T. A., Chen, C., Coupland, S., & John, R. (2020, July). Comparing Intervals Using Type Reduction. Presented at 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, UK

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, July). Covariance Local Search for Memetic Frameworks: A Fitness Landscape Analysis Approach. Presented at 2020 IEEE Congress on Evolutionary Computation (CEC), Glasgow, United Kingdom

© 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.

FuzzyR: An Extended Fuzzy Logic Toolbox for the R Programming Language (2020)
Presentation / Conference Contribution
Chen, C., Razak, T. R., & Garibaldi, J. M. (2020, July). FuzzyR: An Extended Fuzzy Logic Toolbox for the R Programming Language. Presented at 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, UK

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.

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, July). An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem. Presented at 2020 IEEE Congress on Evolutionary Computation (CEC), Glasgow, United Kingdom

© 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.

Insights from interval-valued ratings of consumer products - a DECSYS appraisal (2020)
Presentation / Conference Contribution
Ellerby, Z., Miles, O., McCulloch, J., & Wagner, C. (2020, July). Insights from interval-valued ratings of consumer products - a DECSYS appraisal. Presented at 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, United Kingdom

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.