title: Te Poutikanga

authors: Maxwell, Te Kahautu

abstract: Te Poutikanga was composed to pay homage to the newly appointed spiritual leader of Te Haahi Ringatū Mr Wirangi Pera who was appointed on the 1 January 2014. This composition was performed by ŌpōtikiMai Tawhiti at the Mātaatua Regional Kapa Haka Competition and placed first in the Whakawātea discipline.

text: Te Poutikanga Te Poutikanga was composed to pay homage to the newly appointed spiritual leader of Te Haahi Ringatū Mr Wirangi Pera who was appointed on the 1 January 2014. This composition was performed by ŌpōtikiMai Tawhiti at the Mātaatua Regional Kapa Haka Competition and placed first in the Whakawātea discipline.

year: 2014-01-25

title: Boat electrofishing survey of fish populations in the Ohau Channel in December 2010

authors: Hicks, Brendan J.

abstract: The original purpose of this series of surveys was to apply an independent method to estimate the densities of common smelt and bullies in the Ohau Channel at fixed points along the bank which coincided with trap netting sites used by the National Institute of Water and Atmospheric Research (NIWA). Since the low number of smelt captured by a single day’s boat electrofishing became apparent compared to the numbers captured by seasonal trapping, the aim of the survey has been modified to provide on-going monitoring of the fish communities and abundance in the Ohau Channel, especially fish species that are taonga to Maori (eels, goldfish, and koura).

text: Boat electrofishing survey of fish populations in the Ohau Channel in December 2010 The original purpose of this series of surveys was to apply an independent method to estimate the densities of common smelt and bullies in the Ohau Channel at fixed points along the bank which coincided with trap netting sites used by the National Institute of Water and Atmospheric Research (NIWA). Since the low number of smelt captured by a single day’s boat electrofishing became apparent compared to the numbers captured by seasonal trapping, the aim of the survey has been modified to provide on-going monitoring of the fish communities and abundance in the Ohau Channel, especially fish species that are taonga to Maori (eels, goldfish, and koura).

year: 2011-11-15

title: An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis

authors: Mohajerani, Sahar

subjects: computer science

abstract: This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states.

text: An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states.

year: 2012