Research Repository

See what's under the surface


Naive Type Theory (2019)
Book Chapter
Altenkirch, T. (in press). Naive Type Theory. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General ThoughtsSpringer

We introduce Type Theory, including Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics emphasising the intuitive and naive understanding of its concepts.

Encumbered interaction: a study of musicians preparing to perform (2019)
Journal Article
Martinez Avila, J. P., Greenhalgh, C., Hazzard, A., Benford, S., & Chamberlain, A. (2019). Encumbered interaction: a study of musicians preparing to perform. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 2019, doi:10.1145/3290605.3300706

Guitars are physical tools (for making music) that require skillful two-handed use. Their use is also supported by diverse digital and physical resources, such as videos and chord charts. To understand the challenges of interacting with supporting r... Read More

New Entropy-Based Similarity Measure between Interval-Valued Intuitionstic Fuzzy Sets (2019)
Journal Article
Mohamed, S. S., Abdalla, A., & John, R. I. (in press). New Entropy-Based Similarity Measure between Interval-Valued Intuitionstic Fuzzy Sets. Axioms,

In this paper we propose a new approach to construct similarity measures using the entropy measure for Interval-Valued Intuitionistic Fuzzy Sets. In addition, we provide several illustrative examples to demonstrate the practicality and effectivenes... Read More

Seeing with New Eyes: Designing for In-the-Wild Museum Gifting (2019)
Conference Proceeding
Spence, J., Bedwell, B., Coleman, M., Benford, S., Koleva, B. N., Adams, M., …Løvlie, A. S. (2019). Seeing with New Eyes: Designing for In-the-Wild Museum Gifting. In CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019), May 4–9, 2019, Glasgow, UKdoi:10.1145/3290605.3300235

This paper presents the GIFT smartphone app, an artist-led Research through Design project benefitting from a three-day in-the-wild deployment. The app takes as its premise the generative potential of combining the contexts of gifting and museum visi... Read More

Inalienability: understanding digital gifts (2019)
Conference Proceeding
Spence, J. (2019). Inalienability: understanding digital gifts. In CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019), May 4–9, 2019, Glasgow, UKdoi:10.1145/3290605. 3300887

This paper takes on one of the rarely articulated yet important questions pertaining to digital media objects: how do HCI and design researchers understand 'gifting' when the object can just as easily be 'shared'? This question has often been implied... Read More

Tracking the Consumption of Home Essentials (2019)
Conference Proceeding
Fuentes, C., Porcheron, M., Fischer, J. E., Costanza, E., Malik, O., & Ramchurn, S. D. (2019). Tracking the Consumption of Home Essentials. doi:10.1145/3290605.3300869

Predictions of people's behaviour increasingly drive interactions with a new generation of IoT services designed to support everyday life in the home, from shopping to heating. Based on the premise that such automation is difficult due to the conting... Read More

The heat is on: exploring user behaviour in a multisensory virtual environment for fire evacuation (2019)
Conference Proceeding
Shaw, E., Nilsson, T., Roper, T., Lawson, G., Cobb, S., & Miller, D. (2019). The heat is on: exploring user behaviour in a multisensory virtual environment for fire evacuation. In Proceedings of the 2019 CHI Conference on Human Factors in Computing Systemsdoi:10.1145/3290605.3300856

Understanding validity of user behaviour in Virtual Environments (VEs) is critical as they are increasingly being used for serious Health and Safety applications such as predicting human behaviour and training in hazardous situations. This paper pres... Read More

A convolutional neural network for fast upsampling of undersampled tomograms in X-ray CT time-series using a representative highly sampled tomogram (2019)
Journal Article
Bellos, D., Basham, M., Pridmore, T., & French, A. P. (2019). A convolutional neural network for fast upsampling of undersampled tomograms in X-ray CT time-series using a representative highly sampled tomogram. Journal of Synchrotron Radiation, 26(3), 839-853. doi:10.1107/s1600577519003448

We designed a convolutional neural network to quickly and accurately upscale the sinograms of x-ray tomograms captured with a low number of projections; effectively increasing the number of projections. This is particularly useful for tomograms that... Read More

Virtual porous materials to predict the air void topology and hydraulic conductivity of asphalt roads (2019)
Journal Article
Aboufoul, M., Chiarelli, A., Triguero, I., & Garcia, A. (2019). Virtual porous materials to predict the air void topology and hydraulic conductivity of asphalt roads. Powder Technology, 352, 294-304. doi:10.1016/j.powtec.2019.04.072

This paper investigates the effects of air void topology on hydraulic conductivity in asphalt mixtures with porosity in the range 14%–31%. Virtual asphalt pore networks were generated using the Intersected Stacked Air voids (ISA) method, with its par... Read More

A review on the self and dual interactions between machine learning and optimisation (2019)
Journal Article
Song, H., Triguero, I., & Özcan, E. (2019). A review on the self and dual interactions between machine learning and optimisation. Progress in Artificial Intelligence, doi:10.1007/s13748-019-00185-z

