title: The explicit conflict check algorithm implemented in the Waters library

authors: Malik, Robi

subjects: computer science

abstract: This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

text: The explicit conflict check algorithm implemented in the Waters library This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

year: 2018

title: Voice, body, movement, ‘space’:  Perspectives and pedagogical endeavours of three New Zealand secondary drama teachers in their new build spaces

authors: Thomson, Annette Margaret

subjects: Drama pedagogy

abstract: Space is important to drama teachers and as Benade (2017a) suggests physical space can support their relational pedagogy. Historically New Zealand secondary drama teachers have had to ‘make do’ (Wright, 2021) with less than ideal, shared traditional auditoriums, and ad hoc spaces. 
Motivated by earlier practitioner research (Coleman & Thomson, 2021), this inquiry aims to understand the perspectives of New Zealand secondary drama teachers in their new build spaces. This research examines the new physical spaces being built in our schools and asks are they meeting the needs of these teachers?
Qualitative in nature the research examines the narratives of three participants: Sue, Neta and Denise.  Aligning with similar studies into the complex world of drama teachers (Ackroyd, 2007) three unique case studies were undertaken to address questions and gather evidence. Photographs were submitted by participants; two semi structured interviews were carried out and observations of a drama lesson were conducted concurrently.  The thesis is written with a metaphorical framework familiar to drama teachers, the acting techniques of: Voice, Body, Movement and Space.
Three key findings suggest that location, architecture and personal space of the physical areas affected the collaborative, relational and performative nature of the secondary subject ‘Drama’. These physical elements affected both participants pedagogy and the ability to deliver New Zealand secondary curriculum and assessments.
The physical location of the drama space within the school affected the ability to find private creative space and collaborate with other learning disciplines. The architecture of the spaces, particularly the size, flexibility and style of the performance area contributed to participants capacity to do the work of drama and deliver curriculum. Participants that had agency in their new builds had positive perspectives about their spaces to assist in developing a safe and supportive environment for secondary drama teaching.

text: Voice, body, movement, ‘space’:  Perspectives and pedagogical endeavours of three New Zealand secondary drama teachers in their new build spaces Space is important to drama teachers and as Benade (2017a) suggests physical space can support their relational pedagogy. Historically New Zealand secondary drama teachers have had to ‘make do’ (Wright, 2021) with less than ideal, shared traditional auditoriums, and ad hoc spaces. 
Motivated by earlier practitioner research (Coleman & Thomson, 2021), this inquiry aims to understand the perspectives of New Zealand secondary drama teachers in their new build spaces. This research examines the new physical spaces being built in our schools and asks are they meeting the needs of these teachers?
Qualitative in nature the research examines the narratives of three participants: Sue, Neta and Denise.  Aligning with similar studies into the complex world of drama teachers (Ackroyd, 2007) three unique case studies were undertaken to address questions and gather evidence. Photographs were submitted by participants; two semi structured interviews were carried out and observations of a drama lesson were conducted concurrently.  The thesis is written with a metaphorical framework familiar to drama teachers, the acting techniques of: Voice, Body, Movement and Space.
Three key findings suggest that location, architecture and personal space of the physical areas affected the collaborative, relational and performative nature of the secondary subject ‘Drama’. These physical elements affected both participants pedagogy and the ability to deliver New Zealand secondary curriculum and assessments.
The physical location of the drama space within the school affected the ability to find private creative space and collaborate with other learning disciplines. The architecture of the spaces, particularly the size, flexibility and style of the performance area contributed to participants capacity to do the work of drama and deliver curriculum. Participants that had agency in their new builds had positive perspectives about their spaces to assist in developing a safe and supportive environment for secondary drama teaching.

year: 2022

title: Poi Apakura

authors: Maxwell, Te Kahautu

abstract: Poi Apakura portrays the battles both pre European contact through to the land wars and the confiscation of 400,000 acres of Te Whakatōhea land s in 1865 with the killing of the missionary Rev Catl Volkner known as Te Wākana. Performed by Ōpōtiki Mai Tawhiti at the Te Matatini World Championship Kapa Haa Competition 2013.

text: Poi Apakura Poi Apakura portrays the battles both pre European contact through to the land wars and the confiscation of 400,000 acres of Te Whakatōhea land s in 1865 with the killing of the missionary Rev Catl Volkner known as Te Wākana. Performed by Ōpōtiki Mai Tawhiti at the Te Matatini World Championship Kapa Haa Competition 2013.

year: 2013