A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Randomised controlled trial of telemedicine for new neurological outpatient referrals

Objective-To test the hypothesis that telemedicine for new patient referrals to neurological outpatients is as efficient and acceptable as conventional face to face consultation. Methods-A randomised controlled trial between two groups: face to face (FF) and telemedicine (TM). This study was carried out between a neurological centre and outlying clinics at two distant hospitals linked by identical medium cost commercial interactive video conferencing equipment with ISDN lines transmitting information at 384 kbits/s. The same two neurologists carried out both arms of the study. Of the 168 patients who were suitable for the study, 86 were randomised into the telemedicine group and 82 into the face to face group. Outcome measures were (I) consultation process: (a) number of investigations; (b) number of drugs prescribed; (c) number of patient reviews and (2) patient satisfaction: (a) confidence in consultation; (b) technical aspects of consultation; (c) aspects surrounding confidentiality. Diagnostic categories were also measured to check equivalence between the groups: these were structural neurological, structural non-neurological, nonstructural, and uncertain. Results-Diagnostic categories were similar (p>0.5) between the two groups. Patients in the telemedicine group had significantly more investigations (p=0.001). There was no difference in the number of drugs prescribed (p>0.5). Patients were generally satisfied with both types of consultation process except for concerns about confidentiality and embarrassment in the telemedicine group (p=0.017 and p=0.005 respectively). Conclusion-Telemedicine for new neurological outpatients is possible and feasible but generates more investigations and is less well accepted than face to face examination.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

A comparative study of telephone versus onsite completion of the WOMAC 3.0 Osteoarthritis Index

Objective. Outcome assessment in clinical trials using the Western Ontario and McMaster University (WOMAC 3.0) Osteoarthritis Index is traditionally achieved through self-administration of the Index. However, in other areas of clinical measurement, telephone administration has been shown to be a reliable method of acquiring data that are both accurate and complete. To address this issue in knee osteoarthritis (OA), we conducted a comparative study of telephone administration by interviewer of WOMAC LK3.0 versus onsite self-completion at the hospital. Methods. Fifty consenting patients with knee OA were randomized to complete the WOMAC LK3.0 Index by telephone interview one day, followed by onsite completion the following day, or vice versa. Neither patients nor interviewers had access to any prior scores. Results. The mean age of the 50 patients was 66.3 years (range 44-82); 34 (68%) were female and 16 (32%) male. There was excellent agreement between the mean office and telephone scores, with mean differences for the WOMAC LK3.0 pain, stiffness, and function subscale scores and total score of 0.09, 0.12, 0.78, and 0.98, respectively. These differences were well within the respective protocol defined equivalence criteria of +/- 1.7, +/- 0.9, +/- 6.4, and +/- 9.1, and represented differences from office scores of 0.9, 2.6, 2.4, and 2.2%, respectively. Conclusion. The use of telephone interviews for the WOMAC LK3.0 Index is a valid method of obtaining OA outcome measurements. These observations have important implications for designing data acquisition strategies for future OA clinical trials and for longterm observational studies.

Defining 'underwater cultural heritage'

The newly adopted United Nations Education, Scientific and Cultural Organization's Convention on the Protection of the Underwater Cultural Heritage provides the first universal protection regime for this value archaeological resource. A central difficulty in concluding this Convention was defining underwater cultural heritage. This article considers the development of the definition agreed upon and analyses its utility in providing for a pragmatic and effective protection regime.

Development of axon pathways in the zebrafish central nervous system

The zebrafish has a number of distinct advantages as an experimental model in developmental biology. For example, large numbers of embryos can be generated in each lay, development proceeds rapidly through a very precise temporal staging which exhibits minimal batch-to-batch variability, embryos are transparent and imaging of wholemounts negates the need for tedious histological preparation while preserving three-dimensional spatial relationships. The zebrafish nervous system is proving a convenient model for studies of axon guidance because of its small size and highly stereotypical trajectory of axons. Moreover, a simple scaffold of axon tracts and nerves is established early and provides a template for subsequent development. The ease with which this template can be visualized as well as the ability to spatially resolve individual pioneer axons enables the role of specific cell-cell and molecular interactions to be clearly deciphered. We describe here the morphology and development of the earliest axon pathways in the embryonic zebrafish central nervous system and highlight the major questions that remain to be addressed with regard to axon guidance.