title: A logic for the schema calculus

authors: Henson, Martin C.

subjects: computer science

abstract: In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus is arguably the reason for Z’s popularity but so far no true calculus (a sound system of rules for reasoning about schema expressions) has been given. Presentations thus far have either failed to provide a calculus (e.g. the draft standard [3]) or have fallen back on informal descriptions at a syntactic level (most text books e.g. [7]). Once the calculus is established we introduce a derived equational logic which enables us to formalise properly the informal notations of schema expression equality to be found in the literature.

text: A logic for the schema calculus In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus is arguably the reason for Z’s popularity but so far no true calculus (a sound system of rules for reasoning about schema expressions) has been given. Presentations thus far have either failed to provide a calculus (e.g. the draft standard [3]) or have fallen back on informal descriptions at a syntactic level (most text books e.g. [7]). Once the calculus is established we introduce a derived equational logic which enables us to formalise properly the informal notations of schema expression equality to be found in the literature.

year: 1998-03

title: Isolation and identification of pectenotoxins-13 and -14 from Dinophysis acuta in New Zealand

authors: Miles, Christopher O.

subjects: Dinophysis acuta

abstract: Two novel pectenotoxins (PTXs), PTX-13 and -14, were isolated from extracts of Dinophysis acuta collected from the west coast of South Island, New Zealand. The compounds were identified as oxidized analogues of PTX-2 by NMR spectroscopic and LC-MS studies. PTX-13 (32R-hydroxyPTX-2) corresponds to the unidentified analogue PTX-11x reported by [Suzuki et al., 2003. Liquid chromatography-mass spectrometry of spiroketal stereoisomers of pectenotoxins and the analysis of novel pectenotoxin isomers in the toxic dinoflagellate Dinophysis acuta from New Zealand. J. Chromatogr. A 992, 141–150]. PTX-13 underwent slow deuteration at the 13β-position during NMR analysis. PTX-14 corresponds to the 32,36-dehydration product of PTX-13, and may be an artifact.

text: Isolation and identification of pectenotoxins-13 and -14 from Dinophysis acuta in New Zealand Two novel pectenotoxins (PTXs), PTX-13 and -14, were isolated from extracts of Dinophysis acuta collected from the west coast of South Island, New Zealand. The compounds were identified as oxidized analogues of PTX-2 by NMR spectroscopic and LC-MS studies. PTX-13 (32R-hydroxyPTX-2) corresponds to the unidentified analogue PTX-11x reported by [Suzuki et al., 2003. Liquid chromatography-mass spectrometry of spiroketal stereoisomers of pectenotoxins and the analysis of novel pectenotoxin isomers in the toxic dinoflagellate Dinophysis acuta from New Zealand. J. Chromatogr. A 992, 141–150]. PTX-13 underwent slow deuteration at the 13β-position during NMR analysis. PTX-14 corresponds to the 32,36-dehydration product of PTX-13, and may be an artifact.

year: 2006-08

title: Place imaginaries: Photography and place-making at Te Awa River Ride

authors: Hill, Rodrigo

subjects: photography

abstract: Contemporary photographic practice has evolved into a field of possibilities, which includes a flux of representational modes that depict experiences, feelings and emotions. This PhD with Creative Practice Components investigates how photography is embedded within ways of knowing, experiencing and making places and the subsequent visual constructions of place imaginaries.  Drawing on contemporary photographic practice and theory, I position myself as a qualitative researcher engaged in creative practice, specifically lens-based approaches and modes of photographic representation. In contrast to photography’s dominant discourse centred on indexical and objective assumptions, I understand photographic practices and images as constructions of multiple meanings.

I use Te Awa River Ride as my research locale, a place where different practices and discourses entangle, forming a diverse set of dynamic and intersecting meanings. Te Awa River Ride is a shared pathway, with a planned total length of 70 kilometres, that edges the banks of the Waikato River from Ngāruawāhia to Cambridge, in the central North Island of Aotearoa New Zealand. I understand Te Awa River Ride as a place-composite, layered by multiple place imaginaries, including indigenous Māori, Pākehā and European ways of meaning and place-making. In this thesis I draw upon place imaginaries as a way of expressing visual possibilities, constructions and affective responses to my own and others’ experiences at this unique research location. 

My photography practice aims to actualise particular place imaginaries through curation and sequencing of lens-based explorations of light, movement and water. This process and the compilation of imagery into curatorial products, such as photography installations, generate novel ways of perceiving the Waikato River and Te Awa River Ride, revealing the centrality of photography in place-making processes.

text: Place imaginaries: Photography and place-making at Te Awa River Ride Contemporary photographic practice has evolved into a field of possibilities, which includes a flux of representational modes that depict experiences, feelings and emotions. This PhD with Creative Practice Components investigates how photography is embedded within ways of knowing, experiencing and making places and the subsequent visual constructions of place imaginaries.  Drawing on contemporary photographic practice and theory, I position myself as a qualitative researcher engaged in creative practice, specifically lens-based approaches and modes of photographic representation. In contrast to photography’s dominant discourse centred on indexical and objective assumptions, I understand photographic practices and images as constructions of multiple meanings.

I use Te Awa River Ride as my research locale, a place where different practices and discourses entangle, forming a diverse set of dynamic and intersecting meanings. Te Awa River Ride is a shared pathway, with a planned total length of 70 kilometres, that edges the banks of the Waikato River from Ngāruawāhia to Cambridge, in the central North Island of Aotearoa New Zealand. I understand Te Awa River Ride as a place-composite, layered by multiple place imaginaries, including indigenous Māori, Pākehā and European ways of meaning and place-making. In this thesis I draw upon place imaginaries as a way of expressing visual possibilities, constructions and affective responses to my own and others’ experiences at this unique research location. 

My photography practice aims to actualise particular place imaginaries through curation and sequencing of lens-based explorations of light, movement and water. This process and the compilation of imagery into curatorial products, such as photography installations, generate novel ways of perceiving the Waikato River and Te Awa River Ride, revealing the centrality of photography in place-making processes.

year: 2019