Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Fast-track rehabilitation for lung cancer lobectomy: a five-year experience

Objective: Fast-track rehabilitation is a group of simple measures that reduces morbidity, postoperative complication and accelerates postoperative rehabilitation reducing hospital stay. It can be applied to lung cancer lobectomy. Fast-track rehabilitation cornerstones are: minimally invasive surgical techniques using video-assisted and muscle sparring incisions, normovolemia, normothermia, good oxygenation, euglicemia, no unnecessary antibiotics, epidural patient-controlled analgesia, systemic opiods-free analgesia, early ambulation and oral feeding. Our objective is to describe a five-year experience with fast-track rehabilitation for lung cancer lobectomy. Patients and methods: A retrospective non-controlled study including 109 consecutive patients submitted to fast-track rehabilitation in the postoperative care of lung cancer lobectomy was performed. Only collaborative patients who could receive double-lumen intubation, epidural. catheters with patient-controlled analgesia, who had Karnofsky index of 100, previous normal feeding and ambulation, absence of morbid obesity, diabetes or asthma, were eligible. Postoperative oral feeding and aggressive ambulation started as soon as possible. Results: Immediate postoperative extubation even in the operation room was possible in 107 patients and oral feeding and ambulation were possible before the first hour in 101 patients. Six patients could not receive early oral feeding or ambulate due to hypnosis secondary to preoperative long effect benzodiazepines. Two patients could not ambulate immediately due to epidural catheter misplacement with important postoperative pain. Ninety-nine discharges occurred at the second postoperative day, four of them with a chest tube connected to a Heimlich valve due to air teak. No complication of early feeding and ambulation was observed. Postoperative hypnosis due to long duration benzodiazepines or pain does not allow early oral feeding or ambulation. Avoiding long duration preoperative benzodiazepines, immediate postoperative extubation, regional thoracic PCA and early oral feeding and ambulation were related to a lesser frequency of complication and a shorter hospital stay. Conclusion: Fast-track rehabilitation for lung cancer lobectomies can be safety performed in a selected group of patients if a motivated multidisciplinary group of professionals is available and seems to reduce postoperative complication and hospital stay. (C) 2009 European Association for Cardio-Thoracic Surgery. Published by Elsevier B.V. All rights reserved.

Challenges and Recommendations for Placebo Controls in Randomized Trials in Physical and Rehabilitation Medicine A Report of the International Placebo Symposium Working Group

Compared with other specialties, the field of physical and rehabilitation medicine has not received the deserved recognition from clinicians and researchers in the scientific community. One of the reasons is the lack of sound evidence to support the traditional physical and rehabilitation medicine treatments. The best way to change this disadvantage is through a well conducted clinical research, such as standard placebo- or sham-controlled randomized clinical trials. Therefore, having placebo groups in clinical trials is essential to improve the level of evidence-based practice in physical and rehabilitation medicine that ultimately translates to better clinical care. To address the challenges for the use of placebo in physical and rehabilitation medicine and randomized clinical trials and to create useful recommendations, we convened a working group during the inaugural International Symposium in Placebo (February 2009, in Sao Paulo, Brazil) in which the following topics were discussed: (1) current status of randomized clinical trials in physical and rehabilitation medicine, (2) challenges for the use of placebo in physical and rehabilitation medicine, (3) bioethics, (4) use of placebo in acupuncture trials and for the treatment of low-back pain, (5) mechanisms of placebo, and (6) insights from other specialties. The current article represents the consensus report from the working group.

Rehabilitation of executive dysfunction: A controlled trial of an attention and problem solving treatment group

In this study, the effectiveness of a group-based attention and problem solving (APS) treatment approach to executive impairments in patients with frontal lobe lesions was investigated. Thirty participants with lesions in the frontal lobes, 16 with left frontal (LF) and 14 with right frontal (RF) lesions, were allocated into three groups, each with 10 participants. The APS treatment was initially compared to two other control conditions, an information/education (IE) approach and treatment-as-usual or traditional rehabilitation (TR), with each of the control groups subsequently receiving the APS intervention in a crossover design. This design allowed for an evaluation of the treatment through assessment before and after treatment and on follow up, six months later. There was an improvement on some executive and functional measures after the implementation of the APS programme in the three groups. Size, and to a lesser extent laterality, of lesion affected baseline performance on measures of executive function, but there was no apparent relationship between size, laterality or site of lesion and level of benefit from the treatment intervention. The results were discussed in terms of models of executive functioning and the effectiveness of domain specific interventions in the rehabilitation of executive dysfunction.

