Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Concurrent chemoradiotherapy with weekly paclitaxel in malignant cerebral glioma treatment

Background: Anaplastic astrocytomas (AA) and glioblastomas (GB) are the most common malignant gliomas, and despite newly developed drugs and combined treatments, they still have an adverse prognosis. Paclitaxel is a cytotoxic agent with radiosensitizing properties and exerts objective growth inhibition in glioma tumor cells. Patients and Methods: From 1998 to 2002, 61 microneuro-surgically treated patients were randomized to group I (18 GB, 14 AA) which received radiotherapy and weekly paclitaxel at dose of 100 mg/m(2), and group II (21 GB, 8 AA) which received only radiotherapy as a complementary treatment. Results: Median overall survival was 27.96 months in group I and 23.06 months in group II with no statistical difference. The 12-month survival was 81% in group I and 76% in group II. Kaplan-Meier curves of both groups did not demonstrate any difference. Analysis of each histological subgroup (AA or GB) also showed no statistical difference in the survival curves. All 427 cycles were well tolerated with no treatment-associated deaths. Conclusions: Chemoradiotherapy with weekly paclitaxel is safe and tolerable although there was no increase in the overall survival and 12-month survival of malignant glioma patients. Further investigations modulating the paclitaxel entrance and delivery into the brain should be encouraged.

Cervical mobilisation: concurrent effects on pain, sympathetic nervous system activity and motor activity

Recent findings that spinal manual therapy (SMT) produces concurrent hypoalgesic and sympathoexcitatory effects have led to the proposal that SMT may exert its initial effects by activating descending inhibitory pathways from the dorsal periaqueductal gray area of the midbrain (dPAG). In addition to hypoalgesic and sympathoexcitatory effects, stimulation of the dPAG in animals has been shown to hal e a facilitatory effect on motor activity. This study sought to further investigate the proposal regarding SMT and the FAG by including a test of motor function in addition to the variables previously investigated, Using a condition randomised, placebo-controlled, double blind, repeated measures design, 30 subjects with mid to lon er cervical spine pain of insidious onset participated in the study. The results indicated that the cervical mobilisation technique produced a hypoalgesic effect as revealed by increased pressure pain thresholds on the side of treatment (P = 0.0001) and decreased resting visual analogue scale scores (P = 0.049). The treatment technique also produced a sympathoexcitatory effect with an increase in skin conductance (P < 0.002) and a decrease in skin temperature (P = < 0.02). There was a decrease in superficial neck flexor muscle activity (P < 0.0002) at the lower levels of a staged cranio-cervical flexion test. This could imply facilitation of the deep neck flexor muscles with a decreased need for co-activation of the superficial neck flexors, The combination of all findings,would support the proposal that SMT may, at least initially, exert part of its influence via activation of the PAG, (C) 2000 Harcourt Publishers Ltd.

Development, reliability, and concurrent validity of the modified inventory of potential reconstructive needs

Documentation of burn sequelae can be a difficult and time-consuming task. To date a reliable and systematic format for recording postburn trauma is lacking. The purpose of this research was two-fold: first, to develop a Modified Inventory of Potential Reconstructive Needs from the original Inventory of Potential Reconstructive Needs to allow methodical documentation of functional and cosmetic burn sequelae in all body surface areas of children with burns and, second, to establish interrater reliability and concurrent validity of the instrument, thus allowing its clinical application. Two raters scored the Modified Inventory of Potential Reconstructive Needs on 41 children with a range of burns types and severity. Excellent interrater reliability was demonstrated for both total (intraclass correlation coefficient = 0.996) and subsection inventory scores. Concurrent validity was also established with total scores showing strong positive correlations (0.73-0.76) with three indicators of burn severity. These findings provide initial support for the tool's clinical applicability, particularly in relation to rehabilitative planning and documentation.