Skip to main content

Research Repository

Advanced Search

All Outputs (48)

Exploring How Component Factors and Their Uncertainty Affect Judgements of Risk in Cyber-Security (2019)
Conference Proceeding
Ellerby, Z., McCulloch, J., Wilson, M., & Wagner, C. (2020). Exploring How Component Factors and Their Uncertainty Affect Judgements of Risk in Cyber-Security. In Critical Information Infrastructures Security: 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers (31-42). https://doi.org/10.1007/978-3-030-37670-3_3

Subjective judgements from experts provide essential information when assessing and modelling threats in respect to cyber-physical systems. For example, the vulnerability of individual system components can be described using multiple factors, such a... Read More about Exploring How Component Factors and Their Uncertainty Affect Judgements of Risk in Cyber-Security.

Exploring Machine Learning Approaches for Classifying Mental Workload using fNIRS Data from HCI Tasks (2019)
Conference Proceeding
Benerradi, J., Maior, H. A., Marinescu, A., Clos, J., & Wilson, M. L. (2019). Exploring Machine Learning Approaches for Classifying Mental Workload using fNIRS Data from HCI Tasks. In Proceedings of the Halfway to the Future Symposium 2019. https://doi.org/10.1145/3363384.3363392

Functional Near-Infrared Spectroscopy (fNIRS) has shown promise for being potentially more suitable (than e.g. EEG) for brain-based Human Computer Interaction (HCI). While some machine learning approaches have been used in prior HCI work, this paper... Read More about Exploring Machine Learning Approaches for Classifying Mental Workload using fNIRS Data from HCI Tasks.

Information Retrieval for Evidence-Based Policy Making Applied to Lifelong Learning (2019)
Conference Proceeding
Clos, J., Qu, R., & Atkin, J. (2019). Information Retrieval for Evidence-Based Policy Making Applied to Lifelong Learning. In Artificial Intelligence XXXVI (487-493). https://doi.org/10.1007/978-3-030-34885-4_41

© 2019, Springer Nature Switzerland AG. Policy making involves an extensive research phase during which existing policies which are similar to the one under development need to be retrieved and analysed. This phase is time-consuming for the following... Read More about Information Retrieval for Evidence-Based Policy Making Applied to Lifelong Learning.

Dynamic Facial Models for Video-Based Dimensional Affect Estimation (2019)
Conference Proceeding
Song, S., Sánchez-Lozano, E., Kumar Tellamekala, M., Shen, L., Johnston, A., & Valstar, M. (2019). Dynamic Facial Models for Video-Based Dimensional Affect Estimation. In Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshop (ICCVW) (1608-1617). https://doi.org/10.1109/ICCVW.2019.00200

Dimensional affect estimation from a face video is a challenging task, mainly due to the large number of possible facial displays made up of a set of behaviour primitives including facial muscle actions. The displays vary not only in composition but... Read More about Dynamic Facial Models for Video-Based Dimensional Affect Estimation.

Just–In–Time Supply Chain Management Using Interval Type–2 Fuzzy Decision Making (2019)
Conference Proceeding
Runkler, T. A., Chen, C., Coupland, S., & John, R. (2019). Just–In–Time Supply Chain Management Using Interval Type–2 Fuzzy Decision Making. In 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). https://doi.org/10.1109/fuzz-ieee.2019.8858902

We propose the application of interval type-2 fuzzy decision making (IT2FDM) to dynamic scheduling of deliveries in a just-in-time logistic process. Delivery decisions are based on order priorities computed from the expected decrease of customer sati... Read More about Just–In–Time Supply Chain Management Using Interval Type–2 Fuzzy Decision Making.

Functional Reactive Programming, restated (2019)
Conference Proceeding
Chupin, G., & Nilsson, H. (2019). Functional Reactive Programming, restated. In PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 (1–14). https://doi.org/10.1145/3354166.3354172

