A framework for reasoning about inherent parallelism in modern object-oriented languages

With the emergence of multi-core processors into the mainstream, parallel programming is no longer the specialized domain it once was. There is a growing need for systems to allow programmers to more easily reason about data dependencies and inherent parallelism in general purpose programs. Many of these programs are written in popular imperative programming languages like Java and C]. In this thesis I present a system for reasoning about side-effects of evaluation in an abstract and composable manner that is suitable for use by both programmers and automated tools such as compilers. The goal of developing such a system is to both facilitate the automatic exploitation of the inherent parallelism present in imperative programs and to allow programmers to reason about dependencies which may be limiting the parallelism available for exploitation in their applications. Previous work on languages and type systems for parallel computing has tended to focus on providing the programmer with tools to facilitate the manual parallelization of programs; programmers must decide when and where it is safe to employ parallelism without the assistance of the compiler or other automated tools. None of the existing systems combine abstraction and composition with parallelization and correctness checking to produce a framework which helps both programmers and automated tools to reason about inherent parallelism. In this work I present a system for abstractly reasoning about side-effects and data dependencies in modern, imperative, object-oriented languages using a type and effect system based on ideas from Ownership Types. I have developed sufficient conditions for the safe, automated detection and exploitation of a number task, data and loop parallelism patterns in terms of ownership relationships. To validate my work, I have applied my ideas to the C] version 3.0 language to produce a language extension called Zal. I have implemented a compiler for the Zal language as an extension of the GPC] research compiler as a proof of concept of my system. I have used it to parallelize a number of real-world applications to demonstrate the feasibility of my proposed approach. In addition to this empirical validation, I present an argument for the correctness of the type system and language semantics I have proposed as well as sketches of proofs for the correctness of the sufficient conditions for parallelization proposed.

Teaching sustainability : vehicle or endpoint?

In 2006, the Faculty of Built Environment and Engineering introduced the first faculty wide unit dedicated to sustainability at any Australian University. BEB200 Introducing Sustainability has semester enrolments of up to 1500 students. Instruments such as lectures, readings, field visits, group projects and structured tutorial activities are used and have evolved over the last five years in response to student and staff feedback and attempts to better engage students. More than seventy staff have taught in the unit, which is in its final offering in this form in 2010. This paper reflects on the experiences of five academics who have played key roles in the development and teaching of this unit over the last five years. They argue that sustainability is a paradigm that allows students to explore other ways of knowing as they engage with issues in a complex world, not an end in itself. From the students’ perspective, grappling with such issues enables them to move towards a context in which they can understand their own discipline and its role in the contradictory and rapidly changing professional world. Insights are offered into how sustainability units may be developed in the future.

Experiencing higher degree research supervision as teaching

This article describes research higher degree supervisors’ experiences of supervision as a teaching and learning practice. While research education is considered central to the HDR experience, comparatively little is known to date of the pedagogical lenses adopted by supervisors as they go about their supervision. We worked with 35 supervisors engaged in discipline-specific and interdisciplinary research across architectural design, science, engineering, computer science, information systems and librarianship. Several of these supervisors conducted projects which interfaced with the social sciences and humanities. The pedagogies, constructed through the discussions and phenomenographic analysis, offer a picture of supervisors’ collective awareness of supervision as a teaching and learning practice. Supervision as a teaching and learning practice was experienced as: Promoting the supervisor’s development, Imparting academic expertise, Upholding academic standards, Promoting learning to research, Drawing upon student expertise, Enabling student development, Venturing into unexplored territory, Forming productive communities, and Contributing to society.

High-challenge teaching for senior English as an Additional Language (EAL) learners in times of change

