Psychedelic Culture

This exhibition catalogue essay provides an introduction to psychedelic culture during the postwar period. It describes the early use of LSD in psychiatric circles and its conception as a psychotomimetic substance. It then considers its use by literary figures such as Aldous Huxley and followers of the Beat Generation. Timothy Leary's role as an LSD philosopher is also explained as is the rise of the Hippies and the ensuing counterculture. This culture produced a range of cultural forms such as music, fashion, graphic design and other visual arts that were informed by hallucinations experienced under the influence of LSD. It concludes with a description of the end of the Hippie movement in the 1970s.

Everything is political

Everything is Political Ben Eltham, Kieran Lord, Jeff Brand, Truna. Chair: Daniel Golding Videogames don’t exist in isolation. They are part of artistic, cultural, and political spheres – even if some would much rather they weren’t. This panel takes a look at the way videogames are used as political tools and how we as developers and critics can better engage with that, and perhaps wrestle some of the conversation back into our hands.

From liberation to appropriation : corsets and eroticism in Australian film

The corset, with its laces and stays, appears to the modern eyes little more than a stylish torture device. However, the corset enjoyed a reputation among the most fashionable women of the nineteenth century. Since small waists were the primary measure of corporeal beauty, corsets were nearly universal among Western women of the middle class upwards. Wearing a corset was also a marker of decency; only lower classes and women of dubious reputation did not wear corsets. From instrument of torture and symbol of submission to its appropriation by women as a marker of sexual liberation, the corset has gone under a sartorial and symbolic transformation remaining the most erotic element of women’s dress. This paper discusses the corset in two Australian films, Picnic at Hanging Rock (Peter Weir, 1974) and Moulin Rouge (Baz Luhrman, 2001), arguing that the corset provides a counterpoint in each film signifying the tension between beauty and respectability, on the one hand, and desire and transgression, on the other. We argue that the corset is the primary prop around which the narrative revolves as well as the key signifying hook for the audience. The fact that erotic motifs are so rare in Australian films makes the centrality of the corset in these films even more powerful as a discursive trope

Process mining manifesto

Process mining techniques are able to extract knowledge from event logs commonly available in today’s information systems. These techniques provide new means to discover, monitor, and improve processes in a variety of application domains. There are two main drivers for the growing interest in process mining. On the one hand, more and more events are being recorded, thus, providing detailed information about the history of processes. On the other hand, there is a need to improve and support business processes in competitive and rapidly changing environments. This manifesto is created by the IEEE Task Force on Process Mining and aims to promote the topic of process mining. Moreover, by defining a set of guiding principles and listing important challenges, this manifesto hopes to serve as a guide for software developers, scientists, consultants, business managers, and end-users. The goal is to increase the maturity of process mining as a new tool to improve the (re)design, control, and support of operational business processes.

Rooms on view : home and design exhibition

The expression of a narrative realized through a constructed interior environment provides a significant and engaging response that falls between the realms of design and theatre in which the space itself provides the role of actor.

Stepwise refinement of interrupt-driven real-time programs

Embedded real-time programs rely on external interrupts to respond to events in their physical environment in a timely fashion. Formal program verification theories, such as the refinement calculus, are intended for development of sequential, block-structured code and do not allow for asynchronous control constructs such as interrupt service routines. In this article we extend the refinement calculus to support formal development of interrupt-dependent programs. To do this we: use a timed semantics, to support reasoning about the occurrence of interrupts within bounded time intervals; introduce a restricted form of concurrency, to model composition of interrupt service routines with the main program they may preempt; introduce a semantics for shared variables, to model contention for variables accessed by both interrupt service routines and the main program; and use real-time scheduling theory to discharge timing requirements on interruptible program code.