title: An implementation of a compositional approach for verifying generalised nonblocking

authors: Francis, Rachel

subjects: computer science

abstract: Generalised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often involves exploring state-spaces which will exceed available memory. A compositional verification approach has been developed to achieve verification for models of a much larger size. For this project, we have developed the first implementation for compositionally verifying generalised nonblocking. In addition, we have experimented with the techniques used in compositional verification, and analysed their performance. Our algorithm has successfully verified a large set of industrial-size models, including at least one large model which had not been verified before.

text: An implementation of a compositional approach for verifying generalised nonblocking Generalised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often involves exploring state-spaces which will exceed available memory. A compositional verification approach has been developed to achieve verification for models of a much larger size. For this project, we have developed the first implementation for compositionally verifying generalised nonblocking. In addition, we have experimented with the techniques used in compositional verification, and analysed their performance. Our algorithm has successfully verified a large set of industrial-size models, including at least one large model which had not been verified before.

year: 2011-04-27

title: Applying citizen science to freshwater ecosystem restoration – fact sheet

authors: Peters, Michael A.

abstract: Citizen science describes the diverse ways in which the public participates in scientific investigations. Participation covers a spectrum from sending observations to a project coordinator to designing, implementing protocols, analysing and sharing findings. The popularity of citizen science both for educational and scientific purposes has grown in recent decades. Community volunteers now participate in diverse programmes that investigate the effects of climate change on biota, evolutionary processes, invasive species ecology, and changes in water and air quality (Figure 1).

text: Applying citizen science to freshwater ecosystem restoration – fact sheet Citizen science describes the diverse ways in which the public participates in scientific investigations. Participation covers a spectrum from sending observations to a project coordinator to designing, implementing protocols, analysing and sharing findings. The popularity of citizen science both for educational and scientific purposes has grown in recent decades. Community volunteers now participate in diverse programmes that investigate the effects of climate change on biota, evolutionary processes, invasive species ecology, and changes in water and air quality (Figure 1).

year: 2015

title: Haumanu Hauora: refining public health institution policy to include Māori and climate change

authors: Masters-Awatere, Bridgette

abstract: The deepening climate crisis generates specific impacts that will exacerbate the already disproportionately negative health outcomes experienced by Indigenous people. Disparate health outcomes have not spontaneously emerged, but rather have been foreshadowed by existing inequities. This article summarizes a sample of the work from a two-year research project in Aotearoa New Zealand to understand existing policy processes and ascertain the extent to which health institutions give serious consideration to climate change impacts on Māori (Indigenous people) with health vulnerabilities. Speaking to tāngata whenua (Indigenous Māori), District Health Board (DHB) employees, and subject matter experts (SMEs), it was clear that policy processes were ad hoc and problematically silenced consistent Māori input. While research participants expressed their experiences of, and aspirations for, dealing with climate change, their voices were not evident in DHB policy development processes. The deficit within existing policy process reflects a lack of preparedness in the face of climate change. Despite clear resilience and adaptation strategies, structural change is needed to address identified disadvantages. Through a co-designed policy framework (“Haumanu Hauora”), we guide policy formation to mitigate climate change risk to Māori (and others). Central to the revised policy framework is the creation of space for both internal and external Māori voices to ensure consistent Māori input throughout the policy process. We also introduce a commissioning, refining, and monitoring stage (that includes evaluation). Haumanu Hauora considers whānau-centered healthcare knowledge, needs, resources, and aspirations, to contribute to a transformed and responsive health system. Above all, we believe that strengthening health institution responsiveness to Māori health needs is essential.

text: Haumanu Hauora: refining public health institution policy to include Māori and climate change The deepening climate crisis generates specific impacts that will exacerbate the already disproportionately negative health outcomes experienced by Indigenous people. Disparate health outcomes have not spontaneously emerged, but rather have been foreshadowed by existing inequities. This article summarizes a sample of the work from a two-year research project in Aotearoa New Zealand to understand existing policy processes and ascertain the extent to which health institutions give serious consideration to climate change impacts on Māori (Indigenous people) with health vulnerabilities. Speaking to tāngata whenua (Indigenous Māori), District Health Board (DHB) employees, and subject matter experts (SMEs), it was clear that policy processes were ad hoc and problematically silenced consistent Māori input. While research participants expressed their experiences of, and aspirations for, dealing with climate change, their voices were not evident in DHB policy development processes. The deficit within existing policy process reflects a lack of preparedness in the face of climate change. Despite clear resilience and adaptation strategies, structural change is needed to address identified disadvantages. Through a co-designed policy framework (“Haumanu Hauora”), we guide policy formation to mitigate climate change risk to Māori (and others). Central to the revised policy framework is the creation of space for both internal and external Māori voices to ensure consistent Māori input throughout the policy process. We also introduce a commissioning, refining, and monitoring stage (that includes evaluation). Haumanu Hauora considers whānau-centered healthcare knowledge, needs, resources, and aspirations, to contribute to a transformed and responsive health system. Above all, we believe that strengthening health institution responsiveness to Māori health needs is essential.

year: 2023-05-05