This paper will present a brief overview of the recent shifts within English and EAL/D (English as an additional language/dialect) curriculum documents and their focus on critical literacy, using the Queensland context as a case in point. The English syllabus landscape in Queensland has continued to morph in recent years. From 2002 to 2009, teachers of senior English and English as an Additional Language (EAL/D) have witnessed no less than four separate syllabus documents that impact on their daily work. The Australian Curriculum, when finally implemented, will also require teachers to navigate and grapple with its particular obligations and affordances. The combined effect of the shifts and tensions between recent policy documents has led to confusion about exactly how to cater for EAL/D learners in mainstream English. We discuss the possible effects of this on teachers as the agents of policy implementation and argue that in spite of such contradictions, EAL/D teachers can productively use syllabus frameworks to craft pedagogy to cater for their EAL/D learners’ language and literacy needs. Following this, we present aspects of the teaching practice of four teachers of senior EAL/D, who provide intellectually-engaging, critical literacy pedagogy that takes into account the language proficiency level of their learners, within the required curriculum. Such practice provides teachers with valuable pedagogic possibilities to meet EAL/D learners’ needs within continually varying policy terrain.

Integrating a sustainable academic career around scholarly learning and teaching activities

To be scholarly in learning and teaching is rigorous academic work. It demands: currency and command of both discipline subject matter and educational theory; inquiring, methodical, and reflective approaches; the collection, evaluation and documentation of evidence of learning and teaching efficacy; and, optimally, entails participation in and communication among a community of teaching professionals. This chapter examines the author’s own practice in this regard to explicate the ‘how’ and ‘why’ of scholarly and scholarship approaches, as much as the ‘what’ and ‘where’ of that endeavour. In doing so, this meta‐analysis is made ‘community property’, in the same way that Shulman (1993: 6) exhorted we ‘change the status of teaching from private to community property’ so that teaching might be more greatly valued in the academy.

Distributed object tracking with robot and disjoint camera networks

We describe a novel two stage approach to object localization and tracking using a network of wireless cameras and a mobile robot. In the first stage, a robot travels through the camera network while updating its position in a global coordinate frame which it broadcasts to the cameras. The cameras use this information, along with image plane location of the robot, to compute a mapping from their image planes to the global coordinate frame. This is combined with an occupancy map generated by the robot during the mapping process to track the objects. We present results with a nine node indoor camera network to demonstrate that this approach is feasible and offers acceptable level of accuracy in terms of object locations.

Enhancing the teaching of family and consumer sciences : the role of graphic organisers

In a world of constant and rapid change there are greater demands placed on learners to not only gain content knowledge, but also to develop learning skills and to adopt new strategies that will enable them to produce better and faster learning outcomes. Especially in internationally advancing nations like Kuwait this will be a major challenge of the future. This literature review examines theoretical frameworks that enhance Kuwaiti teachers’ knowledge and skill to adopt culturally relevant reform practices across a number of disciplines and provide guidance in an exploration and use of newer pedagogical tools like graphic organisers. It analyses the effects of graphic organisers on higher order learning and evaluates how they can effect professional development and pedagogical change in Kuwait.

A biologically inspired object spectral-texture descriptor and its application to vegetation classification in power-line corridors

The use of appropriate features to represent an output class or object is critical for all classification problems. In this paper, we propose a biologically inspired object descriptor to represent the spectral-texture patterns of image-objects. The proposed feature descriptor is generated from the pulse spectral frequencies (PSF) of a pulse coupled neural network (PCNN), which is invariant to rotation, translation and small scale changes. The proposed method is first evaluated in a rotation and scale invariant texture classification using USC-SIPI texture database. It is further evaluated in an application of vegetation species classification in power line corridor monitoring using airborne multi-spectral aerial imagery. The results from the two experiments demonstrate that the PSF feature is effective to represent spectral-texture patterns of objects and it shows better results than classic color histogram and texture features.

Why teaching about Asia matters in higher education

I commence this opinion piece with specific reference to the Gillard Government's decision to cut funding for the Australian Learning and Teaching Council (ALTC)in 2011. I then consider impact of this decision on quality teaching in higher education with specific reference to Studies of Asia. In particular, I reflect on the teaching of Asian languages and cultures in Australia since the 1970 Auchmuty report, and conclude that despite the efforts of policy makers, not much has really changed. In doing so, I emphasise the importance of quality teaching in higher education for inspiring students to challenge their cultural assumptions and to prompt them to develop new views of the world.

Assembling dynamic repertoires of literate practices : teaching that makes a difference

