Identifying barriers and opportunities for transitions towards more sustainable agriculture through system analysis: the case of Vereda La Hoya, Colombia

The paper presents the results of studies which investigated farmers’ reasoning and behaviour with regards to the mis‐use of personal protective equipment and pesticide among smallholders in Colombia. First, the research approach is described. In particular, the structured mental models approach and the integrative agent‐centred framework are presented. These approaches permit to understand the farmers’ reasoning and behaviour in a system perspective. Second, the results are summarized. The methods adopted allowed not only for identifying the factors, but also the social dynamics influencing farmers. Finally, suggestions for interventions are provided, which are not limited to a technical fix, but address the underlying social causes of the problem

Dealing with abstraction: Case study generalisation as a method for eliciting design patterns

Developing a pattern language is a non-trivial problem. A critical requirement is a method to support pattern writers with abstraction, so as they can produce generalised patterns. In this paper, we address this issue by developing a structured process of generalisation. It is important that this process is initiated through engaging participants in identifying initial patterns, i.e. directly dealing with the 'cold-start' problem. We have found that short case study descriptions provide a productive 'way into' the process for participants. We reflect on a 1-year interdisciplinary pan-European research project involving the development of almost 30 cases and over 150 patterns. We provide example cases, detailing the process by which their associated patterns emerged. This was based on a foundation for generalisation from cases with common attributes. We discuss the merits of this approach and its implications for pattern development

The use of data-mining for the automatic formation of tactics

This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques

Crossing Organizational Boundaries in Palliative Care: The Promise and Reality of Community Partnerships

This report presents the first of a series of findings from the Community-Oriented Palliative Care Initiative (COPCI), an innovative program testing new approaches to caring for individuals with progressive, life threatening illness. Developed and supported by the United Hospital Fund, the project was designed to initiate collaborations among health care and social service organizations, with the goal of reaching seriously ill individuals and their caregivers earlier in the course of illness and providing a broad range of coordinated services. Six such networks of diverse partners received a total of $2.1 million in grants over the two-year period from mid-2000 into 2002.The urgency to provide alternatives to current standard practice is underscored by the number of individuals affected: in New York City alone, in the year 2000, some 46,000 people died of diseases typically marked by a lengthy course from diagnosis to death. While many could have benefited from appropriate and timely palliative care services, most did not receive them.The Fund reasoned that networks including not only hospitals and hospices but also social services agencies and other community resources could collectively respond, earlier and more fully, to the complex combination of medical, social, psychological, and spiritual needs that typify the months and years leading to death. Local expertise and resources should determine the structure of each network, the partners involved, and the specific model for service delivery. Drawing on the experiences of the six pioneering projects, this report focuses on the challenges of creating such new networks

Refining Nodes and Edges of State Machines

State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement. We compare the two notions by means of examples and argue that, by adopting simple conventions, they can be combined into one method of refinement. In the combined method, node refinement can be used to develop architectural aspects of a model and edge refinement to develop algorithmic aspects. The two notions of refinement are grounded in previous work. Event-B is used as the foundation for our refinement theory and UML-B state machine refinement influences the style of node refinement. Hence we propose a method with direct proof of state machine refinement avoiding the detour via Event-B that is needed by UML-B