All Outputs (144)

Efficient minimal preference change (2015)
Journal Article
Alechina, N., Liu, F., & Logan, B. (2018). Efficient minimal preference change. Journal of Logic and Computation, 28(8), 1715–1733. https://doi.org/10.1093/logcom/exv027

In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfor... Read More about Efficient minimal preference change.

Markers of progression in early-stage invasive breast cancer: a predictive immunohistochemical panel algorithm for distant recurrence risk stratification (2015)
Journal Article
Aleskandarany, M. A., Soria, D., Green, A. R., Nolan, C., Diez-Rodriguez, M., Ellis, I. O., & Rakha, E. A. (2015). Markers of progression in early-stage invasive breast cancer: a predictive immunohistochemical panel algorithm for distant recurrence risk stratification. Breast Cancer Research and Treatment, 151(2), 325-333. https://doi.org/10.1007/s10549-015-3406-3

Accurate distant metastasis (DM) prediction is critical for risk stratification and effective treatment decisions in breast cancer (BC). Many prognostic markers/models based on tissue marker studies are continually emerging using conventional statist... Read More about Markers of progression in early-stage invasive breast cancer: a predictive immunohistochemical panel algorithm for distant recurrence risk stratification.

Feature-based Lucas-Kanade and Active Appearance Models (2015)
Journal Article
Antonakos, E., Alabort-i-Medina, J., Tzimiropoulos, G., & Zafeiriou, S. P. (2015). Feature-based Lucas-Kanade and Active Appearance Models. IEEE Transactions on Image Processing, 24(9), https://doi.org/10.1109/TIP.2015.2431445

Lucas-Kanade and Active Appearance Models are among the most commonly used methods for image alignment and facial fitting, respectively. They both utilize non-linear gradient descent, which is usually applied on intensity values. In this paper, we pr... Read More about Feature-based Lucas-Kanade and Active Appearance Models.

Identifying candidate risk factors for prescription drug side effects using causal contrast set mining (2015)
Conference Proceeding
Reps, J. M., & Aickelin, U. (2015). Identifying candidate risk factors for prescription drug side effects using causal contrast set mining.

Big longitudinal observational databases present the opportunity to extract new knowledge in a cost effective manner. Unfortunately, the ability of these databases to be used for causal inference is limited due to the passive way in which the data ar... Read More about Identifying candidate risk factors for prescription drug side effects using causal contrast set mining.

Practical run-time norm enforcement with bounded lookahead (2015)
Conference Proceeding
Alechina, N., Bulling, N., Dastani, M., & Logan, B. (2015). Practical run-time norm enforcement with bounded lookahead.

Norms have been widely proposed as a means of coordinating and controlling the behaviour of agents in a multi-agent system. A key challenge in normative MAS is norm enforcement: how and when to restrict the agents’ behaviour in order to obtain a des... Read More about Practical run-time norm enforcement with bounded lookahead.

HAC-ER: A Disaster Response System based on Human-Agent Collectives (2015)
Conference Proceeding
Ramchurn, S. D., Huynh, T. D., Ikuno, Y., Flann, J., Wu, F., Moreau, L., …Roberts, S. (2015). HAC-ER: A Disaster Response System based on Human-Agent Collectives. In AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (533-541)

This paper proposes a novel disaster management system called HAC-ER that addresses some of the challenges faced by emergency responders by enabling humans and agents, using state-of-the-art algorithms, to collaboratively plan and carry out tasks in... Read More about HAC-ER: A Disaster Response System based on Human-Agent Collectives.

The capacity-C torch problem (2015)
Journal Article
Backhouse, R., & Truong, T. M. (2015). The capacity-C torch problem. Science of Computer Programming, 102, https://doi.org/10.1016/j.scico.2015.01.003

The torch problem (also known as the bridge problem or the flashlight problem) is about getting a number of people across a bridge as quickly as possible under certain constraints. Although a very simply stated problem, the solution is surprisingly n... Read More about The capacity-C torch problem.