Machine learning and optimisation are two growing fields of artificial intelligence with an enormous number of computer science applications. The techniques in the former area aim to learn knowledge from data or experience, while the techniques from... Read More

Active vision and surface reconstruction for 3D plant shoot modelling (2019)
Journal Article
Gibbs, J., French, A., Murchie, E., Wells, D., Pound, M., & Pridmore, T. (2019). Active vision and surface reconstruction for 3D plant shoot modelling. IEEE/ACM Transactions on Computational Biology and Bioinformatics, doi:10.1109/TCBB.2019.2896908

Plant phenotyping is the quantitative description of a plant’s physiological, biochemical and anatomical status which can be used in trait selection and helps to provide mechanisms to link underlying genetics with yield. Here, an active vision- based... Read More

Overlapping Clusters and Support Vector Machines Based Interval Type-2 Fuzzy System for the Prediction of Peptide Binding Affinity (2019)
Journal Article
Uslan, V., Seker, H., & John, R. (2019). Overlapping Clusters and Support Vector Machines Based Interval Type-2 Fuzzy System for the Prediction of Peptide Binding Affinity. IEEE Access, 7(1), 49756-49764. doi:10.1109/access.2019.2910078

In the post-genome era, it is becoming more complex to process high dimensional, low-instance available, and nonlinear biological datasets. This paper aims to address these characteristics as they have adverse effects on the performance of predictive... Read More

Scheduling Airline Reserve Crew using a Probabilistic Crew Absence and Recovery Model (2019)
Journal Article
Bayliss, C., De Maere, G., Atkin, J. A., & Paelinck, M. (2019). Scheduling Airline Reserve Crew using a Probabilistic Crew Absence and Recovery Model. Journal of the Operational Research Society, doi:10.1080/01605682.2019.1567649

Airlines require reserve crew to replace delayed or absent crew, with the aim of preventing consequent flight cancellations. A reserve crew schedule specifies the duty periods for which different reserve crew will be on standby to replace any absent... Read More

Overlapping Clusters and Support Vector Machines Based Interval Type-2 Fuzzy System for the Prediction of Peptide Binding Affinity (2019)
Journal Article
Uslan, V., Seker, H., & John, R. (2019). Overlapping Clusters and Support Vector Machines Based Interval Type-2 Fuzzy System for the Prediction of Peptide Binding Affinity. IEEE Access, 7, 49756-49764. doi:10.1109/access.2019.2910078

In the post-genome era, it is becoming more complex to process high dimensional, low-instance available, and nonlinear biological datasets. This paper aims to address these characteristics as they have adverse effects on the performance of predictive... Read More

Similarity between interval-valued fuzzy sets taking into account the width of the intervals and admissible orders (2019)
Journal Article
Bustince, H., Marco-Detchart, C., Fernandez, J., Wagner, C., Garibaldi, J., & Takáč, Z. (2019). Similarity between interval-valued fuzzy sets taking into account the width of the intervals and admissible orders. Fuzzy Sets and Systems, doi:10.1016/j.fss.2019.04.002

In this work we study a new class of similarity measures between interval-valued fuzzy sets. The novelty of our approach lays, firstly, on the fact that we develop all the notions with respect to total orders of intervals; and secondly, on that we co... Read More

Citizens’ juries: when older adults deliberate on the benefits and risks of smart health and smart homes (2019)
Journal Article
Chadborn, N., Blair, K., Creswick, H., Perez Vallejos, E., Hughes, N., Dowthwaite, L., & Adenekan, O. (2019). Citizens’ juries: when older adults deliberate on the benefits and risks of smart health and smart homes. Healthcare, 7(2), doi:10.3390/healthcare7020054

Background: Technology-enabled healthcare or smart health has provided a wealth of products and services to enable older people to monitor and manage their own health conditions at home, thereby maintaining independence, whilst also reducing healthca... Read More

Identification of nitrogen-dependent QTL and underlying genes for root system architecture in hexaploid wheat (2019)
Other
Griffiths, M., Atkinson, J. A., Gardiner, L., Swarup, R., Pound, M. P., Wilson, M. H., …Wells, D. M. (2019). Identification of nitrogen-dependent QTL and underlying genes for root system architecture in hexaploid wheat

The root system architecture (RSA) of a crop has a profound effect on the uptake of nutrients and consequently the potential yield. However, little is known about the genetic basis of RSA and resource dependent response in wheat (Triticum aestivum L.... Read More

Breaching the Future: Understanding Human Challenges of Autonomous Systems for the Home (2019)
Journal Article
Nilsson, T., Crabtree, A., Fischer, J., & Koleva, B. (2019). Breaching the Future: Understanding Human Challenges of Autonomous Systems for the Home. Personal and Ubiquitous Computing, doi:10.1007/s00779-019-01210-7

The domestic environment is a key area for the design and deployment of autonomous systems. Yet research indicates their adoption is already being hampered by a variety of critical issues including trust, privacy and security. This paper explores how... Read More