The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch these errors but would fail to distinguish between them. The system adapts proof critics, commonly used to patch faulty proofs, to diagnose such errors and distinguish between the two classes. It has been implemented in Lambda-clam, a proof planning system, and applied successfully to a small set of examples.

A Comparison of two Proof Critics: Power vs. Robustness

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;whisky problem$quot;, a challenge problem from the domain of temporal logic. The proof requires a generalisation of the original conjecture and we examine two proof critics which can be used to create this generalisation. Using these critics we believe we have produced the first automatic proofs of this challenge problem. We use this example to motivate a comparison of the two critics and propose that there is a place for specialist critics as well as powerful general critics. In particular we advocate the development of critics that do not use meta-variables.

Critics of Human Rights from a Historical Perspective

Implementation of human rights is often criticized because it is perceived as being imposed on the rest of the world. In this case, human rights start to be seen as a sole abstraction, an empty word. What are the theoretical arguments of these critics and can we determine any historical grounds for them? In this paper, I will try to point at similar critics after the French Revolution – like that of the Historical School and Hegel – and try to show if some of these critics are still relevant. And I will compare these critics with contemporary arguments of cultural relativists. There are different streams and categorizations of human rights theories in today’s world. What differentiates them is basically the source of the human rights. After the French Revolution, the historical school had criticized the individuation and Hegel had criticized the formal freedom which was, according to him, a consequence of the Revolution. In this context Hegel drew a distinction between real freedom and formal freedom. Besides the theory of sources, the theories of implementation such as human rights as a model of learning, human rights as a result of an historical process are worth attention. The crucial point is about integrating human rights as an inner process and not to use them as a tool for intervention in other countries, which we observe in today’s world. And this is the exact point why I find the discussion of the sources more important. This discussion can help us to show how the inner evaluation of a society makes the realization of human rights possible and how we can avoid the above mentioned abstraction and misuse.

Towards a politics and art of the land : gothic cinema of the Australian new wave and its reception by American film critics

This article will drill down to the level of the reception of two examples of Australian gothic film-making by two well-known American critics. Rayner’s comparison of Australian gothic with American film noir is useful; however, it begs the question of how American critics such as Pauline Kael and Andrew Sarris influentially shaped the reception of Australian gothic in America and in other locations (such as Australia itself) where their reviews found an audience either at the time or afterwards. The significance of the present article rests on the fact that, as William McClain observes, following in Rick Altman’s footsteps, “critics form one of the key material institutions that support generic formations” (54). This article nurtures the suggestion that knowing how Australian gothic cinema was shaped, in its infancy, in the increasingly important American market (a market of both commerce and ideas) might usefully inform revisionist studies of Australian cinema as a national mode.

Tricking up the suburb

The following article arises from the projects submitted for the 2004 Awards fo the Western Australian Chapter of the Australian Institute of Landscape Architects, for which we were judges, together with Craig Burton of CAB Consulting and Natalie palleros of Tierra Design. This article is an attempt to understand some dominant trends that emerged from viewing a range of new suburban developments. Suburban developments dominated the awards and seemed to characterise much of the work being done by landscape architects in the west. It is easy to be critical of contemporary landscape architecture in Perth, as the projects presented were mostly the same in that their scope of design activity was restricted to the decorative rather than the structural. However, as critics, we feel it is important to initate a conversation about what has been presented as the best of the profession, in order to begin to understand the current state of the profession.

The studio sans frontières : the open-studio as an answer to the challenges of teaching contemporary art

