Will Harwood

Learn More
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their benefit in the East, to support non-textual information sharing in an Indian village. Local audiovisual story creation and sharing activities were carried out in a one month trial,(More)
The <i>StoryBank</i> project is examining technologies and practices to allow digitally impoverished communities to take part in the user-generated content revolution. The approach involves combining mobile phones to create audio-visual stories and a touch screen display situated in a community meeting place. This paper discusses the design, evaluation and(More)
Hoare and He’s unifying theories of programming (UTP) provide a collection of relational models that can be used to study and compare several programming paradigms. In this paper, we add to the UTP a theory of pointers and records that provides a model for objects and sharing in languages like Java and C++. Our work is based on the hierarchical addressing(More)
We present a theory of pointers and records that provides a representation for objects and sharing in languages like Java and C++. Our approach to pointers is based on Paige’s entity groups, which give an abstract view of storage as equivalence classes of variables that share the same memory location. We first define our theory as a restriction of the(More)
This paper considers information access styles for a community digital library in an Indian village. We present our impressions of the community gathered during a field-study and show how these have influenced the interaction design. The prototype aims to overcome low-textual literacy and lack of computing experience by combining touch-based interaction,(More)
Bisimilarity ∼ and weak bisimilarity ≈ are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached – and even reached – by their (transfinite) inductively-defined approximants ∼α and ≈α. For arbitrary processes this approximation may need to climb arbitrarily high through the infinite ordinals before(More)
Cilazapril (C), an angiotensin-converting enzyme inhibitor with effective antihypertensive efficacy, was examined for its ability to alter exercise tolerance testing (ETT) and respiratory oxygen uptake in 33 patients with congestive heart failure (CHF). C was administered in capsules daily to patients with New York Heart Association Class II or Class III(More)
  • 1