title: BioFish survey of Lake Taupo, 2006

authors: McBride, Chris G.

subjects: New Zealand

abstract: This report provides details of a “BioFish” survey of Lake Taupo conducted in 2006. This first BioFish survey of Lake Taupo was initiated in late 2004 and continued until autumn (May) of 2005 (Hamilton et al. 2005). The 2004-5 survey involved deployment of the BioFish along a transect that commenced near the outlet of Lake Taupo, progressed south-west to ‘Station A’, a deep central site near the middle of the lake, and then north-west to include shallower lake bays; Whangamate Bay and Whakaipo Bay. This transect was repeated five times in 2004-5.

text: BioFish survey of Lake Taupo, 2006 This report provides details of a “BioFish” survey of Lake Taupo conducted in 2006. This first BioFish survey of Lake Taupo was initiated in late 2004 and continued until autumn (May) of 2005 (Hamilton et al. 2005). The 2004-5 survey involved deployment of the BioFish along a transect that commenced near the outlet of Lake Taupo, progressed south-west to ‘Station A’, a deep central site near the middle of the lake, and then north-west to include shallower lake bays; Whangamate Bay and Whakaipo Bay. This transect was repeated five times in 2004-5.

year: 2008

title: Algebraic properties of If-Then-Else and commutative three-valued tests

authors: Soo, Khi-Ui

abstract: This paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being the tests. The main operation on programs is composition, and 1 and 0 represent the programs skip and loop (i.e. never halts) respectively. Programs are modeled as partial functions on some state space X, with tests modeled as partial predicates on X. The operations on the tests are the usual logical connectives T and F. In addition, there is the hybrid operation of if-then-else, and the test-valued operation H on programs which is true when a program halts, and undefined otherwise. The halting operation H implies that operations of domain D and domain join may also be expressed. When tests are assumed to be possibly non-halting, the evaluation strategy of the logical connectives affects the result. Here we model parallel evaluation, as opposed to the common sequential (or short-circuit) evaluation strategy. For example, we view α β as false if either α or β is false, even if the other does not halt.

text: Algebraic properties of If-Then-Else and commutative three-valued tests This paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being the tests. The main operation on programs is composition, and 1 and 0 represent the programs skip and loop (i.e. never halts) respectively. Programs are modeled as partial functions on some state space X, with tests modeled as partial predicates on X. The operations on the tests are the usual logical connectives T and F. In addition, there is the hybrid operation of if-then-else, and the test-valued operation H on programs which is true when a program halts, and undefined otherwise. The halting operation H implies that operations of domain D and domain join may also be expressed. When tests are assumed to be possibly non-halting, the evaluation strategy of the logical connectives affects the result. Here we model parallel evaluation, as opposed to the common sequential (or short-circuit) evaluation strategy. For example, we view α β as false if either α or β is false, even if the other does not halt.

year: 2019

title: Research reflections on making visible the experiences of Kāpō Māori during and after COVID-19

authors: Masters-Awatere, Bridgette

abstract: Introduction: 
This piece reflects on our research process when undertaking face-to-face interviews with tāngata kāpō (Māori people who are blind, deafblind, low vision or vision impaired). Particular attention is given to the access requirements of tāngata kāpō and the intersections of Māori and disability. These experiences are shared as learning opportunities for others who are undertaking research in ways that are mindful of Tiriti and disability obligations, and in the current COVID-19 environment.

text: Research reflections on making visible the experiences of Kāpō Māori during and after COVID-19 Introduction: 
This piece reflects on our research process when undertaking face-to-face interviews with tāngata kāpō (Māori people who are blind, deafblind, low vision or vision impaired). Particular attention is given to the access requirements of tāngata kāpō and the intersections of Māori and disability. These experiences are shared as learning opportunities for others who are undertaking research in ways that are mindful of Tiriti and disability obligations, and in the current COVID-19 environment.

year: 2021