title: Modular control-loop detection

authors: Malik, Robi

subjects: computer science

abstract: This paper presents an efficient algorithm to
detect control-loops in large finite-state systems. The proposed
algorithm exploits the modular structure present in many
models of practical relevance, and often successfully avoids the
explicit synchronous composition of subsystems and thereby
the state explosion problem. Experimental results show that
the method can be used to verify industrial applications of
considerable complexity.

text: Modular control-loop detection This paper presents an efficient algorithm to
detect control-loops in large finite-state systems. The proposed
algorithm exploits the modular structure present in many
models of practical relevance, and often successfully avoids the
explicit synchronous composition of subsystems and thereby
the state explosion problem. Experimental results show that
the method can be used to verify industrial applications of
considerable complexity.

year: 2006-07

title: The marginal willingness-to-pay for attributes of a hypothetical HIV vaccine

authors: Cameron, Michael Patrick

subjects: HIV vaccine

abstract: This paper estimates the marginal willingness-to-pay for attributes of a hypothetical HIV vaccine using discrete choice modeling. We use primary data from 326 respondents from Bangkok and Chiang Mai, Thailand, in 2008–2009, selected using purposive, venue-based sampling across two strata. Participants completed a structured questionnaire and full rank discrete choice modeling task administered using computer-assisted personal interviewing. The choice experiment was used to rank eight hypothetical HIV vaccine scenarios, with each scenario comprising seven attributes (including cost) each of which had two levels. The data were analyzed in two alternative specifications: (1) best-worst; and (2) full-rank, using logit likelihood functions estimated with custom routines in Gauss matrix programming language. In the full-rank specification, all vaccine attributes are significant predictors of probability of vaccine choice. The biomedical attributes of the hypothetical HIV vaccine (efficacy, absence of VISP, absence of side effects, and duration of effect) are the most important attributes for HIV vaccine choice. On average respondents are more than twice as likely to accept a vaccine with 99% efficacy, than a vaccine with 50% efficacy. This translates to a willingness to pay US$383 more for a high efficacy vaccine compared with the low efficacy vaccine. Knowledge of the relative importance of determinants of HIV vaccine acceptability is important to ensure the success of future vaccination programs. Future acceptability studies of hypothetical HIV vaccines should use more finely grained biomedical attributes, and could also improve the external validity of results by including more levels of the cost attribute.

text: The marginal willingness-to-pay for attributes of a hypothetical HIV vaccine This paper estimates the marginal willingness-to-pay for attributes of a hypothetical HIV vaccine using discrete choice modeling. We use primary data from 326 respondents from Bangkok and Chiang Mai, Thailand, in 2008–2009, selected using purposive, venue-based sampling across two strata. Participants completed a structured questionnaire and full rank discrete choice modeling task administered using computer-assisted personal interviewing. The choice experiment was used to rank eight hypothetical HIV vaccine scenarios, with each scenario comprising seven attributes (including cost) each of which had two levels. The data were analyzed in two alternative specifications: (1) best-worst; and (2) full-rank, using logit likelihood functions estimated with custom routines in Gauss matrix programming language. In the full-rank specification, all vaccine attributes are significant predictors of probability of vaccine choice. The biomedical attributes of the hypothetical HIV vaccine (efficacy, absence of VISP, absence of side effects, and duration of effect) are the most important attributes for HIV vaccine choice. On average respondents are more than twice as likely to accept a vaccine with 99% efficacy, than a vaccine with 50% efficacy. This translates to a willingness to pay US$383 more for a high efficacy vaccine compared with the low efficacy vaccine. Knowledge of the relative importance of determinants of HIV vaccine acceptability is important to ensure the success of future vaccination programs. Future acceptability studies of hypothetical HIV vaccines should use more finely grained biomedical attributes, and could also improve the external validity of results by including more levels of the cost attribute.

year: 2013

title: Te Poho o Te Arawa: Te Mana Whenua o Ngāti Whakaue ki Maketū

authors: Potaka, Ngahu

subjects: Ngāti Whakaue

abstract: Maketū is a small coastal town in the Bay of Plenty and is the final resting place of the Te Arawa canoe, the ancestral waka of the Te Arawa people. This is the home of Ngāti Whakaue ki Maketū a coastal hapū of the tribe Ngāti Whakaue from the Te Arawa confederation of tribes. Ngāti Whakaue ki Maketū is actually a collection of smaller hapū who descend from the union of their ancestor Whakaue Kaipapa and his wife Rangiuru, and they trace their overall decent from the celebrated chief Tama te Kapua. It is on their ancestral land in Maketū that Ngāti Whakaue ki Maketū have resided and established their mana whenua (tribal authority) for over 170 years. In that time they have faced many internal and external challenges to their mana whenua including military engagement, political maneuvering, and other social issues.

This thesis traces the historical origins and mana whenua of Ngāti Whakaue ki Maketū and analyses the various key components that combine to ensure Ngāti Whakaue ki Maketū maintain mana whenua across their tribal lands. This thesis also explores how mana whenua is a vehicle for maintaining tribal authority and well being for Ngāti Whakaue ki Maketū. Part of this study is the creation of a mana whenua strategic plan that will help Ngāti Whakaue ki Maketū maintain and secure mana whenua in Maketū for future generations.

It is the proposition of this thesis that mana whenua has, is and will always play an important part in the social identity and fabric of Ngati Whakaue ki Maketū. However as Ngāti Whakaue ki Maketū stand at the dawn of a new era, it is important for this related group to understand how mana whenua operates, and can be nurtured as a means of protection to ensure the survival of Ngāti Whakaue ki Maketū in this ever changing world.

text: Te Poho o Te Arawa: Te Mana Whenua o Ngāti Whakaue ki Maketū Maketū is a small coastal town in the Bay of Plenty and is the final resting place of the Te Arawa canoe, the ancestral waka of the Te Arawa people. This is the home of Ngāti Whakaue ki Maketū a coastal hapū of the tribe Ngāti Whakaue from the Te Arawa confederation of tribes. Ngāti Whakaue ki Maketū is actually a collection of smaller hapū who descend from the union of their ancestor Whakaue Kaipapa and his wife Rangiuru, and they trace their overall decent from the celebrated chief Tama te Kapua. It is on their ancestral land in Maketū that Ngāti Whakaue ki Maketū have resided and established their mana whenua (tribal authority) for over 170 years. In that time they have faced many internal and external challenges to their mana whenua including military engagement, political maneuvering, and other social issues.

This thesis traces the historical origins and mana whenua of Ngāti Whakaue ki Maketū and analyses the various key components that combine to ensure Ngāti Whakaue ki Maketū maintain mana whenua across their tribal lands. This thesis also explores how mana whenua is a vehicle for maintaining tribal authority and well being for Ngāti Whakaue ki Maketū. Part of this study is the creation of a mana whenua strategic plan that will help Ngāti Whakaue ki Maketū maintain and secure mana whenua in Maketū for future generations.

It is the proposition of this thesis that mana whenua has, is and will always play an important part in the social identity and fabric of Ngati Whakaue ki Maketū. However as Ngāti Whakaue ki Maketū stand at the dawn of a new era, it is important for this related group to understand how mana whenua operates, and can be nurtured as a means of protection to ensure the survival of Ngāti Whakaue ki Maketū in this ever changing world.

year: 2014