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.

Face recognition robust to head pose from one sample image

Most face recognition systems only work well under quite constrained environments. In particular, the illumination conditions, facial expressions and head pose must be tightly controlled for good recognition performance. In 2004, we proposed a new face recognition algorithm, Adaptive Principal Component Analysis (APCA) [4], which performs well against both lighting variation and expression change. But like other eigenface-derived face recognition algorithms, APCA only performs well with frontal face images. The work presented in this paper is an extension of our previous work to also accommodate variations in head pose. Following the approach of Cootes et al, we develop a face model and a rotation model which can be used to interpret facial features and synthesize realistic frontal face images when given a single novel face image. We use a Viola-Jones based face detector to detect the face in real-time and thus solve the initialization problem for our Active Appearance Model search. Experiments show that our approach can achieve good recognition rates on face images across a wide range of head poses. Indeed recognition rates are improved by up to a factor of 5 compared to standard PCA.

Sharing Narratives Online: An international, self-organising curriculum in rural health

The aim of the Rural Medicine Rotation (RMR) at the University of Queensland (UQ) is to give all third year medical students exposure to and an understanding of, clinical practice in Australian rural or remote locations. A difficulty in achieving this is the relatively short period of student clinical placements, in only one or two rural or remote locations. A web-based Clinical Discussion Board (CDB) has been introduced to address this problem by allowing students at various rural sites to discuss their rural experiences and clinical issues with each other. The rationale is to encourage an understanding of the breadth and depth of rural medicine through peer-based learning. Students are required to submit a minimum of four contributions over the course of their six week rural placement. Analysis of student usage patterns shows that the majority of students exceeded the minimum submission criteria indicating motivation rather than compulsion to contribute to the CDB. There is clear evidence that contributing or responding to the CDB develops studentâ??s critical thinking skills by giving and receiving assistance from peers, challenging attitudes and beliefs and stimulating reflective thought. This is particularly evident in regard to issues involving ethics or clinical uncertainty, subject areas that are not in the medical undergraduate curriculum, yet are integral to real-world medical practice. The CDB has proved to be a successful way to understand the concerns and interests of third year medical students immersed in their RMR and also in demonstrating how technology can help address the challenge of supporting students across large geographical areas. We have recently broadened this approach by including students from the Rural Program at The Ohio State University College of Medicine. This important international exchange of ideas and approaches to learning is expected to broaden clinical training content and improve understanding of rural issues.