Skip to main content

Research Repository

Advanced Search

All Outputs (115)

Adaptive selection of heuristics for improving exam timetables (2014)
Journal Article
Burke, E., Qu, R., & Soghier, A. (2014). Adaptive selection of heuristics for improving exam timetables. Annals of Operations Research, 218(1), https://doi.org/10.1007/s10479-012-1140-3

This paper presents a hyper-heuristic approach which hybridises low-level heuristic moves to improve timetables. Exams which cause a soft-constraint violation in the timetable are ordered and rescheduled to produce a better timetable. It is observed... Read More about Adaptive selection of heuristics for improving exam timetables.

You’ll never walk alone: designing a location-based soundtrack (2014)
Presentation / Conference Contribution
Hazzard, A., Benford, S., & Burnett, G. (2014). You’ll never walk alone: designing a location-based soundtrack.

Musical soundtracks have great potential to enhance mobile walking experiences such as tours and guides, much as they already do for films and games. They also raise new challenges for composers as the music must fit a given landscape and respond to... Read More about You’ll never walk alone: designing a location-based soundtrack.

A stochastic local search algorithm with adaptive acceptance for high-school timetabling (2014)
Journal Article
Kheiri, A., Özcan, E., & Parkes, A. J. (2016). A stochastic local search algorithm with adaptive acceptance for high-school timetabling. Annals of Operations Research, 239(1), 135-151. https://doi.org/10.1007/s10479-014-1660-0

Automating high school timetabling is a challenging task. This problem is a well known hard computational problem which has been of interest to practitioners as well as researchers. High schools need to timetable their regular activities once per yea... Read More about A stochastic local search algorithm with adaptive acceptance for high-school timetabling.

A logic for reasoning about knowledge of unawareness (2014)
Journal Article
Agotnes, T., & Alechina, N. (2014). A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information, 23(2), https://doi.org/10.1007/s10849-014-9201-4

In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of” – without using a stronger statement such as... Read More about A logic for reasoning about knowledge of unawareness.

Supporting team coordination on the ground: requirements from a mixed reality game (2014)
Presentation / Conference Contribution
Fischer, J. E., Jiang, W., Kerne, A., Greenhalgh, C., Ramchurn, S. D., Reece, S., …Rodden, T. (2014). Supporting team coordination on the ground: requirements from a mixed reality game.

We generate requirements for time-critical distributed team support relevant for domains such as disaster response. We present the Radiation Response Game to investigate socio-technical issues regarding team coordination. Field responders in this mix... Read More about Supporting team coordination on the ground: requirements from a mixed reality game.

A Dynamic Multiarmed Bandit-Gene Expression Programming Hyper-Heuristic for Combinatorial Optimization Problems (2014)
Journal Article
Sabar, N. R., Ayob, M., Kendall, G., & Qu, R. (2015). A Dynamic Multiarmed Bandit-Gene Expression Programming Hyper-Heuristic for Combinatorial Optimization Problems. IEEE Transactions on Cybernetics, 45(2), 217-228. https://doi.org/10.1109/TCYB.2014.2323936

Hyper-heuristics are search methodologies that aim to provide high-quality solutions across a wide variety of problem domains, rather than developing tailor-made methodologies for each problem instance/domain. A traditional hyper-heuristic framework... Read More about A Dynamic Multiarmed Bandit-Gene Expression Programming Hyper-Heuristic for Combinatorial Optimization Problems.

Smart grids, smart users? The role of the user in demand side management (2014)
Journal Article
Goulden, M., Bedwell, B., RODDEN, T., Rennick-Egglestone, S., & Spence, A. (2014). Smart grids, smart users? The role of the user in demand side management. Energy Research and Social Science, 2, 21-29. https://doi.org/10.1016/j.erss.2014.04.008

Smart grids are a key feature of future energy scenarios, with the overarching goal of better aligning energy generation and demand. The work presented here considers the role of the user in such systems, and the contexts in which such roles might em... Read More about Smart grids, smart users? The role of the user in demand side management.

Online learning and fusion of orientation appearance models for robust rigid object tracking (2014)
Journal Article
Marras, I., Tzimiropoulos, G., Zafeiriou, S., & Pantic, M. (2014). Online learning and fusion of orientation appearance models for robust rigid object tracking. Image and Vision Computing, 32(10), 707-727. https://doi.org/10.1016/j.imavis.2014.04.017

We introduce a robust framework for learning and fusing of orientation appearance models based on both texture and depth information for rigid object tracking. Our framework fuses data obtained from a standard visual camera and dense depth maps obtai... Read More about Online learning and fusion of orientation appearance models for robust rigid object tracking.

Social implications of agent-based planning support for human teams (2014)
Presentation / Conference Contribution
Jiang, W., Fischer, J. E., Greenhalgh, C., Ramchurn, S. D., Wu, F., Jennings, N. R., & Rodden, T. (2014). Social implications of agent-based planning support for human teams.

We present a field trial of how instructions from an intelligent planning agent are dealt with by distributed human teams, in a time-critical task setting created through a mixed-reality game. We conduct interaction analysis to examine video recorded... Read More about Social implications of agent-based planning support for human teams.

More than Liking and Bookmarking? Towards Understanding Twitter Favouriting Behaviour (2014)
Presentation / Conference Contribution
Meier, F., Elsweiler, D., & Wilson, M. L. (2014). More than Liking and Bookmarking? Towards Understanding Twitter Favouriting Behaviour. In Proceedings of the Eighth International Conference on Webligs and Social media (346-355)