Detecting change and dealing with uncertainty in imperfect evolutionary environments (2015)
Journal Article
Mujtaba, H., Kendall, G., Baig, A. R., & Özcan, E. (2015). Detecting change and dealing with uncertainty in imperfect evolutionary environments. Information Sciences, 302, https://doi.org/10.1016/j.ins.2014.12.053

Imperfection of information is a part of our daily life; however, it is usually ignored in learning based on evolutionary approaches. In this paper we develop an Imperfect Evolutionary System that provides an uncertain and chaotic imperfect environme... Read More about Detecting change and dealing with uncertainty in imperfect evolutionary environments.

The Challenges of Using Biodata in Promotional Filmmaking (2015)
Journal Article
Reeves, S., Martindale, S., Tennent, P., Benford, S., Marshall, J., & Walker, B. (2015). The Challenges of Using Biodata in Promotional Filmmaking. ACM Transactions on Computer-Human Interaction, 22(3), 1-26. https://doi.org/10.1145/2699758

© 2015 ACM. We present a study of how filmmakers collected and visualized physiological data - "biodata" - to construct a series of short promotional films depicting people undergoing "thrilling" experiences. Drawing on ethnographic studies of two ma... Read More about The Challenges of Using Biodata in Promotional Filmmaking.

Higher Homotopies in a Hierarchy of Univalent Universes (2015)
Journal Article
Kraus, N., & Sattler, C. (2015). Higher Homotopies in a Hierarchy of Univalent Universes. ACM Transactions on Computational Logic, 16(2), https://doi.org/10.1145/2729979

For Martin-Lof type theory with a hierarchy U(0): U(1): U(2): ... of univalent universes, we show that U(n) is not an n-type. Our construction also solves the problem of finding a type that strictly has some high truncation level without using higher... Read More about Higher Homotopies in a Hierarchy of Univalent Universes.

Run spot run: capturing and tagging footage of a race by crowds of spectators (2015)
Conference Proceeding
Flintham, M. D., Velt, R., Wilson, M. L., Anstead, E. J., Benford, S., Brown, A., …Sprinks, J. (2015). Run spot run: capturing and tagging footage of a race by crowds of spectators. In CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (747-756). https://doi.org/10.1145/2702123.2702463

There has been a massive growth in the number of people who film and upload amateur footage of events to services such as Facebook and Youtube, or even stream live to services such as LiveStream. We present an exploratory study that investigates the... Read More about Run spot run: capturing and tagging footage of a race by crowds of spectators.

Mixed-Initiative Approaches to Global Editing in Slideware (2015)
Conference Proceeding
Edge, D., Milic-Frayling, N., Gulwani, S., Raza, M., Adhitya Saputra, R., Wang, C., & Yatani, K. (2015). Mixed-Initiative Approaches to Global Editing in Slideware. In CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. , (3503-3512). https://doi.org/10.1145/2702123.2702551

© Copyright 2015 ACM. Good alignment and repetition of objects across presentation slides can facilitate visual processing and contribute to audience understanding. However, creating and maintaining such consistency during slide design is difficult.... Read More about Mixed-Initiative Approaches to Global Editing in Slideware.

ArtMaps: Interpreting the spatial footprints of artworks (2015)
Conference Proceeding
Coughlan, T., Carletti, L., Giannachi, G., Benford, S., McAuley, D., Price, D., …Stack, J. (2015). ArtMaps: Interpreting the spatial footprints of artworks. In CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (407-416). https://doi.org/10.1145/2702123.2702281

© Copyright 2015 ACM. Creating and utilizing simple links between items and locations in map-based systems has become a mainstream component of modern computing. In this paper, we explore support for 'art mapping', an activity that requires considera... Read More about ArtMaps: Interpreting the spatial footprints of artworks.

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (2015)
Conference Proceeding
Luger, E., Urquhart, L., Rodden, T., & Golembewski, M. (2015). Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process. In CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (457-466). https://doi.org/10.1145/2702123.2702142

