All Outputs (115)

Work it, wrap it, fix it, fold it (2014)
Journal Article
Sculthorpe, N., & Hutton, G. (2014). Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24(1), https://doi.org/10.1017/S0956796814000045

The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different cor... Read More about Work it, wrap it, fix it, fold it.

Relative monads formalised (2014)
Journal Article
Altenkirch, T., Chapman, J., & Uustalu, T. (2014). Relative monads formalised. Journal of Formalized Reasoning, 7(1), https://doi.org/10.6092/issn.1972-5787/4389

Relative monads are a generalisation of ordinary monads where the underlying functor need not be an endofunctor. In this paper, we describe a formalisation of the basic theory of relative monads in the interactive theorem prover and dependently typed... Read More about Relative monads formalised.

A data driven approach to mapping urban neighbourhoods (2014)
Conference Proceeding
Brindley, P., Goulding, J., & Wilson, M. L. (2014). A data driven approach to mapping urban neighbourhoods.

Neighbourhoods have been described by the UK Secretary of State for Communities and Local Government as the “building blocks of public service society”. Despite this, difficulties in data collection combined with the concept’s subjective nature have... Read More about A data driven approach to mapping urban neighbourhoods.

Network flow models for intraday personnel scheduling problems (2014)
Journal Article
Brucker, P., & Qu, R. (2014). Network flow models for intraday personnel scheduling problems. Annals of Operations Research, 218(1), https://doi.org/10.1007/s10479-012-1234-y

Personnel scheduling problems can be decomposed into two stages. In the first stage for each employee the working days have to be fixed. In the second stage for each day of the planning period an intraday scheduling problem has to be solved. It consi... Read More about Network flow models for intraday personnel scheduling problems.

Computational study for workforce scheduling and routing problems (2014)
Conference Proceeding
Castillo-Salazar, J. A., Landa-Silva, D., & Qu, R. (2014). Computational study for workforce scheduling and routing problems.

We present a computational study on 112 instances of the Workforce Scheduling and Routing Problem (WSRP). This problem has applications in many service provider industries where employees visit customers to perform activities. Given their similarity,... Read More about Computational study for workforce scheduling and routing problems.

Worker/wrapper/makes it/faster (2014)
Conference Proceeding
Hackett, J., & Hutton, G. (2014). Worker/wrapper/makes it/faster.

Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency:... Read More about Worker/wrapper/makes it/faster.

GIS for all: exploring the barriers and opportunities for underexploited GIS applications (2014)
Journal Article
Hao, Y., Brown, M., & Harding, J. (2014). GIS for all: exploring the barriers and opportunities for underexploited GIS applications

Geographical Information Systems have been existed since the early 1960s, but evidence suggests that adoption of GIS technologies still remains relatively low in many sectors. We will explore both the barriers that affect the utilisation of GIS a... Read More about GIS for all: exploring the barriers and opportunities for underexploited GIS applications.

Musical intersections across the digital and physical (2014)
Conference Proceeding
Hazzard, A., Benford, S., Chamberlain, A., Greenhalgh, C., & Kwon, H. (2014). Musical intersections across the digital and physical.

Digital musical experiences are commonplace, everyday occurrences for many of us. Digital technologies facilitate where, how and what we access, and they increasingly offer new methods for capturing, sharing, enhancing and supporting such musical exp... Read More about Musical intersections across the digital and physical.

A data mining framework to model consumer indebtedness with psychological factors (2014)
Conference Proceeding
Ladas, A., Ferguson, E., Garibaldi, J. M., & Aickelin, U. (2014). A data mining framework to model consumer indebtedness with psychological factors.

Modelling Consumer Indebtedness has proven to be a problem of complex nature. In this work we utilise Data Mining techniques and methods to explore the multifaceted aspect of Consumer Indebtedness by examining the contribution of Psychological Factor... Read More about A data mining framework to model consumer indebtedness with psychological factors.

An evolutionary algorithm for graph planarisation by vertex deletion (2014)
Conference Proceeding
Pinheiro, R. L., Constantino, A. A., de Mendonca, C. F. X., & Landa-Silva, D. (2014). An evolutionary algorithm for graph planarisation by vertex deletion.

A non-planar graph can only be planarised if it is structurally modified. This work presents a new heuristic algorithm that uses vertices deletion to modify a non-planar graph in order to obtain a planar subgraph. The proposed algorithm aims to delet... Read More about An evolutionary algorithm for graph planarisation by vertex deletion.

Personalising mobile advertising based on users’ installed apps (2014)
Conference Proceeding
Reps, J., Aickelin, U., Garibaldi, J. M., & Damski, C. (2014). Personalising mobile advertising based on users’ installed apps.

Mobile advertising is a billion pound industry that is rapidly expanding. The success of an advert is measured based on how users interact with it. In this paper we investigate whether the application of unsupervised learning and association rule min... Read More about Personalising mobile advertising based on users’ installed apps.

Incorporating spontaneous reporting system data to aid causal inference in longitudinal healthcare data (2014)
Conference Proceeding
Reps, J. M., & Aickelin, U. (2014). Incorporating spontaneous reporting system data to aid causal inference in longitudinal healthcare data.

Inferring causality using longitudinal observational databases is challenging due to the passive way the data are collected. The majority of associations found within longitudinal observational data are often non-causal and occur due to confounding.... Read More about Incorporating spontaneous reporting system data to aid causal inference in longitudinal healthcare data.

Refining adverse drug reactions using association rule mining for electronic healthcare data (2014)
Conference Proceeding
Reps, J. M., Aickelin, U., Ma, J., & Zhang, Y. (2014). Refining adverse drug reactions using association rule mining for electronic healthcare data.

Side effects of prescribed medications are a common occurrence. Electronic healthcare databases present the opportunity to identify new side effects efficiently but currently the methods are limited due to confounding (i.e. when an association betwee... Read More about Refining adverse drug reactions using association rule mining for electronic healthcare data.

Practical detection of a definitive biomarker panel for Alzheimer's disease: comparisons between matched plasma and cerebrospinal fluid (2014)
Journal Article
Richens, J. L., Vere, K., Light, R. A., Soria, D., Garibaldi, J., Smith, A. D., …O’Shea, P. (2014). Practical detection of a definitive biomarker panel for Alzheimer's disease: comparisons between matched plasma and cerebrospinal fluid. International Journal of Molecular Epidemiology and Genetics, IJMEG, 5(2),

Previous mass spectrometry analysis of cerebrospinal fluid (CSF) has allowed the identification of a panel of molecular markers that are associated with Alzheimer’s disease (AD). The panel comprises Amyloid beta, Apolipoprotein E, Fibrinogen alpha ch... Read More about Practical detection of a definitive biomarker panel for Alzheimer's disease: comparisons between matched plasma and cerebrospinal fluid.

Variability of behaviour in electricity load profile clustering: who does things at the same time each day? (2014)
Conference Proceeding
Dent, I., Craig, T., Aickelin, U., & Rodden, T. (2014). Variability of behaviour in electricity load profile clustering: who does things at the same time each day?. In P. Perner (Ed.), Advances in data mining: applications and theoretical aspects: 14th Industrial Conference, ICDM 2014, St. Petersburg, Russia, July 16-20, 2014: proceedings (70–84). https://doi.org/10.1007/978-3-319-08976-8_6

UK electricity market changes provide opportunities to alter households' electricity usage patterns for the benefit of the overall electricity network. Work on clustering similar households has concentrated on daily load profiles and the variability... Read More about Variability of behaviour in electricity load profile clustering: who does things at the same time each day?.