Height and weight gains in a nutrition rehabilitation day-care service

Objective: To evaluate nutritional recovery patterns in 106 undernourished children assisted by the Center of Nutritional Recovery and Education (CREN, in Portuguese) between January 1995 and December 1999. Design: CREN assists undernourished children aged 0 to 72 months living in the southern regions of Sao Paulo, in an outpatient setting. Nutritional status was assessed by Z-scores of weight-for-age, height-for-age and weight-for-height. Nutritional recovery evaluation considered Z-score gains in weight-for-age and height-for-age, grouping into four categories (Z-score increment of 0.50 between groups). Children with birth weight less than 2500 g were classified as low birth weight (LBW), while those born at term and with LBW were classified as small for gestational age. Setting: CREN (Center of Nutritional Recovery and Education in Portuguese), Sao Paulo, Brazil. Subjects: One hundred and six children from CREN. Results: Among the 106 evaluated children, ninety-eight (92.5%)recovered their weight or height and seventy-two (67.9%) recovered both. Nearly half of studied children presented a nutritional recovery (increase in Z-score) of more than 0.50 in height-for-age (46.2%) and about 40% in weight-for-age (38.7%). Multivariate analysis showed that treatment duration and initial weight-for-age contributed to weight-for-age Z-score increment, explaining 25% of the variation; and treatment duration, initial height-for-age and weight-for-age Z-score increment contributed to height-for-age Z-score increment, explaining 62% of the variation. Conclusions: Our findings show that nutritional recovery among children who attended CREN was influenced primarily by the degree of nutritional deficit at admission. It has also been shown that biological variables are more important than socio-economic status in determining the rate of nutritional recovery.

Vocational rehabilitation improves cognition and negative symptoms in schizophrenia

Several studies in schizophrenia found a positive association between cognitive performance and work status, and it has been reported that good cognitive performance at the outset does predict the success of vocational interventions. However little has been done to investigate whether vocational interventions itself benefit cognitive performance. To test this hypothesis we performed a randomized, placebo-controlled trial to investigate in remitted schizophrenic patients the effect of a 6-months vocational rehabilitation program on cognitive performance. We recruited 112 remitted and clinically stable schizophrenic patients who aimed to enter a vocational rehabilitation program. From these, 57 immediately entered a 6-months vocational rehabilitation program, whereas the remaining 55 were allocated to a waiting-list; the latter formed our control group, which received during the 6 months out-clinic follow-up treatment. Before and after the 6-months period we assessed changes in cognitive performance through a neuropsychological test battery, as well as changes in the psychopathological status and in quality of life. We found that vocational rehabilitation significantly improved patients` performance in cognitive measures that assess executive functions (concept formation, shifting ability, flexibility, inhibitory control, and judgment and critics abilities). Moreover, after 6 months the vocational group improved significantly in the negative symptoms and in quality of life, as compared to controls. Together with results from the literature, our findings reinforce the notion that the inclusion of vocational interventions may enhance the effectiveness of therapeutic strategies for schizophrenia patients. (C) 2010 Elsevier B.V. All rights reserved.

Patients Receiving Physical Rehabilitation: Records of Sexual Function Before the Introduction of Erectogenic Drugs

The objective of this study is to evaluate the entries associated to the sexual function of patients undergoing physical disability rehabilitation, as well as the course of changes and medical approach through a retrospective review of medical charts. Methods: Medical records referring to the period between July and September, 1998 were evaluated. The data was divided into two groups, records containing physician`s entries on sexual function and/or entries of other health care professionals. The following aspects were investigated: whether complaints were spontaneously voiced by the patient, and whether diagnosis had been reached, with corresponding management. Results: Out of 245 medical records investigated, 17 (6.9%) contained clinical observations on the sexual function; out of those, 14 reached diagnosis. Twelve records (4.9%) had information by non-medical healthcare professionals. Out of 17 entries by doctors, 16 referred to male patients, which was found to be significant (p = 0.0202). Conclusions: Records for the sexual function of patients undergoing physical rehabilitation are scarce. In this population, the sexual function of male patients had more extensive investigation on the part of physicians when compared to other health care professionals.