Skip to main content

Research Repository

Advanced Search

All Outputs (144)

Solving high school timetabling problems worldwide using selection hyper-heuristics (2015)
Journal Article
Ahmed, L. N., Özcan, E., & Kheiri, A. (2015). Solving high school timetabling problems worldwide using selection hyper-heuristics. Expert Systems with Applications, 42(13), https://doi.org/10.1016/j.eswa.2015.02.059

High school timetabling is one of those recurring NP-hard real-world combinatorial optimisation problems that has to be dealt with by many educational institutions periodically, and so has been of interest to practitioners and researchers. Solving a... Read More about Solving high school timetabling problems worldwide using selection hyper-heuristics.

A grouping hyper-heuristic framework: application on graph colouring (2015)
Journal Article
Elhag, A., & Özcan, E. (2015). A grouping hyper-heuristic framework: application on graph colouring. Expert Systems with Applications, 42(13), https://doi.org/10.1016/j.eswa.2015.01.038

Grouping problems are hard to solve combinatorial optimisation problems which require partitioning of objects into a minimum number of subsets while a given objective is simultaneously optimised. Selection hyper-heuristics are high level general purp... Read More about A grouping hyper-heuristic framework: application on graph colouring.

The Ethical Implications of HCI's Turn to the Cultural (2015)
Journal Article
Benford, S., Greenhalgh, C., Anderson, B., Jacobs, R., Golembewski, M., Jirotka, M., …Jennings, K. (2015). The Ethical Implications of HCI's Turn to the Cultural. ACM Transactions on Computer-Human Interaction, 22(5), 1-37. https://doi.org/10.1145/2775107

We explore the ethical implications of HCI’s turn to the ‘cultural’. This is motivated by an awareness of how cultural applications, in our case interactive performances, raise ethical issues that may challenge established research ethics processes.... Read More about The Ethical Implications of HCI's Turn to the Cultural.

Exploring opportunities to facilitate serendipity in search (2015)
Conference Proceeding
Rahman, M. A., & Wilson, M. L. (2015). Exploring opportunities to facilitate serendipity in search.

Serendipitously discovering new information can bring many benefits. Although we can design systems to highlight serendipitous information, serendipity cannot be easily orchestrated and is thus hard to study. In this paper, we deployed a working sear... Read More about Exploring opportunities to facilitate serendipity in search.

A study of human-agent collaboration for multi-UAV task allocation in dynamic environments (2015)
Conference Proceeding
Ramchurn, S. D., Fischer, J. E., Ikuno, Y., Wu, F., Flann, J., & Waldock, A. (2015). A study of human-agent collaboration for multi-UAV task allocation in dynamic environments.

We consider a setting where a team of humans oversee the coordination of multiple Unmanned Aerial Vehicles (UAVs) to perform a number of search tasks in dynamic environments that may cause the UAVs to drop out. Hence, we develop a set of multi-UAV su... Read More about A study of human-agent collaboration for multi-UAV task allocation in dynamic environments.

The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset (2015)
Journal Article
Aung, M. S., Kaltwang, S., Romera-Paredes, B., Martinez, B., Singh, A., Cella, M., …Bianchi-Berthouze, N. (2015). The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset. IEEE Transactions on Affective Computing, 99, https://doi.org/10.1109/TAFFC.2015.2462830

Pain-related emotions are a major barrier to effective self rehabilitation in chronic pain. Automated coaching systems capable of detecting these emotions are a potential solution. This paper lays the foundation for the development of such systems by... Read More about The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset.

Automatic detection of protected health information from clinic narratives (2015)
Journal Article
Yang, H., & Garibaldi, J. M. (2015). Automatic detection of protected health information from clinic narratives. Journal of Biomedical Informatics, 58(Suppl.), S30-S38. https://doi.org/10.1016/j.jbi.2015.06.015

This paper presents a natural language processing (NLP) system that was designed to participate in the 2014 i2b2 de-identification challenge. The challenge task aims to identify and classify seven main Protected Health Information (PHI) categories an... Read More about Automatic detection of protected health information from clinic narratives.

Agile Planning for Real-World Disaster Response (2015)
Conference Proceeding
Wu, F., Ramchurn, S. D., Jiang, W., Fischer, J. E., Rodden, T., & Jennings, N. R. (2015). Agile Planning for Real-World Disaster Response. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (132-138)

We consider a setting where an agent-based planner instructs teams of human emergency responders to perform tasks in the real world. Due to uncertainty in the environment and the inability of the planner to consider all human preferences and all attr... Read More about Agile Planning for Real-World Disaster Response.

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic (2015)
Conference Proceeding
Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2015). On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model c... Read More about On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

Symbolic model checking for one-resource RB+-ATL (2015)
Conference Proceeding
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2015). Symbolic model checking for one-resource RB+-ATL.

