title: Social capital and regional social infrastructure investment: Evidence from New Zealand

authors: Roskruge, Matthew James

subjects: social capital

abstract: In this paper we link unique data on local social infrastructure expenditure with micro-level individual survey data of self-reported social capital measures of trust and participation in community activities. We use both probit and tobit models to estimate the impact of social infrastructure expenditure on social capital formation. Our results imply that the links between social capital, demographic characteristics, human capital, geography and public social infrastructure investment are rather more subtle and complex than much of the literature implies. While we find evidence in support of many of the hypothesized relationships discussed in the social capital literature, our results also suggest that the impact of public social infrastructure investment is affected by both selection effects and free rider processes.

text: Social capital and regional social infrastructure investment: Evidence from New Zealand In this paper we link unique data on local social infrastructure expenditure with micro-level individual survey data of self-reported social capital measures of trust and participation in community activities. We use both probit and tobit models to estimate the impact of social infrastructure expenditure on social capital formation. Our results imply that the links between social capital, demographic characteristics, human capital, geography and public social infrastructure investment are rather more subtle and complex than much of the literature implies. While we find evidence in support of many of the hypothesized relationships discussed in the social capital literature, our results also suggest that the impact of public social infrastructure investment is affected by both selection effects and free rider processes.

year: 2010

title: Conflict-preserving abstraction of discrete event systems using annotated automata

authors: Ware, Simon

subjects: computer science

abstract: This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states and transitions. This succinct representation makes it easier to simplify automata and enables new efficientmeans of abstraction, reducing the size of automata to be composed and thus the size of the synchronous product state space encountered in verification. The abstractions proposed are of polynomial complexity, and they have been successfully applied to model check the nonblocking property of the same set of large-scale industrial examples as used in related work.

text: Conflict-preserving abstraction of discrete event systems using annotated automata This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states and transitions. This succinct representation makes it easier to simplify automata and enables new efficientmeans of abstraction, reducing the size of automata to be composed and thus the size of the synchronous product state space encountered in verification. The abstractions proposed are of polynomial complexity, and they have been successfully applied to model check the nonblocking property of the same set of large-scale industrial examples as used in related work.

year: 2012

title: The cost of aquatic weed control in the Rotorua Te Arawa Lakes

authors: Champion, Paul

abstract: We will present information on the costs of aquatic weed control in the Rotorua, Te Arawa Lakes and thank all of the people who have willingly given us their estimated costs. Hopefully, this provides guidance on what current activities cost and what future scenarios might be feasible.

text: The cost of aquatic weed control in the Rotorua Te Arawa Lakes We will present information on the costs of aquatic weed control in the Rotorua, Te Arawa Lakes and thank all of the people who have willingly given us their estimated costs. Hopefully, this provides guidance on what current activities cost and what future scenarios might be feasible.

year: 2017