Research Repository

See what's under the surface

Browse


A novel wave-energy device with enhanced wave amplification and induction actuator (2019)
Conference Proceeding
Bokhove, O., Kalogirou, A., Henry, D., & Thomas, G. P. (2019). A novel wave-energy device with enhanced wave amplification and induction actuator

A novel wave-energy device will be presented. Both a preliminary proof-of-principle of a working, scaled laboratory version of the energy device will be shown as well as the derivation and analysis of a comprehensive mathematical and numerical model... Read More

Progressivity for Voice Interface Design (2019)
Conference Proceeding
Fischer, J. E., Reeves, S., Porcheron, M., & Sikveland, R. O. (in press). Progressivity for Voice Interface Design. doi:10.1145/3342775.3342788

Drawing from Conversation Analysis (CA), we examine how the orientation towards progressivity in talk--keeping things moving--might help us better understand and design for voice interactions. We introduce progressivity by surveying its explication i... Read More

Call-by-need is clairvoyant call-by-value (2019)
Conference Proceeding
Hackett, J., & Hutton, G. (2019). Call-by-need is clairvoyant call-by-value. doi:10.1145/3341718

Call-by-need evaluation, also known as lazy evaluation, provides two key benefits: compositional programming and infinite data. The standard semantics for laziness is Launchbury’s natural semantics, which uses a heap to memoise the results of delayed... Read More

An Unforeseen Equivalence between Uncertainty and Entropy (2019)
Conference Proceeding
Muller, T. (2019). An Unforeseen Equivalence between Uncertainty and Entropy

Uncertainty and entropy are related concepts, so we would expect there to be some overlap, but the equality that is shown in this paper is unexpected. In Beta models, interactions between agents are evidence used to construct Beta distributions. In m... Read More

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

A Longitudinal Simulator Study to Explore Drivers’ Behaviour in Level 3 Automated Vehicles (2019)
Conference Proceeding
Large, D., Burnett, G., Salanitri, D., Lawson, A., & Box, E. (in press). A Longitudinal Simulator Study to Explore Drivers’ Behaviour in Level 3 Automated Vehicles. doi:10.1145/3342197.3344519

In a longitudinal study, 49 drivers undertook a commute-style journey, with part of the route supporting level-3 automation, over five consecutive days. Bespoke HMIs were provided to keep drivers in-the-loop during automation, and help them regain si... Read More

Parametric Virtual Design-based Multi-Objective Optimization for Sustainable Building Design (2019)
Conference Proceeding
Cheng, C., Ninic, J., & Tizani, W. (2019). Parametric Virtual Design-based Multi-Objective Optimization for Sustainable Building Design

With the development of Building Information Modelling aiming for automatic, the automating of sustainability analysis will be a certain requirement in the future. Unlike the current research stream, this paper investigates a novel approach of direct... Read More

Measuring Inter-group Agreement on zSlice Based General Type-2 Fuzzy Sets (2019)
Conference Proceeding
Navarro, J., & Wagner, C. (2019). Measuring Inter-group Agreement on zSlice Based General Type-2 Fuzzy Sets

Recently, there has been much research into modelling of uncertainty in human perception through Fuzzy Sets (FSs). Most of this research has focused on allowing respondents to express their (intra) uncertainty using intervals. Here, depending on the... Read More

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

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

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

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