RB+-ATL is an extension of ATL where it is possible to model consumption and production of several resources by a set of agents. The modelchecking problem for RB+-ATL is known to be decidable. However the only available model checking algorithm for R... Read More about Symbolic model checking for one-resource RB+-ATL.

Ethics considerations for Corpus Linguistic studies using internet resources (2015)
Conference Proceeding
Koene, A., Adolphs, S., Perez, E., Carter, C. J., Statache, R., O'Malley, C., …McAuley, D. (2015). Ethics considerations for Corpus Linguistic studies using internet resources. In Corpus Linguistics 2015: abstract book (204-206)

With the rising popularity of public and semi-public communication channels such as Blogs (late 1990s), Wikipedia (launched in 2001), Facebook (launched in 2004), Reddit (from 2005) and Twitter (from 2006), the Internet has become an increasingly fer... Read More about Ethics considerations for Corpus Linguistic studies using internet resources.

Navigating in large hospitals (2015)
Conference Proceeding
Hughes, N., Pinchin, J., Brown, M., & Shaw, D. E. (in press). Navigating in large hospitals.

Navigating around large hospitals can be a stressful and time-consuming experience for all users of the hospital infrastructure. Navigation difficulties encountered by patients and visitors can result in missed appointments or simply create a poor im... Read More about Navigating in large hospitals.

A Modified Ant Colony Optimization Algorithm for Network Coding Resource Minimization (2015)
Journal Article
Wang, Z., Xing, H., Li, T., Yang, Y., Qu, R., & Pan, Y. (2016). A Modified Ant Colony Optimization Algorithm for Network Coding Resource Minimization. IEEE Transactions on Evolutionary Computation, 20(3), 325-342. https://doi.org/10.1109/TEVC.2015.2457437

The paper presents a modified ant colony optimization approach for the network coding resource minimization problem. It is featured with several attractive mechanisms specially devised for solving the network coding resource minimization problem: 1)... Read More about A Modified Ant Colony Optimization Algorithm for Network Coding Resource Minimization.

Analysis of objectives relationships in multiobjective problems using trade-off region maps (2015)
Conference Proceeding
Pinheiro, R. L., Landa-Silva, D., & Atkin, J. (2015). Analysis of objectives relationships in multiobjective problems using trade-off region maps.

Understanding the relationships between objectives in many-objective optimisation problems is desirable in order to develop more effective algorithms. We propose a techniquefor the analysis and visualisation of complex relationships between many (thr... Read More about Analysis of objectives relationships in multiobjective problems using trade-off region maps.

HABIT: Horse Automated Behaviour Identification Tool: a position paper (2015)
Conference Proceeding
North, S., Hall, C., Roshier, A., & Mancini, C. (2015). HABIT: Horse Automated Behaviour Identification Tool: a position paper. In British HCI 2015: proceedings of the 2015 Britsh HCI conference

HABIT (Horse Automated Behaviour Identification Tool) is an Animal Computer Interaction (ACI) project, on the interdisciplinary boundary between equitation science and computer science. HABIT will automate the analysis and recognition of horse-to-hor... Read More about HABIT: Horse Automated Behaviour Identification Tool: a position paper.

A tensor analysis improved genetic algorithm for online bin packing (2015)
Conference Proceeding
Asta, S., & Özcan, E. (2015). A tensor analysis improved genetic algorithm for online bin packing. In Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15. https://doi.org/10.1145/2739480.2754787

Mutation in a Genetic Algorithm is the key variation operator adjusting the genetic diversity in a population throughout the evolutionary process. Often, a fixed mutation probability is used to perturb the value of a gene. In this study, we describe... Read More about A tensor analysis improved genetic algorithm for online bin packing.

Creativity Bento Box: a physical resource pack to support interaction in virtual space (2015)
Journal Article
Schnädelbach, H., Coughlan, T., Kefalidou, G., McAuley, D., & Meese, R. (in press). Creativity Bento Box: a physical resource pack to support interaction in virtual space. International Journal of Human-Computer Interaction, 31(11), https://doi.org/10.1080/10447318.2015.1067478

The Creativity Bento Box is a physical resource pack, designed to support casual social interaction and break taking in an intensive, computer-mediated social activity. It was developed within the Creativity Greenhouse project, which piloted a mechan... Read More about Creativity Bento Box: a physical resource pack to support interaction in virtual space.

Quantifying robustness of trust systems against collusive unfair rating attacks using information theory (2015)
Conference Proceeding
Wang, D., Muller, T., Zhang, J., & Liu, Y. (2015). Quantifying robustness of trust systems against collusive unfair rating attacks using information theory. In IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence. , (111-117)

Unfair rating attacks happen in existing trust and reputation systems, lowering the quality of the systems. There exists a formal model that measures the maximum impact of independent attackers [Wang et al., 2015] - based on information theory. We im... Read More about Quantifying robustness of trust systems against collusive unfair rating attacks using information theory.