This chapter considers how teachers can make a difference to the kinds of literacy young people take up. Increasingly, researchers and policy-makers see literacy as an ensemble of socio-cultural situated practices rather than as a unitary skill. Accordingly, the differences in what young people come to do with literacy, in and out of school, confront us more directly. If literacy development involves assembling dynamic repertoires of practices, it is crucial to consider what different groups of children growing up and going to school in different places have access to and make investments in over time; the kinds of literate communities from which some are excluded or included; and how educators make a difference to the kinds of literate trajectories and identities young people put together.

A methodology for object identification and tracking in construction based on spatial modeling and image matching techniques

Understanding the motion characteristics of on-site objects is desirable for the analysis of construction work zones, especially in problems related to safety and productivity studies. This article presents a methodology for rapid object identification and tracking. The proposed methodology contains algorithms for spatial modeling and image matching. A high-frame-rate range sensor was utilized for spatial data acquisition. The experimental results indicated that an occupancy grid spatial modeling algorithm could quickly build a suitable work zone model from the acquired data. The results also showed that an image matching algorithm is able to find the most similar object from a model database and from spatial models obtained from previous scans. It is then possible to use the matched information to successfully identify and track objects.

Object identification based on 3D spatial models of construction sites

On obstacle-cluttered construction sites, understanding the motion characteristics of objects is important for anticipating collisions and preventing accidents. This study investigates algorithms for object identification applications that can be used by heavy equipment operators to effectively monitor congested local environment. The proposed framework contains algorithms for three-dimensional spatial modeling and image matching that are based on 3D images scanned by a high-frame rate range sensor. The preliminary results show that an occupancy grid spatial modeling algorithm can successfully build the most pertinent spatial information, and that an image matching algorithm is best able to identify which objects are in the scanned scene.

Modeling object identification and tracking errors on image-based safety assessment of earthmoving operations

Object identification and tracking have become critical for automated on-site construction safety assessment. The primary objective of this paper is to present the development of a testbed to analyze the impact of object identification and tracking errors caused by data collection devices and algorithms used for safety assessment. The testbed models workspaces for earthmoving operations and simulates safety-related violations, including speed limit violations, access violations to dangerous areas, and close proximity violations between heavy machinery. Three different cases were analyzed based on actual earthmoving operations conducted at a limestone quarry. Using the testbed, the impacts of device and algorithm errors were investigated for safety planning purposes.

Investigating the process of teaching and learning principles through practice : a case study on collegiate action by media practitioners and teachers, designing a skills-based learning program

This paper in the journalism education field reports on the construction of a new subject as part of a postgraduate coursework degree. The subject, or unit1 will offer both Journalism students and other students an introductory experience of creating media, using common ‘new media’ tools, with exercises that will model the learning of communication principles through practice. It has been named ‘Fundamental Media Skills for the Workplace’. The conceptualisation and teaching of it will be characteristic of the Journalism academic discipline that uses the ‘inside perspective’—understanding mass media by observing from within. Proposers for the unit within the Journalism discipline have sought to extend the common teaching approach, based on training to produce start-ready recruits for media jobs, backed by a study of contexts, e.g. journalistic ethics, or media audiences. In this proposal, students would then examine the process to elicit additional knowledge about their learning. The paper draws on literature of journalism and its pedagogy, and on communication generally. It also documents a ‘community of practice’ exercise conducted among practitioners as teachers for the subject, developing exercises and models of media work. A preliminary conclusion from that exercise is that it has taken a step towards enhancing skills-based learning for media work, as a portal to more generalised knowledge.

A hierarchical security assessment model for object-oriented programs

We present a hierarchical model for assessing an object-oriented program's security. Security is quantified using structural properties of the program code to identify the ways in which `classified' data values may be transferred between objects. The model begins with a set of low-level security metrics based on traditional design characteristics of object-oriented classes, such as data encapsulation, cohesion and coupling. These metrics are then used to characterise higher-level properties concerning the overall readability and writability of classified data throughout the program. In turn, these metrics are then mapped to well-known security design principles such as `assigning the least privilege' and `reducing the size of the attack surface'. Finally, the entire program's security is summarised as a single security index value. These metrics allow different versions of the same program, or different programs intended to perform the same task, to be compared for their relative security at a number of different abstraction levels. The model is validated via an experiment involving five open source Java programs, using a static analysis tool we have developed to automatically extract the security metrics from compiled Java bytecode.