The effects of adolescent cannabis use: How should the empirical evidence inform drug policy for young people? : Meeting abstract

Ethics as a subject is now consistently taught in medical schools within Australia. The theoretical Ethical models used, and the associated clinical discussions, vary between schools. Registrars have further theoretical Ethics teaching within Psychiatry Fellowship Training, and ongoing clinical work that is likely to provide exposure to complex and frequent Ethical dilemmas. As Psychiatry Trainees approach subspecialty training in Child and Adolescent Psychiatry they therefore have a rich experience of both theoretical Ethics teaching and clinical exposure to Ethical issues. In this symposium, the difficulties Child and Adolescent Psychiatry Trainees may have in the integration of multiple theoretical Ethical models are discussed. It is suggested that these difficulties make Ethics Teaching for Child and Adolescent Psychiatry Trainees particularly challenging. This is important given the complex Ethical issues often present when working with Children and their Families. The three main Ethical models of Deontology, Virtue Ethics and Consequentialism are described and their usefulness for the Child and Adolescent Psychiatrist examined. Limitations of these models, and “Four Principles” approaches (such as that of Beauchamp and Childress), for Child and Adolescent Psychiatry, are also considered. Clinical cases are included for discussion. Finally, the ways in which these models may be used to enhance Child and Adolescent Psychiatry Training, and subsequent clinical practice as a Child and Adolescent Psychiatrist, are discussed. The integration of different theoretical Ethical models is considered, with implications identified for clinical practice.

A genetic algorithm/method of moments approach to the optimization of an RF coil for MRI applications - Theoretical considerations - Abstract

A Combined Genetic Algorithm and Method of Moments design methods is presented for the design of unusual near-field antennas for use in Magnetic Resonance Imaging systems. The method is successfully applied to the design of an asymmetric coil structure for use at 190MHz and demonstrates excellent radiofrequency field homogeneity.

Verifying abstract information flow properties in fault tolerant security devices

The verification of information flow properties of security devices is difficult because it involves the analysis of schematic diagrams, artwork, embedded software, etc. In addition, a typical security device has many modes, partial information flow, and needs to be fault tolerant. We propose a new approach to the verification of such devices based upon checking abstract information flow properties expressed as graphs. This approach has been implemented in software, and successfully used to find possible paths of information flow through security devices.

Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.