title: Stepwise refinement of processes

authors: Reeves, Steve

subjects: components

abstract: Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state-based
reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite
unexpected ways what we are able to formalise. In this paper we illustrate some limits to developing real world processes using existing formalisms, and we define a new notion of refinement, vertical refinement, which addresses some of these limitations. We show that using vertical refinement we can rewrite specification into a different formalism, allowing us to move between handshake processes, broadcast processes and abstract data types.

text: Stepwise refinement of processes Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state-based
reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite
unexpected ways what we are able to formalise. In this paper we illustrate some limits to developing real world processes using existing formalisms, and we define a new notion of refinement, vertical refinement, which addresses some of these limitations. We show that using vertical refinement we can rewrite specification into a different formalism, allowing us to move between handshake processes, broadcast processes and abstract data types.

year: 2005-01-01

title: Go hard, go early: Alternatives to the treatment model for addressing poverty, inequality and mental distress in Aotearoa New Zealand

authors: Stolte, Ottilie Emma Elisabeth

subjects: community psychology

abstract: This discussion article is based on a paper presented at the Community Psychology Symposium as part of the 2021 New Zealand Psychology Conference. In this article, I reflect on my teaching praxis, widening inequalities, and on the implications of the COVID-19 pandemic for psychology. Currently, the lack of mental health sector capacity and the shortage of some 1000 psychologists, poses a significant conundrum. This article revisits Albee's critique, "that no mass disease or disorder has ever been controlled or eliminated through individual treatment" (2005, p.37), and in so doing I reflect on what community psychology can contribute at this point in history.

text: Go hard, go early: Alternatives to the treatment model for addressing poverty, inequality and mental distress in Aotearoa New Zealand This discussion article is based on a paper presented at the Community Psychology Symposium as part of the 2021 New Zealand Psychology Conference. In this article, I reflect on my teaching praxis, widening inequalities, and on the implications of the COVID-19 pandemic for psychology. Currently, the lack of mental health sector capacity and the shortage of some 1000 psychologists, poses a significant conundrum. This article revisits Albee's critique, "that no mass disease or disorder has ever been controlled or eliminated through individual treatment" (2005, p.37), and in so doing I reflect on what community psychology can contribute at this point in history.

year: 2021

title: HIEMPA: Hybrid Instruments from Electroacoustic Manipulation and Models of Pütorino and Aquascape

authors: Whalley, Ian

subjects: music

abstract: The HIEMPA project combined a team of people with technical, artistic, environmental and cultural expertise towards an artistic outcome aiming to extend the New Zealand sonic art tradition. The work involved collecting audio samples from the aquascape of the Ruakuri Caves and Nature Reserve in Waitomo, South Waikato, New Zealand; and samples of a variety of pütorino – a New Zealand Mäori wind instrument. Following a machine learning analysis of this audio material and an analysis of the performance material, hybrid digital instruments were built and mapped to suitable hardware triggers. The new instruments are playable in realtime, along with the electroacoustic manipulation of pütorino performances. The project takes into account the environmental and cultural significance of the source material, with the results to be released as a set of compositions. This paper discusses the background research and process of the project.

text: HIEMPA: Hybrid Instruments from Electroacoustic Manipulation and Models of Pütorino and Aquascape The HIEMPA project combined a team of people with technical, artistic, environmental and cultural expertise towards an artistic outcome aiming to extend the New Zealand sonic art tradition. The work involved collecting audio samples from the aquascape of the Ruakuri Caves and Nature Reserve in Waitomo, South Waikato, New Zealand; and samples of a variety of pütorino – a New Zealand Mäori wind instrument. Following a machine learning analysis of this audio material and an analysis of the performance material, hybrid digital instruments were built and mapped to suitable hardware triggers. The new instruments are playable in realtime, along with the electroacoustic manipulation of pütorino performances. The project takes into account the environmental and cultural significance of the source material, with the results to be released as a set of compositions. This paper discusses the background research and process of the project.

year: 2008