Skip to main content

Research Repository

Advanced Search

All Outputs (166)

When size matters: Towards evaluating perceivability of choropleths (2018)
Conference Proceeding
McNabb, L., Laramee, R. S., & Wilson, M. L. (2018). When size matters: Towards evaluating perceivability of choropleths. In G. Tam, & F. Vidal (Eds.), EG UK Computer Graphics & Visual Computing (163-171). https://doi.org/10.2312/cgvc.20181221

Choropleth maps are an invaluable visualization type for mapping geo-spatial data. One advantage to a choropleth map over other geospatial visualizations such as cartograms is the familiarity of a non-distorted landmass. However, this causes challeng... Read More about When size matters: Towards evaluating perceivability of choropleths.

Digital interventions to reduce sedentary behaviors of office workers: Scoping review (2018)
Journal Article
Huang, Y., Benford, S., & Blake, H. (2019). Digital interventions to reduce sedentary behaviors of office workers: Scoping review. Journal of Medical Internet Research, 21(2), Article e11079. https://doi.org/10.2196/11079

© Yitong Huang, Steve Benford, Holly Blake. Background: There is a clear public health need to reduce office workers’ sedentary behaviors (SBs), especially in the workplace. Digital technologies are increasingly being deployed in the workplace to mea... Read More about Digital interventions to reduce sedentary behaviors of office workers: Scoping review.

An AI-based design framework to support musicians' practices (2018)
Conference Proceeding
Martinez-Avila, J., Hazzard, A., Chamberlain, A., Greenhalgh, C., & Benford, S. (2018). An AI-based design framework to support musicians' practices. In AM '18: Proceedings of the Audio Mostly 2018 on Sound in Immersion and Emotion (1–5). https://doi.org/10.1145/3243274.3275381

The practice of working musicians extends beyond the act of performing musical works at a concert. Rather, a significant degree of individual and collaborative preparation is necessitated prior to the moment of presentation to an audience. Increasing... Read More about An AI-based design framework to support musicians' practices.

Developing GDPR Compliant Apps For The Edge (2018)
Conference Proceeding
Lodge, T., Brown, A., & Crabtree, A. (2018). Developing GDPR Compliant Apps For The Edge. In DPM 2018, CBT 2018: Data Privacy Management, Cryptocurrencies and Blockchain Technology (313-328). https://doi.org/10.1007/978-3-030-00305-0_22

We present an overview of the Databox application devel- opment environment or SDK as a means of enabling trusted IoT app development at the network edge. The Databox platform is a dedicated domestic platform that stores IoT, mobile and cloud data an... Read More about Developing GDPR Compliant Apps For The Edge.

Learning based image transformation using convolutional neural networks (2018)
Journal Article
Hou, X., Gong, Y., Liu, B., Sun, K., Liu, J., Xu, B., …Qiu, G. (2018). Learning based image transformation using convolutional neural networks. IEEE Access, 6, 49779-49792. https://doi.org/10.1109/access.2018.2868733

We have developed a learning-based image transformation framework and successfully applied it to three common image transformation operations: downscaling, decolorization, and high dynamic range image tone mapping. We use a convolutional neural netwo... Read More about Learning based image transformation using convolutional neural networks.

Effective fecal microbiota transplantation for recurrent Clostridioides difficile infection in humans is associated with increased signalling in bile acid-farnesoid X receptor-fibroblast growth factor pathway (2018)
Journal Article
Monaghan, T. M., Mullish, B. H., Patterson, J., Wong, G. K., Marchesi, J. R., Xu, H., …Kao, D. (2018). Effective fecal microbiota transplantation for recurrent Clostridioides difficile infection in humans is associated with increased signalling in bile acid-farnesoid X receptor-fibroblast growth factor pathway. Gut Microbes, https://doi.org/10.1080/19490976.2018.1506667

The mechanisms of efficacy for fecal microbiota# transplantation (FMT) in treating recurrent Clostridioides difficile infection (rCDI) remain poorly defined, with restored gut microbiota-bile acid interactions representing one possible explanation. F... Read More about Effective fecal microbiota transplantation for recurrent Clostridioides difficile infection in humans is associated with increased signalling in bile acid-farnesoid X receptor-fibroblast growth factor pathway.

Parametric polymorphism and operational improvement (2018)
Journal Article
Hackett, J., & Hutton, G. (2018). Parametric polymorphism and operational improvement. Proceedings of the ACM on Programming Languages, 2(ICFP), 1-24. https://doi.org/10.1145/3236763

Parametricity, in both operational and denotational forms, has long been a useful tool for reasoning about program correctness. However, there is as yet no comparable technique for reasoning about program improvement, that is, when one program uses f... Read More about Parametric polymorphism and operational improvement.

A Functional Regression Approach to Facial Landmark Tracking (2018)
Journal Article
Sánchez-Lozano, E., Tzimiropoulos, G., Martinez, B., De la Torre, F., & Valstar, M. (2018). A Functional Regression Approach to Facial Landmark Tracking. IEEE Transactions on Pattern Analysis and Machine Intelligence, 40(9), 2037-2050. https://doi.org/10.1109/TPAMI.2017.2745568

© 1979-2012 IEEE. Linear regression is a fundamental building block in many face detection and tracking algorithms, typically used to predict shape displacements from image features through a linear mapping. This paper presents a Functional Regressio... Read More about A Functional Regression Approach to Facial Landmark Tracking.

Model checking for Coalition Announcement Logic (2018)
Conference Proceeding
Galimullin, R., Alechina, N., & van Ditmarsch, H. (2018). Model checking for Coalition Announcement Logic. In F. Trollmann, & A. Turhan (Eds.), KI 2018: Advances in Artificial Intelligence, 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings (11-23). https://doi.org/10.1007/978-3-030-00111-7_2

Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information ga... Read More about Model checking for Coalition Announcement Logic.

Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster (2018)
Conference Proceeding
Radenkovic, M., Walker, A., & Bai, L. (2018). Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster. In IWCMC 2018: the 14th International Wireless Communications & Mobile Computing Conference (648-653). https://doi.org/10.1109/IWCMC.2018.8450430

This paper seeks to better understand the highly multi-dimensional, multi-faceted challenges of meeting trust and reliability requirements in critical, disaster aftermath communication networks comprising heterogeneous groups of sensor equipped nodes... Read More about Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster.

Hierarchical binary CNNs for landmark localization with limited resources (2018)
Journal Article
Bulat, A., & Tzimiropoulos, G. (2020). Hierarchical binary CNNs for landmark localization with limited resources. IEEE Transactions on Pattern Analysis and Machine Intelligence, 42(2), 343 - 356. https://doi.org/10.1109/tpami.2018.2866051

Our goal is to design architectures that retain the groundbreaking performance of Convolutional Neural Networks (CNNs) for landmark localization and at the same time are lightweight, compact and suitable for applications with limited computational re... Read More about Hierarchical binary CNNs for landmark localization with limited resources.

Movement-based co-creation of adaptive architecture (2018)
Book Chapter
Schnädelbach, H., & Arieyanto, H. (2018). Movement-based co-creation of adaptive architecture. In H. Bier (Ed.), Robotic Building (139-167). Cham: Springer Publishing Company. https://doi.org/10.1007/978-3-319-70866-9_7

Research in Ubiquitous Computing, Human Computer Interaction and Adaptive Architecture combine in the research of movement-based interaction with our environments. Despite movement capture technologies becoming commonplace, the design and the consequ... Read More about Movement-based co-creation of adaptive architecture.

