North elevation, Neville Bonner Building, Brisbane

As seen from Queens Wharf Road.

On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Kidosaki redux: Trans-cultural trans-location

This paper concerns a collaborative experiment in architectural design teaching and thinking developed during a workshop held at The University of Queensland in 2000. The programme explored the possibilities and the consequences of relocating location-specific architecture to a different context - a 'Trans-Cultural Trans-Location'. The project involved the careful study by Australia-based students of a house designed for a Japanese family in a dense part of Tokyo by the eminent Japanese architect Tadao Ando, and the subsequent translocation of the ideas that underlay the building to a suburban location in Brisbane, for a theoretical equivalent Australian family. This experimental project examined the universality of architectural concepts, their appreciation and the pedagogical setting. The project raised questions of: - How well do students from one culture comprehend architecture designed specifically for another – which are the areas of misunderstanding and understanding? - How can students transpose architectural ideas from one social and physical context to one that is almost entirely the opposite? - What are the limits of collaboration and exchange in design teaching and how do they reveal similarities, inconsistencies and the unexpected in the aims of the teacher and of the student? These questions suggest that in order to comprehend a design, we must understand the culture within which it originated, and that we must understand the cultures within which we work in order to design. This paper is written in two parts. The first part establishes a framework for discussing the contrast of the cultural settings studied. The second part considers the nature, conduct and results of the Studio Workshop itself.

Entrance, Agriculture and Entomology Building, Brisbane

View to entrance.

Stair, Agriculture and Entomology Building, Brisbane

View to circulation stair from exterior.

Entrance, Agriculture and Entomology Building, Brisbane

View to entrance.

Brick detail, Agriculture and Entomology Building, Brisbane

Detailed view of venting in brick work. Bricks used were commons, with prevalent dark blue iron staining.

Door and window detail, Agriculture and Entomology Building, Brisbane

View to side entrance opening and window detail with sliding timber shutters above, from exterior.

Agriculture and Entomology Building, Brisbane

View to north and east facing wings, along circulation path to the roof feature connection between wings.

Windows and venting to elevation, Agriculture and Entomology Building, Brisbane

View to elevation with timber sliding shutters, aluminium double hung sash windows and brick venting.

Agriculture and Entomology Building, Brisbane

View across car park to north-west elevation.

Stair exterior, Agriculture and Entomology Building, Brisbane

View to circulation stair, with venting detail, from exterior.

The BCD transient recorder revisited: firmware for the ISA-to-USB bridging card and software for the graphical user interface

This report describes recent updates to the custom-built data-acquisition hardware operated by the Center for Hypersonics. In 2006, an ISA-to-USB bridging card was developed as part of Luke Hillyard's final-year thesis. This card allows the hardware to be connected to any recent personal computers via a (USB or RS232) serial port and it provides a number of simple text-based commands for control of the hardware. A graphical user interface program was also updated to help the experimenter manage the data acquisition functions. Sampled data is stored in text files that have been compressed with the gzip for mat. To simplify the later archiving or transport of the data, all files specific to a shot are stored in a single directory. This includes a text file for the run description, the signal configuration file and the individual sampled-data files, one for each signal that was recorded.

Least energy solutions of a critical Neumann problem with a weight

We investigate the effect of the coefficient of the critical nonlinearity for the Neumann problem on the existence of least energy solutions. As a by-product we establish a Sobolev inequality with interior norm.

What is the Problem of Ad Hoc Hypotheses?

The received view of an ad hoc hypothesis is that it accounts for only the observation(s) it was designed to account for, and so non-adhocness is generally held to be necessary or important for an introduced hypothesis or modification to a theory. Attempts by Popper and several others to convincingly explicate this view, however, prove to be unsuccessful or of doubtful value, and familiar and firmer criteria for evaluating the hypotheses or modified theories so classified are characteristically available. These points are obscured largely because the received view fails to adequately separate psychology from methodology or to recognise ambiguities in the use of 'ad hoc'.