On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Culture and leadership in educational administration: a historical study of what was and what might have been

This paper examines the consequences for school leadership of the abandonment of Waller's insights into the school as a social organism and the embracing of the cult of efficiency as the foundation for the analysis of school culture. Tracing the separation of conception from execution, leadership from teaching, administration from education through the cult of professionalism and functionalist sociology, the paper argues that a more appropriate basis for understanding both leadership and the culture of the school can be derived from ethnographies of schooling which show the complex interactions of internal and external cultures in the construction of leadership and the culture of the school.

Social justice and the study and practice of leadership in education : a feminist history

This historical sociology deconstructs the interrelationship between the theory and practice of the troublesome notions of leadership, social justice and feminism. First, it tracks marginalised groups' relationship to the field of educational administration and their claims upon the state. Mainstream approaches have been informed by theories, practices and politics that do not focus on the core educational work of teaching and learning, therefore sidelining social justice issues. Second, it maps feminist and critical theorists' alternative conceptualisations, for example, of democratic leadership, which dissolve artificial binaries between formal and informal leadership. Finally, it considers what this means for re-theorising leadership for social justice.

From the comforts of print to the possibilities of digital media: leading the way in teaching political leadership in a faculty of arts

Since it inception, Deakin University has been committed to the delivery of innovative, high quality course materials to its off campus students. Until recently these packages were predominantly print based, although augmented with audio-visual materials delivered in cassette format. Ironically, with the advent of information and communications technologies (ICT), and some select computer assisted learning and multimedia packages, there was an overall decline in the use of audio and video as important means of enhancing learning. Like many other universities, Deakin has moved to a strong, centralised approach to the provision of its digital and online corporate technology environment. With investment in these technologies has come a renewed interest in the ways in which text and audio-visual materials in digital form can enhance students' learning experiences. Moreover, the ways in which a variety of digital media supported by online developments can create new models and approaches to teaching/learning has figured prominently. This paper presents a case study of how this challenge has been taken up in a unit, Political Leadership, in the Faculty of Arts. The academic teacher's intentions in moving to a completely digital approach are examined along with students' experiences of learning in the subject. Issues are considered from the experience.

The influence of housing size, style and location on energy and greenhouse gas emissions

Concern about the growth of greenhouse gas emissions in Victoria has prompted the introduction of legislation to improve the thermal performance of the residential building envelope. Unfortunately, the size of the house is not considered in the rating tool that underpins the legislation. The energy embodied in the constructional materials is also not considered although it too is directly related to the size of the house. Another intrinsic factor relating residential housing energy and greenhouse gas emissions is the location of the residence and the travel preferences of the homeowner. The relationship between the operational, embodied and travel energy associated with a typical residential scenario in Melbourne over the last 50 years is examined in this paper. The analysis found that by the year 2000, the energy associated with work-related travel (44%) now exceeds the operational energy (37%). In terms of greenhouse gas emissions, the contribution from travel energy is almost double that from operational energy (28%).

Southern drift: the learning styles of first and third year students of the built environment

This paper focuses on learning processes across the design curriculum of Deakin University School of Architecture and Building (Australia) through the recognition of the four learning styles - 'accommodating', 'diverging', 'assimilating' and 'converging' - that are defined in the Experiential Learning theory of Kolb. The research has been conducted to evaluate the effects of
learning style preferences on the performance of built environment students from diverse backgrounds and cultures in projects across a range of learning situations. The results of the research are being used to inform andragogical refinements that will be tested in design studio and technology lecture units studied by students of Architecture and Construction Management. The paper will focus on the results of a cross-curriculum learning style survey. The sUivey was conducted as part of a Strategic
Teaching and Learning Grant funded project currently running at Deakin as a reflexive research program aimed at resolving the learning difficulties of students collaborating in multi~disciplinary and multi~cultural team assignments. By addressing the issues of multidisciplinarity, cultural inclusiveness and the internationalisation of higher education, the research program aims ultimately at the education of graduates who are able to bring leadership to multidisciplinary design collaborations co-operating across international boundaries towards a global sustainable future.

Touch it, feel it and experience it: developing professional IS skills using interview-style experiential simulations

The IS education field has made increasing use of computerised experiential simulations, but few attempts have been made to create an authentic learning environment that combines and balances elements of video-based computer simulation with real-life learning activities. This paper explores the design principles used to develop a CD-ROM simulation where learners use interviewing skills to elicit system requirements from simulated employees in an authentic context. The employees are videoed actors who converse with each other and with learners within a dynamic interaction model. The paper also describes how we combined this simulation with other teaching approaches such as in-class discussions, student team work, formal presentations, etc.

Leadership, culture and employee deceit : the case of the National Australia Bank

The National Australia Bank (NAB), one of Australia's largest banks, announced losses in 2004 of AUD$360 million due to unauthorised foreign currency trading activities by four employees who incurred and deceptively concealed the losses. The NAB had in place risk limits and supervision to prevent trading desks ever reaching positions of this magnitude. However, the risk management policies and procedures proved ineffective. The purpose of this paper is to analyse the deceit, via a content analysis of official investigative reports and other published documents, to determine the extent to which the Bank's culture and leadership may have influenced the rogue traders' behaviour. The findings suggest that cultural issues, and the role played by the Bank's leaders, were influential in creating a profit-driven culture that ultimately impacted the Bank's foreign exchange operating activities.

Leadership and learning: facilitating self-directed learning in enterprises

Purpose - To show that a key aspect of learning and development of individual employees is that of self-directedness. This paper will consider the role of the leader in facilitating workforce development in terms of employees' self-directedness for learning. The research was designed to investigate the views that 'learning leaders' in organizations have towards the development of self-directedness in employees; and to identify strategies that are feasible in developing self-directedness in operating organizations.

Design/methodology/approach - Draws on a national research project undertaken in 12 organizations in Australia, representing a range of sizes and a number of industry sectors. Data collection involved interviewing learning and development managers in each organization to gauge the relative feasibility of the implementation of a number of pre-identified strategies designed to develop self-directedness among employees within operating work environments.

Findings - Showed that: learning managers and leaders were generally well disposed towards the development of self-directedness, and some had already moved to do so; and identified a number of possible strategies for implementation of varying degrees of feasibility. The paper will consider these findings in relation to the concept of a 'learning leader'.

Research limitations/implications - Although the research was conducted in a diverse set of 12 enterprises, applicability of the results across an even wider set of enterprises would need to be tested.

Originality/value - The findings of this research provide guidance to learning and development personnel on feasible strategies to use within their own organization to assist with the development of self-directed learning among employees.