Skip to main content

Research Repository

Advanced Search

Outputs (492)

Dimensional analysis based causal ordering (1999)
Presentation / Conference Contribution
Shen, Q., Peng, T., & Milne, R. (1999). Dimensional analysis based causal ordering. In Proceedings of the 13th International Workshop on Qualitative Reasoning (193-202)

This paper presents a novel approach for generating causal dependencies between system variables, from an acausal description of the system behaviour, and for identifying the end causal impact; in terms of whether a change in the value of an influenc... Read More about Dimensional analysis based causal ordering.

Lessons from experience: making theorem provers more co-operative. (1996)
Presentation / Conference Contribution
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996). Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers (67-74)

We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove theorems in a semi-automated theorem proving system. We describe various unde... Read More about Lessons from experience: making theorem provers more co-operative..

Two solutions to the general timetable problem using evolutionary algorithms. (1994)
Presentation / Conference Contribution
Paechter, B., Luchian, H., Cumming, A., & Petriuc, M. (1994, June). Two solutions to the general timetable problem using evolutionary algorithms. Presented at First IEEE Conference on Evolutionary Computation, 1994 IEEE World Congress on Computational Intelligence

The general timetable problem, which involves the placing of events requiring limited resources into timeslots, has been approached in many different ways. This paper describes two approaches to solving the problem using evolutionary algorithms.... Read More about Two solutions to the general timetable problem using evolutionary algorithms..

Boosting the Immune System (2008)
Presentation / Conference Contribution
McEwan, C., Hart, E., & Paechter, B. (2008). Boosting the Immune System. In Artificial Immune Systems (316-327). https://doi.org/10.1007/978-3-540-85072-4_28

Much of contemporary research in Artificial Immune Systems (AIS) has partitioned into either algorithmic machine learning and optimisation, or modelling biologically plausible dynamical systems, with little overlap between. Although the balance is la... Read More about Boosting the Immune System.

AGADE how individual guidance leads to group behaviour and how this can be simulated (2014)
Presentation / Conference Contribution
Farrenkopf, T., Guckert, M., Hoffmann, B., & Urquhart, N. B. (2014, September). AGADE how individual guidance leads to group behaviour and how this can be simulated. Presented at 12th German Conference, MATES 2014, Stuttgart, Germany

In this paper we will demonstrate how BDI agents can be used to model individuals as participants in social structures where they act as potential buyers in a simple mobile phone market simulation. The simulation presented here is run in AGADE (Agile... Read More about AGADE how individual guidance leads to group behaviour and how this can be simulated.

Design challenges in motivating change for sustainable urban mobility (2014)
Journal Article
Gabrielli, S., Forbes, P., Jylha, A., Wells, S., Sirén, M., Hemminki, S., Nurmi, P., Maimone, R., Masthoff, J., & Jacucci, G. (2014). Design challenges in motivating change for sustainable urban mobility. Computers in Human Behavior, 41, 416-423. https://doi.org/10.1016/j.chb.2014.05.026

In recent years, the design and deployment of persuasive interventions for inducing sustainable urban mobility behaviors has become a very active research field, leveraging on the pervasive usage of social media and mobile apps by citizens in their d... Read More about Design challenges in motivating change for sustainable urban mobility.

Benefits management of cloud computing investments (2014)
Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014). Benefits management of cloud computing investments. International Journal of Advanced Computer Science and Applications, 5(7), 1-9. https://doi.org/10.14569/IJACSA.2014.050701

This paper examines investments in cloud computing using the Benefits Management approach. The major contribution of the paper is to provide a unique insight into how organizations derive value from cloud computing investments. The motivation for wri... Read More about Benefits management of cloud computing investments.

An Upper Ontology for Benefits Management of Cloud Computing (2014)
Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014). An Upper Ontology for Benefits Management of Cloud Computing. International Journal of Advanced Computer Science and Applications, 5(12), https://doi.org/10.14569/IJACSA.2014.051211

Benefits Management provides an established approach for decision making and value extraction for IT/IS investments and, can be used to examine cloud computing investments. The motivation for developing an upper ontology for Benefits Management is th... Read More about An Upper Ontology for Benefits Management of Cloud Computing.

Men's Facial Masculinity: When (Body) Size Matters (2014)
Journal Article
Holzleitner, I., Hunter, D., Tiddeman, B., Seck, A., Re, D., & Perrett, D. (2014). Men's Facial Masculinity: When (Body) Size Matters. Perception, 43(11), 1191-1202. https://doi.org/10.1068/p7673

