Skip to main content

Research Repository

Advanced Search

Browse


Juzzy Constrained: Software for Constrained Interval Type-2 Fuzzy Sets and Systems in Java (2020)
Conference Proceeding
D'Alterio, P., Garibaldi, J. M., John, R. I., & Wagner, C. (2020). Juzzy Constrained: Software for Constrained Interval Type-2 Fuzzy Sets and Systems in Java. In Proceedings of IEEE World Congress on Computational Intelligence (WCCI) 2020

Constrained interval type-2 (CIT2) fuzzy sets are a class of type-2 fuzzy sets that has been recently proposed as a way to extend type-1 membership functions to interval type-2 (IT2) while keeping a semantic connection between the IT2 fuzzy set and t... Read More about Juzzy Constrained: Software for Constrained Interval Type-2 Fuzzy Sets and Systems in Java.

Constrained Interval Type-2 Fuzzy Classification Systems for Explainable AI (XAI) (2020)
Conference Proceeding
D'Alterio, P., Garibaldi, J. M., & John, R. I. (2020). Constrained Interval Type-2 Fuzzy Classification Systems for Explainable AI (XAI). In Proceedings of IEEE World Congress on Computational Intelligence (WCCI) 2020

In recent year, there has been a growing need for intelligent systems that not only are able to provide reliable classifications but can also produce explanations for the decisions they make. The demand for increased explainability has led to the eme... Read More about Constrained Interval Type-2 Fuzzy Classification Systems for Explainable AI (XAI).

Choosing Sample Sizes for Statistical Measures on Interval-Valued Data (2020)
Conference Proceeding
McCulloch, J., Ellerby, Z., & Wagner, C. (2020). Choosing Sample Sizes for Statistical Measures on Interval-Valued Data

Intervals have frequently been used in the literature to represent uncertainty in data, from eliciting uncertain judgements from experts to representing uncertainty in sensor measurements. This widespread use of intervals has led to research on inter... Read More about Choosing Sample Sizes for Statistical Measures on Interval-Valued Data.

Finding Comfortable Routes for Ambulance Transfers of Newborn Infants (2020)
Conference Proceeding
Partridge, T. J., Morris, D. E., Light, R. A., Leslie, A., Sharkey, D., Crowe, J. A., & McNally, D. S. (2020). Finding Comfortable Routes for Ambulance Transfers of Newborn Infants

Early inter-hospital ambulance transport of premature babies is associated with more severe brain injury. The mechanism is unclear, but they are exposed to excessive noise and vibration. Smart-routing may help minimise these exposure levels and poten... Read More about Finding Comfortable Routes for Ambulance Transfers of Newborn Infants.

Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home (2020)
Conference Proceeding
Nilsson, T., Fischer, J. E., Crabtree, A., Goulden, M., Spence, J., & Costanza, E. (2020). Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference. , (827–839). https://doi.org/10.1145/3357236.3395476+

UbiComp has been envisioned to bring about a future dominated by calm computing technologies making our everyday lives ever more convenient. Yet the same vision has also attracted criticism for encouraging a solitary and passive lifestyle. The aim of... Read More about Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home.

Insights from interval-valued ratings of consumer products - a DECSYS appraisal (2020)
Conference Proceeding
Ellerby, Z., Miles, O., McCulloch, J., & Wagner, C. (2020). Insights from interval-valued ratings of consumer products - a DECSYS appraisal

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.

What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience (2020)
Conference Proceeding
Kirschthaler, P., Porcheron, M., & Fischer, J. E. (2020). What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience. In CUI '20: Proceedings of the 2nd Conference on Conversational User Interfaces. https://doi.org/10.1145/3405755.3406119

Discoverability, the ability for users to find and execute features through a user interface, is a recurrent problem with Voice User Interface (VUI) design that makes it difficult for users to understand what commands are supported by a newly encoun... Read More about What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience.

NottReal: A Tool for Voice-based Wizard of Oz studies (2020)
Conference Proceeding
Porcheron, M., Fischer, J. E., & Valstar, M. (2020). NottReal: A Tool for Voice-based Wizard of Oz studies. https://doi.org/10.1145/3405755.3406168

We present NottReal, an application designed for simulating Voice User Interfaces (VUIs) in Wizard of Oz studies. We briefly discuss the premise and advantages of the Wizard of Oz method before moving onto introducing the design of the application, w... Read More about NottReal: A Tool for Voice-based Wizard of Oz studies.

Implementing Large-Scale Aerospace Assembly 4.0 Demonstration Systems (2020)
Conference Proceeding
Sanderson, D., Turner, A., Shires, E., Chaplin, J. C., & Ratchev, S. (2020). Implementing Large-Scale Aerospace Assembly 4.0 Demonstration Systems

The Future Automated Aerospace Assembly phase 1 technology Demonstrator (FA3D) was commissioned at the University of Nottingham and used to demonstrate concepts from the EPSRC Evolvable Assembly Systems project in specific industrial use cases. A num... Read More about Implementing Large-Scale Aerospace Assembly 4.0 Demonstration Systems.

Computation of Invariant Tubes for Robust Output Feedback Model Predictive Control (2020)
Conference Proceeding
Hu, C., Liu, C., & Jaimoukha, I. M. (2020). Computation of Invariant Tubes for Robust Output Feedback Model Predictive Control

This paper presents an algorithm to calculate tightened invariant tubes for output feedback model predictive controllers (MPC). We consider discrete-time linear time-invariant (DLTI) systems with bounded state and input constraints and subject to bou... Read More about Computation of Invariant Tubes for Robust Output Feedback Model Predictive Control.

