title: Unit testing of Z specifications

authors: Utting, Mark

subjects: computer science

abstract: We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive.

text: Unit testing of Z specifications We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive.

year: 2008

title: Almost weak Asplund spaces

authors: Somasundaram, Sivajah

abstract: Continuous convex functions have long been known to be generically differentiable on Euclidean spaces. However, in 1968 Asplund decided to investigate and classify those Banach spaces that possess this Euclidean space property. Specifically, Asplund investigated those Banach spaces on which every continuous convex function is Gâteaux (Fréchet) differentiable at the points of a residual subset of their domain. Such spaces are now known as weak Asplund (Asplund) spaces. While the study of Asplund spaces has flourished into a beautifully detailed story admitting several characterisations, the corresponding theory for weak Asplund spaces has been rather thin. In particular, there are no known characterisations for this class of spaces. 
In one attempt to provide such a characterisation, the class of Gâteaux differentiability spaces, that is, those spaces on which every continuous convex function is densely Gâteaux differentiable, was introduced. While it follows from the definition that every weak Asplund space is a Gâteaux differentiability space, it has been a long standing open problem, first asked by Larman and Phelps in 1979, as to whether every Gâteaux differentiability space is a weak Asplund space. 
The main goal of this thesis is to construct a Gâteaux differentiability space that is not weak Asplund, thus answering the question of Larman and Phelps from 1979. We achieve this counter-example by considering Banach spaces of the form (C(K),∥·∥∞), where K is a compact Hausdorff space.

text: Almost weak Asplund spaces Continuous convex functions have long been known to be generically differentiable on Euclidean spaces. However, in 1968 Asplund decided to investigate and classify those Banach spaces that possess this Euclidean space property. Specifically, Asplund investigated those Banach spaces on which every continuous convex function is Gâteaux (Fréchet) differentiable at the points of a residual subset of their domain. Such spaces are now known as weak Asplund (Asplund) spaces. While the study of Asplund spaces has flourished into a beautifully detailed story admitting several characterisations, the corresponding theory for weak Asplund spaces has been rather thin. In particular, there are no known characterisations for this class of spaces. 
In one attempt to provide such a characterisation, the class of Gâteaux differentiability spaces, that is, those spaces on which every continuous convex function is densely Gâteaux differentiable, was introduced. While it follows from the definition that every weak Asplund space is a Gâteaux differentiability space, it has been a long standing open problem, first asked by Larman and Phelps in 1979, as to whether every Gâteaux differentiability space is a weak Asplund space. 
The main goal of this thesis is to construct a Gâteaux differentiability space that is not weak Asplund, thus answering the question of Larman and Phelps from 1979. We achieve this counter-example by considering Banach spaces of the form (C(K),∥·∥∞), where K is a compact Hausdorff space.

year: 2004

title: Rights to water an indigenous right?

authors: Toki, Valmaine

abstract: The United Nations Declaration on the Rights of Indigenous People ("the Declaration") was adopted by the United Nations General Assembly in September 2007 with a majority of 143 states in favour.  Since then Australia, New Zealand, Canada and the United States have also signalled their support for the Declaration.

text: Rights to water an indigenous right? The United Nations Declaration on the Rights of Indigenous People ("the Declaration") was adopted by the United Nations General Assembly in September 2007 with a majority of 143 states in favour.  Since then Australia, New Zealand, Canada and the United States have also signalled their support for the Declaration.

year: 2012