Reasoning algebraically about refinement on TSO architectures

The Total Store Order memory model is widely implemented by modern multicore architectures such as x86, where local buffers are used for optimisation, allowing limited forms of instruction reordering. The presence of buffers and hardware-controlled buffer flushes increases the level of non-determinism from the level specified by a program, complicating the already difficult task of concurrent programming. This paper presents a new notion of refinement for weak memory models, based on the observation that pending writes to a process' local variables may be treated as if the effect of the update has already occurred in shared memory. We develop an interval-based model with algebraic rules for various programming constructs. In this framework, several decomposition rules for our new notion of refinement are developed. We apply our approach to verify the spinlock algorithm from the literature

Characteristics associated with inappropriate hospital use in elderly patients admitted to a general internal medicine service

Our objective was to identify patient characteristics associated with inappropriate hospital days in a cohort of elderly medical inpatients. This prospective cohort study included a total of 196 patients aged 75 years and older, who were consecutively admitted over eight months to the internal medicine service of a regional, non-academic public hospital located in a rural area of Western Switzerland. Patients with severe cognitive impairment, terminal disease, or previously living in a nursing home were excluded. Data on demographics, medical, physical, social and mental status were collected at admission. A blinded hospitalization review was performed concurrently using a modified version of the Appropriateness Evaluation Protocol (AEP). Subjects' mean age was 82.4 years; 63.3% were women. Median length of stay was 8 days. Overall, 68 patients (34.7%) had at least one inappropriate day during their stay, including 18 patients (9.2%) whose hospital admission and entire stay were considered inappropriate. Most inappropriate days were due to discharge delays (87.1%), primarily to nursing homes (59.3%). Univariate analysis showed that subjects with inappropriate days were more likely to be living alone (69.1 vs 48.4%, p=0.006), and receiving formal in-home help (48.5 vs 32.8%, p=0.031). In addition, they were more impaired in basic and instrumental activities of daily living BADLs, and IADLs, p<0.001 and p=0.015, respectively), and more frequently had a depressed mood [29.4 vs 10.9%, p=0.001 with a score ≥ 6 at the Geriatric Depression Scale (GDS), short form]. Using multivariate analysis, independent associations remained for patients living alone (OR 2.6, 95%CI 1.2-5.8, p=0.016), those with a depressed mood (OR 2.8, 95%CI 1.1-7.3, p=0.032), with BADL dependencies (OR 1.5, 95%CI 1.2-1.8, p=0.001), and IADL dependencies (OR 1.3, 95%CI 1.0-1.6, p=0.032). Cardiovascular (OR 0.2, 95%CI 0.1-0.7, p=0.008) and pulmonary admission diagnoses (OR 0.1, 95%CI 0.0-0.7, p=0.022) were inversely associated with inappropriate hospital days. In conclusion, patients living alone, functionally impaired and showing depressive symptoms were at increased risk for inappropriate hospital days. These characteristics might permit better targeting for early discharge planning in these at-risk subjects, and contribute to avoiding premature discharge of other vulnerable elderly patients. Whether these interventions for at-risk patients will also result in prevention of hospitalization hazards, such as deconditioning and related functional decline, will require further stud

MINDFULNESS IN THE SPECIAL EDUCATION CLASSROOM: A MIXED METHODS PILOT STUDY OF THE LEARNING TO BREATHE MINDFULNESS CURRICULUM

Self-efficacy impacts the thoughts, behaviors, and attitudes students have towards activities such as reading or completing difficult homework. Using the social cognitive theory as a framework for understanding self-efficacy and self-regulation, a literature review of research on self-efficacy and self-regulation for secondary students with disabilities was conducted. Based on findings from the literature review, needs assessment data was collected from ninth grade students with conduct problems to examine the relationship between their behavior and their perceived self-efficacy and self-regulation. A mindfulness curriculum called Learning to Breathe (Broderick, 2013) was researched and implemented as a pilot intervention in two secondary special education classrooms (n = 16) in order to determine if mindfulness influences self-regulation skills and self-efficacy in students with disabilities who need behavior support. Although there were not any statistically significant findings from three self-report measures related to self-efficacy, self-regulation, and mindfulness, all students reported positive outcomes related to managing stress and anxiety, greater focus and attention, better conflict management, and increased self-compassion. In addition, all students reported that they will continue to use mindfulness and that the program should be expanded. The results of this study indicate that implementing mindfulness programs within special education settings is both feasible and positively accepted by students. Future research is needed to create tools for more accurately assessing mindfulness outcomes in adolescents with mild disabilities and to equip teachers with evidenced-based practices for classroom implementation

Psylloidea na fazenda da Brigada Militar, Passo Fundo, Rio Grande do Sul.

Editores técnicos: Joseani Mesquita Antunes, Ana Lídia Variani Bonato, Márcia Barrocas Moreira Pimentel

Prevention of recurrent hip fracture

Our objective was to describe the interventions aimed at preventing a recurrent hip fracture, and other injurious falls, which were provided during hospitalization for a first hip fracture and during the two following years. A secondary objective was to study some potential determinants of these preventive interventions. The design of the study was an observational, two-year follow-up of patients hospitalized for a first hip fracture at the University Hospital of Lausanne, Switzerland. The participants were 163 patients (median age 82 years, 83% women) hospitalized in 1991 for a first hip fracture, among 263 consecutively admitted patients (84 did not meet inclusion criteria, e.g., age >50, no cancer, no high energy trauma, and 16 refused to participate). Preventive interventions included: medical investigations performed during the first hospitalization and aimed at revealing modifiable pathologies that raise the risk of injurious falls; use of medications acting on the risk of falls and fractures; preventive recommendations given by medical staff; suppression of environmental hazards; and use of home assistance services. The information was obtained from a baseline questionnaire, the medical record filled during the index hospitalization, and an interview conducted 2 years after the fracture. Potential predictors of the use of preventive interventions were: age; gender; destination after discharge from hospital; comorbidity; cognitive functioning; and activities of daily living. Bi- and multivariate associations between the preventive interventions and the potential predictors were measured. Inhospital investigations to rule out medical pathologies raising the risk of fracture were performed in only 20 patients (12%). Drugs raising the risk of falls were reduced in only 17 patients (16%). Preventive procedures not requiring active collaboration by the patient (e.g., modifications of the environment) were applied in 68 patients (42%), and home assistance was provided to 67 patients (85% of the patients living at home). Bivariate analyses indicated that prevention was less often provided to patients in poor general conditions, but no ascertainment of this association was found in multivariate analyses. In conclusion, this study indicates that, in the study setting, measures aimed at preventing recurrent falls and injuries were rarely provided to patients hospitalized for a first hip fracture at the time of the study. Tertiary prevention could be improved if a comprehensive geriatric assessment were systematically provided to the elderly patient hospitalized for a first hip fracture, and passive preventive measures implemente

Diversidade de psilídeos (Hemiptera: Psylloidea) em Sorriso, MT.

Resumo

Ocorrência de psilídeos em plantios florestais experimentais e na vegetação nativa na Embrapa Amazônia Ocidental, Manaus/AM.

Resumo

Ocorrência de Isogonoceraia divergipennis White & Hodkinson (1980) associado a Caesalpinia pluviosa (Fabaceae) em Mato Grosso, Brasil.

Resumo