PML Effectiveness in the Transmission Line Modelling Method for Radiation and Scattering Applications (2020)
Conference Proceeding
Odeyemi, J., Smartt, C., Vukovic, A., M.Benson, T., & Sewell, P. (2020). PML Effectiveness in the Transmission Line Modelling Method for Radiation and Scattering Applications. https://doi.org/10.23919/EuCAP48036.2020.9135802

This paper demonstrates the effectiveness of the recently introduced, stable, perfectly matched layer (PML) for the Transmission Line Modelling (TLM) method. The superiority of the new PML over the TLM matched boundary is demonstrated by application... Read More about PML Effectiveness in the Transmission Line Modelling Method for Radiation and Scattering Applications.

VRtefacts: Performative Substitutional Reality with Museum Objects (2020)
Conference Proceeding
Spence, J., Darzentas, D. P., Huang, Y., Cameron, H. R., Beestin, E., & Benford, S. (2020). VRtefacts: Performative Substitutional Reality with Museum Objects. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference. , (627-640). https://doi.org/10.1145/3357236.3395459

We explore how a combination of manipulations and transitions can extend Substitutional Reality to create a highly personal Virtual Reality experience. Our design aimed to meet two challenges faced by museums: the limitations of object handling and t... Read More about VRtefacts: Performative Substitutional Reality with Museum Objects.

The Integers as a Higher Inductive Type (2020)
Conference Proceeding
Altenkirch, T., & Scoccola, L. (2020). The Integers as a Higher Inductive Type. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. , (67-73). https://doi.org/10.1145/3373718.3394760

We consider the problem of defining the integers in Homotopy Type Theory (HoTT). We can define the type of integers as signed natural numbers (i.e., using a coproduct), but its induction principle is very inconvenient to work with, since it leads to... Read More about The Integers as a Higher Inductive Type.

A Petri Net Methodology For Modelling Railway Switches and Crossings (2020)
Conference Proceeding
Litherland, J., & Andrews, J. (2020). A Petri Net Methodology For Modelling Railway Switches and Crossings. In P. Baraldi, F. Di Maio, & E. Zio (Eds.), e-Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference

Switches and crossings (S&C) are an essential asset on railway networks, they allow trains to switch between different tracks. They are made up of numerous components and failure of an S&C unit can lead to train delays and cancellations, having a neg... Read More about A Petri Net Methodology For Modelling Railway Switches and Crossings.

Application of Monte Carlo Optimization Methods to a Petri Net Representation of Nuclear Reactor Primary Coolant Design and Maintenance (2020)
Conference Proceeding
Wootton, M. J., Zhou, Y., Andrews, J. D., Smith, R., Arul, A. J., Vinod, G., …Garg, V. (2020). Application of Monte Carlo Optimization Methods to a Petri Net Representation of Nuclear Reactor Primary Coolant Design and Maintenance. In P. Baraldi, F. Di Maio, & E. Zio (Eds.), e-Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference

In this work, a nuclear reactor primary coolant circulation system is taken as a system for a case study, in which the Petri Net modeling methodology is combined with a Monte Carlo algorithm to perform an optimization process. Parameters relating to... Read More about Application of Monte Carlo Optimization Methods to a Petri Net Representation of Nuclear Reactor Primary Coolant Design and Maintenance.

“It’s Your Private Information. It’s Your Life.” Young People’s views of personal data use by online technologies (2020)
Conference Proceeding
Dowthwaite, L., Creswick, H., Portillo, V., Zhao, J., Patel, M., Perez Vallejos, E., …Jirotka, M. (2020). “It’s Your Private Information. It’s Your Life.” Young People’s views of personal data use by online technologies. In IDC '20: Proceedings of the Interaction Design and Children Conference. , (121-134). https://doi.org/10.1145/3392063.3394410

Children and young people make extensive and varied use of digital and online technologies, yet issues about how their personal data may be collected and used by online platforms are rarely discussed. Additionally, despite calls to increase awareness... Read More about “It’s Your Private Information. It’s Your Life.” Young People’s views of personal data use by online technologies.

A Cascade PI-SMC Method for Brushless Doubly-Fed Induction Machine with Matrix Converter (2020)
Conference Proceeding
Zhao, X., Wang, H., Dan, H., Di, Z., Sun, Y., Su, M., …Wheeler, P. (2020). A Cascade PI-SMC Method for Brushless Doubly-Fed Induction Machine with Matrix Converter. https://doi.org/10.1109/apec39645.2020.9124209

This paper proposes a cascade proportional-integral continuous second-order sliding mode control method for brushless doubly-fed induction machine. This method consists of the speed out-loop proportional-integral controller and the current inner-loop... Read More about A Cascade PI-SMC Method for Brushless Doubly-Fed Induction Machine with Matrix Converter.

Dealing with Scarce Labelled Data: Semi-supervised Deep Learning with Mix Match for Covid-19 Detection Using Chest X-ray Images (2020)
Conference Proceeding
Calderon-Ramirez, S., Giri, R., Moemeni, A., Umaña, M., Elizondo, D., Torrents-Barrena, J., & Molina-Cabello, M. A. (in press). Dealing with Scarce Labelled Data: Semi-supervised Deep Learning with Mix Match for Covid-19 Detection Using Chest X-ray Images

Coronavirus (Covid-19) is spreading fast, infecting people through contact in various forms including droplets from sneezing and coughing. Therefore, the detection of infected subjects in an early, quick and cheap manner is urgent. Currently availabl... Read More about Dealing with Scarce Labelled Data: Semi-supervised Deep Learning with Mix Match for Covid-19 Detection Using Chest X-ray Images.


;