title: Variability of physical and biological parameters in Lake Taupo: Bio-fish survey 2004-5

authors: Hamilton, David P.

abstract: This project was initiated by the Lakes and Waterways Action Group (LWAG) in response to declining water quality of Lake Taupo (Gibbs, 2004). Information was sought on variability of physical and biological parameters across different parts of the lake particularly in relation to use of only one profiling site (Station A) or three profiling sites (Stations A, B, and C) used in previous studies (e.g. Gibbs, 2004). Furthermore, the Taupo District Council (TDC) has a concern that some taste and odour problems (e.g. geosmin) experienced in its water supply may be due to cyanobacteria that accumulate in the near-shore region where water supply intakes are located. The TDC also sought information about variability of phytoplankton biomass across Lake Taupo.

The objective of this study was to carry out a series of BIO-FISH transects of Lake Taupo, to observe the variability of temperature, chlorophyll a, dissolved oxygen and conductivity.

text: Variability of physical and biological parameters in Lake Taupo: Bio-fish survey 2004-5 This project was initiated by the Lakes and Waterways Action Group (LWAG) in response to declining water quality of Lake Taupo (Gibbs, 2004). Information was sought on variability of physical and biological parameters across different parts of the lake particularly in relation to use of only one profiling site (Station A) or three profiling sites (Stations A, B, and C) used in previous studies (e.g. Gibbs, 2004). Furthermore, the Taupo District Council (TDC) has a concern that some taste and odour problems (e.g. geosmin) experienced in its water supply may be due to cyanobacteria that accumulate in the near-shore region where water supply intakes are located. The TDC also sought information about variability of phytoplankton biomass across Lake Taupo.

The objective of this study was to carry out a series of BIO-FISH transects of Lake Taupo, to observe the variability of temperature, chlorophyll a, dissolved oxygen and conductivity.

year: 2005-12

title: A Comparison of State-Based Modelling Tools for Model Validation

authors: Aydal, Emine G.

subjects: computer science

abstract: In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular state-based modelling languages. In the literature, there has been research about the similarities and the differences between modelling languages. However, we believe that, in addition to recognising the expressive power of modelling languages, it is crucial to detect the capabilities and the weaknesses of analysis tools that parse and analyse models written in these languages. In order to explore this area, we have chosen four model analysis tools: USE, Alloy Analyzer, ZLive and ProZ and observed how modelling and validation stages of MBT are handled by these tools for the same system. Through this experiment, we not only concretise the tasks that form the modelling and validation stages of MBT process, but also reveal how efficiently these tasks are carried out in different tools.

text: A Comparison of State-Based Modelling Tools for Model Validation In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular state-based modelling languages. In the literature, there has been research about the similarities and the differences between modelling languages. However, we believe that, in addition to recognising the expressive power of modelling languages, it is crucial to detect the capabilities and the weaknesses of analysis tools that parse and analyse models written in these languages. In order to explore this area, we have chosen four model analysis tools: USE, Alloy Analyzer, ZLive and ProZ and observed how modelling and validation stages of MBT are handled by these tools for the same system. Through this experiment, we not only concretise the tasks that form the modelling and validation stages of MBT process, but also reveal how efficiently these tasks are carried out in different tools.

year: 2008

title: Personality and Representation in Environmental Law

authors: Daya-Winterbottom, Trevor

abstract: Jorge Vinuales from the University of Cambridge observed in his working paper on “Law and the Anthropocene” that law is founded on a series of core concepts, such as, “legal personality, representation, obligation, debt, causality or damage” (CEENRG Working Papers 2016- 4, page 49). This led him to note that a “significant problem” faced by environmental law is how to flesh out these core concepts in relation to the protection of the environment (page 53). For example, should we regard natural resources (e.g. rivers or mountains) as “subjects” of environmental law with their “own interests and capacity to act (through representation)”, or merely as the “objects” of environmental law – to be protected either “directly” as specific natural resources, or “indirectly” via the protection of the environment generally (page 53). This article interrogates these perspectives by reference to recent New Zealand developments.

text: Personality and Representation in Environmental Law Jorge Vinuales from the University of Cambridge observed in his working paper on “Law and the Anthropocene” that law is founded on a series of core concepts, such as, “legal personality, representation, obligation, debt, causality or damage” (CEENRG Working Papers 2016- 4, page 49). This led him to note that a “significant problem” faced by environmental law is how to flesh out these core concepts in relation to the protection of the environment (page 53). For example, should we regard natural resources (e.g. rivers or mountains) as “subjects” of environmental law with their “own interests and capacity to act (through representation)”, or merely as the “objects” of environmental law – to be protected either “directly” as specific natural resources, or “indirectly” via the protection of the environment generally (page 53). This article interrogates these perspectives by reference to recent New Zealand developments.

year: 2018-02-06