Functional Reactive Programming is an approach to declarative programming of reactive systems by describing interactions between time-varying values. FRP implementations are often realised as an embedding in a functional host language, making for ver... Read More about Functional Reactive Programming, restated.

The Audible Artefact: Promoting Cultural Exploration and Engagement with Audio Augmented Reality (2019)
Conference Proceeding
Cliffe, L., Mansell, J., Cormac, J., Greenhalgh, C., & Hazzard, A. (2019). The Audible Artefact: Promoting Cultural Exploration and Engagement with Audio Augmented Reality. In Proceedings of AM '19, Nottingham, United Kingdom, September 18-20, 2019. https://doi.org/10.1145/3356590.3356617

This paper introduces two ongoing projects where audio augmented reality is implemented as a means of engaging museum and gallery visitors with audio archive material and associated objects, artworks and artefacts. It outlines some of the issues surr... Read More about The Audible Artefact: Promoting Cultural Exploration and Engagement with Audio Augmented Reality.

Augmenting Guitars for Performance Preparation (2019)
Conference Proceeding
Martinez Avila, J. P. M., Hazzard, A., Greenhalgh, C., & Benford, S. (2019). Augmenting Guitars for Performance Preparation. In AM'19: Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound (69–75). https://doi.org/10.1145/3356590.3356602

A substantial number of Digital Musical Instruments (DMIs) are built upon existing musical instruments by digitally and physi- cally intervening in their design and functionality to augment their sonic and expressive capabilities. These are commonly... Read More about Augmenting Guitars for Performance Preparation.

Adaptive Musical Soundtracks: from in-game to on the street (2019)
Conference Proceeding
Hazzard, A., & Greenhalgh, C. (2019). Adaptive Musical Soundtracks: from in-game to on the street. In AM'19: Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound (31-38). https://doi.org/10.1145/3356590.3356597

We describe the challenges of creating location-based adaptive musical soundtracks, which we try to address via the iterative development of daoplayer, a tool to create such media experiences. Daoplayer is broadly modelled on the functionality of com... Read More about Adaptive Musical Soundtracks: from in-game to on the street.

Identifying Aircraft Passenger Postures and Factors Influencing Body Part Discomfort (2019)
Conference Proceeding
Sharafkhani, M., Argyle, E., Cobb, S., Tennent, P., & Houghton, R. (2019). Identifying Aircraft Passenger Postures and Factors Influencing Body Part Discomfort. In Proceedings of The Second International Conference on Comfort ICC2019

Aircraft passengers’ physical activity levels are often limited during flight for extended periods of time, which can have serious impact on health, comfort, and passenger experience. Passengers are generally advised to walk around the plane and do c... Read More about Identifying Aircraft Passenger Postures and Factors Influencing Body Part Discomfort.

Design of more electric aircraft dc power distribution architectures considering reliability performance (2019)
Conference Proceeding
Recalde, A. A., Bozhko, S., Atkin, J., & Hill, C. (2019). Design of more electric aircraft dc power distribution architectures considering reliability performance. https://doi.org/10.2514/6.2019-4506

© 2019 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved. The More Electric Aircraft (MEA) concept has started to define the future of aircraft electrification. The electrical system will certainly play a crucial rol... Read More about Design of more electric aircraft dc power distribution architectures considering reliability performance.

VR-Fit: Walking-in-Place Locomotion with Real Time Step Detection for VR-Enabled Exercise (2019)
Conference Proceeding
Sari, S., & Kucukyilmaz, A. (2019). VR-Fit: Walking-in-Place Locomotion with Real Time Step Detection for VR-Enabled Exercise. In I. Awan, M. Younas, P. Ünal, & M. Aleksy (Eds.), In Mobile Web and Intelligent Information Systems (255-266). https://doi.org/10.1007/978-3-030-27192-3_20

With recent advances in mobile and wearable technologies, virtual reality (VR) found many applications in daily use. Today, a mobile device can be converted into a low-cost immersive VR kit thanks to the availability of do-it-yourself viewers in the... Read More about VR-Fit: Walking-in-Place Locomotion with Real Time Step Detection for VR-Enabled Exercise.