© Copyright 2015 ACM. The regulatory climate is in a process of change. Design, having been implicated for some time, is now explicitly linked to law. This paper recognises the heightened role of designers in the regulation of ambient interactive tec... Read More about Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process.

Provenance for the people: an HCI perspective on the W3C PROV standard through an online game (2015)
Conference Proceeding
Bachour, K., Wetzel, R., Flintham, M., Huynh, T. D., Rodden, T. A., & Moreau, L. (2015). Provenance for the people: an HCI perspective on the W3C PROV standard through an online game. In CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (2437-2446). https://doi.org/10.1145/2702123.2702455

In the information age, tools for examining the validity of data are invaluable. Provenance is one such tool, and the PROV model proposed by the World Wide Web Consortium in 2013 offers a means of expressing provenance in a machine readable format. I... Read More about Provenance for the people: an HCI perspective on the W3C PROV standard through an online game.

I'd Hide You: Performing Live Broadcasting in Public (2015)
Conference Proceeding
Reeves, S., Greiffenhagen, C., Flintham, M., Benford, S., Adams, M., Farr, J. R., & Tandavantij, N. (2015). I'd Hide You: Performing Live Broadcasting in Public. In CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (2573-2582). https://doi.org/10.1145/2702123.2702257

We present a study of a mixed reality game called 'I'd Hide You' that involves live video streaming from the city streets. We chart the significant challenges facing performers on the streets who must simultaneously engage in the game, stream compell... Read More about I'd Hide You: Performing Live Broadcasting in Public.

Objective methods for reliable detection of concealed depression (2015)
Journal Article
Solomon, C., Valstar, M. F., Morriss, R. K., & Crowe, J. (2015). Objective methods for reliable detection of concealed depression. Frontiers in ICT, 2, Article 5. https://doi.org/10.3389/fict.2015.00005

Recent research has shown that it is possible to automatically detect clinical depression from audio-visual recordings. Before considering integration in a clinical pathway, a key question that must be asked is whether such systems can be easily fool... Read More about Objective methods for reliable detection of concealed depression.

An iterated local search with multiple perturbation operators and time varying perturbation strength for the aircraft landing problem (2015)
Journal Article
Sabar, N. R., & Kendall, G. (2015). An iterated local search with multiple perturbation operators and time varying perturbation strength for the aircraft landing problem. Omega, 56, 88-98. https://doi.org/10.1016/j.omega.2015.03.007

Landing aircraft safely is an important operation that air traffic controllers have to deal with on a daily basis. For each arriving aircraft a runway and a landing time must be allocated. If these allocations can be done in an efficient way, it coul... Read More about An iterated local search with multiple perturbation operators and time varying perturbation strength for the aircraft landing problem.

Juxtaposition of System Dynamics and Agent-Based Simulation for a Case Study in Immunosenescence (2015)
Journal Article
Figueredo, G. P., Siebers, P., Aickelin, U., Whitbrook, A., & Garibaldi, J. M. (2015). Juxtaposition of System Dynamics and Agent-Based Simulation for a Case Study in Immunosenescence. PLoS ONE, 10(3), Article e0118359. https://doi.org/10.1371/journal.pone.0118359

Advances in healthcare and in the quality of life significantly increase human life expectancy. With the aging of populations, new un-faced challenges are brought to science. The human body is naturally selected to be well-functioning until the age o... Read More about Juxtaposition of System Dynamics and Agent-Based Simulation for a Case Study in Immunosenescence.

Monads need not be endofunctors (2015)
Journal Article
Altenkirch, T., Chapman, J., & Uustalu, T. (2015). Monads need not be endofunctors. Logical Methods in Computer Science, 11(1), 1-40. https://doi.org/10.2168/LMCS-11%281%3A3%292015

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed ?-calculus syntax and indexed containers. We show tha... Read More about Monads need not be endofunctors.