Technology for employability toolkit

This toolkit distills the ideas and guidance from the Jisc ‘Technology for employability’ http://bit.ly/technology_for_employability report into a useful and usable toolkit that can be used by Higher Education (HE) and Further Education (FE) educational providers to aid dialogue, decision-making and planning in respect of developing student employability and use of technology for employability.

The PROSPER Toolkit

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporating such tools becomes another component that can be embedded in an application. This paper describes the PROSPER Toolkit which enables this. The nature of communication between components is specified in a language-independent way. It is implemented in several common programming languages to allow a wide variety of tools to have access to the toolkit.

Integrating SVC and HOL with the PROSPER Toolkit

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.

Degradation toolkit for predicting the amount of degradation of particulate solids in lean phase pneumatic conveyors

Abstract not available

Response toolkit to provide an active response against intrusions using Ontology-Based IRS

Los sistemas de respuesta activa tienen por objetivo ejecutar una respuesta en contra de una intrusión de forma automática. Sin embargo, ejecutar una respuesta automáticamente no es una tarea trivial ya que el costo de ejecutar una respuesta podría ser más grande que el efecto que cause la intrusión propiamente dicha. También, el sistema debe contar con un amplio conjunto de acciones de respuesta y un algoritmo que seleccione la respuesta óptima. Este artículo propone un toolkit de respuestas que será integrado a un IRS basado en Ontologías para permitir la ejecución automática de la mejor respuesta cuando una intrusión es detectada. Se presenta un conjunto de respuestas basadas en host y basadas en red que pueden ser ejecutadas por el IRS, dicha ejecución es llevada a cabo mediante agentes basados en plugins que han sido distribuidos en la red. Finalmente, se realiza la verificación del sistema propuesto, tomando como caso de uso un ataque de defacement obteniéndose resultados satisfactorios.

EasyInterface: a toolkit for the rapid development of GUIs for research prototype tools

During the lifetime of a research project, different partners develop several research prototype tools that share many common aspects. This is equally true for researchers as individuals and as groups: during a period of time they often develop several related tools to pursue a specific research line. Making research prototype tools easily accessible to the community is of utmost importance to promote the corresponding research, get feedback, and increase the tools’ lifetime beyond the duration of a specific project. One way to achieve this is to build graphical user interfaces (GUIs) that facilitate trying tools; in particular, with web-interfaces one avoids the overhead of downloading and installing the tools. Building GUIs from scratch is a tedious task, in particular for web-interfaces, and thus it typically gets low priority when developing a research prototype. Often we opt for copying the GUI of one tool and modifying it to fit the needs of a new related tool. Apart from code duplication, these tools will “live” separately, even though we might benefit from having them all in a common environment since they are related. This work aims at simplifying the process of building GUIs for research prototypes tools. In particular, we present EasyInterface, a toolkit that is based on novel methodology that provides an easy way to make research prototype tools available via common different environments such as a web-interface, within Eclipse, etc. It includes a novel text-based output language that allows to present results graphically without requiring any knowledge in GUI/Web programming. For example, an output of a tool could be (a structured version of) “highlight line number 10 of file ex.c” and “when the user clicks on line 10, open a dialog box with the text ...”. The environment will interpret this output and converts it to corresponding visual e_ects. The advantage of using this approach is that it will be interpreted equally by all environments of EasyInterface, e.g., the web-interface, the Eclipse plugin, etc. EasyInterface has been developed in the context of the Envisage [5] project, and has been evaluated on tools developed in this project, which include static analyzers, test-case generators, compilers, simulators, etc. EasyInterface is open source and available at GitHub2.

Building resilience: developing a resilience toolkit for employability in built environment graduates

