162 research outputs found

    Formal change impact analyses for emulated control software

    Get PDF
    Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

    Look, the World is Watching How We Treat Migrants! The Making of the Anti-Trafficking Legislation during the Ma Administration

    Get PDF
    Employing the spiral model, this research analyses how anti-human trafficking legislation was promulgated during the Ma Ying-jeou (Ma Yingjiu) presidency. This research found that the government of Taiwan was just as accountable for the violation of migrants’ human rights as the exploitive placement agencies and abusive employers. This research argues that, given its reliance on the United States for political and security support, Taiwan has made great efforts to improve its human rights records and meet US standards for protecting human rights. The reform was a result of multilevel inputs, including US pressure and collaboration between transnational and domestic advocacy groups. A major contribution of this research is to challenge the belief that human rights protection is intrinsic to democracy. In the same light, this research also cautions against Tai-wan’s subscription to US norms since the reform was achieved at the cost of stereotyping trafficking victimhood, legitimising state surveillance, and further marginalising sex workers

    Survival of molar teeth in need of complex endodontic treatment:Influence of the endodontic treatment and quality of the restoration

    Get PDF
    Objectives: The objective of this retrospective practice-based study was to evaluate the survival of molar teeth and endodontic success after complex endodontic treatment up to 89 months. Methods: Endodontically (Endodontic Treatment Classification (ETC) scores II and III) treated first and second molars treated between January 2011-October 2017 within a referral setting were included. Open apices, combined surgical treatment, ETC score I, patients 2 were excluded. Cumulative survival estimates and Cox regression analysis were performed for tooth survival and endodontic healing according to the Glossary of Endodontic Terms. Restoration quality was assessed using the FDI criteria. Alpha was set at 0.05. Results: 279 endodontically treated molars in 245 patients were included for survival analysis and 268 molars for endodontic success. After 89 months, the cumulative survival was 91.7 % [95 % CI: 86.8 %?94.9 %]. Absence of adjacent teeth and deviance in root canal morphology significantly decreased the probability of tooth survival. Cumulative endododontic healing rates after 48 and 89 months were 82.2 % [95 %CI: 75.7 %?87.1 %] and 51.1 [95 % CI: 20.2 %?75.5 %] respectively. Deviance in root canal morphology and inadequate coronal seal significantly decreased the probability of endodontic healing. Indirect restorations obtained higher esthetic and biological FDI scores, however no difference between direct and indirect restorations was found concerning the functional FDI score. Conclusions: After 89 months, cumulative survival of molars in need of complex endodontic treatment was 91.7 % [95 % CI: 86.8 %?94.9 %]. Clinical significance: Within daily clinical practice, the dilemma of performing a complex endodontic (re)treatment or to explore other treatment options for molar teeth in need of reintervention is still urgent. Tooth survival of molar teeth with complex endodontic (re)treatment seems satisfactory up to 89 months

    Organizational climate profiles: Identifying meaningful combinations of climate level and strength

    Get PDF
    According to situation strength theory, organizational climate should have a stronger effect on group behavior when members’ perceptions of the climate are both unambiguous (i.e., very high or very low) and shared than when they are more ambiguous and less shared. In the organizational climate literature, this proposition is typically examined by testing the interaction between climate level (i.e., mean) and strength (i.e., variability); surprisingly, the preponderance of empirical research testing this interaction does not support this theoretical expectation. This may be because the traditional variable-centered approach fails to consider the possibility of overlooked subpopulations consisting of unique combinations of climate level and strength, creating distinct climate profiles. To address this issue, we use a group-centered conceptualization and analyses (i.e., latent profile analysis) to examine the extent to which 302 workgroups (Sample 1) and 107 organizations (Sample 2) evidence statistically and practically meaningful climate profiles. Results revealed four to six distinct climate profiles across multiple climate types were differentially associated with theoretically relevant outcomes, including objective financial measures. Consistent with situation strength theory, groups with strong and favorable profiles tended to have more positive outcomes, whereas groups with weaker, less favorable profiles tended to have less positive outcomes. In contrast, the traditional variable-centered approach was generally unsupportive of an interaction between climate level and strength. Overall, these findings provide evidence that the group-centered approach is a more sensitive statistical modeling technique for testing a fundamental tenet of situation strength theory in the context of organizational climate research

    Leaf Digestibility and Litter Decomposability are Related in a Wide Range of Subarctic Plant Species and Types

    Full text link
    1. Herbivory and litter decomposition are key controllers of ecosystem carbon and nutrient cycling. We hypothesized that foliar defences of plant species against vertebrate herbivores would reduce leaf digestibility and would subsequently, through 'afterlife effects', reduce litter decomposability. 2. We tested this hypothesis by screening 32 subarctic plant species, belonging to eight types in terms of life form and nutrient economy strategy, for (1) leaf digestibility in cow rumen juice; (2) biochemical and structural traits that might explain variation in digestibility; and (3) litter mass loss during simultaneous incubation in an outdoor subarctic litter bed. 3. Interspecific variation in green-leaf digestibility corresponded significantly with that in litter decomposability; this relationship was strongly driven by overall variation among the eight plant types (r = 0.92). The same relationship was not detectable within plant types in taxonomic relatedness tests. 4. Several biochemical and structural parameters (phenol-to-N ratio, lignin-to-N ratio) explained a significant part of the variation in leaf digestibility, but again only between and not within plant types. 5. Our results provide further support for the role played by foliar defence in the link between plant and soil via the decomposition pathway. They are also a new example of the potential control of plant functional types over carbon and nutrient dynamics in ecosystems

    Prevalence of vertebral fractures in a disease activity steered cohort of patients with early active rheumatoid arthritis

    Get PDF
    <p>Abstract</p> <p>Objective</p> <p>To determine the prevalence of vertebral fractures (VFs) after 5 years of disease activity score (DAS)-steered treatment in patients with early rheumatoid arthritis (RA) and to investigate the association of VFs with disease activity, functional ability and bone mineral density (BMD) over time.</p> <p>Methods</p> <p>Five-year radiographs of the spine of 275 patients in the BeSt study, a randomized trial comparing four treatment strategies, were used. Treatment was DAS-steered (DAS ≤ 2.4). A height reduction >20% in one vertebra was defined a vertebral fracture. With linear mixed models, DAS and Health Assessment Questionnaire (HAQ) scores over 5 years were compared for patients with and without VFs. With generalized estimating equations the association between BMD and VFs was determined.</p> <p>Results</p> <p>VFs were observed in 41/275 patients (15%). No difference in prevalence was found when stratified for gender, prednisone use and menopausal status. Disease activity over time was higher in patients with VFs, mean difference 0.20 (95% CI: 0.05-0.36), and also HAQ scores were higher, independent of disease activity, with a mean difference of 0.12 (95% CI: 0.02-0.2). Age was associated with VFs (OR 1.06, 95% CI: 1.02-1.09), mean BMD in spine and hip over time were not (OR 95% CI, 0.99: 0.78-1.25 and 0.94: 0.65-1.36, respectively).</p> <p>Conclusion</p> <p>After 5 years of DAS-steered treatment, 15% of these RA patients had VFs. Higher age was associated with the presence of VFs, mean BMD in hip and spine were not. Patients with VFs have greater functional disability over time and a higher disease activity, suggesting that VFs may be prevented by optimal disease activity suppression.</p
    corecore