The definition of data refinement between datatypes is expressed in terms of all programs that invoke procedures of the types. As a result it is laborious to check. Simulations provide sound conditions that, being ‘static’, facilitate checking; but then their soundness is important. In this paper we extract a technique from the heart of the theory and show it to be equivalent to data refinement...

The only medical interest in this play is that the hero was a medical man and, as is claimed in the introduction, was the first medical graduate in Australia. It is hardly correct to style him a graduate for he received his diploma after a special examination held at his own request by certain leading doctors in the colony at the time, long before any medical schools were established there. Red...

Medical biochemistry is the usual name for clinical biochemistry or clinical chemistry in Serbia. Medical biochemistry laboratories and medical biochemists as a profession are part of Health Care System and are regulated through: the Health Care Law and rules issued by the Chamber of Medical Biochemists of Serbia. The first continuous and organized education for Medical Biochemists in Serbia da...

I affirm that I wrote the Diploma Thesis by my self and that I did not use other than the indicated sources and resources.

It is difficult to put a precise date on the start of tourism education but, as the author has already commented (Airey 2005b : 13), it was during the 1960s that “a number of key changes in tourism [itself], in education and in society more generally,” led to the emergence of tourism “both as a clear area of study in its own right and as a subject for study to diploma and degree level and for r...

During my scientific career, I have authored more than 150 research papers and book articles and about 30 patents. Since 1993, more than 50 Ph.D. candidates, diploma and master students have studied under my supervision. My research subjects concern silicon-based chemical and biological

The purpose of this study was to examine the use of social networking (Facebook) among nurse anesthetists. We examined whether they would have concerns about their supervisor, patients, or physicians seeing their Facebook profile. We also examined their attitudes related to maintaining professional boundaries with regard to the initiation or receipt of Facebook "friend" requests from their supe...

__________________________________________________________________________________________ Purpose: The aim of this study was to explore nursing students’ perceptions of autonomy. Material and Methods: 11 participants were interviewed twice at the beginning and the end of a Diploma/BSc Nursing course designed for graduates coming to study nursing. Interpretative Phenomenological Analysis was us...

The public sectors of developing countries require strengthened capacity in health informatics. In Peru, where formal university graduate degrees in biomedical and health informatics were lacking until recently, the AMAUTA Global Informatics Research and Training Program has provided research and training for health professionals in the region since 1999. The Fogarty International Center suppor...