Image processing algorithm to determine an optimised 2D laser cutting trajectory (2019)
Conference Proceeding
Syam, W. P., Bansal, R., Benardos, P., Britchford, E., Hopkinson, A., Voisey, K., & Branson, D. T. (2019). Image processing algorithm to determine an optimised 2D laser cutting trajectory. In Proceedings of 25th IEEE International Conference on Automation & Computing (ICAC'19)

Laser cutting processes offer high-quality and fast cutting capability across a wide variety of materials, including metals, plastics and organic tissues. To enable 2D laser cutting process, a set of (x, y) Cartesian coordinates that form a cutting t... Read More

Towards an active learning approach to tool condition monitoring with Bayesian deep learning (2019)
Conference Proceeding
Martinez Arellano, G., & Ratchev, S. (2019). Towards an active learning approach to tool condition monitoring with Bayesian deep learning

With the current advances in the Internet of Things (IoT), smart sensors and Artificial Intelligence (AI), a new generation of condition monitoring solutions for smart manufacturing is starting to emerge. Computer Numerical Control (CNC) machines can... Read More

Scalable Learning in Reproducing Kernel Kreĭn Spaces (2019)
Conference Proceeding
Oglic, D., & Gärtner, T. (2019). Scalable Learning in Reproducing Kernel Kreĭn Spaces

We provide the first mathematically complete derivation of the Nyström method for low-rank approximation of indefinite kernels and propose an efficient method for finding an approximate eigen-decomposition of such kernel matrices. Building on this re... Read More

Wavelet-based ESS sizing strategy to enable power peak-shaving in PV systems (2019)
Conference Proceeding
Müller, N., Kouro, S., Zanchetta, P., Wheeler, P., & Marzo, A. (2019). Wavelet-based ESS sizing strategy to enable power peak-shaving in PV systems

This work presents an Energy Storage Systems (ESS) sizing strategy, that allows grid connected PV systems to provide peak-shaved maximum-power-Ramp-Rate (RR) compliant power while storing exceeding power. For this purpose power generation and power l... Read More

Improving the effectiveness of active safety systems to significantly reduce accidents with vulnerable road users - the Project PROSPECT (Proactive Safety for Pedestrians and Cyclists) (2019)
Conference Proceeding
Cieslik, I., Kovaceva, J., Bruyas, M., Large, D., Kunert, M., Krebs, S., & Arbitmann, M. (2019). Improving the effectiveness of active safety systems to significantly reduce accidents with vulnerable road users - the Project PROSPECT (Proactive Safety for Pedestrians and Cyclists)

Accidents involving Vulnerable Road Users (VRU) are still a very significant issue for road safety. ´PROactive Safety for PEdestrians and CyclisTs´ is a collaborative research project funded by the European Commission. The objective of PROSPECT was t... Read More

A hybrid evolutionary strategy to optimise early-stage cancer screening (2019)
Conference Proceeding
Figueredo, G. P., Shi, P., Parkes, A. J., Evans, K., Garibaldi, J. M., Negm, O., …Robertson, J. (2019). A hybrid evolutionary strategy to optimise early-stage cancer screening

Current methods to identify cutoff values for tumour-associated molecules (antigens) discrimination are based on statistics and brute force. These methods applied to cancer screening problems are very inefficient, especially with large data sets with... Read More

Automated assessment of object coverage in smart, optical form measurement (2019)
Conference Proceeding
Catalucci, S., Senin, N., Stavroulakis, P., & Leach, R. (2019). Automated assessment of object coverage in smart, optical form measurement. In Proceedings of 19th International euspen Conference & Exhibition

As part of a project to develop a smart 3D form measurement system for quality control of complex 3D parts, we present early work in algorithmic assessment of coverage achieved on the surfaces of a part subjected to optical measurement from a single... Read More

Improvising a Live Score to an Interactive Brain-Controlled Film (2019)
Conference Proceeding
Ramchurn, R., Martinez-Avila, J., Martindale, S., Chamberlain, A., Wilson, M. L., & Benford, S. (2019). Improvising a Live Score to an Interactive Brain-Controlled Film

We report on the design and deployment of systems for the performance of live score accompaniment to an interactive movie by a Networked Musical Ensemble. In this case, the audiovisual content of the movie is selected in real time based on user input... Read More

How Stress and Mental Workload are Connected (2019)
Conference Proceeding
Alsuraykh, N. H., Wilson, M. L., Tennent, P., & Sharples, S. (2019). How Stress and Mental Workload are Connected. In PervasiveHealth'19: Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare, 371-376. doi:10.1145/3329189.3329235

Mental Workload (MWL) can be both good and bad; we can thrive under high MWL, or our performance can drop if the demands become either too low or too high. Similarly, stress is not always bad, short term stress can be beneficial to overcome a challen... Read More