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.

Thermal effects in the evolution of initially layered mantle material

A simplified model for anisotropic mantle convection based on a novel class of rheologies, originally developed for folding instabilities in multilayered rock (MUHLHAUS et al., 2002), is extended ¨ through the introduction of a thermal anisotropy dependent on the local layering. To examine the effect of the thermal anisotropy on the evolution of mantle material, a parallel implementation of this model was undertaken using the Escript modelling toolkit and the Finley finite-element computational kernel (DAVIES et al., 2004). For the cases studied, there appears too little if any effect. For comparative purposes, the effects of anisotropic shear viscosity and the introduced thermal anisotropy are also presented. These results contribute to the characterization of viscous anisotropic mantle convection subject to variation in thermal conductivities and shear viscosities.

Eco-efficiency for the Dairy Processing Industry - Fact Sheet Sumary

This Toolkit was developed for the Australian dairy processing industry on behalf of Dairy Australia. At the conclusion of the project, industry participants gained exclusive access to a comprehensive Eco-Efficiency Manual, which outlined many of the opportunities available to the industry. Summary fact sheets were also prepared as publicly available resources and these are available for download below

Expokit: A software package for computing matrix exponentials

Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes either a small matrix exponential in full, the action of a large sparse matrix exponential on an operand vector, or the solution of a system of linear ODEs with constant inhomogeneity. The backbone of the sparse routines consists of matrix-free Krylov subspace projection methods (Arnoldi and Lanczos processes), and that is why the toolkit is capable of coping with sparse matrices of large dimension. The software handles real and complex matrices and provides specific routines for symmetric and Hermitian matrices. The computation of matrix exponentials is a numerical issue of critical importance in the area of Markov chains and furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials, a distinct attention is assigned to the computation of transient states of Markov chains.

Molecular evolution and phylogeny of elapid snake venom three-finger toxins

Animal venom components are of considerable interest to researchers across a wide variety of disciplines, including molecular biology, biochemistry, medicine, and evolutionary genetics. The three-finger family of snake venom peptides is a particularly interesting and biochemically complex group of venom peptides, because they are encoded by a large multigene family and display a diverse array of functional activities. In addition, understanding how this complex and highly varied multigene family evolved is an interesting question to researchers investigating the biochemical diversity of these peptides and their impact on human health. Therefore, the purpose of our study was to investigate the long-term evolutionary patterns exhibited by these snake venom toxins to understand the mechanisms by which they diversified into a large, biochemically diverse, multigene family. Our results show a much greater diversity of family members than was previously known, including a number of subfamilies that did not fall within any previously identified groups with characterized activities. In addition, we found that the long-term evolutionary processes that gave rise to the diversity of three-finger toxins are consistent with the birth-and-death model of multigene family evolution. It is anticipated that this three-finger toxin toolkit will prove to be useful in providing a clearer picture of the diversity of investigational ligands or potential therapeutics available within this important family.

Chk2 activation dependence on Nbs1 after DNA damage

The checkpoint kinase Chk2 has a key role in delaying cell cycle progression in response to DNA damage. Upon activation by low-dose ionizing radiation (IR), which occurs in an ataxia telangiectasia mutated (ATM)dependent manner, Chk2 can phosphorylate the mitosis-inducing phosphatase Cdc25C on an inhibitory site, blocking entry into mitosis, and p53 on a regulatory site, causing G, arrest. Here we show that the ATM-dependent activation of Chk2 by gamma- radiation requires Nbs1, the gene product involved in the Nijmegen breakage syndrome (NBS), a disorder that shares with AT a variety of phenotypic defects including chromosome fragility, radiosensitivity, and radioresistant DNA synthesis. Thus, whereas in normal cells Chk2 undergoes a time-dependent increased phosphorylation and induction of catalytic activity against Cdc25C, in NBS cells null for Nbs1 protein, Chk2 phosphorylation and activation are both defective. Importantly, these defects in NBS cells can be complemented by reintroduction of wild-type Nbs1, but neither by a carboxy-terminal deletion mutant of Nbs1 at amino acid 590, unable to form a complex with and to transport Mre11 and Rad50 in the nucleus, nor by an Nbs1 mutated at Ser343 (S343A), the ATM phosphorylation site. Chk2 nuclear expression is unaffected in NBS cells, hence excluding a mislocalization as the cause of failed Chk2 activation in Nbs1-null cells, interestingly, the impaired Chk2 function in NBS cells correlates with the inability, unlike normal cells, to stop entry into mitosis immediately after irradiation, a checkpoint abnormality that can be corrected by introduction of the wild-type but not the S343A mutant form of Nbs1, Altogether, these findings underscore the crucial role of a functional Nbs1 complex in Chk2 activation and suggest that checkpoint defects in NBS cells may result from the inability to activate Chk2.

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.