Creating an authentic aural experience in the digital songlines game engine: Part of a contextualised cultural heritage knowledge toolkit

Digital Songlines is an Australasian CRC for Interaction Design (ACID) project that is developing protocols, methodologies and toolkits to facilitate the collection, education and sharing of indigenous cultural heritage knowledge. The project explores the areas of effective recording, content management and virtual reality delivery capabilities that are culturally sensitive and involve the indigenous custodians, leaders and communities in remote areas of the Australian ‘outback’. It investigates how players in a serious gaming sense can experience Indigenous virtual heritage in a high fidelity fashion with culturally appropriate interface tools. This paper describes a 3D ambient audio quilt designed and implemented specifically for the Digital Songlines software, which is built using the Torque Game Engine. The audio quilt developed provides dynamic ambient fauna and flora sound effects to represent the varying audio environment of the landscape. This provides an authentic contextualised interesting aural experience that can be different each time a location is entered. This paper reports on completed and ongoing research in this area.

A simple proof of the strong subadditivity inequality

Arguably the deepest fact known about the von Neumann entropy, the strong subadditivity inequality is a potent hammer in the quantum information theorist's toolkit. This short tutorial describes a simple proof of strong subadditivity due to Petz [Rep. on Math. Phys. 23 (1), 57-65 (1986)]. It assumes only knowledge of elementary linear algebra and quantum mechanics.

Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.