title: A teaching and support tool for building formal models of graphical user-interfaces

authors: Reeves, Steve

subjects: logic

abstract: In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes-the teaching of first-order logic and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching first-order logic, namely Tarski's World.

text: A teaching and support tool for building formal models of graphical user-interfaces In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes-the teaching of first-order logic and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching first-order logic, namely Tarski's World.

year: 1996

title: Cricket bowling: A two-segment Lagrangian model

authors: Ferdinands, R. E. D.

subjects: cricket

abstract: In this study, a Lagrangian forward solution of the bowling arm in cricket is made using a two-segment rigid body model, coupled with projectile equations for the free flight of the ball. For given initial arm positions and constant joint torques, the equations are solved numerically to determine the ball speed and arm angle at release so that the ball can land on a predetermined position on the pitch. The model was driven with kinematic data from video obtained from an elite bowler. The model can be analysed in order to study the biomechanics of the bowling arm as well as to quantify the effects of changing input parameters on the trajectory and speed of the ball.

text: Cricket bowling: A two-segment Lagrangian model In this study, a Lagrangian forward solution of the bowling arm in cricket is made using a two-segment rigid body model, coupled with projectile equations for the free flight of the ball. For given initial arm positions and constant joint torques, the equations are solved numerically to determine the ball speed and arm angle at release so that the ball can land on a predetermined position on the pitch. The model was driven with kinematic data from video obtained from an elite bowler. The model can be analysed in order to study the biomechanics of the bowling arm as well as to quantify the effects of changing input parameters on the trajectory and speed of the ball.

year: 2000

title: Survivance as narrative identity: Voices from a Ngāti Tiipa oral history project

authors: Kukutai, Tahu

subjects: oral history

abstract: For Indigenous peoples, and Mäori specifically, storytelling and oral history are crucial to the survival of our collective identities, culture and language. Retold across generations, our stories are often explicit and interwoven narratives of personal and collective memories. Drawing on Native American scholar Gerald Vizenor’s (2009) concept of “survivance stories”, this article explores a set of three oral history narratives of kaumätua from Ngäti Tiipa, one of the 33 iwi and hapü of the Waikato-Tainui confederation. Our analysis reveals how enduring connections to the river and land, the retention of whänau practices and the intergenerational transmission of tüpuna names have shaped contemporary expressions of Ngäti Tiipa identity and belonging. We explore how these testimonies reveal survivance as a repeated theme that has its own nuanced interpretation in individual and collective tribal oral stories.

text: Survivance as narrative identity: Voices from a Ngāti Tiipa oral history project For Indigenous peoples, and Mäori specifically, storytelling and oral history are crucial to the survival of our collective identities, culture and language. Retold across generations, our stories are often explicit and interwoven narratives of personal and collective memories. Drawing on Native American scholar Gerald Vizenor’s (2009) concept of “survivance stories”, this article explores a set of three oral history narratives of kaumätua from Ngäti Tiipa, one of the 33 iwi and hapü of the Waikato-Tainui confederation. Our analysis reveals how enduring connections to the river and land, the retention of whänau practices and the intergenerational transmission of tüpuna names have shaped contemporary expressions of Ngäti Tiipa identity and belonging. We explore how these testimonies reveal survivance as a repeated theme that has its own nuanced interpretation in individual and collective tribal oral stories.

year: 2020