title: A teaching and support tool for building formal models of graphical user-interfaces

authors: Reeves, Steve

subjects: computer science

abstract: In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes—the teaching of predicate calculus and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching predicate logic, namely Tarski's World.

text: A teaching and support tool for building formal models of graphical user-interfaces In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes—the teaching of predicate calculus and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching predicate logic, namely Tarski's World.

year: 1995-08

title: Review: The effect of temperature on enzyme activity: new insights and their implications

authors: Daniel, Roy M.

subjects: Equilibrium Model

abstract: The two established thermal properties of enzymes are their activation energy and their thermal stability. Arising from careful measurements of the thermal behaviour of enzymes, a new model, the Equilibrium Model, has been developed to explain more fully the effects of temperature on enzymes. The model describes the effect of temperature on enzyme activity in terms of a rapidly reversible active-inactive transition, in addition to an irreversible thermal inactivation. Two new thermal parameters, T eq and ΔH eq, describe the active–inactive transition, and enable a complete description of the effect of temperature on enzyme activity. We review here the Model itself, methods for the determination of T eq and ΔH eq, and the implications of the Model for the environmental adaptation and evolution of enzymes, and for biotechnology.

text: Review: The effect of temperature on enzyme activity: new insights and their implications The two established thermal properties of enzymes are their activation energy and their thermal stability. Arising from careful measurements of the thermal behaviour of enzymes, a new model, the Equilibrium Model, has been developed to explain more fully the effects of temperature on enzymes. The model describes the effect of temperature on enzyme activity in terms of a rapidly reversible active-inactive transition, in addition to an irreversible thermal inactivation. Two new thermal parameters, T eq and ΔH eq, describe the active–inactive transition, and enable a complete description of the effect of temperature on enzyme activity. We review here the Model itself, methods for the determination of T eq and ΔH eq, and the implications of the Model for the environmental adaptation and evolution of enzymes, and for biotechnology.

year: 2007

title: The Indigenous Exchange Forum: transitions in mine closure

authors: Holcombe, Sarah

abstract: “The Indigenous Exchange Forum: transitions in mine closure” was held on 2–3 November 2021 over Zoom, hosted by the Centre for Social Responsibility in Mining (CSRM) in the Sustainable Minerals Institute (SMI), at The University of Queensland.
The Forum aimed to affirm, connect, and elevate the voices of First Nations leaders and interested community members impacted by mining and mine closure. In doing so, we hoped to begin to build an international network across these Indigenous communities, to enable the sharing of experiences, struggles, and sentiments in relation to mine site transition and mine-related impacts on their lands.
The intent was to recognise each other’s unique cultural position and the impact of mining and mine closure through lessons learned: first with each other and then with industry.
The Forum had a strong foundation of reciprocity. The objective was:
•To provide an independent and culturally safe space to facilitate the connectionbetween First Nations peoples, whose customary lands have been impacted bymining.
•To position First Nations voices individually and collectively in a shared learningjourney full of experiences and lessons learned through online network exchange.
•To facilitate knowledge exchange and elevate the connectivity between Canadian,Australian, and Aotearoa (New Zealand) First Nations regarding impacts, issues, andinnovative ideas and practices in response to mine site transitions and mine closure.

text: The Indigenous Exchange Forum: transitions in mine closure “The Indigenous Exchange Forum: transitions in mine closure” was held on 2–3 November 2021 over Zoom, hosted by the Centre for Social Responsibility in Mining (CSRM) in the Sustainable Minerals Institute (SMI), at The University of Queensland.
The Forum aimed to affirm, connect, and elevate the voices of First Nations leaders and interested community members impacted by mining and mine closure. In doing so, we hoped to begin to build an international network across these Indigenous communities, to enable the sharing of experiences, struggles, and sentiments in relation to mine site transition and mine-related impacts on their lands.
The intent was to recognise each other’s unique cultural position and the impact of mining and mine closure through lessons learned: first with each other and then with industry.
The Forum had a strong foundation of reciprocity. The objective was:
•To provide an independent and culturally safe space to facilitate the connectionbetween First Nations peoples, whose customary lands have been impacted bymining.
•To position First Nations voices individually and collectively in a shared learningjourney full of experiences and lessons learned through online network exchange.
•To facilitate knowledge exchange and elevate the connectivity between Canadian,Australian, and Aotearoa (New Zealand) First Nations regarding impacts, issues, andinnovative ideas and practices in response to mine site transitions and mine closure.

year: 2022