ABSTRACT Semantic Frameworks for e-Government (2008)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and processes. It shows...
CancerGrid: developing open standards for clinical cancer informatics (2008)
James Brenton, Carlos Caldas, Jim Davies, Steve Harris, Peter Maccallum
CancerGrid is a consortium developing open standards for clinical cancer informatics based on data and metadata representation, distributed service-oriented architectures, and collaborative working...
A Cognitive Model of Visual Analogical Problem-Solving Transfer (2008)
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
Complex problem solving typically involves the generation of a procedure consisting of an ordered sequence of steps. Analogical reasoning is one strategy for solving complex problems, and visual...
Proteus: Visual Analogy in Problem Solving Abstract (2008)
Jim Davies, Ashok K. Goel, Patrick W. Yaner
This work examines the hypothesis that visual knowledge alone is sufficient for analogical transfer of problem-solving procedures. It develops a computational theory of visual analogy in problem...
Cross-Trial Query System for Cancer Clinical Trials (2008)
Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies
Abstract Data sharing represents one of the key objectives and major challenges of today’s cancer research. CancerGrid, a consortium of clinicians, cancer researchers, computational biologists and...
Transfer of Problem-Solving Strategy Using Covlan (2008)
Psychological evidence suggests that humans use visual knowledge and reasoning in solving complex problems. We present Covlan, a visual knowledge representation language for representing visual...
Designed and ran experiments researching categorization biases. (2008)
Jim Davies, Advisors Profs, Ashok K. Goel, Nancy J. Nersessian, Committee Profs, Ronald W. Ferguson, ...
Applying visual analogy techniques to bioinformatics.
Abstract. This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows how suitable combinations of class, object, state, and sequence diagrams can be...
A CSP approach to sequential consistency (2007)
In this paper, we show how the process notation of Communicating Sequential Processes (CSP) may be used to describe a lazy caching protocol. We then show that the traces model for CSP can be used to...
A failures semantics for ET-LOTOS (2007)
Steve Schneider, Royal Holloway, Jeremy Bryans, Jim Davies
A denotational semantics is presented for ET-LOTOS [LeL94] in the style of semantics for timed CSP, in terms of timed failures with additional information about internal events. This semantics is...
Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman, Michael Booth, ...
the GNU Free Documentation License, Version 1.1 or any later version published by the Free
Matthias Messher, Mattias K. Polborn, Western Ontario, Jim Davies, Srihari Govindan, Ig Horstmann, ...
Consider a situation where a society has to elect an official who provides a public service for the citizens. Candidates differ in their competence and every potential candidate has private...
Visual Abstraction in Analogical Problem Solving: A Dissertation Proposal (2007)
Analogical problem solving with visual representations is important in many situations. I propose to develop a computational theory of visual analogy that will 1) support the notion that visual...
Rethinking science education through rethinking schooling (2006)
The Australian Science and Mathematics School was designed explicitly to support a renaissance in the teaching of science and to improve the engagement of students in the disciplines of science...
Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman, Michael Booth, ...
the GNU Free Documentation License, Version 1.2 or any later version published by the Free
Running Title: Protein Structure Prediction With Visual CBR (2005)
Jim Davies, Janice Glasgow, Tony Kuo
We show that visio-spatial representations and reasoning can be used as a similarity metric for case-based protein structure prediction. Our system retrieves pairs of α-helices based on contact map...
Constructive Adaptive Visual Analogy (2004)
Visual knowledge appears to be an important part of problem solving, but the role of visual knowledge in analogical problem solving is still somewhat mysterious. In this work I present the...
Constructive Adaptive Visual Analogy (2004)
Visual knowledge appears to be an important part of problem solving, but the role of visual knowledge in analogical problem solving is still somewhat mysterious. In this work I present the...
Constructive Adaptive Visual Analogy (2004)
Visual knowledge appears to be an important part of problem solving, but the role of visual knowledge in analogical problem solving is still somewhat mysterious. In this work I present the...
Constructive Adaptive Visual Analogy (2004)
Visual knowledge appears to be an important part of problem solving, but the role of visual knowledge in analogical problem solving is still somewhat mysterious. In this work I present the...
Constructive adaptive visual analogy (2004)
Thesis (Ph. D.)--Computing, Georgia Institute of Technology, 2005.
Constructive adaptive visual analogy [electronic resource] / (2004)
Visual knowledge appears to be an important part of problem solving, but the role of visual knowledge in analogical problem solving is still somewhat mysterious. In this work I present the...
Constructive adaptive visual analogy (2004)
Thesis (Ph. D.)--Computing, Georgia Institute of Technology, 2005.
Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman, Michael Booth, ...
and with the Back-Cover Text being (a) (see below). A copy of the license is included in the section entitled “GNU Free Documentation License”. (a) The Back-Cover Text is: “You have freedom to...
The purpose of the paper is to explore the relationship between conventional microsimulation and modelling techniques that incorporate relative price and/or aggregate economic responses. The latter...
On the supervision and assessment of part-time postgraduate software engineering projects (2003)
Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve Mckeever
This paper describes existing practices in the supervision and assessment of projects undertaken by part-time, postgraduate students in Software Engineering. It considers this aspect of the learning...
Visual Re-Representation in Creative Analogies (2003)
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
Visual representations seem to play a significant role in many creative analogies. In this paper, we describe a specific role of visual representations: two situations that appear dissimilar...
Using UML for automatic test generation (2002)
Ra Cavarra, Charles Crichton, Jim Davies, Alan Hartman, Laurent Mounier
Abstract. This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define...
Concurrency and Refinement in the Unified Modeling Language (2002)
This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to...
Visual analogy in problem solving (2001)
Computational models of analogical problem solving have traditionally described source and target domains in terms of their causal structure. But psychological research shows that visual reasoning...
Visual analogy in problem solving (2001)
Computational models of analogical problem solving have traditionally described source and target domains in terms of their causal structure. But psychological research shows that visual reasoning...
Activity graphs and processes (2000)
Abstract. The widespread adoption of graphical notations for software design has created a demand for formally-based methods to support and extend their use. A principal focus for this demand is the...
Using relational and behavioural semantics in the verification of object models (2000)
Abstract This paper shows how a combination of relational and behavioural semantics might be used in the creation and verification of object models. Specifications written in UML may be expressed in...
On the refinement and simulation of data types and processes (1999)
Christie Bolton, Jim Davies, Jim Woodcock
This paper presents a behavioural semantics for abstract data types, and thus a correspondence between data types and processes. The value of this correspondence lies in the fact that simulation of...
On the refinement and simulation of data types and processes (1999)
Christie Bolton, Jim Davies, Jim Woodcock
This paper presents a behavioural semantics for abstract data types, and thus a correspondence between data types and processes. The value of this correspondence lies in the fact that simulation of...
Using CSP to verify sequential consistency (1999)
Summary. This paper shows how the theory of Communicating Sequential Processes (CSP) can be used to establish that a protocol guarantees sequential consistency. The protocol in question is an...
Modeling Invention by Analogy in ACT-R (1998)
William Murdock, Marin Simina, Jim Davies, Gordon Shippey
We investigate some aspects of cognition involved in invention, more precisely in the invention of the telephone by Alexander Graham Bell. We propose the use of the Structure-BehaviorFunction (SBF)...
Modeling Invention by Analogy in ACT-R (1998)
William Murdock, Marin Simina, Jim Davies
We investigate some aspects of cognition involved in invention, more precisely in the invention of the telephone by Alexander Graham Bell. We propose the use of the Structure-BehaviorFunction (SBF)...
Towards a denotational semantics for ET-LOTOS (1995)
Jeremy Bryans, Jim Davies, Steve Schneider
The formal specification language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed. This paper presents a fully-abstract...
Real-time CSP and ET-LOTOS (1995)
Jeremy Bryans, Jim Davies, Steve Schneider
This paper is intended to support and stimulate discussion at the COST 247 meeting in Brighton, 19th and 20th July 1994. It begins with a comprehensive introduction to the language of real-time CSP....
Real-time LOTOS and timed observations (1995)
Jim Davies, Jeremy Bryans, Steve Schneider
This paper presents a new semantic model for real-time LOTOS, based upon a notion of timed observations. The novelty of the model is explained, as is its value. It di#ers from the usual operational...
Empirical Evidence on Human Capital Externalities
The focus of the paper is on the extent to which human capital formation (specifically, post-secondary education and training) benefits society in general, and productivity growth in particular, over...
Consumer citizenship practice, Governance, Policy, Process,