Visual Analysis of Spatia-temporal Relations of Pairwise Attributes in Unsteady Flow (2018)
Journal Article
Berenjkoub, M., Monico, R. O., Laramee, R. S., & Chen, G. (2019). Visual Analysis of Spatia-temporal Relations of Pairwise Attributes in Unsteady Flow. IEEE Transactions on Visualization and Computer Graphics, 25(1), 1246-1256. https://doi.org/10.1109/tvcg.2018.2864817

Despite significant advances in the analysis and visualization of unsteady flow, the interpretation of it's behavior still remains a challenge. In this work, we focus on the linear correlation and non-linear dependency of different physical attribute... Read More about Visual Analysis of Spatia-temporal Relations of Pairwise Attributes in Unsteady Flow.

From clusters to queries: exploiting uncertainty in the modularity landscape of complex networks (2018)
Conference Proceeding
Gilbert, J. P., & Twycross, J. (2018). From clusters to queries: exploiting uncertainty in the modularity landscape of complex networks.

Uncovering latent community structure in complex networks is a field that has received an enormous amount of attention. Unfortunately, whilst potentially very powerful, unsupervised methods for uncovering labels based on topology alone has been shown... Read More about From clusters to queries: exploiting uncertainty in the modularity landscape of complex networks.

A comment on "A direct approach for determining the switch points in the Karnik-Mendel algorithm" (2018)
Journal Article
Chen, C., Wu, D., Garibaldi, J. M., John, R., Twycross, J., & Mendel, J. M. (2018). A comment on "A direct approach for determining the switch points in the Karnik-Mendel algorithm". IEEE Transactions on Fuzzy Systems, 26(6), 3905-3907. https://doi.org/10.1109/tfuzz.2018.2865134

This letter is a supplement to the previous paper “A Direct Approach for Determining the Switch Points in the Karnik-Mendel Algorithm”. In the previous paper, the enhanced iterative algorithm with stop condition (EIASC) was shown to be the most ineff... Read More about A comment on "A direct approach for determining the switch points in the Karnik-Mendel algorithm".

Type reduction operators for interval type–2 defuzzification (2018)
Journal Article
Runkler, T. A., Chen, C., & John, R. (2018). Type reduction operators for interval type–2 defuzzification. Information Sciences, 467, 464-476. https://doi.org/10.1016/j.ins.2018.08.023

Fuzzy sets are an important approach to model uncertainty. Defuzzification maps fuzzy sets to non–fuzzy (crisp) values. Type–2 fuzzy sets model uncertainty in the degree of membership in a fuzzy set. Type–2 defuzzification maps type–2 fuzzy sets to n... Read More about Type reduction operators for interval type–2 defuzzification.

A hyper-heuristic with two guidance indicators for bi-objective mixed-shift vehicle routing problem with time windows (2018)
Journal Article
Chen, B., Qu, R., Bai, R., & Laesanklang, W. (2018). A hyper-heuristic with two guidance indicators for bi-objective mixed-shift vehicle routing problem with time windows. Applied Intelligence, 48(12), 4937–4959. https://doi.org/10.1007/s10489-018-1250-y

In this paper, a Mixed-Shift Vehicle Routing Problem is proposed based on a real-life container transportation problem. In a long planning horizon of multiple shifts, transport tasks are completed satisfying the time constraints. Due to the different... Read More about A hyper-heuristic with two guidance indicators for bi-objective mixed-shift vehicle routing problem with time windows.

Adaptive multiple crossover genetic algorithm to solve workforce scheduling and routing problem (2018)
Journal Article
Martínez-Gavara, A., Algethami, H., & Landa-Silva, D. (2018). Adaptive multiple crossover genetic algorithm to solve workforce scheduling and routing problem. Journal of Heuristics, 25(4-5), 753-792. https://doi.org/10.1007/s10732-018-9385-x

The Workforce Scheduling and Routing Problem refers to the assignment of personnel to visits, across various geographical locations. Solving this problem demands tackling numerous scheduling and routing constraints while aiming to minimise the operat... Read More about Adaptive multiple crossover genetic algorithm to solve workforce scheduling and routing problem.