title: Design Patterns: Infrastructure and Examples

authors: Crickett, Scott

subjects: Computer Science

abstract: Modern interactive systems can be incredibly complex, with a variety of screens, menus, widgets, etc. available to the user. Due to this, modelling these interactive systems can also be incredibly complex and while there are techniques to help overcome this, it can often lead to radically different models depending on the modeller.
    
This thesis explores the use of two design patterns created in order to help simplify modelling interactive systems. In the process of doing this, we first explore µ-Charts and its semantics, which are defined in Z, in order to understand its capabilities. We then discover a feature we name the Return feature, which we break down into two parts, Return Home and Return Back, and create patterns in order to concisely model them. Finally, we test these patterns and evaluate the tools we used to create the µ-charts, translate them into their Z semantics and test them.

text: Design Patterns: Infrastructure and Examples Modern interactive systems can be incredibly complex, with a variety of screens, menus, widgets, etc. available to the user. Due to this, modelling these interactive systems can also be incredibly complex and while there are techniques to help overcome this, it can often lead to radically different models depending on the modeller.
    
This thesis explores the use of two design patterns created in order to help simplify modelling interactive systems. In the process of doing this, we first explore µ-Charts and its semantics, which are defined in Z, in order to understand its capabilities. We then discover a feature we name the Return feature, which we break down into two parts, Return Home and Return Back, and create patterns in order to concisely model them. Finally, we test these patterns and evaluate the tools we used to create the µ-charts, translate them into their Z semantics and test them.

year: 2017

title: Computational vibrational and electronic spectroscopy of the water nitric oxide complex

authors: Salmi, Teemu

subjects: water nitric oxide complex

abstract: The water nitric oxide complex has been studied computationally. We consider the four lowest energy structures of the H₂O−NO complex: two from both symmetries ²A′ and ²A′′. We use the coupled cluster method with correlation consistent basis sets in all ab initio calculations. Vibrational transitions have been calculated using a model that describes the complex as two individually vibrating monomer units: H₂O and NO. We use the variational method to solve the vibrational problem. The OH-stretching energy levels and transition intensities are calculated up to the second and NO-stretching to the third overtone region. We also study NO-stretching vibronic transitions (A²Σ+ ← X²Π). We use an isolated local mode approach to calculate energies and oscillator strengths of the vibronic transitions. The results for the complex are compared to the corresponding monomer ones.

text: Computational vibrational and electronic spectroscopy of the water nitric oxide complex The water nitric oxide complex has been studied computationally. We consider the four lowest energy structures of the H₂O−NO complex: two from both symmetries ²A′ and ²A′′. We use the coupled cluster method with correlation consistent basis sets in all ab initio calculations. Vibrational transitions have been calculated using a model that describes the complex as two individually vibrating monomer units: H₂O and NO. We use the variational method to solve the vibrational problem. The OH-stretching energy levels and transition intensities are calculated up to the second and NO-stretching to the third overtone region. We also study NO-stretching vibronic transitions (A²Σ+ ← X²Π). We use an isolated local mode approach to calculate energies and oscillator strengths of the vibronic transitions. The results for the complex are compared to the corresponding monomer ones.

year: 2010

title: Inside the Resource Management Act:  A Tainui Case Study

authors: Greensill, Angeline Ngahina

subjects: Maori

abstract: Under the Resource Management Act (RMA) 1991 councils are required to promote the sustainable management of physical and natural resources within their respective areas.    In carrying out their duties, councils are obliged to recognise and provide for the relationship of Māori with their culture, traditions, lands, waters and other taonga.  They are also required to have regard to kaitiakitanga, and to take into account the principles of te Tiriti o Waitangi when making decisions.    
This thesis focuses on the RMA experiences of Tainui, a hapū in Whaingaroa. It sets out to prove that in the last 19 years, since the enactment of the RMA, Waikato councils have failed to honour these obligations to Tainui.  While the RMA specifically provides for Māori interests, in reality those interests are contested and eroded by decision makers who write and enforce rules which inequitably affect Māori relationships with land and other taonga. 
The thesis engages multiple theories and methodologies including Kaupapa Māori, critical theory, autobiography, and a longitudinal case study to expose personal experiences that   bring the realities of planning impacts on Tainui to life.    The fact that Tainui has successfully appealed several council decisions to the Environment Court indicates that councils are failing to meet their obligations as laid out in the legislation.

text: Inside the Resource Management Act:  A Tainui Case Study Under the Resource Management Act (RMA) 1991 councils are required to promote the sustainable management of physical and natural resources within their respective areas.    In carrying out their duties, councils are obliged to recognise and provide for the relationship of Māori with their culture, traditions, lands, waters and other taonga.  They are also required to have regard to kaitiakitanga, and to take into account the principles of te Tiriti o Waitangi when making decisions.    
This thesis focuses on the RMA experiences of Tainui, a hapū in Whaingaroa. It sets out to prove that in the last 19 years, since the enactment of the RMA, Waikato councils have failed to honour these obligations to Tainui.  While the RMA specifically provides for Māori interests, in reality those interests are contested and eroded by decision makers who write and enforce rules which inequitably affect Māori relationships with land and other taonga. 
The thesis engages multiple theories and methodologies including Kaupapa Māori, critical theory, autobiography, and a longitudinal case study to expose personal experiences that   bring the realities of planning impacts on Tainui to life.    The fact that Tainui has successfully appealed several council decisions to the Environment Court indicates that councils are failing to meet their obligations as laid out in the legislation.

year: 2010