Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which includes the tropical and arctic type graphs introduced in a previous paper and a new variant of arithmetic type graphs. These type graphs can be used to assign weights to graphs and to show that these weights decrease in every rewriting step in order to prove termination. We present an example involving counters and discuss the implementation in the tool Grez

Measurement invariance across chronic conditions: a systematic review and an empirical investigation of the Health Education Impact Questionnaire (heiQ™).

To examine whether lack of measurement invariance (MI) influences mean comparisons among different disease groups, this paper provides (1) a systematic review of MI in generic constructs across chronic conditions and (2) an empirical analysis of MI in the Health Education Impact Questionnaire (heiQ™)

The relationship between global distress, mentalizing and well-being in a German teacher sample

Many studies have linked global distress including higher psychological symptom severity and high levels of stress with low levels of well-being among teachers, indicating a need to identify and empirically evaluate protective factors. Mentalizing—the capacity to understand behavior in terms of intentional mental states—may be a candidate protective factor to mediate this association, enhancing well-being in the face of high levels of global distress. The present study examines whether the capacity to mentalize can buffer subjectively experienced stress and psychological symptom severity in a sample of teachers. 215 teachers completed questionnaires measuring self-rated experiences of stress, psychological symptoms, mentalizing capacities and well-being in a cross-sectional design. Structural equation modeling was used to test mediation effects. Our findings show that mentalizing was positively associated with well-being. In addition, mentalizing counteracted the negative influence of stress and psychological symptom severity. However, a structural equation model assessing the mediating effect of global distress on well-being via mentalizing was not significant. Therefore, the data indicate that teachers’ capacity to mentalize, regardless of psychological symptom load and subjective experience of stress, has a positive impact on their well-being. The study highlights the protective function of mentalizing and forms a framework for psychological interventions to increase teachers’ well-being

Eight-band calculations of strained InAs/GaAs quantum dots compared with one, four, and six-band approximations

The electronic structure of pyramidal shaped InAs/GaAs quantum dots is calculated using an eight-band strain dependent $\bf k\cdot p$ Hamiltonian. The influence of strain on band energies and the conduction-band effective mass are examined. Single particle bound-state energies and exciton binding energies are computed as functions of island size. The eight-band results are compared with those for one, four and six bands, and with results from a one-band approximation in which m(r) is determined by the local value of the strain. The eight-band model predicts a lower ground state energy and a larger number of excited states than the other approximations.Comment: 8 pages, 7 figures, revtex, eps

Clinical selection strategies to identify ischemic stroke patients with large anterior vessel occlusion: results from SITS-ISTR (Safe Implementation of Thrombolysis in Stroke International Stroke Thrombolysis Registry)

Background and Purpose—The National Institutes of Health Stroke Scale (NIHSS) correlates with presence of large anterior vessel occlusion (LAVO). However, the application of the full NIHSS in the prehospital setting to select patients eligible for treatment with thrombectomy is limited. Therefore, we aimed to evaluate the prognostic value of simple clinical selection strategies. Methods—Data from the Safe Implementation of Thrombolysis in Stroke International Stroke Thrombolysis Registry (January 2012–May 2014) were analyzed retrospectively. Patients with complete breakdown of NIHSS scores and documented vessel status were included. We assessed the association of prehospital stroke scales and NIHSS symptom profiles with LAVO (internal carotid artery, carotid-terminus or M1-segment of the middle cerebral artery). Results—Among 3505 patients, 23.6% (n=827) had LAVO. Pathological finding on the NIHSS item best gaze was strongly associated with LAVO (adjusted odds ratio 4.5, 95% confidence interval 3.8–5.3). All 3 face–arm–speech–time test (FAST) items identified LAVO with high sensitivity. Addition of the item gaze to the original FAST score (G-FAST) or high scores on other simplified stroke scales increased specificity. The NIHSS symptom profiles representing total anterior syndromes showed a 10-fold increased likelihood for LAVO compared with a nonspecific clinical profile. If compared with an NIHSS threshold of ≥6, the prehospital stroke scales performed similarly or even better without losing sensitivity. Conclusions—Simple modification of the face–arm–speech–time score or evaluating the NIHSS symptom profile may help to stratify patients’ risk of LAVO and to identify individuals who deserve rapid transfer to comprehensive stroke centers. Prospective validation in the prehospital setting is required