title: Compositional nonblocking verification with always enabled and selfloop-only events

authors: Pilbrow, Colin

subjects: Computer Science

abstract: This report proposes to improve compositional nonblocking verification through the use of two special event types: always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system. Here, it is proposed to exploit more knowledge about the system and abstract events even though they are used in the remainder of the system. This can lead to more simplification than was previously possible. Abstraction rules from previous work are extended to respect the new special events and proofs show these rules still preserve nonblocking. The rules have been implemented in Waters and experimental results demonstrate that these extended simplification rules help verify several industrial-scale discrete event system models while achieving better state-space reduction than before.

text: Compositional nonblocking verification with always enabled and selfloop-only events This report proposes to improve compositional nonblocking verification through the use of two special event types: always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system. Here, it is proposed to exploit more knowledge about the system and abstract events even though they are used in the remainder of the system. This can lead to more simplification than was previously possible. Abstraction rules from previous work are extended to respect the new special events and proofs show these rules still preserve nonblocking. The rules have been implemented in Waters and experimental results demonstrate that these extended simplification rules help verify several industrial-scale discrete event system models while achieving better state-space reduction than before.

year: 2013-11-19

title: Developing pathic sensibilities: A critical priority for teacher education programmes

authors: Giles, David

subjects: hermeneutic phenomenology

abstract: This paper reports on a hermeneutic phenomenological research inquiry which explored ‘lived experiences’ of the teacher–student relationship in teacher education. An essential understanding from this research is that teachers and students experience their relationship as a play that is uncertain and lived beyond the rules of engagement. Teachers who are attuned to this play show phronesis in the way they relate. This research questions instrumental models of teacher education underpinned by a dominant neoliberal ideology. This research calls for the re-educating of teacher educators and teachers towards essential understandings of relationship and the pathic sensibilities associated with being-in-relationship.

text: Developing pathic sensibilities: A critical priority for teacher education programmes This paper reports on a hermeneutic phenomenological research inquiry which explored ‘lived experiences’ of the teacher–student relationship in teacher education. An essential understanding from this research is that teachers and students experience their relationship as a play that is uncertain and lived beyond the rules of engagement. Teachers who are attuned to this play show phronesis in the way they relate. This research questions instrumental models of teacher education underpinned by a dominant neoliberal ideology. This research calls for the re-educating of teacher educators and teachers towards essential understandings of relationship and the pathic sensibilities associated with being-in-relationship.

year: 2010

title: Te mana o te wahine: Young mothers healthcare experiences in pregnancy, birth, and into motherhood

authors: Kolo, Mia Elaine

subjects: Health

abstract: In Aotearoa-New Zealand being a young mother is often associated with clinical and societal ‘risks.’ Younger women have higher rates of maternal depression and suicide, complications during birth, and their babies are more likely to be born preterm, and of smaller gestational age and weight (Perinatal and Maternal Mortality Review Committee, 2012; Te Whatu Ora - Health New Zealand, 2023b, 2023a). Research also indicates that young mothers experience stigmatisation and discrimination that they attribute to their age and/or ethnicity (Adcock, 2016; Makowharemahihi et al., 2014; Rawiri, 2007; Ware, 2019).
In discussion with researchers, discrimination was the topic that young mothers at He Puaawai Teen Parent Centre wanted to talk about. They shared a strong desire to see change in the way that doctors, nurses, and midwives service young parents and were passionate about ensuring that future young mothers had more support. Thus, in responding to their call, 22 parents, including two fathers attending (or recent school-leavers of) He Puaawai Teen Parent Centre volunteered to participate in this study. This qualitative kaupapa Māori study employed a series of wānanga, individual kōrero, and an investigator-triangulation thematic analysis. The research questions explored both the positive and negative healthcare experiences of this cohort during pregnancy, birth, and into motherhood.
The aim of this study was to listen and learn about the experiences of these young parents and co-design informational and/or educational materials to help healthcare practitioners better understand and support young mothers/parents. To spread awareness of the experiences of these young parents, the co-design materials and findings of this study were disseminated via various healthcare seminars and meetings around the Waikato region. The findings of this study contribute to previous research that revealed over the last 20 years young parents have continued to report predominantly negative experiences in their maternity journey. Participants of this study reported experiences of unsolicited judgement and advice, a general lack of manaakitanga (care, empathy, respect), communication, and support from doctors, nurses, and midwives. The relatively small number of positive experiences shared in this study emphasises the importance of manaakitanga regardless of age. An unexpected finding was the impact that receptionists had on young parents’ healthcare experiences, as the face and entry point of healthcare services.

text: Te mana o te wahine: Young mothers healthcare experiences in pregnancy, birth, and into motherhood In Aotearoa-New Zealand being a young mother is often associated with clinical and societal ‘risks.’ Younger women have higher rates of maternal depression and suicide, complications during birth, and their babies are more likely to be born preterm, and of smaller gestational age and weight (Perinatal and Maternal Mortality Review Committee, 2012; Te Whatu Ora - Health New Zealand, 2023b, 2023a). Research also indicates that young mothers experience stigmatisation and discrimination that they attribute to their age and/or ethnicity (Adcock, 2016; Makowharemahihi et al., 2014; Rawiri, 2007; Ware, 2019).
In discussion with researchers, discrimination was the topic that young mothers at He Puaawai Teen Parent Centre wanted to talk about. They shared a strong desire to see change in the way that doctors, nurses, and midwives service young parents and were passionate about ensuring that future young mothers had more support. Thus, in responding to their call, 22 parents, including two fathers attending (or recent school-leavers of) He Puaawai Teen Parent Centre volunteered to participate in this study. This qualitative kaupapa Māori study employed a series of wānanga, individual kōrero, and an investigator-triangulation thematic analysis. The research questions explored both the positive and negative healthcare experiences of this cohort during pregnancy, birth, and into motherhood.
The aim of this study was to listen and learn about the experiences of these young parents and co-design informational and/or educational materials to help healthcare practitioners better understand and support young mothers/parents. To spread awareness of the experiences of these young parents, the co-design materials and findings of this study were disseminated via various healthcare seminars and meetings around the Waikato region. The findings of this study contribute to previous research that revealed over the last 20 years young parents have continued to report predominantly negative experiences in their maternity journey. Participants of this study reported experiences of unsolicited judgement and advice, a general lack of manaakitanga (care, empathy, respect), communication, and support from doctors, nurses, and midwives. The relatively small number of positive experiences shared in this study emphasises the importance of manaakitanga regardless of age. An unexpected finding was the impact that receptionists had on young parents’ healthcare experiences, as the face and entry point of healthcare services.

year: 2024