Since at least the 1960s, art has assumed a breadth of form and medium as diverse as social reality itself. Where once it was marginal and transgressive for artists to work across a spectrum of media, today it is common practice. In this ‘post-medium’ age, fidelity to a specific branch of media is a matter of preference, rather than a code of practice policed by gallerists, curators and critics. Despite the openness of contemporary art practice, the teaching of art at most universities remains steadfastly discipline-based. Discipline-based art teaching, while offering the promise of focussed ‘mastery’ of a particular set of technical skills and theoretical concerns, does so at the expense of a deeper and more complex understanding of the possibilities of creative experimentation in the artist’s studio. By maintaining an hermetic approach to medium, it does not prepare students sufficiently for the reality of art making in the twenty-first century. In fact, by pretending that there is a select range of techniques fundamental to the artist’s trade, discipline-based teaching can often appear to be more engaged with the notion of skills preservation than purposeful art training. If art schools are to survive and prosper in an increasingly vocationally-oriented university environment, they need to fully synthesise the professional reality of contemporary art practice into their approach to teaching and learning. This paper discusses the way in which the ‘open’ studio approach to visual art study at QUT endeavours to incorporate the diversity and complexity of contemporary art while preserving the sense of collective purpose that discipline-based teaching fosters. By allowing students to independently develop their own art practices while also applying collaborative models of learning and assessment, the QUT studio program aims to equip students with a strong sense of self-reliance, a broad awareness and appreciation of contemporary art, and a deep understanding of studio-based experimentation unfettered by the boundaries of traditional media: all skills fundamental to the practice of contemporary art.

Australian horror movies

The Australian horror film is a fascinating specimen. While a tradition has antecedents in the silent era of cinema, and at times has produced popular and commercially successful titles, Australian horror films have existed among the shadows of Australian cinema. Within a national cinema funded by public subsidy to foster a sense of national identity, emphasizing ‘quality’ cultural films and refusing to recognize popular movie genres in attempt to differentiate itself from Hollywood, generic and low-culture horror films have been in opposition to these objectives. Consequently, horror movies have been heavily marginalized within public funding environments and mainstream film culture, and either ignored or despised by mainstream critics. The chapter provides a historical introduction to Australian horror cinema before reviewing a selection of recent Aussie horror titles, namely: Wolf Creek, Undead, Black Water, Dying Breed, Lost Things, Prey, Cut, Rogue and Storm Warning.

Towards an understanding of Australian genre cinema and entertainment : beyond the limitations of ‘Ozploitation’ discourse

While Australian cinema has produced popular movie genres since the 1970s, including action/adventure, road movies, crime, and horror movies, genre cinema has occupied a precarious position within a subsidised national cinema and has been largely written out of film history. In recent years the documentary Not Quite Hollywood (2008) has brought Australia’s genre movie heritage from the 1970s and 1980s back to the attention of cinephiles, critics and cult audiences worldwide. Since its release, the term ‘Ozploitation’ has become synonymous with Australian genre movies. In the absence of discussion about genre cinema within film studies, Ozploitation (and ‘paracinema’ as a theoretical lens) has emerged as a critical framework to fill this void as a de facto approach to genre and a conceptual framework for understanding Australian genres movies. However, although the Ozploitation brand has been extremely successful in raising the awareness of local genre flicks, Ozploitation discourse poses problems for film studies, and its utility is limited for the study of Australian genre movies. This paper argues that Ozploitation limits analysis of genre movies to the narrow confines of exploitation or trash cinema and obscures more important discussion of how Australian cinema engages with popular movies genres, the idea of Australian filmmaking as entertainment, and the dynamics of commercial filmmaking practises more generally.

Creative industries after the first decade of debate

It has now been over a decade since the concept of creative industries was first put into the public domain through the Creative Industries Mapping Documents developed by the Blair Labour government in Britain. The concept has developed traction globally, but it has also been understood and developed in different ways in Europe, Asia, Australia, New Zealand and North America, as well as through international bodies such as UNCTAD and UNESCO. A review of the policy literature reveals that while questions and issues remain around definitional coherence, there is some degree of consensus emerging about the size, scope and significance of the sectors in question in both advanced and developing economies. At the same time, debate about the concept remains highly animated in media, communication and cultural studies, with its critics dismissing the concept outright as a harbinger of neo-liberal ideology in the cultural sphere. This paper couches such critiques in light of recent debates surrounding the intellectual coherence of the concept of neo-liberalism, arguing that this term itself possesses problems when taken outside of the Anglo-American context in which it originated. It is argued that issues surrounding the nature of participatory media culture, the relationship between cultural production and economic innovation, and the future role of public cultural institutions can be developed from within a creative industries framework, and that writing off such arguments as a priori ideological and flawed does little to advance debates about 21st century information and media culture.

Sharing with Creative Commons : a business model for content creators

