title: An algorithm for compositional nonblocking verification using special events

authors: Pilbrow, Colin

subjects: Science & Technology

abstract: This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special 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, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the remainder of the system and check how events are being used. Always enabled events, selfloop-only events, failing events, and blocked events are easy to detect and often help with simplification even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before.

text: An algorithm for compositional nonblocking verification using special events This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special 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, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the remainder of the system and check how events are being used. Always enabled events, selfloop-only events, failing events, and blocked events are easy to detect and often help with simplification even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before.

year: 2015-12-01

title: Bibliography of research using the NZIER’s quarterly survey of business opinion

authors: Buckle, Robert A.

subjects: Bibliography

abstract: The New Zealand Institute of Economic Research (NZIER) has conducted and published a quarterly survey of business opinion continuously, and with largely unchanged questions, since June 1961. The Institute’s Quarterly Survey of Business Opinion (QSBO) is a business tendency survey based substantially on the Business Test of the IFO Munich. It covers the manufacturing, building, merchant and service sectors and architects. This bibliography lists and classifies some 80 research papers which used QSBO data and published between 1964 and 2011.

text: Bibliography of research using the NZIER’s quarterly survey of business opinion The New Zealand Institute of Economic Research (NZIER) has conducted and published a quarterly survey of business opinion continuously, and with largely unchanged questions, since June 1961. The Institute’s Quarterly Survey of Business Opinion (QSBO) is a business tendency survey based substantially on the Business Test of the IFO Munich. It covers the manufacturing, building, merchant and service sectors and architects. This bibliography lists and classifies some 80 research papers which used QSBO data and published between 1964 and 2011.

year: 2011-06

title: Insecure, unpredictable, hoping to survive: Four cases of Māori people living precariously in Hamilton, Aotearoa New Zealand

authors: Uerata, Lynley Moana

subjects: Māori

abstract: A conceptualisation of precarity is introduced and adopted. A critique of contemporary conceptualisations of precarity is presented, drawing especially on Stuart Hall’s interpretation of articulation and Marx’s concept of relative surplus population. Much of the literature on precarity focusses on the neoliberal mode of contemporary capitalism originating in the late 1970s. However, there is limited literature which explores precarity as a way of life. A precarious way of life is characterised by interacting forms of precarity which embed insecurity, instability, and unpredictability in the everyday lives of real people. An account of the Māori experience of precarity since the pre-colonial era to the present-day is presented. Māori are the indigenous people of Aotearoa New Zealand who were colonised by the British Empire in the 1800s. 
The main research questions addressed in my thesis are: What forms of precarity are present in the everyday context? How do forms of precarity relate to each other? How do forms of precarity relate to being Māori? What kinds of support do those living with precarity gain from social structures, institutions, and social actors? What is the role of culture in the way Māori experience and mediate precarity? An analysis of semi-structured in-depth engagements with Māori people living precariously in Hamilton, Aotearoa New Zealand in 2016, based on four case studies, shows the character and significance of forms, sources, and effects of precarity in everyday life. As historical processes continue to overdetermine experiences of social structures and institutions in the present, in a contemporary capitalist context precarity arises from a wide range of interacting sources, forms, and effects of precarity. Among the different kinds of actors and organisations which comprise the support systems constructed to mediate precarity in the everyday context, cultural practices and resources can play a significant role for people who are culturally connected. When people are integrated into their local and cultural communities, they can cope better with a precarious way of life.

text: Insecure, unpredictable, hoping to survive: Four cases of Māori people living precariously in Hamilton, Aotearoa New Zealand A conceptualisation of precarity is introduced and adopted. A critique of contemporary conceptualisations of precarity is presented, drawing especially on Stuart Hall’s interpretation of articulation and Marx’s concept of relative surplus population. Much of the literature on precarity focusses on the neoliberal mode of contemporary capitalism originating in the late 1970s. However, there is limited literature which explores precarity as a way of life. A precarious way of life is characterised by interacting forms of precarity which embed insecurity, instability, and unpredictability in the everyday lives of real people. An account of the Māori experience of precarity since the pre-colonial era to the present-day is presented. Māori are the indigenous people of Aotearoa New Zealand who were colonised by the British Empire in the 1800s. 
The main research questions addressed in my thesis are: What forms of precarity are present in the everyday context? How do forms of precarity relate to each other? How do forms of precarity relate to being Māori? What kinds of support do those living with precarity gain from social structures, institutions, and social actors? What is the role of culture in the way Māori experience and mediate precarity? An analysis of semi-structured in-depth engagements with Māori people living precariously in Hamilton, Aotearoa New Zealand in 2016, based on four case studies, shows the character and significance of forms, sources, and effects of precarity in everyday life. As historical processes continue to overdetermine experiences of social structures and institutions in the present, in a contemporary capitalist context precarity arises from a wide range of interacting sources, forms, and effects of precarity. Among the different kinds of actors and organisations which comprise the support systems constructed to mediate precarity in the everyday context, cultural practices and resources can play a significant role for people who are culturally connected. When people are integrated into their local and cultural communities, they can cope better with a precarious way of life.

year: 2021