All Outputs (145)

Calculating correct compilers (2015)
Journal Article

© 2016 Cambridge University Press. In this article, we present a new approach to the problem of calculating compilers. In particular, we develop a simple but general technique that allows us to derive correct compilers from high-level semantics by sy... Read More about Calculating correct compilers.

A data analysis framework to rank HGV drivers (2015)
Conference Proceeding

We report on the details of the methodology applied to support shortlisting the nominees for the Microlise Driver of the Year awards. The aim was to recognise the United Kingdom’s most talented heavy goods vehicle (HGV) drivers, with the list of top... Read More about A data analysis framework to rank HGV drivers.

Polymonad programming in Haskell (2015)
Conference Proceeding

Polymonads were recently introduced by Hicks et al. as a unified approach to programming with different notions of monads. Their work was mainly focussed on foundational aspects of the approach. In this article, we show how to incorporate the notion... Read More about Polymonad programming in Haskell.

An iterated multi-stage selection hyper-heuristic (2015)
Journal Article

There is a growing interest towards the design of reusable general purpose search methods that are applicable to di?erent problems instead of tailored solutions to a single particular problem. Hyper-heuristics have emerged as such high level methods... Read More about An iterated multi-stage selection hyper-heuristic.

Lessons from building an automated pre-departure sequencer for airports (2015)
Journal Article

© 2015, Springer Science+Business Media New York. Commercial airports are under increasing pressure to comply with the Eurocontrol collaborative decision making (CDM) initiative, to ensure that information is passed between stakeholders, integrate au... Read More about Lessons from building an automated pre-departure sequencer for airports.

Fuzzy multi-criteria decision making for carbon dioxide geological storage in Turkey (2015)
Journal Article

The problem of choosing the best location for CO2 storage is a crucial and challenging multi-criteria decision problem for some companies. This study compares the performance of three fuzzy-based multi-criteria decision making (MCDM) methods, includi... Read More about Fuzzy multi-criteria decision making for carbon dioxide geological storage in Turkey.

Learning from the experts: enabling and studying DIY development of location-based visitor experiences (2015)
Conference Proceeding

In this paper we show how -- with the aid of enabling technology -- creative Location Based Experiences can be developed for visitors by non-technical professionals from the cultural heritage sector. We look at how these "Place Experts" approach and... Read More about Learning from the experts: enabling and studying DIY development of location-based visitor experiences.

Improving performance of a hyper-heuristic using a multilayer perceptron for vehicle routing (2015)
Conference Proceeding

A hyper-heuristic is a heuristic optimisation method which generates or selects heuristics (move operators) based on a set of components while solving a computationally difficult problem. Apprenticeship learning arises while observing the behavior of... Read More about Improving performance of a hyper-heuristic using a multilayer perceptron for vehicle routing.

Privacy concerns arising from internet service personalization filters (2015)
Journal Article

Personal service customization, or personalization, is one of the core tools that are being used by on-line providers of information services such as search engines, social media, news sites and product recommender systems to optimize the individual... Read More about Privacy concerns arising from internet service personalization filters.

(1+1)-Evolutionary gradient strategy to evolve global term weights in information retrieval (2015)
Conference Proceeding

In many contexts of Information Retrieval (IR), term weights play an important role in retrieving the relevant documents responding to users' queries. The term weight measures the importance or the information content of a keyword existing in the doc... Read More about (1+1)-Evolutionary gradient strategy to evolve global term weights in information retrieval.

Juries: acting out digital dilemmas to promote digital reflections (2015)
Journal Article

A quick journey through prevention science (e.g., substance misuse prevention) and a comparison between online and offline risks, harm, and vulnerability in children suggests that new approaches and interventions are needed to promote Internet safety... Read More about Juries: acting out digital dilemmas to promote digital reflections.

Understanding academic attitudes towards the ethical challenges posed by social media research (2015)
Journal Article

In this paper, we outline an online survey-based study seeking to understand academic attitudes towards social media research ethics (SMRE). As the exploratory phase of a wider research project, findings are discussed in relation to the responses of... Read More about Understanding academic attitudes towards the ethical challenges posed by social media research.

Target size guidelines for interactive displays on the flight deck (2015)
Conference Proceeding

The avionics industry is seeking to understand the challenges and benefits of touchscreens on flight decks. This paper presents an investigation of interactive displays on the flight deck focusing on the impact of target size, placement and vibration... Read More about Target size guidelines for interactive displays on the flight deck.

Bridging the GUI gap with reactive values and relations (2015)
Conference Proceeding

There are at present two ways to write GUIs for functional code. One is to use standard GUI toolkits, with all the benefits they bring in terms of feature completeness, choice of platform, conformance to platform-specific look-and-feel, long-term via... Read More about Bridging the GUI gap with reactive values and relations.

Increasing communication reliability in manufacturing environments (2015)
Conference Proceeding

This paper is concerned with low cost mechanisms that can increase reliability of machine to machine and machine to cloud communications in increasingly complex manufacturing environments that are prone to disconnections and faults. We propose a nove... Read More about Increasing communication reliability in manufacturing environments.

Social delay tolerant approach for safety services in vehicular networks (2015)
Conference Proceeding

Vehicular networks have attracted attention for recent years due to their various and emerging applications supporting secure and convenient driving. Regarding specific features of vehicular networks, we propose a new Social-aware Vehicular DTN proto... Read More about Social delay tolerant approach for safety services in vehicular networks.

Play SMILE Game with ERiSA: a user study on game companions (2015)
Conference Proceeding

This paper describes the evaluation of our fully integrated virtual game companions framework (ERiSA) [4]. We conducted three user studies with different scenarios using two versions of The Smile Game[4] in semi-public and public spaces. In our study... Read More about Play SMILE Game with ERiSA: a user study on game companions.

Reflecting on the study of mobile collocated interactions: the changing face of wearable devices (2015)
Conference Proceeding

Wearables, unlike smartphones, typically afford increasingly private or discrete interactions that are invisible to the casual observer. This shifting paradigm of device interaction combined with the increasing popularity of wearables presents an exc... Read More about Reflecting on the study of mobile collocated interactions: the changing face of wearable devices.

High-Resolution Three-Dimensional Structural Data Quantify the Impact of Photoinhibition on Long-Term Carbon Gain in Wheat Canopies in the Field (2015)
Journal Article

Photoinhibition reduces photosynthetic productivity; however, it is difficult to quantify accurately in complex canopies partly because of a lack of high-resolution structural data on plant canopy architecture, which determines complex fluctuations o... Read More about High-Resolution Three-Dimensional Structural Data Quantify the Impact of Photoinhibition on Long-Term Carbon Gain in Wheat Canopies in the Field.

Toward better build volume packing in additive manufacturing: classification of existing problems and benchmarks (2015)
Conference Proceeding

In many cases, the efficient operation of Additive Manufacturing (AM) technology relies on build volumes being packed effectively. Packing algorithms have been developed in response to this requirement. The configuration of AM build volumes is partic... Read More about Toward better build volume packing in additive manufacturing: classification of existing problems and benchmarks.