title: Macrofossil biofacies in the late Neogene of central Hawke's Bay: applications to palaeogeography

authors: Bland, Kyle J.

subjects: Hawke's Bay

abstract: The Late Miocene–Early Pleistocene (Tongaporutuan–Nukumaruan) sedimentary succession in the forearc basin in central and western Hawke's Bay, encompassed by the Tolaga and Mangaheia Groups, comprises a wide variety of variably fossiliferous lithofacies, ranging from non-marine greywacke-derived conglomerates to bathyal mudstone and flysch beds. Thirty molluscan biofacies, inferred to have accumulated in estuarine to outer shelf palaeoenvironments, have been identified and represent both in situ and transported assemblages. Although distributed through the late Neogene succession, most biofacies occur within the Late Pliocene–Early Pleistocene part of the Mangaheia Group. Using the spatial distribution of the different biofacies, we have constructed detailed palaeoenvironmental reconstructions for the Plio-Pleistocene of central Hawke's Bay. The stratigraphic occurrence of particular biofacies has been primarily controlled by relative sea-level positions and variations in sediment input during high-frequency glacio-eustatic sea-level oscillations. The distribution of biofacies reflects proximity to contemporaneous shorelines, localised sources of carbonate sediment or dominance of siliciclastic sedimentation, and records the interplay between tectonic and eustatic drivers of relative sea-level change.

text: Macrofossil biofacies in the late Neogene of central Hawke's Bay: applications to palaeogeography The Late Miocene–Early Pleistocene (Tongaporutuan–Nukumaruan) sedimentary succession in the forearc basin in central and western Hawke's Bay, encompassed by the Tolaga and Mangaheia Groups, comprises a wide variety of variably fossiliferous lithofacies, ranging from non-marine greywacke-derived conglomerates to bathyal mudstone and flysch beds. Thirty molluscan biofacies, inferred to have accumulated in estuarine to outer shelf palaeoenvironments, have been identified and represent both in situ and transported assemblages. Although distributed through the late Neogene succession, most biofacies occur within the Late Pliocene–Early Pleistocene part of the Mangaheia Group. Using the spatial distribution of the different biofacies, we have constructed detailed palaeoenvironmental reconstructions for the Plio-Pleistocene of central Hawke's Bay. The stratigraphic occurrence of particular biofacies has been primarily controlled by relative sea-level positions and variations in sediment input during high-frequency glacio-eustatic sea-level oscillations. The distribution of biofacies reflects proximity to contemporaneous shorelines, localised sources of carbonate sediment or dominance of siliciclastic sedimentation, and records the interplay between tectonic and eustatic drivers of relative sea-level change.

year: 2013

title: Counterexample Computation in Compositional Nonblocking Verification

authors: Malik, Robi

subjects: validation

abstract: This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. The paper explains the difficulties and proposes a solution, and experimental results show that counterexamples can be computed successfully for several industrial-scale systems.

text: Counterexample Computation in Compositional Nonblocking Verification This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. The paper explains the difficulties and proposes a solution, and experimental results show that counterexamples can be computed successfully for several industrial-scale systems.

year: 2018

title: Street health: Practitioner service provision for Maori homeless people in Auckland

authors: Nikora, Linda Waimarie

abstract: Drawing insights from interviews with Maori homeless people, health professionals, and relevant local and international literatures, this chapter focuses on the provision of medical care to homeless people. In particular, we propose that health services orientate to accommodate the worldviews and circumstances of Maori homeless people. Below we consider colonialism and societal developments that have led to homelessness among Maori today. We then present a case study of ‘Grant’, which was compiled from common aspects of various Maori homeless people who access health services at the Auckland City Mission (ACM); an organisation with a long history of catering to the needs and hopes of dispossessed groups, providing food, clothing, advocacy, social and health services. The relational orientation of healthcare at the ACM is discussed, and leads to an exploration of ‘judgement-free service space’ for meeting client needs (cf., Trussell & Mair, 2010). Lastly, we focus on how health professionals can respond to the multiple healthcare needs of Maori homeless people, in partnership with social services.

text: Street health: Practitioner service provision for Maori homeless people in Auckland Drawing insights from interviews with Maori homeless people, health professionals, and relevant local and international literatures, this chapter focuses on the provision of medical care to homeless people. In particular, we propose that health services orientate to accommodate the worldviews and circumstances of Maori homeless people. Below we consider colonialism and societal developments that have led to homelessness among Maori today. We then present a case study of ‘Grant’, which was compiled from common aspects of various Maori homeless people who access health services at the Auckland City Mission (ACM); an organisation with a long history of catering to the needs and hopes of dispossessed groups, providing food, clothing, advocacy, social and health services. The relational orientation of healthcare at the ACM is discussed, and leads to an exploration of ‘judgement-free service space’ for meeting client needs (cf., Trussell & Mair, 2010). Lastly, we focus on how health professionals can respond to the multiple healthcare needs of Maori homeless people, in partnership with social services.

year: 2012-09