Creative Commons (CC) is often seen as a social movement, dismissed by critics as a tool for hobbyists or academics who do not sell their creations to make a living. However, this paper argues that the licensing of creative copyright works under a CC licence does not preclude commercial gain. If used wisely, CC licences can be a useful tool for creators in their quest for commercial success. In particular, this paper argues that the sharing of creative works online under a CC licence allows creators to circumvent traditional distribution channels dominated by content intermediaries, whilst maintaining a level of control over their copyright works (i.e. explicitly reserving some rights but not all rights). This will be illustrated by case studies on how CC is being used by content creators and intermediaries respectively, and how successful their respective methods are in harnessing this tool.

Everything is child abuse

In 2008, the Australian federal Senate held an Inquiry into the Sexualisation of Children in the Contemporary Media Environment. I made a submission to this Inquiry, noting that in public debate about this topic a number of quite distinct issues, with distinct aetiologies, were collapsed together. These included: child pornography; children being targeted by any form of marketing; young people becoming sexually active; sexual abuse of children; raunch culture; protecting children from any sexualised material in the media; and body image disorders. I suggested that commentators had collapsed these issues together because the image of the helpless child is a powerful one for critics to challenge undesirable aspects of contemporary culture. The result of many different ideological viewpoints all using the same argument - that the forms of culture they didn't like were damaging children - gives the impression that there is no element of culture today that isn't (somebody claims) causing harm to children: everything is child abuse. The danger of such discourses is that they draw attention away from the real harm that is being caused to children by sexual and other forms of maltreatment - which overwhelmingly occur within families, and for reasons ignored in these debates.

Searching for a feminist voice : film festivals and negotiating the tension between expectation and intent

International Film Festivals play a vital role in shaping filmmakers’ careers. This paper presents some initial findings from a current major research project, highlighting the significance of particular festival programming of emerging female directors from developing nations. Some filmmakers showcased at festivals actively privilege the voices of women in their films as a means of commenting on pressing cultural and political issues. Ironically, other filmmakers do not subscribe to the label of “feminist” or “woman filmmaker”, even if their respective films represent a strongly coded woman’s point of view. Tensions also arise inevitably when scrutinising women filmmakers from developing nations within a first world film festival context. The expectations of the researcher, the festival, film critics and audiences inevitably must negotiate with the original intentions of the filmmaker. This paper explores the significance of women filmmakers in attendance at the Brisbane International Film Festival (2009) and the International Film Festival Rotterdam (2010).

Directing Democracy : The Case of the John Lewis Partnership

The John Lewis Partnership was founded in 1929 as an “experiment in industrial democracy” (Lewis, 1948). This thesis explores the meaning of democracy in the Partnership and examines the wider implications of the case. It argues that democracy in work should be viewed as something which is intrinsically valuable because of its connection to furthering justice, equality, freedom and the rights and interests of all workers. The thesis makes three main contributions. Firstly, the production of a historically situated exploration of democratic participation in the John Lewis Partnership – the largest co-owned business in the UK. Secondly, an analysis of power relations in the organisation and an examination of the ways in which disciplinary power and regimes of truth both constrain democratic practice and offer the potential for resistance and challenge. Thirdly, the thesis challenges critics of the Partnership who have dismissed it as a form of “pseudo democracy” (Pateman, 1970: 73) and “suffocatingly paternalistic” (Ramsay, 1980: 52). Despite the constant threat of degeneration and dilution of the value framework laid down by the founder, the Partnership’s continued commitment to democratic participation provides an important contribution to our understanding of co-ownership and democratically organised forms of work. The analysis shows that management have attempted to direct and define democracy in a highly constrained way, assigning it an instrumental purpose, and privileging the ‘business case’ for democratic engagement. However, the study emphasises that the meaning of democracy is heavily contested and fraught with contradictions and paradoxes. This creates a space in which understandings of equality, solidarity and democracy are debated by the 69,000 employees who are co-owners of the business.

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.

That one piece of advice - microlecture

Programme: In these microlectures, developers, educators, critics, and artists give you the one piece of advice that they hold above all others. That one piece of advice: It's about the passion: Excerpt: Shades of madness - Creativity - Passion: There is something very important to observe about an industry that engages in these intense weekends. The monolithic Hollywood model is not viable, we need to scaffold the next gen of game designers, foster the passion, provide opportunity, CHANGE the model – not just dress it in new clothes