title: On the set of certain conflicts of a given language

authors: Malik, Robi

subjects: computer science

abstract: Two concurrent processes are said to be in conflict if they can get trapped in a situation where they both are waiting or running endlessly, forever unable to complete their common task. In the design of reactive systems, this is a common fault which can be very subtle and hard to detect. This paper studies conflicts in more detail and characterises the most general set of behaviours of a process which certainly leads to a conflict when accepted by another process running in parallel. It shows how this set of certain conflicts can be used to simplify the automatic detection of conflicts and thus the verification of reactive systems.

text: On the set of certain conflicts of a given language Two concurrent processes are said to be in conflict if they can get trapped in a situation where they both are waiting or running endlessly, forever unable to complete their common task. In the design of reactive systems, this is a common fault which can be very subtle and hard to detect. This paper studies conflicts in more detail and characterises the most general set of behaviours of a process which certainly leads to a conflict when accepted by another process running in parallel. It shows how this set of certain conflicts can be used to simplify the automatic detection of conflicts and thus the verification of reactive systems.

year: 2004

title: Sub-surface stratigraphy of Stella Passage, Tauranga Harbour.

authors: Moon, Vicki G.

abstract: Port of Tauranga Ltd supported two initiatives designed to develop a greater understanding of the distribution of sediments below Stella Passage (Figure 1), particularly relating to areas that may require future dredging:
(1) As part of INTERCOAST PhD research by Ehsan Jorat, Port of Tauranga provided logistic support for a series of high-resolution Cone Penetration Test (CPT) soundings along a transect on the western margin of Stella Passage in February – March 2012;
(2) Port of Tauranga provided part-funding of a Summer Scholarship student (Amy Christophers) over the 2012/13 summer, particularly to look at pre-existing cores and core descriptions.
In addition, the University of Waikato undertook a series of sub-bottom seismic profile measurements in Stella Passage as part of a Summer Scholarship funded by the University over the 2012/13 summer.
This report summarises the current state of these investigations.

text: Sub-surface stratigraphy of Stella Passage, Tauranga Harbour. Port of Tauranga Ltd supported two initiatives designed to develop a greater understanding of the distribution of sediments below Stella Passage (Figure 1), particularly relating to areas that may require future dredging:
(1) As part of INTERCOAST PhD research by Ehsan Jorat, Port of Tauranga provided logistic support for a series of high-resolution Cone Penetration Test (CPT) soundings along a transect on the western margin of Stella Passage in February – March 2012;
(2) Port of Tauranga provided part-funding of a Summer Scholarship student (Amy Christophers) over the 2012/13 summer, particularly to look at pre-existing cores and core descriptions.
In addition, the University of Waikato undertook a series of sub-bottom seismic profile measurements in Stella Passage as part of a Summer Scholarship funded by the University over the 2012/13 summer.
This report summarises the current state of these investigations.

year: 2013

title: Rangatahi of Ngāi Te Rangi Iwi: Cultural belonging and connectedness

authors: Benton, Chelsea

subjects: Māori

abstract: Rangatahi Māori (Māori youth) have one of the highest suicide rates in the OECD, they leave school earlier and with less qualifications, and suffer from higher rates of unemployment, hospitalisation and conduct and substance disorders and abuse than non-Māori. Sadly, many rangatahi move into adulthood only to experience poorer physical and mental health, shorter lifespans, and lower socioeconomic status compared to that of non-Māori. With these poor health outcomes for rangatahi Māori in mind this research explores the nature of Māori identities as a foundation for wellness, meaning, and flourishing. More importantly, this research takes into consideration the negative impacts of the colonisation of Māori and their cultural identity and the inter-generational effects of this long term systematic nature of disadvantage. I posit that cultural connectedness and belonging can foster healthy psychological and behavioural outcomes for rangatahi Māori. The mixed-method approach taken within this research sits within a Kaupapa Māori framework and draws upon accounts of 16 rangatahi Māori, aged between 10 and 14 years, who participated in a Ngāi Te Rangi Iwi based leadership development programme that reconnects rangatahi Māori with traditional customs and practices of their ancestors to enhance their health and wellbeing. Findings suggest that connectedness and belonging are manifest through practices such as Pēpeha, whakapapa, and Whakataukī/whakatauāki and rangatahi Māori draw on this cultural knowledge base and cultural practices to empower themselves, their whānau, hapū and Iwi. Rangatahi Māori in this sample also identified that whānau was most important in their lives followed by engagement in Māori culture. Findings highlight how Iwi organisations are stepping up to lead their people to a brighter future. For Māori, engaging with their Māoritanga and Te Ao Māori not only addresses the negative impacts of colonialism, but unlocks cultural potential, and an enhanced sense of self which serves to empower rangatahi Māori, their whānau, hapū and Iwi.

text: Rangatahi of Ngāi Te Rangi Iwi: Cultural belonging and connectedness Rangatahi Māori (Māori youth) have one of the highest suicide rates in the OECD, they leave school earlier and with less qualifications, and suffer from higher rates of unemployment, hospitalisation and conduct and substance disorders and abuse than non-Māori. Sadly, many rangatahi move into adulthood only to experience poorer physical and mental health, shorter lifespans, and lower socioeconomic status compared to that of non-Māori. With these poor health outcomes for rangatahi Māori in mind this research explores the nature of Māori identities as a foundation for wellness, meaning, and flourishing. More importantly, this research takes into consideration the negative impacts of the colonisation of Māori and their cultural identity and the inter-generational effects of this long term systematic nature of disadvantage. I posit that cultural connectedness and belonging can foster healthy psychological and behavioural outcomes for rangatahi Māori. The mixed-method approach taken within this research sits within a Kaupapa Māori framework and draws upon accounts of 16 rangatahi Māori, aged between 10 and 14 years, who participated in a Ngāi Te Rangi Iwi based leadership development programme that reconnects rangatahi Māori with traditional customs and practices of their ancestors to enhance their health and wellbeing. Findings suggest that connectedness and belonging are manifest through practices such as Pēpeha, whakapapa, and Whakataukī/whakatauāki and rangatahi Māori draw on this cultural knowledge base and cultural practices to empower themselves, their whānau, hapū and Iwi. Rangatahi Māori in this sample also identified that whānau was most important in their lives followed by engagement in Māori culture. Findings highlight how Iwi organisations are stepping up to lead their people to a brighter future. For Māori, engaging with their Māoritanga and Te Ao Māori not only addresses the negative impacts of colonialism, but unlocks cultural potential, and an enhanced sense of self which serves to empower rangatahi Māori, their whānau, hapū and Iwi.

year: 2019