Skip to main content

Research Repository

Advanced Search

All Outputs (145)

Calculating correct compilers (2015)
Journal Article
Bahr, P., & Hutton, G. (2015). Calculating correct compilers. Journal of Functional Programming, 25, Article e14. https://doi.org/10.1017/S0956796815000180

© 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)
Presentation / Conference Contribution
Figueredo, G. P., Quinlan, P., Mesgarpour, M., Garibaldi, J. M., & John, R. (2015). A data analysis framework to rank HGV drivers.

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.

An iterated multi-stage selection hyper-heuristic (2015)
Journal Article
Kheiri, A., & Özcan, E. (2016). An iterated multi-stage selection hyper-heuristic. European Journal of Operational Research, 250(1), https://doi.org/10.1016/j.ejor.2015.09.003

There is a growing interest towards the design of reusable general purpose search methods that are applicable to different 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.

Fuzzy multi-criteria decision making for carbon dioxide geological storage in Turkey (2015)
Journal Article
Deveci, M., Çetin Demirel, N., John, R., & Özcan, E. (in press). Fuzzy multi-criteria decision making for carbon dioxide geological storage in Turkey. Journal of Natural Gas Science and Engineering, 27(2), https://doi.org/10.1016/j.jngse.2015.09.004

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.

Lessons from building an automated pre-departure sequencer for airports (2015)
Journal Article
Atkin, J. A. D., Karapetyan, D., Parkes, A. J., & Castro-Gutierrez, J. (2015). Lessons from building an automated pre-departure sequencer for airports. Annals of Operations Research, 252(2), 435-453. https://doi.org/10.1007/s10479-015-1960-z

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

Privacy concerns arising from internet service personalization filters (2015)
Journal Article
Koene, A., Perez, E., Carter, C. J., Statache, R., Adolphs, S., O’Malley, C., …McAuley, D. (2015). Privacy concerns arising from internet service personalization filters. Computers and Society, 45(3), https://doi.org/10.1145/2874239.2874263

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.

Improving performance of a hyper-heuristic using a multilayer perceptron for vehicle routing (2015)
Presentation / Conference Contribution
Tyasnurita, R., Özcan, E., Shahriar, A., & John, R. (2015). Improving performance of a hyper-heuristic using a multilayer perceptron for vehicle routing.

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.

Learning from the experts: enabling and studying DIY development of location-based visitor experiences (2015)
Presentation / Conference Contribution
Bedwell, B. D., Slack, P., & Greenhalgh, C. (2015). Learning from the experts: enabling and studying DIY development of location-based visitor experiences. . https://doi.org/10.1145/2750858.2805838

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.

(1+1)-Evolutionary gradient strategy to evolve global term weights in information retrieval (2015)
Presentation / Conference Contribution
Ibrahim, O. A. S., & Landa-Silva, D. (2016). (1+1)-Evolutionary gradient strategy to evolve global term weights in information retrieval. In P. Angelov, A. Gegov, C. Jayne, & Q. Shen (Eds.), Advances in computational intelligence systems: contributions presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK (387–405). https://doi.org/10.1007/978-3-319-46562-3_25

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
Vallejos, E. P., Pothong, K., Coleman, S., Koene, A., Carter, C. J., Statache, R., …O'Malley, C. (2015). Juries: acting out digital dilemmas to promote digital reflections. Computers and Society, 45(3), 84-90. https://doi.org/10.1145/2874239.2874252

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
Carter, C. J., Koene, A., Perez, E., Statache, R., Adolphs, S., O'Malley, C., …McAuley, D. (2016). Understanding academic attitudes towards the ethical challenges posed by social media research. Computers and Society, 45(3), https://doi.org/10.1145/2874239.2874268

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)
Presentation / Conference Contribution
Avsar, H., Fischer, J. E., & Rodden, T. (2015). Target size guidelines for interactive displays on the flight deck.

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)
Presentation / Conference Contribution
Perez, I., & Nilsson, H. (2015). Bridging the GUI gap with reactive values and relations.

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)
Presentation / Conference Contribution
Radenkovic, M., Kostadinov, I., & Wietrzyk, B. (2015). Increasing communication reliability in manufacturing environments. In 2015 International Wireless Communications and Mobile Computing Conference (IWCMC). https://doi.org/10.1109/IWCMC.2015.7289283

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)
Presentation / Conference Contribution
Nguyen-Minh, H., Benslimane, A., & Radenkovic, M. (2015). Social delay tolerant approach for safety services in vehicular networks. In 2015 International Wireless Communications and Mobile Computing Conference (IWCMC). https://doi.org/10.1109/IWCMC.2015.7289253

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)
Presentation / Conference Contribution
Chowanda, A., Blanchfield, P., Flintham, M. D., & Valstar, M. F. (2015). Play SMILE Game with ERiSA: a user study on game companions. . https://doi.org/10.13140/RG.2.1.1211.3766

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)
Presentation / Conference Contribution
Porcheron, M. (2015). Reflecting on the study of mobile collocated interactions: the changing face of wearable devices.

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
Burgess, A. J., Retkute, R., Pound, M. P., Foulkes, J., Preston, S. P., Jensen, O. E., …Murchie, E. H. (2015). High-Resolution Three-Dimensional Structural Data Quantify the Impact of Photoinhibition on Long-Term Carbon Gain in Wheat Canopies in the Field. Plant Physiology, 169(2), 1192-1204. https://doi.org/10.1104/pp.15.00722

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)
Presentation / Conference Contribution
Araujo, L., Özcan, E., Atkin, J., Baumers, M., Tuck, C., & Hague, R. J. (2015). Toward better build volume packing in additive manufacturing: classification of existing problems and benchmarks.

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.