Outputs (118)

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)
Presentation / Conference Contribution
Brindley, P., Goulding, J., & Wilson, M. L. A data driven approach to mapping urban neighbourhoods. Presented at 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems

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)
Presentation / Conference Contribution
Castillo-Salazar, J. A., Landa-Silva, D., & Qu, R. Computational study for workforce scheduling and routing problems. Presented at 3rd International Conference on Operations Research and Enterprise Systems (ICORES 2014)

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.

An evolutionary algorithm for graph planarisation by vertex deletion (2014)
Presentation / Conference Contribution
Pinheiro, R. L., Constantino, A. A., de Mendonca, C. F. X., & Landa-Silva, D. An evolutionary algorithm for graph planarisation by vertex deletion. Presented at 16th International Conference on Enterprise Information Systems (ICEIS 2014)

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.

Variability of behaviour in electricity load profile clustering: who does things at the same time each day? (2014)
Presentation / Conference Contribution
Dent, I., Craig, T., Aickelin, U., & Rodden, T. (2014, July). Variability of behaviour in electricity load profile clustering: who does things at the same time each day?. Presented at 14th Industrial Conference, ICDM 2014, St. Petersburg, Russia

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?.

Gauss-Newton deformable part models for face alignment in-the-wild (2014)
Presentation / Conference Contribution
Tzimiropoulos, G., & Pantic, M. (2014, June). Gauss-Newton deformable part models for face alignment in-the-wild. Presented at 2014 IEEE Conference on Computer Vision and Pattern Recognition, Columbus, Ohio

Arguably, Deformable Part Models (DPMs) are one of the most prominent approaches for face alignment with impressive results being recently reported for both controlled lab and unconstrained settings. Fitting in most DPM methods is typically formulate... Read More about Gauss-Newton deformable part models for face alignment in-the-wild.