Upon graduation from University many students lose access to support structures such as peers, academic mentoring, etc. This may lead to tension, stress and failure to perform effectively in new workplaces, especially if the workplace itself is stressful. This is particularly the case for graduates who move into work within construction, as this industry provides a uniquely stressful environment where the development of resilience is imperative for success. The ability to cope and draw on resilience skills provides answers for built environment graduates. The development of resilience skills is not included as learning outcomes within courses, units of study or programs of learning within the built environment discipline. This dilemma, from a student's perspective, draws us to the rationale of the proposed research and its aim to show the development of a resilience toolkit for built environment students. There is considerable evidence that incorporating resilience skills into undergraduate curricula in built environment disciplines will have positive outcomes. Outcomes from an initial review of 3 participating University undergraduate programs, devised to determine resilience training for undergraduates is presented. A compilation and collection of noteworthy examples where resilience learning and teaching exists in undergraduate curricula will also be identified.

Regulating financial institutional culture: reforming the regulatory toolkit

Unethical behaviour and misconduct in the financial services industry is asignificant problem. Laws aimed at misconduct or incentives to misbehave can be rendered ineffective by poor culture within financial institutions. Various regulatory and industry initiatives to tackle the problem have been proposed or put in place in Australia. This article provides an overview of these initiatives and argues that while such strategies may be worthwhile, they also have shortcomings. The article contends that ameliorating cultural problems within the financial industry requires a multi-disciplinary approach and Australia should therefore consider introducing a supervisory technique pioneered by the Netherlands Central Bank (DNB) that incorporates social andorganisational psychology. It further argues that this approach, when placed in the hands of a regulator, offers a radical regulatory tool that could provide the “missing link” in promoting a culture of integrity within financial institutions.The DNB approach is described and various legal, theoretical and policy issues raised by this approach are discussed.

Liveable & just: a toolkit for local governments to address the social and equity impacts of climate change

The Liveable & Just Toolkit is the culmination of a project to explore how local governments across Victoria are responding to the social and equity impacts of climate change.In June 2009 the Victorian Local Governance Association (VLGA) and Melbourne University’s McCaughey Centre travelled across the state to hear directly from local governments about issues of priority, success stories, challenges, and lessons learned in addressing the social and equity impacts of climate change. Workshops covered crucial issues such as heatwaves and bushfires, rising costs of water, energy and transport, physical and mental health, and the heightened vulnerability of groups such as the mentally ill, homeless, aged, and infants. In response to workshop outcomes and recommendations, the Liveable & Just Toolkit provides a practical framework to help integrate responses to the social and equity impacts of climate change across council activities. It also presents ideas and suggestions for local government to respond to climate change in ways that simultaneously promote social justice.

Capturing Australian indigenous perception of virtual landscape

This short paper presents a means of capturing non spatial information (specifically understanding of places) for use in a Virtual Heritage application. This research is part of the Digital Songlines Project which is developing protocols, methodologies and a toolkit to facilitate the collection and sharing of Indigenous cultural heritage knowledge, using virtual reality. Within the context of this project most of the cultural activities relate to celebrating life and to the Australian Aboriginal people, land is the heart of life. Australian Indigenous art, stories, dances, songs and rituals celebrate country as its focus or basis. To the Aboriginal people the term “Country” means a lot more than a place or a nation, rather “Country” is a living entity with a past a present and a future; they talk about it in the same way as they talk about their mother. The landscape is seen to have a spiritual connection in a view seldom understood by non-indigenous persons; this paper introduces an attempt to understand such empathy and relationship and to reproduce it in a virtual environment.

Doing cultural heritage using the torque game engine: supporting indigenous storytelling in a 3D virtual environment

