title: A process-algebraic semantics for generalised nonblocking.

authors: Ware, Simon

subjects: Compositional verification

abstract: Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking and proposes a semantic model that characterises generalised nonblocking equivalence. The model can be constructed from the transition structure of an automaton, and has a finite representation for every finite-state automaton. It is used to construct a unique automaton representation for all generalised nonblocking equivalent automata. This gives rise to effective decision procedures to verify generalised nonblocking equivalence and refinement, and to a method to simplify automata while preserving generalised nonblocking equivalence. The results of this paper provide for better understanding of nonblocking in a compositional framework, with possible applications in compositional verification.

text: A process-algebraic semantics for generalised nonblocking. Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking and proposes a semantic model that characterises generalised nonblocking equivalence. The model can be constructed from the transition structure of an automaton, and has a finite representation for every finite-state automaton. It is used to construct a unique automaton representation for all generalised nonblocking equivalent automata. This gives rise to effective decision procedures to verify generalised nonblocking equivalence and refinement, and to a method to simplify automata while preserving generalised nonblocking equivalence. The results of this paper provide for better understanding of nonblocking in a compositional framework, with possible applications in compositional verification.

year: 2012-01

title: Microbially induced calcium carbonate precipitation: a widespread phenomenon in the biological world

authors: Seifan, Mostafa

subjects: Science & Technology

abstract: Biodeposition of minerals is a widespread phenomenon in the biological world and is mediated by bacteria, fungi, protists, and plants. Calcium carbonate is one of those minerals that naturally precipitate as a by-product of microbial metabolic activities. Over recent years, microbially induced calcium carbonate precipitation (MICP) has been proposed as a potent solution to address many environmental and engineering issues. However, for being a viable alternative to conventional techniques as well as being financially and industrially competitive, various challenges need to be overcome. In this review, the detailed metabolic pathways, including ammonification of amino acids, dissimilatory reduction of nitrate, and urea degradation (ureolysis), along with the potent bacteria and the favorable conditions for precipitation of calcium carbonate, are explained. Moreover, this review highlights the potential environmental and engineering applications of MICP, including restoration of stones and concrete, improvement of soil properties, sand consolidation, bioremediation of contaminants, and carbon dioxide sequestration. The key research and development questions necessary for near future large-scale applications of this innovative technology are also discussed.

text: Microbially induced calcium carbonate precipitation: a widespread phenomenon in the biological world Biodeposition of minerals is a widespread phenomenon in the biological world and is mediated by bacteria, fungi, protists, and plants. Calcium carbonate is one of those minerals that naturally precipitate as a by-product of microbial metabolic activities. Over recent years, microbially induced calcium carbonate precipitation (MICP) has been proposed as a potent solution to address many environmental and engineering issues. However, for being a viable alternative to conventional techniques as well as being financially and industrially competitive, various challenges need to be overcome. In this review, the detailed metabolic pathways, including ammonification of amino acids, dissimilatory reduction of nitrate, and urea degradation (ureolysis), along with the potent bacteria and the favorable conditions for precipitation of calcium carbonate, are explained. Moreover, this review highlights the potential environmental and engineering applications of MICP, including restoration of stones and concrete, improvement of soil properties, sand consolidation, bioremediation of contaminants, and carbon dioxide sequestration. The key research and development questions necessary for near future large-scale applications of this innovative technology are also discussed.

year: 2019

title: What’s in a title? The use of honorifics in media coverage

authors: Nikora, Linda Waimarie

subjects: Maori

abstract: On the 15th August 2006, Te Arikinui Dame Te Atairangikaahu (referred to in this paper as Te Arikinui) passed away at the age of 75 years old after serving the Kingitanga movement for forty years. Her passing heralded the movement of large numbers of people to Turangawaewae marae where she lay in state. Intensive media coverage played a significant role in representing who Te Arikinui was, in profiling the Kingitanga movement and activities associated with the tangi as it progressed from the 15th to the 21st August 2006.  While we may be able to identify a “correct” honorific for Te Arikinui, our findings suggest that its understanding and use by mainstream television news media presenters, reporters and interviewees is a matter influenced by ethnic and cultural politics. The preferred use of titles by Maori and non-Maori sets up a process where representations of Te Ariki are contested. To non-Maori she is a “Dame”. To Maori, she is Te Arikinui. Through further analysis and theorising we will endeavour to further discuss the nature of these politics and the differences between Maori and non-Maori representations of Te Arikinui.

text: What’s in a title? The use of honorifics in media coverage On the 15th August 2006, Te Arikinui Dame Te Atairangikaahu (referred to in this paper as Te Arikinui) passed away at the age of 75 years old after serving the Kingitanga movement for forty years. Her passing heralded the movement of large numbers of people to Turangawaewae marae where she lay in state. Intensive media coverage played a significant role in representing who Te Arikinui was, in profiling the Kingitanga movement and activities associated with the tangi as it progressed from the 15th to the 21st August 2006.  While we may be able to identify a “correct” honorific for Te Arikinui, our findings suggest that its understanding and use by mainstream television news media presenters, reporters and interviewees is a matter influenced by ethnic and cultural politics. The preferred use of titles by Maori and non-Maori sets up a process where representations of Te Ariki are contested. To non-Maori she is a “Dame”. To Maori, she is Te Arikinui. Through further analysis and theorising we will endeavour to further discuss the nature of these politics and the differences between Maori and non-Maori representations of Te Arikinui.

year: 2008