Skip to navigation Skip to main content

Edinburgh Napier University

Research Explorer Tool

Find research

All
People
Outputs
Projects
Post Grad
News
Events

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

People (33)

Outputs (328)

Improving of the university course teaching methodology: a case study.

Wang, L., Chalmers, K. & Wang, Z. (2014). Improving of the university course teaching methodology: a case study. Scotland: Shanghai University, China
<p>Wang, L., Chalmers, K. & Wang, Z. (2014). Improving of the university course teaching methodology: a case study. Scotland: Shanghai University, China</p>

Improving of the university course teaching methodology: a case study

2014
Investigating communicating sequential processes for Java to support ubiquitous computing.

Chalmers, K. (2008). Investigating communicating sequential processes for Java to support ubiquitous computing. (Thesis)
<p>Chalmers, K. (2008). Investigating communicating sequential processes for Java to support ubiquitous computing. (Thesis)</p>

Ubiquitous Computing promises to enrich our everyday lives by enabling the environment to be enhanced via computational elements. These elements are designed to augment and su...

2008
A methodology for composing well-defined character descriptions.

Paterson, T., Cannon, A., Raguenaud, C., Russell, G., Armstrong, K. E., MacDonald, S. M., …Kennedy, J. (2002). A methodology for composing well-defined character descriptions
<p>Paterson, T., Cannon, A., Raguenaud, C., Russell, G., Armstrong, K. E., MacDonald, S. M., …Kennedy, J. (2002). A methodology for composing well-defined character descriptions</p>

Taxonomy has been described as “the science of documenting biodiversity”, which involves collecting, naming, describing, identifying and classifying specimens of organisms (Ke...

2002
Show more

Projects (52)

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

First

2
3

Last

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

Improving of the university course teaching methodology: a case study.

Wang, L., Chalmers, K. & Wang, Z. (2014). Improving of the university course teaching methodology: a case study. Scotland: Shanghai University, China
<p>Wang, L., Chalmers, K. & Wang, Z. (2014). Improving of the university course teaching methodology: a case study. Scotland: Shanghai University, China</p>

Improving of the university course teaching methodology: a case study

2014
Investigating communicating sequential processes for Java to support ubiquitous computing.

Chalmers, K. (2008). Investigating communicating sequential processes for Java to support ubiquitous computing. (Thesis)
<p>Chalmers, K. (2008). Investigating communicating sequential processes for Java to support ubiquitous computing. (Thesis)</p>

Ubiquitous Computing promises to enrich our everyday lives by enabling the environment to be enhanced via computational elements. These elements are designed to augment and su...

2008
A methodology for composing well-defined character descriptions.

Paterson, T., Cannon, A., Raguenaud, C., Russell, G., Armstrong, K. E., MacDonald, S. M., …Kennedy, J. (2002). A methodology for composing well-defined character descriptions
<p>Paterson, T., Cannon, A., Raguenaud, C., Russell, G., Armstrong, K. E., MacDonald, S. M., …Kennedy, J. (2002). A methodology for composing well-defined character descriptions</p>

Taxonomy has been described as “the science of documenting biodiversity”, which involves collecting, naming, describing, identifying and classifying specimens of organisms (Ke...

2002
Mango: A model-driven approach to engineering green Mobile Cloud Applications

Chinenyeze, S. Mango: A model-driven approach to engineering green Mobile Cloud Applications. (Thesis)
<p>Chinenyeze, S. Mango: A model-driven approach to engineering green Mobile Cloud Applications. (Thesis)</p>

With the resource constrained nature of mobile devices and the resource abundant offerings of the cloud, several promising optimisation techniques have been proposed by the gr...
Tasks and visual techniques for the exploration of temporal graph data

Kerracher, N. Tasks and visual techniques for the exploration of temporal graph data. (Thesis)
<p>Kerracher, N. Tasks and visual techniques for the exploration of temporal graph data. (Thesis)</p>

This thesis considers the tasks involved in exploratory analysis of temporal graph data, and the visual techniques which are able to support these tasks. There has been an e...
What can we learn from simulating commuters?

Urquhart, N. (2017, November). What can we learn from simulating commuters?. Presented at U!REKA, Edinburgh
<p>Urquhart, N. (2017, November). <i>What can we learn from simulating commuters?</i>. Presented at U!REKA, Edinburgh</p>

Commuting affects just about every member of the workforce in the UK, those who do not commute are affected by the congestion and pollution generated by such activities. There...

2017
Monkeypuzzle: Towards Next Generation, Free & Open-Source, Argument Analysis Tools

Douglas, J. & Wells, S. (2017, June). Monkeypuzzle: Towards Next Generation, Free & Open-Source, Argument Analysis Tools. Paper presented at The 17th International Workshop on Computation Models of Natural Argument (CMNA17), London, U.K
<p>Douglas, J. & Wells, S. (2017, June). <i>Monkeypuzzle: Towards Next Generation, Free & Open-Source, Argument Analysis Tools</i>. Paper presented at The 17th International Workshop on Computation Models of Natural Argument (CMNA17), London, U.K</p>

We introduce a new, free, open-source, web-based argument analysis tool called Monkeypuzzle. This is designed to provide both a foundation for creating and visualising reprodu...

2017
Introducing ALIAS

Wells, S. & LaGreca, R. (2015, October). Introducing ALIAS. Paper presented at 15th International Workshop on Computation Models of Natural Argument, Bertinoro, Italy
<p>Wells, S. & LaGreca, R. (2015, October). <i>Introducing ALIAS</i>. Paper presented at 15th International Workshop on Computation Models of Natural Argument, Bertinoro, Italy</p>

ALIAS is a Python library for constructing, manipulating, storing, visualising, and converting argumentation structues. It is available with full source code under a copyleft ...

2015
Automatically Detecting Fallacies in System Safety Arguments

Wells, S., Yuan, T., Manandhar, S. & Kelly, T. (2015, October). Automatically Detecting Fallacies in System Safety Arguments. Paper presented at 15th International Workshop on Computational Models of Natural Argument(CMNA15), Bertinoro, Italy
<p>Wells, S., Yuan, T., Manandhar, S. & Kelly, T. (2015, October). <i>Automatically Detecting Fallacies in System Safety Arguments</i>. Paper presented at 15th International Workshop on Computational Models of Natural Argument(CMNA15), Bertinoro, Italy</p>

Safety cases play a significant role in the development of safety-critical systems. The key components in a safety case are safety arguments, that are designated to demonstrat...

2015
Combinatorial Dialogue Games in Strategic Argumentation

Wells, S. (2015, June). Combinatorial Dialogue Games in Strategic Argumentation. Paper presented at 1st European Conference on Argumentation: Argumentation and Reasoned Action (ECA15), Lisbon, Portugal
<p>Wells, S. (2015, June). <i>Combinatorial Dialogue Games in Strategic Argumentation</i>. Paper presented at 1st European Conference on Argumentation: Argumentation and Reasoned Action (ECA15), Lisbon, Portugal</p>

This paper introduces combinatorial dialogue, a formal approach to strategising within argumentative dialogue games where the moves played within a dialogue game are interpret...

2015
Using Argumentation Within Sustainable Transport Communication

Wells, S. & Pangbourne, K. (2015, June). Using Argumentation Within Sustainable Transport Communication. Paper presented at 1st European Conference on Argumentation: Argumentation and Reasoned Action (ECA15), Lisbon, Portugal
<p>Wells, S. & Pangbourne, K. (2015, June). <i>Using Argumentation Within Sustainable Transport Communication</i>. Paper presented at 1st European Conference on Argumentation: Argumentation and Reasoned Action (ECA15), Lisbon, Portugal</p>

See attached file.

2015
A research agenda for metaheuristic standardization.

Hart, E., & Sim, K. (2015, June). A research agenda for metaheuristic standardization. Paper presented at 11th Metaheuristics International Conference, Agadir, Morocco
<p>Hart, E., & Sim, K. (2015, June). <i>A research agenda for metaheuristic standardization</i>. Paper presented at 11th Metaheuristics International Conference, Agadir, Morocco</p>

We propose that the development of standardized, explicit, machine-readable descriptions of metaheuris- tics will greatly advance scientific progress in the field. In particul...

2015
Towards an applied gamification model for tracking, managing, & encouraging sustainable travel behaviours.

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, Nice, France
<p>Wells, S., Kotkanen, H., Schlafli, M., Gabrielli, S., Masthoff, J., Jylha, A., & Forbes, P. (2014, May). <i>Towards an applied gamification model for tracking, managing, & encouraging sustainable travel behaviours</i>. Paper presented at First Urban Sustainable, CollaboratIve, and Adaptive MObility (USCIAMO) Workshop, Nice, France</p>

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

2014
This pervasive day: design and development case study.

Helgason, I., Bradley, J., & Egan, C. (2011, March). This pervasive day: design and development case study. Paper presented at i-Docs, A Symposium on Interactive Documentary, Watershed Media Centre Bristol, UK
<p>Helgason, I., Bradley, J., & Egan, C. (2011, March). <i>This pervasive day: design and development case study</i>. Paper presented at i-Docs, A Symposium on Interactive Documentary, Watershed Media Centre Bristol, UK</p>

This presentation will describe the development process, and the underpinning rationale, behind a multi-format, interactive exhibition and online documentary. This project, to...

2011
Reverse engineering through formal abstraction.

Liu, X. (1998, January). Reverse engineering through formal abstraction. Paper presented at Post-graduate Conference, De Montfort University, Leicester, UK
<p>Liu, X. (1998, January). <i>Reverse engineering through formal abstraction</i>. Paper presented at Post-graduate Conference, De Montfort University, Leicester, UK</p>

No abstract available.

1998

First

2
3
4

Last

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

First

2
3
4

Last

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

First

2

Last

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

First

2

Last

Research Centres Groups : Centre for Algorithms, Visualisation and Evolving Systems x

We use cookies to give you the best possible experience. If you continue, we’ll assume you are happy to receive all cookies. See our cookie policy for more information.

Accept Cookies