title: Stories with happy endings: Preventing pet dog attacks on children

authors: Carter, Jennifer

subjects: dog attacks

abstract: This 2007-8 CAPFNZ Summer Research Scholarship had as its objective the identification of valid and reliable guidelines for safe interaction between children and pet dogs in their homes or known to them and their incorporation in a range of age-appropriate educational resources.

text: Stories with happy endings: Preventing pet dog attacks on children This 2007-8 CAPFNZ Summer Research Scholarship had as its objective the identification of valid and reliable guidelines for safe interaction between children and pet dogs in their homes or known to them and their incorporation in a range of age-appropriate educational resources.

year: 2008-04

title: Compositional nonblocking verificationusing generalised nonblocking abstractions

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

text: Compositional nonblocking verificationusing generalised nonblocking abstractions This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

year: 2013

title: Civilisation, settlers and wanderers: Law, politics and mobility in nineteenth century New Zealand and Australia

authors: Seuffert, Nan

subjects: colonization

abstract: Mobility was constitutive of the 19th century British colonial period in the Pacific. The circulation of capital and commodities, technologies of transportation and communication, travelling ideologies and systems of governance and surveillance, as well as the movement of explorers, whalers, labourers, settlers, missionaries, colonial administrators, convicts, soldiers, sojourners, immigrants, and transnational and displaced indigenous peoples, all shaped the politics and the period (see Ballantyne 2009: 7-8; Seuffert 2006: 7-8; Arrighi 1994: 48-58). Highly mobile British and European immigrants with money or skills were termed 'settlers', with associated connotations of stabilising and civilising influences. Missionaries and colonial officials who were integral to colonisation were also often highly mobile, carrying policies and regulatory regimes with them, and their colonial roles as 'civilising' influences included 'settling' and advancing the position of indigenous and other colonised peoples. In contrast, the mobility of poor whites and racialised populations - such as 'Melanesian' indentured labourers (Banivanua-Mar 2007: 3-4)2, Indian workers, displaced indigenous peoples and 'sojourner' Chinese - attracted the attention of law (and policy) makers and institutional authorities and were subjected to various forms of surveillance, regulation and policing designed to constrain and contain them.

text: Civilisation, settlers and wanderers: Law, politics and mobility in nineteenth century New Zealand and Australia Mobility was constitutive of the 19th century British colonial period in the Pacific. The circulation of capital and commodities, technologies of transportation and communication, travelling ideologies and systems of governance and surveillance, as well as the movement of explorers, whalers, labourers, settlers, missionaries, colonial administrators, convicts, soldiers, sojourners, immigrants, and transnational and displaced indigenous peoples, all shaped the politics and the period (see Ballantyne 2009: 7-8; Seuffert 2006: 7-8; Arrighi 1994: 48-58). Highly mobile British and European immigrants with money or skills were termed 'settlers', with associated connotations of stabilising and civilising influences. Missionaries and colonial officials who were integral to colonisation were also often highly mobile, carrying policies and regulatory regimes with them, and their colonial roles as 'civilising' influences included 'settling' and advancing the position of indigenous and other colonised peoples. In contrast, the mobility of poor whites and racialised populations - such as 'Melanesian' indentured labourers (Banivanua-Mar 2007: 3-4)2, Indian workers, displaced indigenous peoples and 'sojourner' Chinese - attracted the attention of law (and policy) makers and institutional authorities and were subjected to various forms of surveillance, regulation and policing designed to constrain and contain them.

year: 2011