Digital Songlines (DSL) 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. This paper outlines the goals achieved over the last three years in the development of the Digital Songlines game engine (DSE) toolkit that is used for Australian Indigenous storytelling. The project explores the sharing of indigenous Australian Aboriginal storytelling in a sensitive manner using a game engine. The use of the game engine in the field of Cultural Heritage is expanding. They are an important tool for the recording and re-presentation of historically, culturally, and sociologically significant places, infrastructure, and artefacts, as well as the stories that are associated with them. The DSL implementation of a game engine to share storytelling provides an educational interface. Where the DSL implementation of a game engine in a CH application differs from others is in the nature of the game environment itself. It is modelled on the 'country' (the 'place' of their heritage which is so important to the clients' collective identity) and authentic fauna and flora that provides a highly contextualised setting for the stories to be told. This paper provides an overview on the development of the DSL game engine.

Accounting : building business skills, 3rd ed.

The new edition of this widely used and respected introductory accounting textbook continues to provide students and academics with a well written and accessible resource, with ample illustrations and applications to business for a first study of accounting. The text effectively maintains the balance between a 'user' and 'preparer' perspective by integrating real financial information and business decisions throughout. Through the use of real company information and financial statements students will quickly appreciate the use and users of accounting information. The textbook clearly outlines to students how a financial statement - such as a balance sheet, income statement, cash flow statement - communicates the financing, operating, and investing activities of a business. The text builds a strong conceptual understanding and develops skills in the application of accounting principles and techniques, providing students with a solid foundation for further studies in accounting. The integral role of financial statements for decision making is also emphasised in this text and is reinforced throughout by the Decision Toolkit in each chapter. Students are provided with an extensive set of tools necessary to make business decisions based on financial information.

Capital Works Procurement: The Selection of a Building Procurement Method

The determination of the most appropriate procurement method for capital works projects is a challenging task for the Department of Housing and Works (DHW) and other Western Australian State Government Agencies because of the array of assessment criteria that are considered and the procurement methods that are available. A number of different procurement systems can be used to deliver capital works projects such a traditional, design and construct and management. Sub-classifications of these systems have proliferated and continue to emerge in response to market demands. The selection of an inappropriate procurement method may lead to undesirable project outcomes. To facilitate DHW in selecting an appropriate procurement method for its capital works projects, a six step procurement method selection process is presented. The characteristics of the most common forms of procurement method used in Australia are presented. Case studies where procurement methods have been used for specific types of capital works in Western Australia are offered to provide a reference point and learning opportunity for procurement method selection.

Evaluation of functional performance in commercial buildings

This report fully summarises a project designed to enhance commercial real estate performance within both operational and investment contexts through the development of a model aimed at supporting improved decision-making. The model is based on a risk adjusted discounted cash flow, providing a valuable toolkit for building managers, owners, and potential investors for evaluating individual building performance in terms of financial, social and environmental criteria over the complete life-cycle of the asset. The ‘triple bottom line’ approach to the evaluation of commercial property has much significance for the administrators of public property portfolios in particular. It also has applications more generally for the wider real estate industry given that the advent of ‘green’ construction requires new methods for evaluating both new and existing building stocks. The research is unique in that it focuses on the accuracy of the input variables required for the model. These key variables were largely determined by market-based research and an extensive literature review, and have been fine-tuned with extensive testing. In essence, the project has considered probability-based risk analysis techniques that required market-based assessment. The projections listed in the partner engineers’ building audit reports of the four case study buildings were fed into the property evaluation model developed by the research team. The results are strongly consistent with previously existing, less robust evaluation techniques. And importantly, this model pioneers an approach for taking full account of the triple bottom line, establishing a benchmark for related research to follow. The project’s industry partners expressed a high degree of satisfaction with the project outcomes at a recent demonstration seminar. The project in its existing form has not been geared towards commercial applications but it is anticipated that QDPW and other industry partners will benefit greatly by using this tool for the performance evaluation of property assets. The project met the objectives of the original proposal as well as all the specified milestones. The project has been completed within budget and on time. This research project has achieved the objective by establishing research foci on the model structure, the key input variable identification, the drivers of the relevant property markets, the determinants of the key variables (Research Engine no.1), the examination of risk measurement, the incorporation of risk simulation exercises (Research Engine no.2), the importance of both environmental and social factors and, finally the impact of the triple bottom line measures on the asset (Research Engine no. 3).