The Reputation Lag Attack (2019)
Conference Proceeding
Sirur, S., & Muller, T. (2019). The Reputation Lag Attack

Reputation systems and distributed networks are increasingly common. Examples are electronic marketplaces, IoT and ad-hoc networks. The propagation of information through such networks may suffer delays due to, e.g., network connectivity, slow report... Read More about The Reputation Lag Attack.

Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable (2019)
Conference Proceeding
Du, H., & Alechina, N. (2019). Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI-19) (2776-2783). https://doi.org/10.1609/aaai.v33i01.33012776

Several qualitative spatial logics used in reasoning about geospatial data have a sound and complete axiomatisation over metric spaces. It has been open whether the same ax-iomatisation is also sound and complete for 2D Euclidean spaces. We answer th... Read More about Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable.

Path Spaces of Higher Inductive Types in Homotopy Type Theory (2019)
Conference Proceeding
Kraus, N., & von Raumer, J. (2019). Path Spaces of Higher Inductive Types in Homotopy Type Theory. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/LICS.2019.8785661

The study of equality types is central to homotopy type theory. Characterizing these types is often tricky, and various strategies, such as the encode-decode method, have been developed. We prove a theorem about equality types of coequalizers and pus... Read More about Path Spaces of Higher Inductive Types in Homotopy Type Theory.

DECSYS - Discrete and Ellipse-based response Capture SYStem (2019)
Conference Proceeding
Ellerby, Z., McCulloch, J., Young, J., & Wagner, C. (2019). DECSYS - Discrete and Ellipse-based response Capture SYStem. . https://doi.org/10.1109/FUZZ-IEEE.2019.8858996

Data-driven techniques that capture uncertainty through intervals or fuzzy sets can substantially improve systematic reasoning about uncertain information. Recent years have seen renewed interest in the capture of intervals from a variety of sources-... Read More about DECSYS - Discrete and Ellipse-based response Capture SYStem.

On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets (2019)
Conference Proceeding
McCulloch, J., Ellerby, Z., & Wagner, C. (2019). On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets. In 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (1-6). https://doi.org/10.1109/FUZZ-IEEE.2019.8858993

The capture of interval-valued data is becoming an increasingly common approach in data collection (from survey based research to the collation of sensor data) as an efficient method of obtaining information about uncertainty associated with the data... Read More about On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets.

Evolving Deep CNN-LSTMs for Inventory Time Series Prediction (2019)
Conference Proceeding
Xue, N., Triguero, I., Figueredo, G. P., & Landa-Silva, D. (2019). Evolving Deep CNN-LSTMs for Inventory Time Series Prediction. . https://doi.org/10.1109/CEC.2019.8789957

Inventory forecasting is a key component of effective inventory management. In this work, we utilise hybrid deep learning models for inventory forecasting. According to the highly nonlinear and non-stationary characteristics of inventory data, the mo... Read More about Evolving Deep CNN-LSTMs for Inventory Time Series Prediction.

Leveraging IT2 Input Fuzzy Sets in Non-Singleton Fuzzy Logic Systems to Dynamically Adapt to Varying Uncertainty Levels (2019)
Conference Proceeding
Pekaslan, D., Wagner, C., & Garibaldi, J. M. (2019). Leveraging IT2 Input Fuzzy Sets in Non-Singleton Fuzzy Logic Systems to Dynamically Adapt to Varying Uncertainty Levels. In 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (1-7). https://doi.org/10.1109/FUZZ-IEEE.2019.8858800

Most real-world environments are subject to different sources of uncertainty which may vary in magnitude over time. We propose that while Type-1 (T1) Non-Singleton Fuzzy Logic System (NSFLSs) have the potential to tackle uncertainty within the input... Read More about Leveraging IT2 Input Fuzzy Sets in Non-Singleton Fuzzy Logic Systems to Dynamically Adapt to Varying Uncertainty Levels.