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: Claiming space in sport: Opening wide the doors to sporting success

authors: Bruce, Toni

subjects: sportswomen

abstract: With a new millennium comes time to reflect on where we have been and where we are going. There are many stories of New Zealand sportswomen’s success that should be celebrated, and there is little doubt that visibility, opportunities, public support and recognition have improved over time. In this first section of the book, we focus on research that highlights some of those achievements.

text: Claiming space in sport: Opening wide the doors to sporting success With a new millennium comes time to reflect on where we have been and where we are going. There are many stories of New Zealand sportswomen’s success that should be celebrated, and there is little doubt that visibility, opportunities, public support and recognition have improved over time. In this first section of the book, we focus on research that highlights some of those achievements.

year: 2008

title: Research and development absorptive capacity: a Māori perspective

authors: Ruckstuhl, Katharina

subjects: computer science

abstract: This paper presents a view of research and development absorptive capacity from a Māori perspective. The assessment is part of a case study of a longitudinal programme – Science for Technological Innovation: Kia kotahi mai – Te Ao Putaiao me te Ao Hanagarau that aims to increase Aotearoa New Zealand’s capacity to use sci-tech for economic benefit. The paper finds that while Aotearoa New Zealand’s macro policy and meso institutional levels have become more responsive to Māori research and development demands, at the micro level of the individual or the firm there are still constraints given the small numbers of Māori in science, technology, engineering and mathematics. In response to this, a novel model of Māori sci-tech capacity is under development that considers not only research and development technical capacities, but also the human and relational capacities required to accelerate absorptive capacity to respond to Māori social and economic aspirations.

text: Research and development absorptive capacity: a Māori perspective This paper presents a view of research and development absorptive capacity from a Māori perspective. The assessment is part of a case study of a longitudinal programme – Science for Technological Innovation: Kia kotahi mai – Te Ao Putaiao me te Ao Hanagarau that aims to increase Aotearoa New Zealand’s capacity to use sci-tech for economic benefit. The paper finds that while Aotearoa New Zealand’s macro policy and meso institutional levels have become more responsive to Māori research and development demands, at the micro level of the individual or the firm there are still constraints given the small numbers of Māori in science, technology, engineering and mathematics. In response to this, a novel model of Māori sci-tech capacity is under development that considers not only research and development technical capacities, but also the human and relational capacities required to accelerate absorptive capacity to respond to Māori social and economic aspirations.

year: 2019