Specialisation within specialisation? Thoughts on the content of contemporary forensic psychology programs

This paper provides details of, and the rationale for, a Doctorate of Forensic Psychology recently developed at Deakin University, Melbourne, Australia. The course prioritises training in psycho-legal issues with children and young people. In discussing this program, the presenters identify two issue  that guided the development of the program. The first concerns the need to delineate forensic content from that in clinical programs, while still maintaining appropriate focus on the skills needed to work effectively in forensic settings. The second addresses the need for courses to acknowledge the marked diversity among forensic clientele and to develop competencies that lead to effective work practices with these sub-groups. In constructing the Deakin forensic program, it was noted that forensic psychologists required an increasing degree of expertise in the procedural and substantive aspects of the legal system. The authors propose that as forensic psychology gains momentum as a discrete area of expertise, there is an increasing need for practitioners to have a sound understanding of the legal institutions and practices they work under, as well as being able to apply specialist knowledge to particular sub-groups. This paper discusses these issues, and outlines how the authors sought to address them in their course curriculum.

Towards a market oriented approach: employer requirements and implications for undergraduate economics programs

The decline in enrolments in economics degrees and majors has been the focus of much concern in recent times. In 2001, two of the current researchers published a paper outlining a framework with which future investigation into this issue could be conducted. Essentially this paper argued that a market oriented approach, which takes into account the value students and employers place on economics studies may point the way to a solution to the problem. As a first step in developing such an approach it is necessary to determine what employers require of the economics graduates they hire. A survey was conducted in 2002. This paper presents the results of this survey and discusses some of the ramifications for the teaching of undergraduate economics.

The Relationship between TQM Practices and Quality Performance and the Role of Formal TQM Programs: An Australian Empirical Study

This article presents the findings from an empirical study examining the relationship between total quality management (TQM) practices and quality performance in Australian organizations. A comparison is made between organizations that have adopted formal TQM programs and organizations without a formal program in place. It was recognized that the lack of a formal program did not necessarily mean TQM principles were not being practiced. The findings show that the firms adopting formal TQM programs implement several TQM practices at a higher level than those that do not have TQM programs. This difference, however, is not apparent in the case of quality performance. Furthermore, the findings show the strong links between TQM practices and quality performance, and there is no significant difference between organizations implementing formal TQM programs and those organizations simply adopting TQM practices. This suggests that it is the adoption of quality practices that matters rather than formal programs per se.

Student experiences of work placement in school-based vocational programs

Using a sample of 446 secondary students who had participated in a vocational education and training in school (VETiS) program, compares the experiences and perceptions of students who had undertaken a work placement with those who had not. Shows that students who had participated in work placement enjoyed the VETiS experience more than those who had not, and that the work placement had assisted them in their decision whether to stay at school or not. A factor analysis of results showed a factor associated with self-confidence about employability, and a factor associated with assistance in achieving specific post-school employment. Students who had completed a work placement were significantly higher on both these factors than students who had not. Results are consistent with other research in the field, and it is argued that the work placement experience plays a considerable part in developing student agency in the decisions and the journey that they make in their transition from school to work.

Concurrent execution of multiple NAS parallel programs on a cluster

Currently, coordinated scheduling of multiple parallel applications across computers has been considered as the critical factor to achieve high execution performance. We claim in this report that the performance and costs of the execution of parallel applications could be improved if not only dedicated clusters but also non-dedicated clusters were used and several parallel applications were executed concurreontly. To support this claim we carried out experimental study into the performance of multiple NAS parallel programs executing concurrently on a non-dedicated cluster.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Protocols between programs and proofs

In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.