Recent studies suggest that judgments of facial masculinity reflect more than sexually dimorphic shape. Here, we investigated whether the perception of masculinity is influenced by facial cues to body height and weight. We used the average difference... Read More about Men's Facial Masculinity: When (Body) Size Matters.

Cloud Migration Patterns: A Multi-Cloud Service Architecture Perspective. (2014)
Presentation / Conference Contribution
Jamshidi, P., Pahl, C., Chinenyeze, S., & Liu, X. (2014). Cloud Migration Patterns: A Multi-Cloud Service Architecture Perspective.

Many organizations migrate their on-premise software systems to the cloud. However, current coarse-grained cloud migration solutions have made a transparent migration of on-premise applications to the cloud a difficult, sometimes trial-and-error base... Read More about Cloud Migration Patterns: A Multi-Cloud Service Architecture Perspective..

The design space of temporal graph visualisation. (2014)
Presentation / Conference Contribution
Kerracher, N., Kennedy, J., & Chalmers, K. (2014, June). The design space of temporal graph visualisation. Presented at 8th Eurographics Conference on Visualization (EuroVis '14)

This paper presents our work in mapping the design space of techniques for temporal graph visualisation. We identify two independent dimensions upon which the techniques can be classified: graph structural encoding and temporal encoding. Based on the... Read More about The design space of temporal graph visualisation..

Techniques for Auditing the ICT Carbon Footprint of an Organisation (2014)
Journal Article
Mouchet, C., Urquhart, N., & Kemmer, R. (2014). Techniques for Auditing the ICT Carbon Footprint of an Organisation. International Journal of Green Computing, 5(1), 44-61. https://doi.org/10.4018/ijgc.2014010104

This article has presents an extensive survey of the state of the art in Green IT/S. The findings of the survey suggest that there is scope for a reliable carbon footprint auditing tool for organisational ICT usage. A prototype auditing tool is devel... Read More about Techniques for Auditing the ICT Carbon Footprint of an Organisation.

Helium: visualization of large scale plant pedigrees (2014)
Journal Article
Shaw, P., Graham, M., Kennedy, J., Milne, I., & Marshall, D. F. (2014). Helium: visualization of large scale plant pedigrees. BMC Bioinformatics, 15, Article 259. https://doi.org/10.1186/1471-2105-15-259

Plant breeders use an increasingly diverse range of data types to identify lines with desirable characteristics suitable to be taken forward in plant breeding programmes. There are a number of key morphological and physiological traits, such as disea... Read More about Helium: visualization of large scale plant pedigrees.

Argument Mining: Was Ist Das? (2014)
Presentation / Conference Contribution
Wells, S. (2014). Argument Mining: Was Ist Das?.

Argument Mining has become an increasingly popular term over the last few years but it is unclear to what exactly the term refers. It definitely refers to an area of endeavour within argumentation theory and within computational argumentation and... Read More about Argument Mining: Was Ist Das?.

Towards an applied gamification model for tracking, managing, & encouraging sustainable travel behaviours. (2014)
Presentation / Conference Contribution
Wells, S., Kotkanen, H., Schlafli, M., Gabrielli, S., Masthoff, J., Jylha, A., & Forbes, P. (2014, May). Towards an applied gamification model for tracking, managing, & encouraging sustainable travel behaviours. Paper presented at First Urban Sustainable, CollaboratIve, and Adaptive MObility (USCIAMO) Workshop

In this paper we introduce a gamification model for encouraging sustainable multi-modal urban travel in modern European cities. Our aim is to provide a mechanism that encourages users to reflect on their current travel behaviours and to engage in mor... Read More about Towards an applied gamification model for tracking, managing, & encouraging sustainable travel behaviours..

Using Code Generation to Build a Platform for Developing and Testing Dialogue Games. (2014)
Presentation / Conference Contribution
Yuan, T., Manandhar, S., & Wells, S. (2014). Using Code Generation to Build a Platform for Developing and Testing Dialogue Games.

Despite increasing research into their use as a vehicle for Human- Computer Dialogue and Inter-Agent Communication, Dialogue Games have not seen good uptake in industry. One of the reasons for this is the lack of methodologies and tooling for the... Read More about Using Code Generation to Build a Platform for Developing and Testing Dialogue Games..

Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds (2013)
Journal Article
Wei, H., Wang, Z., Liu, X., Chalmers, K., & Cheng, G. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds. Journal of Industrial and Intelligent Information, 1(1), 6-9. https://doi.org/10.12720/jiii.1.1.6-9

The proposed research will focus on developing a novel approach to solve Software Service Evolution problems in Computing Clouds. The approach will support dynamic evolution of the software service in clouds via a set of discovered evolution patterns... Read More about Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds.