The SAIL Databank: building a national architecture for e-health research and evaluation (2009)
Ford, David V, Jones, Kerina H, Verplancke, Jean-Philippe, Lyons, Ronan A, John, Gareth, Brown, Ginevra, ...
Abstract Background Vast quantities of electronic data are collected about patients and service users as they pass through health service and other public sector organisations, and these data present...
Participatory Parity and Self-Realisation (2009)
The Good Society - Volume 18, Number 1, 2009
British Telecommunications Plc (2009)
Duong Nguyen, Simon Thompson, Cefn Hoile
Abstract. Internet user forums have been proven to be effective not just as a community meeting place but also as a supporting tool for various business products. Traditional forums are designed with...
Programming errors in traversal programs over structured data (2008)
Ralf Lämmel, Simon Thompson, Markus Kaiser
Traversal strategies provide an established means of describing automated queries, analyses, transformations, and other non-trivial computations on deeply structured data (including, most notably,...
Declarative Extensions of XML Languages (2008)
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous work discussed...
Refactorings that Split and Merge Programs (2008)
Christopher Brown, Simon Thompson
Abstract. Program slicing is a well understood concept in the imperative paradigm, but so far there has been little work on program slicing in the context of functional languages. This paper...
Euler Diagram-based Notations (2008)
John Howse, Richard Bosworth, Andrew Fish, Gem Stapleton, John Taylor, Peter Rodgers, ...
Abstract. Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent...
Refactoring Functional Programs (GR/R75052/01) Final Report (2008)
Simon Thompson, Claus Reinke (investigators
Refactorings are source-to-source program transformations that change program structure and organisation, but not program functionality. Documented in catalogues and supported by tools, refactoring...
Abstract Bespoke Applications on Demand from the Agentcities Network (2008)
Simon Thompson, David Bonnefoy, Steve Willmott
Final version (with revisions) published in
Ralf Lämmel, Simon Thompson, Markus Kaiser
this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Further sanitized traversal strategies (Chasing the sins of...
Subsetting as an Approach to Distributed Learning. (2007)
This paper discusses one approach to the scaling problem of machine learning (Chan and Stolfo 1995) namely the decomposition of large datasets into smaller subsets so that the learning task on each...
Under consideration for publication in J. Functional Programming 1 A functional reactive animation
Verifying Fran programs (2007)
Fran is a system for functional reactive animation. This note explores the way that some of the features of Fran can be interpreted as logical formulas, referring in particular to the example of a...
This document is the first draft of a catalogue of refactorings for functional programs. Most are applicable to a variety of modern functional programming languages-- with the example code begin...
Proof for Functional Programming (2007)
In this chapter we examine ways in which functional programs can be proved correct. For a number of reasons this is easier for functional than for imperative programs. In the simplest cases...
Intelligent Business Systems Research, (2007)
Brain Odgers, Simon Thompson, Martlesham Heath
process sequences can be implemented as new policies and instructions are disseminated across a business domain. The This paper describes a novel application for Aspect-Oriented Programming (AOP). By...
Abstract. A number of combinations of reasoning and computer algebra systems have been proposed; in this paper we describe another, namely a way to incorporate a logic in the computer algebra system...
Haskell Communities and Activities Report (2007)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Carlos Areces, ...
You are reading the twelfth edition of the Haskell Communities and Activities Report – as always, containing entries from enthusiastic Haskellers all over the world. This edition has 138 entries,...
A PSO-BASED MECHANISM FOR ADAPTIVE CONTROL IN (2007)
Room Castelo I, Prof Antonio, Palma Reis, Prof. Pedro Isaías, Room Castelo I, Visara Urovi, ...
Refactoring Erlang programs (2006)
Huiqing Li, Simon Thompson, László Lövei
We describe refactoring for Erlang programs, and work in progress to build two tools to give machine support for refactoring systems written in Erlang. We comment on some of the peculiarities of...
Haskell Communities and Activities Report (2006)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Dmitry Astapov, ...
Welcome to the eleventh edition of the Haskell Communities and Activities Report – a collection of entries about everything that is going on and related to Haskell in some way that appears twice a...
Haskell Communities and Activities Report (2006)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Dmitry Astapov, ...
This is the tenth edition of the Haskell Communities and Activities Report (HCAR) – a collection of entries about everything that is going on and related to Haskell in some way that appears twice a...
Agent-Based Virtual Organisations for the Grid (2005)
Patel, Jigar, Teacy, W. T. Luke, Jennings, Nicholas R., Luck, Michael, Chalmers, Stuart, Oren, Nir, ...
The ability to create reliable, scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing. In response, in...
Monitoring, Policing and Trust for Grid-Based Virtual Organisations (2005)
Patel, Jigar, Teacy, W. T. Luke, Jennings, Nicholas R., Luck, Michael, Chalmers, Stuart, Oren, Nir, ...
A key challenge in Grid Computing is the ability to create reliable and scalable virtual organisations (VOs) which operate in an open, dynamic and competitive environment. In response, in the...
Agent-Based Virtual Organisations for the Grid (2005)
Patel, Jigar, Teacy, W. T. Luke, Jennings, N. R., Luck, Michael, Chalmers, Stuart, Oren, Nir, ...
The ability to create reliable, scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing. In response, in...
Monitoring, Policing and Trust for Grid-Based Virtual Organisations (2005)
Patel, Jigar, Teacy, W. T. Luke, Jennings, N. R., Luck, Michael, Chalmers, Stuart, Oren, Nir, ...
A key challenge in Grid Computing is the ability to create reliable and scalable virtual organisations (VOs) which operate in an open, dynamic and competitive environment. In response, in the...
Agent-Based Virtual Organisations for the Grid (2005)
Patel, Jigar, Teacy, W. T. Luke, Jennings, N. R., Luck, Michael, Chalmers, Stuart, Oren, Nir, ...
The ability to create reliable, scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing. In response, in...
Monitoring, Policing and Trust for Grid-Based Virtual Organisations (2005)
Patel, Jigar, Teacy, W. T. Luke, Jennings, N. R., Luck, Michael, Chalmers, Stuart, Oren, Nir, ...
A key challenge in Grid Computing is the ability to create reliable and scalable virtual organisations (VOs) which operate in an open, dynamic and competitive environment. In response, in the...
Technical Report- Porting HaRe to the GHC API (2005)
of 2005. The aim of the project was to assess the effort required to port the Haskell[6] refactoring tool, HaRe[4], from its current compiler front-end system, Programmatica, to the newly developed...
Tableaux for diagrammatic reasoning (2005)
Octavian Patrascoiu, Simon Thompson, Peter Rodgers
Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but...
Formalisation of Haskell Refactorings (2005)
Refactoring is a technique for improving the design of existing programs without changing their external behaviour. HaRe is the refactoring tool we have built to support refactoring Haskell 98...
Agent-Based Virtual Organisations for the Grid (2005)
Jigar Patel Luke, Nicholas R. Jennings, Michael Luck, Nir Oren, Timothy J. Norman, ...
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing. In response, in...
Agent-based virtual organisations for the grid (2005)
Jigar Patel, Nicholas R Jennings, Michael Luck, Stuart Chalmers, Gareth Shercliff, ...
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the major challenges that underlie Grid computing. In...
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Alistair Bayley, ...
Finally, here is the 9th edition of the Haskell Communities and Activities Report (HCAR), almost three weeks after the submission deadline. This delay is entirely my own fault. In fact, I have to...
Delivering Services by Building and Running Virtual Organisations (2005)
Duong Nguyen, Simon Thompson, Jigar Patel, Nicholas R Jennings, Mike Luck, ...
In our view, customers in the future are likely to obtain their services from coalitions of service providers. These coalitions can be described as virtual organisations (VOs); they are group of...
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, ...
You are reading the 8th edition of the Haskell Communities and Activities Report (HCAR). These are interesting times to be a Haskell enthusiast. Everyone seems to be talking about darcs ( → 6.3)...
Haskell Communities and Activities Report (2004)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Krasimir Angelov, Alistair Bayley, Jérémy Bobbio, ...
Welcome to the Seventh edition of the Haskell Communities and Activities report. I can proudly announce that the report has survived yet another change of editor, and chances are good that this...
Supporting formation and operation of virtual organisations in a grid environment (2004)
Jianhua Shao, W Alex Gray, Nick J Fiddian, Vikas Deora, Gareth Shercliff, Patrick J Stockreisser, ...
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie the Grid concept and research....
Fast sum of absolute differences visual landmark detector (2004)
Craig Watman, David Austin, Nick Barnes, Gary Overett, Simon Thompson
Abstract — This paper presents various optimisations that can be applied to the Sum of Absolute Differences (SAD) correlation algorithm for automated landmark detection. This has applications in...
What can spider diagrams say (2004)
Gem Stapleton, John Howse, John Taylor, Simon Thompson, Visual Modelling Group
Abstract. Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalent in...
The Expressiveness of Spider Diagrams (2004)
Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon
Spider diagrams are a visual language for expressing logical statements. In this paper we identify a well-known fragment of first-order predicate logic that we call MFOL=, equivalent in...
Specifying reuse concerns in agent system design using a role algebra (2003)
Anthony Karageorgos, Simon Thompson, Nikolay Meh
Abstract. During the design of an agent system many decisions will be taken that determine the structure of the system for reasons that are clear to the designer and customers at the time. However,...
A case study in refactoring functional programs (2003)
Abstract. Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the...
Modeling reactive multimedia: Events and behaviors (2003)
Helen Cameron, Peter King, Simon Thompson
This paper explores the idea of reactivity in multimedia, and proposes systems which can react to continuously-evolving behaviours as well as to more traditional discrete events. The idea is...
Bowman, Howard, Thompson, Simon
This paper presents a complete axiomatization for propositional interval temporal logic (PITL) with projection. The axiomatization is based on a tableau decision procedure for the logic, which in...
Wallace, Paul, Haines, Andrew, Harrison, Robert, Barber, Julie A, Thompson, Simon, Roberts, Jennifer, ...
Abstract Background Appropriate information flow is crucial to the care of patients, particularly at the interface between primary and secondary care. Communication problems can result from...
Richard Rorty : Critical Dialogues (2001)
Festenstein, Matthew (ed.), Thompson, Simon (ed.)
0-7456-2166-X
John Shepherdson, Simon Thompson, Brian Odgers, Bt Laboratories, Cross Organisational, Workflow Co-ordinated
We assert that a layer of software agents, that co-ordinate the distribution of work via negotiation, is the proper software abstraction for the development of cross-organisational workflow...
Localisation using automatically selected landmarks from panoramic images (2000)
Simon Thompson, Toshihiro Matsui, Er Zelinsky
The use of visual landmarks for robot localisation is a promising field. It is apparent that the success of localisation by visual landmarks depends on the landmarks chosen. Good landmarks are those...
The Type System of Aldor (1999)
This paper gives a formal description of { at least a part of { the type system of Aldor, the extension language of the computer algebra system AXIOM. In the process of doing this a critique of the...
The Craft of Functional Programming (1999)
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using Haskell as the...
Automatic Landmark Selection for Navigation with Panoramic Vision (1999)
Simon Thompson, Alex Zelinsky, Mandyam Srinivasan, Yam Srinivasan
The use of visual landmarks for robot navigation is a promising field. It is apparent that the success of navigating by visual landmarks depends on the landmarks chosen. This paper reviews a...
Reactive Multimedia Documents in a Functional Framework (1999)
Helen Cameron Peter, Peter King, Simon Thompson
This paper presents a novel approach to building highly reactive multimedia artifacts. The functional programming language Haskell is used as a basis for the Fran animation library, and this paper...
Reactive Multimedia Documents in a Functional (1999)
Framework Helen Cameron, Helen Cameron, Peter King, Simon Thompson
This paper presents one solution to the reactivity problem. A functional program gives a high-level description of a system; indeed, functional programs are often though of as `executable speci...
A tableaux method for Interval Temporal Logic with projection (1998)
Interval Temporal Logic (ITL) is an important class of temporal logic. Early work on the topic was performed by Moskowski [13] with a number of researchers progressing the topic since then, e.g. Hale...
Synchronization in Multimedia Documents (1998)
Peter King, Helen Cameron, Howard Bowman, Simon Thompson
. This paper presents a taxonomy of possible synchronization relationships between pairs of items in multimedia documents. Several existing approaches to the synchronization of entire items are...
Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor (1998)
A number of combinations of theorem proving and computer algebra systems have been proposed; in this paper we describe another, namely a way to incorporate a logic in the computer algebra system...
A Functional Reactive Animation of a Lift using Fran (1998)
This paper uses the Functional Reactive Animation system, Fran, to give a simulation of a simple two floor lift (or elevator). We introduce those aspects of Fran relevant to the simulation, thus...
Where do I begin? A Problem Solving Approach in Teaching Functional Programming (1997)
. This paper introduces a problem solving method for teaching functional programming, based on Polya's How To Solve It, an introductory investigation of mathematical method. We first present the...
Mexitl: Multimedia in Executable Interval Temporal Logic (1997)
Howard Bowman, Helen Cameron, Peter King, Simon Thompson
. This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements on temporal logic specification...
Howard Bowman, Helen Cameron, Peter King, Simon Thompson
. This paper explores a formalism for describing a wide class of multimedia document constraints. We outline the requirements on temporal logic specification that arise from the multimedia documents...
Higher-order + Polymorphic = Reusable (1997)
This paper explores how certain ideas in object oriented languages have their correspondents in functional languages. In particular we look at the analogue of the iterators of the C++ standard...
From ACT-ONE to Miranda, a Translation Experiment (1997)
Nathan Charles, Howard Bowman, Simon Thompson
It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response...
(CHRXCT-92-0046), the Esprit Working Group Types (21900)and the DutchNWO (1997)
Henk Barendregt, Kristo Er Rose, Richard Shore, Rick Statman, Simon Thompson
One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation...
Regular Expressions and Automata using Miranda (1995)
Contents 1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 2 Regular Expressions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 3 Matching regular...
Functional Programming Through the Curriculum (1995)
. This paper discusses our experience in using a functional language in topics across the computer science curriculum. After examining the arguments for taking a functional approach, we look in...
Steve Hill, Simon Thompson, Thompson A
This paper describes our experience in formalising arguments about the Miranda functional programming language in Isabelle. After explaining some of the problems of reasoning about Miranda, we...
This paper describes our experience in formalising arguments about the Miranda functional programming language in Isabelle. After explaining some of the problems of reasoning about Miranda, we...
This paper describes our experience in formalising arguments about the Miranda functional programming language in Isabelle. After explaining some of the problems of reasoning about Miranda, we...
Political theory in a democratic society : a critique of political liberalism / (1994)
BLDSC reference no.: D183030/95.
A Logic for Miranda, Revisited (1994)
. This paper expands upon work begun in the author's [Tho89], in building a logic for the Miranda functional programming language. After summarising the work in that paper, a translation of...
The functional programming language Haskell is examined from the point of view of proving programs correct. Particular features explored include the data type definition facilities, classes, the...
The Categorical Multi-Combinator Machine: CMCM (1992)
this paper we introduce another abstract machine, Categorical MultiCombinator Machine, (CMCM). In this paper we give a thoroughgoing introduction to the machine, in particular as far as the...
Lawful functions and program verification in Miranda (1992)
Laws in the Miranda programming language provide a means of implementing non-free algebraic types, by means of term rewriting. In this paper we investigate program verification in such a context....
Interactive Functional Programs: A Method and a Formal Semantics (1992)
In this paper we present a model of interactive programs in a purely functional style. We exploit lazy evaluation in the modelling of streams as lazy lists. We show how programs may be constructed in...
The study of HPRT gene expression using gene targeting and transgenic mice. (1989)
Thesis (Ph. D.)--University of Edinburgh, 1989.
Jolly, Kate, Bradley, Fiona, Sharp, Stephen, Smith, Helen, Thompson, Simon, Kinmonth, Ann-Louise, ...
Wallace, Paul, Haines, Andrew, Harrison, Robert, Barber, Julie A, Thompson, Simon, Roberts, Jennifer, ...
Jolly, Kate, Bradley, Fiona, Sharp, Stephen, Smith, Helen, Thompson, Simon, Kinmonth, Ann-Louise, ...
Wallace, Paul, Haines, Andrew, Harrison, Robert, Barber, Julie A, Thompson, Simon, Roberts, Jennifer, ...
Parametric modelling of cost data: some simulation evidence
Andrew Briggs, Richard Nixon, Simon Dixon, Simon Thompson
Recently, commentators have suggested that the distributional form of cost data should be explicitly modelled to gain efficiency in estimating the population mean. We perform a series of simulation...
Meta-analysis using multilevel models with an application to the study of class size effects
Harvey Goldstein, Min Yang, Rumana Omar, Rebecca Turner, Simon Thompson
Health promotion in general practice: Authors' reply: British family heart study
Wood, David, Pyke, Stephen, Kinmonth, Ann-Louise, Thompson, Simon