This work was produced under the auspices of the SERC funded project GR/G49531. Z, Z Method, OBJ, Abstract Datatypes, Safety Critical Systems, Initiality Z is a rich and expressive speci cation language. It is possible to use Z to produce clear, abstract and elegant speci cations; it is also possible to use Z to produce meaningless speci cations. One of the overall aims of the research work in ...

A research project in nursing or nursing education is probably only complete once the findings have been published. This paper offers a format for writing a qualitative research report for publication. It suggests, at least, the following sections: introduction, aims of the study, review of the literature, sample, data collection methods, data analysis methods, findings, discussion, conclusion,...

..................................................................................................... 3 Table of

Evolutionary medicine is the application of evolution theory to understanding health and disease. It provides a complementary scientific approach to the present mechanistic explanations that dominate medical science, and particularly medical education. The chronic multifactorial disease of atherosclerosis clearly illustrates the Darwinian paradigm. Recent research, combining the effects of gene...

............................................................................................................................... 3 Table of

Kiwi Advanced Research and Education Network (KAREN) has been used to transfer large volumes of radio astronomical data between the AUT Radio Astronomical Observatory at Warkworth, New Zealand and the international organisations with which we are collaborating and conducting observations. Here we report on the current status of connectivity and on the results of testing different data transfer ...

Successful knowledge transfer or diffusion of e-learning practice goes beyond precursor incentives and anticipated rewards for the individual lecturer. It also involves wider enabling of learning attributes and cultural capabilities in an organization. This paper examines how some of these attributes and capabilities play out in an educational institution in the context of web-enabled technolog...

An e-learning model with ICT technology (ELM) is proposed in this paper. With this model, some education technologies and e-learning evolution are interpreted, such as network education, mobile education, ubiquitous education, educational semantic web, and etc. In the meantime, the way of how to combine new ICT technologies into education is also demonstrated. After discussing the convenience a...

BACKGROUND A new modular, outcome-based, interdisciplinary curriculum was introduced for undergraduate medical education at one of the largest European medical faculties. A key stated institutional goal was to systematically integrate sex and gender medicine and gender perspectives into the curriculum in order to foster adequate gender-related knowledge and skills for future doctors concerning ...

Single case designs are a set of research methods for evaluating treatment effects by assigning different treatments to the same individual and measuring outcomes over time and are used across fields such as behavior analysis, clinical psychology, special education, and medicine. Emerging standards for single case designs have focused attention on the need for effect sizes for summarizing and m...