Microblogging services, such as Twitter, offer a variety of interactive features that allow users to engage with contacts in their social network and the content they produce. One such feature is the favourite button on Twitter, an icon in the form o... Read More about More than Liking and Bookmarking? Towards Understanding Twitter Favouriting Behaviour.

Using adaptive architecture to support yoga practices: social considerations for design (2014)
Presentation / Conference Contribution
Jäger, N., Moran, S., & Schnädelbach, H. (in press). Using adaptive architecture to support yoga practices: social considerations for design. In 2014 IEEE International Conference on Pervasive Computing and Communication Workshops (PERCOM WORKSHOPS). https://doi.org/10.1109/PerComW.2014.6815144

The field of Adaptive Architecture aims to design built environments, which truly adapt to their occupants. ExoBuilding is an in-house prototypical example of Adaptive Architecture, which actuates in response to breathing and heart- rate of its occup... Read More about Using adaptive architecture to support yoga practices: social considerations for design.

Verifying heterogeneous multi-agent programs (2014)
Presentation / Conference Contribution
Doan, T. T., Yuan, Y., Alechina, N., & Logan, B. (2014). Verifying heterogeneous multi-agent programs. In AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems (149-156). https://doi.org/10.5555/2615731.2615758

We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming... Read More about Verifying heterogeneous multi-agent programs.

An optimization spiking neural P system for approximately solving combinatorial optimization problems (2014)
Journal Article
Zhang, G., Rong, H., Neri, F., & Pérez-Jiménez, M. J. (2014). An optimization spiking neural P system for approximately solving combinatorial optimization problems. International Journal of Neural Systems, 24(5), Article 1440006. https://doi.org/10.1142/S0129065714400061

Membrane systems (also called P systems) refer to the computing models abstracted from the structure and the functioning of the living cell as well as from the cooperation of cells in tissues, organs, and other populations of cells. Spiking neural P... Read More about An optimization spiking neural P system for approximately solving combinatorial optimization problems.

Measuring the effect of Think Aloud Protocols on workload using fNIRS (2014)
Presentation / Conference Contribution
Pike, M. F., Maior, H. A., Porcheron, M., Sharples, S. C., & Wilson, M. L. (2014). Measuring the effect of Think Aloud Protocols on workload using fNIRS. . https://doi.org/10.1145/2556288.2556974

The Think Aloud Protocol (TAP) is a verbalisation technique widely employed in HCI user studies to give insight into user experience, yet little work has explored the impact that TAPs have on participants during user studies. This paper utilises a br... Read More about Measuring the effect of Think Aloud Protocols on workload using fNIRS.

Doing the laundry with agents: a field trial of a future smart energy system in the home (2014)
Presentation / Conference Contribution
Costanza, E., Fischer, J. E., Colley, J., Rodden, T., Ramchurn, S. D., & Jennings, N. R. (2014). Doing the laundry with agents: a field trial of a future smart energy system in the home. In CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (813–822). https://doi.org/10.1145/2556288.2557167

Future energy systems that rely on renewable energy may bring about a radical shift in how we use energy in our homes. We developed and prototyped a future scenario with highly variable, real-time electricity prices due to a grid that mainly relies o... Read More about Doing the laundry with agents: a field trial of a future smart energy system in the home.

Human values in curating a human rights media archive (2014)
Presentation / Conference Contribution
Durrant, A., Kirk, D., & Reeves, S. (2014). Human values in curating a human rights media archive. In CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/2556288.2557196

Cultural institutions, such as museums, often curate politically and ethically sensitive materials. Increasingly, Internet-enabled, digital technology intersects with these curatorial practices offering new opportunities for public and scholarly enga... Read More about Human values in curating a human rights media archive.

Gifting personal interpretations in galleries (2014)
Presentation / Conference Contribution
Fosh, L., Benford, S., Reeves, S., & Koleva, B. (2014). Gifting personal interpretations in galleries. In CHI 2014 : conference proceedings: the 32nd annual ACM Conference on Human Factors in Computing Systems, Toronto, Canada, April 26 - May 1, 2014

The designers of mobile guides for museums and galleries face three major challenges: fostering rich interpretation, delivering deep personalization, and enabling a coherent social visit. We propose an approach to tackling all three simultaneously by... Read More about Gifting personal interpretations in galleries.

The automatic design of hyper-heuristic framework with gene expression programming for combinatorial optimization problems (2014)
Journal Article
Sabar, N., Ayob, M., Kendall, G., & Qu, R. (2014). The automatic design of hyper-heuristic framework with gene expression programming for combinatorial optimization problems. IEEE Transactions on Evolutionary Computation, https://doi.org/10.1109/TEVC.2014.2319051

Hyper-heuristic approaches aim to automate heuristic design in order to solve multiple problems instead of designing tailor-made methodologies for individual problems. Hyper-heuristics accomplish this through a high level heuristic (heuristic selecti... Read More about The automatic design of hyper-heuristic framework with gene expression programming for combinatorial optimization problems.

Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment (2014)
Presentation / Conference Contribution
Moran, S., Pantidi, N., Rodden, T., Chamberlain, A., Griffiths, C., Zilli, D., & Merrett, G. (2014). Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment. . https://doi.org/10.1145/2556288.2557022

Our natural environment is complex and sensitive, and is home to a number of species on the verge of extinction. Surveying is one approach to their preservation, and can be supported by technology. This paper presents the deployment of a smartphone-b... Read More about Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment.