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.

Clinical profile of patients enroled in a cell therapy trial for severe coronary artery disease

Aims and objectives. To compare the clinical profile of patients included in a clinical trial of autologous bone marrow cells as an adjunctive therapy to coronary artery bypass grafting with that of patients undergoing routine coronary artery bypass grafting. Background. The therapeutic potential of autologous bone marrow cells has been explored in the treatment of severe coronary artery disease. There are few data regarding the clinical and socio-economic profile of patients included in clinical trials using bone marrow cell. Design. Case-control study. Method. Sixty-seven patients (61 SD 9) years, 82% men) with multivessel coronary artery disease were divided into two groups: patients in the bone marrow cell group (n = 34) underwent incomplete coronary artery bypass grafting + intramyocardial injection of autologous bone marrow cells (lymphomonocytic fraction -2.0 (SD 0.2 x 108) cells/patient) in the ischaemic, non-revascularised myocardium, whereas patients in the coronary artery bypass grafting group (n = 33) underwent routine bypass surgery. Demographics, socio-economic status, clinical and echocardiographic data were collected. Statistical analysis included the Fisher`s exact test (categorical variables) and the Student`s t-test (continuous variables). Results. There were no significant differences between groups regarding age, gender, BMI, heart rate, blood pressure and echo data. There was a greater prevalence of obesity (65 vs. 33%; OR = 3.7 [1.3-10.1]), of previous myocardial infarction (68 vs. 39%; OR = 3.2 [1.2-8.8]) and prior revascularisation procedures (59 vs. 24%; OR = 4.5 [1.6-12.7]) in the autologous bone marrow cells group and of smokers in the coronary artery bypass grafting group (51 vs. 23%; OR = 3.5 [1.2-10.4]). Conclusions. Patients included in this clinical trial of autologous bone marrow cells for severe coronary artery disease presented a greater prevalence of myocardial revascularisation procedures, indicating a more severe clinical presentation of the disease. Fewer smokers in this group could be attributable to life style changes after previous cardiovascular events and/or interventions. Relevance to clinical practice. The knowledge of the clinical profile of patients included in cell therapy trials may help researchers in the identification of patients that may be enroled in future clinical trials of this new therapeutic strategy.

Tubal sterilisation, hysterectomy and decreased risk of ovarian cancer

We have examined the effect of tubal sterilisation and hysterectomy on risk of ovarian cancer in a large case-control study in eastern Australia involving 824 women aged 18-79 years, diagnosed with epithelial ovarian cancer between 1990 and 1993, and 855 controls randomly selected from the electoral roll. Relative risks for ovarian cancer were estimated using multiple categorical regression to adjust for age, parity, oral contraceptive use and other risk factors. Tubal sterilisation was associated with a 39% reduction in risk of ovarian cancer (RR 0.61, 95% Cl 0.46-0.85) and hysterectomy with a 36% reduction (RR 0.64, 95% Cl 0.48-0.85). Risk remained low 25 years after surgery and was reduced irrespective of sterilisation technique, and estimates were similar among various types of epithelial ovarian cancer. The greatest reduction (74%) was observed among women with primary peritoneal tumours. Pelvic infection and use of vaginal sprays or contraceptive foams were not related to ovarian cancer, while use of talc in the perineal region slightly but significantly increased risk among women with patent fallopian tubes. Reportedly heavy or painful menses, perhaps associated with retrograde flow, were associated with ovarian cancer, and reduction in risk of disease after hysterectomy was greatest among women who had heavy periods. Our findings support the theory that contaminants from the vagina, such as talc, and from the uterus, such as endometrium, gain access to the peritoneal cavity through patent fallopian tubes and may enhance the malignant transformation of ovarian surface epithelium. Surgical tubal occlusion may reduce the risk of ovarian cancer by preventing the access of such agents. (C) 1997 Wiley-Liss, Inc.

Factors affecting management decisions in rectal cancer in clinical practice: results from a national survey

Management of rectal cancer has become increasingly complex and a multidisciplinary approach is considered of key importance for improving outcomes. A national survey among specialists involved in this multidisciplinary setting was performed. A web-based survey containing 11 questions regarding rectal cancer management was sent to surgeons and medical oncologists registered by their corresponding societies as members. Statistical analysis was performed using the chi-square and Fisher`s exact tests for all categorical variables according to response to individual questions. Multivariate analysis was performed using Cox`s logistic regression. Overall, 418 email recipients responded the survey. Local staging was performed without either magnetic resonance imaging or endorectal ultrasound by 64% of responders. Seventy-two percent considered that final management decision should be made after neoadjuvant chemoradiation therapy. Additionally, 46% considered that an alternative procedure (local excision or observation) was appropriate in a patient with a complete clinical response. Colorectal surgeons were more frequently in favor of longer intervals after completion of chemoradiation therapy (P = 0.001) and of alternative management procedures after a complete clinical response (P = 0.02). After multivariate analysis, the choice of a watch and wait approach after a complete clinical response following neoadjuvant chemoradiation therapy was significantly more frequent among surgeons (OR 3.5, 95% CI 1.8-7.1). Surgeons seem to be more in favor of tailoring management of rectal cancer according to tumor response after neoadjuvant chemoradiation therapy, with longer intervals after chemoradiation therapy, decisions about treatment strategy being made after chemoradiation therapy instead of before, and the use of alternative surgical procedures after a complete clinical response following neoadjuvant therapy.

Women`s opinions about mode of birth in Brazil: a qualitative study in a public teaching hospital

Objective: to describe women`s feelings about mode of birth. Design: exploratory descriptive design. Semi-structured interviews were conducted using a questionnaire that had been developed previously (categorical data and open-and closed-ended questions). Qualitative analysis of the results was performed through a context analysis technique. Setting: the largest public university hospital in Brazil. Participants: 48 women in their third trimester of pregnancy. Findings: most women expressed a preference for vaginal birth, as they perceived that they would have a faster recovery. Women who expressed a preference for caesarean section did so because of lack of pain during the birth and the need for tubal sterilisation. The majority of women considered it important to have experience with a mode of birth in order to choose a preference. Complications associated with maternal illness were very influential in the decision-making process. Key conclusions: these results provide a useful first step towards the identification of aspects of women`s feelings about modes of birth. Most women expressed a preference for vaginal birth. Further exploration of women`s feelings regarding parturition and the decision-making process is required. (C) 2008 Elsevier Ltd. All rights reserved.

The impact of trauma and post-traumatic stress disorder on the treatment response of patients with obsessive-compulsive disorder

Few case series studies have addressed the issue of treatment response in patients with obsessive-compulsive disorder (OCD) and comorbid post-traumatic stress disorder (PTSD), and there are no prospective studies addressing response to conventional treatment in OCD patients with a history of trauma (HT). The present study aimed to investigate, prospectively, the impact of HT or PTSD on two systematic, first-line treatments for OCD. Two hundred and nineteen non-treatment-resistant OCD outpatients were treated with either group cognitive-behavioral therapy (GCBT n = 147) or monotherapy with a selective serotonin reuptake inhibitor (SSRI n = 72). Presence of HT and PTSD were assessed at intake, as part of a broader clinical and demographical baseline characterization of the sample. Severity and types of OCD symptoms were assessed with the Yale-Brown Obsessive-Compulsive Scale (YBOCS) and the Dimensional YBOCS (DYBOCS), respectively. Depression and anxiety symptoms were measured with the Beck Depression Inventory (BDI) and the Beck Anxiety Inventory (BAI). Both treatments had 12-week duration. Treatment response was considered as a categorical [35% or greater reduction in baseline YBOCS scores plus a Clinical Global Impression-Improvement rating of better (2) or much better (1)] and continuous variable (absolute number reduction in baseline YBOCS scores). Treatment response was compared between the OCD + HT group versus the OCD without HT group and between the OCD + PTSD group versus the OCD without PTSD group. Parametric and non-parametric tests were used when indicated. Data on HT and PTSD were available for 215 subjects. Thirty-eight subjects (17.67% of the whole sample) had a positive HT (OCD + HT group) and 22 subjects (57.89% of the OCD + HT group and 10.23% of the whole sample) met full DSM-IV criteria for PTSD. The OCD + HT and OCD without HT groups presented similar response to GCBT (60% of responders in the first group and 63% of responders in the second group, p = 1.00). Regarding SSRI treatment, the difference between the response of the OCD + HT (47.4%) and OCD without HT (22.2%) groups was marginally significant (p = 0.07). In addition, the OCD + PTSD group presented a greater treatment response than the OCD without PTSD group when treatment response was considered as a continuous variable (p = 0.01). The age when the first trauma occurred had no impact on treatment response. In terms of specific OCD symptom dimensions, as measured by the DYBOCS, OCD treatment fostered greater reductions for the OCD + PTSD group than for the OCD without PTSD group in the scores of contamination obsessions and cleaning compulsions, collecting and hoarding and miscellaneous obsessions and related compulsions (including illness concerns and mental rituals, among others). The OCD + PTSD group also presented a greater reduction in anxiety scores than the OCD without PTSD group (p = 0.003). The presence of HT or PTSD was not related to a poorer treatment response in this sample of non-treatment-resistant OCD patients. Unexpectedly, OCD patients with PTSD presented a greater magnitude of response when compared with OCD without PTSD patients in specific OCD symptom dimensions. Future studies are needed to clarify if trauma and PTSD have a more significant impact on the onset and clinical expression of OCD than on the conventional treatment for this condition, and whether OCD stemming from trauma would constitute a subtype of OCD with a distinct response to conventional treatment.

Abdominal compartment syndrome in trauma resuscitation

Purpose of review Swelling is inexorably linked to shock and resuscitation in trauma. In many forms, swelling complicates and interacts with traumatic injury to raise pressures in the abdomen, resulting in intraabdominal hypertension, which may overtly manifest as abdominal compartment syndrome (ACS) driving multiple organ failure. Despite renewed clinical interest in posttraumatic intraabdominal pressure, there remains a chiasm between knowledge of the risks and clinical interventions to mitigate them. This review provides a concise overview of definitions, risk factors, diagnosis and management using an illustrative trauma case. Recent findings Intraabdominal pressure commonly increases following trauma, wherein ACS may manifest earlier than generally appreciated and complicate other insults such as shock and hemorrhage. Contemporary resuscitation strategies may exacerbate intraabdominal hypertension, particularly massive crystalloid resuscitation. Although unproven, the recent transition to crystalloid restriction and high plasma resuscitation strategies may influence the prevalence of ACS. Nonetheless, aggressive intraabdominal pressure monitoring should be mandatory in the critically ill. Despite potential nonoperative options, decompressive laparotomy remains the only definitive but often morbid treatment. Summary ACS results from many dysfunctions acting in concert with each other in self-propagating vicious cycles. Starting with greater awareness, it is imperative that the growing knowledge should be translated into clinical practice.

Therapeutic Leukapheresis in Patients with Leukostasis Secondary to Acute Myelogenous Leukemia

Leukostasis is a relatively uncommon but potentially catastrophic complication of acute myelogenous leukemia (AML). Prompt leukoreduction is considered imperative to reduce the high mortality rate in this condition. Leukapheresis, usually associated with chemotherapy, is an established approach to diminish blast cell counts. We report a single center experience in managing leukostasis with leukapheresis. Fifteen patients with leukostasis of 187 patients with AML (8.02%) followed at our institution were treated with leukapheresis associated with chemotherapy. The procedures were scheduled to be performed on a daily basis until clinical improvement was achieved and WBC counts were significantly reduced. Overall and early mortalities, defined as that occurred in the first 7 days from diagnosis, were reported. A high proportion of our patients with leukostasis (46.66%) had a monocytic subtype AML (M4/M5, according to French-American-British classification). The median overall survival was 10 days, despite a significant WBC reduction after the first apheresis procedure (from 200.7 X 10(9)/L to 150.3 X 10(9)/L). Almost half of patients (7/15) had an early death. Therapeutic leukapheresis, associated or not to chemotherapy, is an effective approach to reduce WBC counts in patients with AML and leukostasis; however, this therapeutic procedure does not appear to change significantly the sombre prognosis observed in the majority of patients with this complication. Other forms of treatment must be found to reduce the high mortality rate related to leukostasis. J. Clin. Apheresis 26:181-185, 2011. (C) 2011 Wiley-Liss, Inc.

Exposure to maternal smoking during fetal life affects food preferences in adulthood independent of the effects of intrauterine growth restriction

Experimental animal studies have shown that nicotine exposure during gestation alters the expression of fetal hypothalamic neuropeptides involved in the control of appetite. We aimed to determine whether the exposure to maternal smoking during gestation in humans is associated with an altered feeding behavior of the adult offspring. A longitudinal prospective cohort study was conducted including all births from Ribeirao Preto (Sao Paulo, Brazil) between 1978 and 1979. At 24 years of age, a representative random sample was re-evaluated and divided into groups exposed (n = 424) or not (n = 1586) to maternal smoking during gestation. Feeding behavior was analyzed using a food frequency questionnaire. Covariance analysis was used for continuous data and the chi(2) test for categorical data. Results were adjusted for birth weight ratio, body mass index, gender, physical activity and smoking, as well as maternal and subjects` schooling. Individuals exposed to maternal smoking during gestation ate more carbohydrates than proteins (as per the carbohydrate-to-protein ratio) than non-exposed individuals. There were no differences in the consumption of the macronutrients themselves. We propose that this adverse fetal life event programs the individual`s physiology and metabolism persistently, leading to an altered feeding behavior that could contribute to the development of chronic diseases in the long term.

What role does knowledge of wildlife play in providing support for species' conservation?

Conservation of biodiversity is a complex issue. Apart from the creation of nature reserves, there is a plethora of other factors that are part of this complex web. One such factor is the public knowledge of species. Since public funding is imperative for the conservation of species and creation of reserves for them it is important to determine the public’s awareness of species and their knowledge about them. In the absence of such awareness and knowledge, it is possible that the public may misallocate their support. In other words, resources may be provided for species that do not need support urgently. We show how availability of balanced information about species helps the public to make rational decisions and to allocate support (e.g. monetary) to species that need it most. Other implications of a ‘wildlife knowledgeable’ public are also discussed.

Relationship between malocclusion severity and treatment success rate in Class II nonextraction therapy

Introduction: The purpose of this study was to evaluate the treatment success rate of Class II malocclusion without extractions, according to initial severity. Methods: Class II subjects (n = 276) were divided into 2 groups according to the severity of the malocclusion. Group 1 comprised 144 patients with bilateral half Class II malocclusion at the initial mean age of 12.27 years. Group 2 comprised 132 patients who initially had bilateral complete Class II malocclusion at the initial mean age of 12.32 years. The patients` initial and final study models were evaluated with Grainger`s treatment priority index. Chi-square tests were used to test for differences between the 2 groups for categorical variables. Variables regarding occlusal results were compared with independent t tests. Results: Group 1 had a significantly better final occlusal result, a shorter treatment time, and a higher treatment efficiency index. Conclusions: Based on these results, it was concluded that bilateral half Class II malocclusion has a better treatment success rate than bilateral complete Class II malocclusion when treatment is conducted without extractions. (Am J Orthod Dentofacial Orthop 2009; 135: 274.e1-274.e8)

Occlusal outcomes and efficiency of 1-and 2-phase protocols in the treatment of Class II Division 1 malocclusion

Introduction: The purpose of this study was to compare the occlusal outcomes and the efficiency of 1-phase and 2-phase treatment protocols in Class II Division 1 malocclusions. Treatment efficiency was defined as a change in the occlusal characteristics in a shorter treatment time. Methods: Class II Division 1 subjects ( n = 139) were divided into 2 groups according to the treatment protocol for Class II correction. Group 1 comprised 78 patients treated with a 1-phase treatment protocol at initial and final mean ages of 12.51 and 14.68 years. Group 2 comprised 61 patients treated with a 2-phase treatment protocol at initial and final mean ages of 11.21 and 14.70 years. Lateral cephalometric radiographs were taken at the pretreatment stage to evaluate morphological differences in the groups. The initial and final study models of the patients were evaluated by using the peer assessment rating index. Chi-square tests were used to test for differences between the 2 groups for categorical variables. Variables regarding occlusal results were compared by using independent t tests. A linear regression analysis was completed, with total treatment time as the dependent variable, to identify clinical factors that predict treatment length for patients with Class II malocclusions. Results: Similar occlusal outcomes were obtained between the 1-phase and the 2-phase treatment protocols, but the duration of treatment was significantly shorter in the 1-phase treatment protocol group. Conclusions: Treatment of Class II Division 1 malocclusions is more efficient with the 1-phase than the 2-phase treatment protocol.

Learning organizations: Empirically investigating metaphors

Learning organizations are a special form of organization where enhancing learning is a strategy to increase intellectual capital. Developing learning organizations has become an imperative for many managers, since an organization's learning methods and rate may be the only source of sustainable competitive advantage. However, learning organization theory tends to be prescriptive and rhetorical, with empirical research still relatively new. This paper contributes to the literature by reporting case-study research in progress based on four Australian organizations. In the organizations studied, use of the learning organization metaphor was coupled with an emergent metaphor: organization as `family". By employing structure mapping of metaphor within analytical induction, both established methods but not combined before, this paper shows how theory might be developed from metaphor.

What constitutes success in telehealth?

Before telehealth applications can be judged, there must be some general understanding about what constitutes success. At first sight it seems that defining success in a telehealth application should be relatively easy: a successful application is one that produces high-quality care at low cost. However, the calculation of cost requires some care, since it depends on assuming a particular financial perspective (the patient's, the health-care provider's, or society's) and is meaningless without a statement of the workload being handled. Other factors include the context in which the service is being delivered. Ultimately, the political imperative may override any rational judgement of success.

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.