title: Opening Address to the National Māori Graduates of Psychology Symposium 2002: Making a difference

authors: Nikora, Linda Waimarie

subjects: Maori

abstract: The opening address to the National Māori Graduates of Psychology Symposium 2002.  This address introduces the themes of the conference: Kia matāra - negotiating the challenges in Māori development, kia mau – recruitment and retention, Tuhia mai, whiua atu – research and methodology, tinia mai – intervantions and treatment, taitaia i te ahi manuka – pride upon the skin.

text: Opening Address to the National Māori Graduates of Psychology Symposium 2002: Making a difference The opening address to the National Māori Graduates of Psychology Symposium 2002.  This address introduces the themes of the conference: Kia matāra - negotiating the challenges in Māori development, kia mau – recruitment and retention, Tuhia mai, whiua atu – research and methodology, tinia mai – intervantions and treatment, taitaia i te ahi manuka – pride upon the skin.

year: 2003

title: Cultural justice and ethics: From within

authors: Garner, Kerin

subjects: Maori

abstract: Where I eventually got a lot of support, awhi, aroha, was from the PPTA when I became a member of Te Huarahi and they helped to see me through the tears and the confusion. It wasn’t because I was Maori, it was because I was a human being. I think the process I have gone through is a process of becoming human, and becoming real in thinking; yes, my experience is valid. I’m not just Maori, I’m Pakeha too. I want both of them, I am both of them. I don’t have to get up and speak fluent Maori right now. Perhaps it will come. I hope it does because I want it to, and I’m going to work on it. But I do feel that people like me, and there are many of us, are not marginal. We are bridges between cultures. This diversity has to be acknowledged, honoured and respected.

text: Cultural justice and ethics: From within Where I eventually got a lot of support, awhi, aroha, was from the PPTA when I became a member of Te Huarahi and they helped to see me through the tears and the confusion. It wasn’t because I was Maori, it was because I was a human being. I think the process I have gone through is a process of becoming human, and becoming real in thinking; yes, my experience is valid. I’m not just Maori, I’m Pakeha too. I want both of them, I am both of them. I don’t have to get up and speak fluent Maori right now. Perhaps it will come. I hope it does because I want it to, and I’m going to work on it. But I do feel that people like me, and there are many of us, are not marginal. We are bridges between cultures. This diversity has to be acknowledged, honoured and respected.

year: 1993

title: Shape predicates allow unbounded verification of linearizability using canonical abstraction

authors: Friggens, David

subjects: canonical abstraction

abstract: Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well.

text: Shape predicates allow unbounded verification of linearizability using canonical abstraction Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well.

year: 2014