Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Aboriginal and Torres Strait Islander Studies Unit Annual Report

Welcome to the 2002 Aboriginal and Torres Strait Islander Studies Unit Annual Report. This report is a brief summary of Unit activities during the 2002 calendar year. The Unit provides personal and academic support for Aboriginal and Torres Strait Islander students and specifically aims to increase the recruitment, retention, academic performance and graduation rates of Indigenous students. The Unit also administers schemes to help Indigenous students gain access to, and receive support in, tertiary studies such as the Alternative Entry scheme and the federally funded Aboriginal Tutorial Assistance Scheme (ATAS). The Unit is also the focus for teaching and research in Aboriginal and Torres Strait Islander Studies at the University of Queensland.

Aboriginal and Torres Strait Islander Studies Unit Annual Report 2003

Welcome to the 2003 Aboriginal and Torres Strait Islander Studies Unit Annual Report. This report is a brief summary of Unit activities during the 2003 calendar year. The Unit provides personal and academic support for Aboriginal and Torres Strait Islander students and specifically aims to increase the recruitment, retention, academic performance and graduation rates of Indigenous students. The Unit also administers schemes to help Indigenous students gain access to, and receive support in, tertiary studies such as the Alternative Entry scheme and the federally funded Aboriginal Tutorial Assistance Scheme (ATAS). The Unit is also the focus for teaching and research in Aboriginal and Torres Strait Islander Studies at the University of Queensland.

Aboriginal and Torres Strait Islander Studies Unit Annual Report 2005

Welcome to the 2005 Aboriginal and Torres Strait Islander Studies Unit Annual Report. This report is a brief summary of Unit activities during the 2005 calendar year. The Unit provides personal and academic support for Aboriginal and Torres Strait Islander students and specifically aims to increase the recruitment, retention, academic performance and graduation rates of Indigenous students. The Unit also administers schemes to help Indigenous students gain access to, and receive support in, tertiary studies such as the Alternative Entry scheme and the federally-funded Indigenous Tutorial Assistance Scheme (ITAS). The Unit is also the focus for teaching and research in Aboriginal and Torres Strait Islander Studies at the University of Queensland.

A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Critical values for unit root and cointegration test statistics - the use of response surface equations

This note considers the value of surface response equations which can be used to calculate critical values for a range of unit root and cointegration tests popular in applied economic research.