title: LSB - Live and Safe B: Alternative semantics for Event B

authors: Reeves, Steve

subjects: process refinement

abstract: We define two lifted, total relation semantics for Event B machines: Safe B for safety-only properties and Live B for liveness properties. The usual Event B proof obligations, Safe, are sufficient to establish Safe B refinement. Satisfying Safe plus a simple additional proof obligation ACT REF is sufficient to establish Live B refinement. The use of lifted, total relations both prevents the ambiguity of the unlifted relational semantics and prevents operations being clairvoyant.

text: LSB - Live and Safe B: Alternative semantics for Event B We define two lifted, total relation semantics for Event B machines: Safe B for safety-only properties and Live B for liveness properties. The usual Event B proof obligations, Safe, are sufficient to establish Safe B refinement. Satisfying Safe plus a simple additional proof obligation ACT REF is sufficient to establish Live B refinement. The use of lifted, total relations both prevents the ambiguity of the unlifted relational semantics and prevents operations being clairvoyant.

year: 2006-07-01

title: Calculating for creativity: Maths joins the circus

authors: Coleman, Claire

abstract: Following recent increases in the diversity of students, technologies, pedagogies and environments, New Zealand classrooms are sites of growing complexity. Tasked with covering a broad range of disciplines within each school day, opportunities for subject integration are of increasing value to busy teachers. Developing upon a previous piece of research (Coleman &amp; Davies, 2018), this project sought to gain student engagement in mathematics through a dramatic framework. A key factor in developing adaptable, responsive and capable learners, creativity is an area of intense educational interest and yet substantial confusion (Jefferson &amp; Anderson, 2017). Focusing upon the activation of students’ creative capacities through drama, this project offers suggestions for future praxis and the development of classrooms that invite creativity. 
We began by establishing a fictional pre-text closely related to their earlier studies of insects. Recruited to assist Professor Lee—a flea circus owner, with the redesign of her circus, this pretext deliberately offered opportunities for mathematics integration. When planning we predicted the need for students to engage with numbers and measurement, yet remained responsive to opportunities arising from the drama or instigated by the students themselves. Over the five drama-maths sessions, we collaborated with students both in and out of role, to design, plan and prepare a new cockroach circus extravaganza. We generated data for the research through reflective journal entries, student work, drama based research and focus groups. Our findings indicate an enthusiasm for the use of drama to engage students and make mathematics meaningful and highlight the vital elements for collaboration and creativity. Three distinct elements appear crucial to engaging in an effective drama-maths unit: a sense of unity in pursuing a common goal, the value of the affective and embodied elements associated with drama, and cultivation of skills for collaboration. While this project bolsters existing rhetoric surrounding STEAM integration, it advocates for further development around existing notions of collaboration for 21st century learning.

text: Calculating for creativity: Maths joins the circus Following recent increases in the diversity of students, technologies, pedagogies and environments, New Zealand classrooms are sites of growing complexity. Tasked with covering a broad range of disciplines within each school day, opportunities for subject integration are of increasing value to busy teachers. Developing upon a previous piece of research (Coleman &amp; Davies, 2018), this project sought to gain student engagement in mathematics through a dramatic framework. A key factor in developing adaptable, responsive and capable learners, creativity is an area of intense educational interest and yet substantial confusion (Jefferson &amp; Anderson, 2017). Focusing upon the activation of students’ creative capacities through drama, this project offers suggestions for future praxis and the development of classrooms that invite creativity. 
We began by establishing a fictional pre-text closely related to their earlier studies of insects. Recruited to assist Professor Lee—a flea circus owner, with the redesign of her circus, this pretext deliberately offered opportunities for mathematics integration. When planning we predicted the need for students to engage with numbers and measurement, yet remained responsive to opportunities arising from the drama or instigated by the students themselves. Over the five drama-maths sessions, we collaborated with students both in and out of role, to design, plan and prepare a new cockroach circus extravaganza. We generated data for the research through reflective journal entries, student work, drama based research and focus groups. Our findings indicate an enthusiasm for the use of drama to engage students and make mathematics meaningful and highlight the vital elements for collaboration and creativity. Three distinct elements appear crucial to engaging in an effective drama-maths unit: a sense of unity in pursuing a common goal, the value of the affective and embodied elements associated with drama, and cultivation of skills for collaboration. While this project bolsters existing rhetoric surrounding STEAM integration, it advocates for further development around existing notions of collaboration for 21st century learning.

year: 2020

title: Maori & Psychology Research Unit annual report 2005

authors: Rua, Mohi

subjects: Maori and Psychology Research Unit

abstract: Annual report of the Maori and Psychology Research Unit (MPRU) 2005. The unit was established in August of 1997. The unit is designed to provide a catalyst and support network for enhancing research concerning the psychological needs, aspirations, and priorities of Maori people. The MPRU is well situated to draw together skilled and experienced interdisciplinary research groups by networking and establishing working relationships with staff and students within the Faculty of Arts and Social Sciences, the University, and the wider community.

text: Maori & Psychology Research Unit annual report 2005 Annual report of the Maori and Psychology Research Unit (MPRU) 2005. The unit was established in August of 1997. The unit is designed to provide a catalyst and support network for enhancing research concerning the psychological needs, aspirations, and priorities of Maori people. The MPRU is well situated to draw together skilled and experienced interdisciplinary research groups by networking and establishing working relationships with staff and students within the Faculty of Arts and Social Sciences, the University, and the wider community.

year: 2005