Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression

In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties

Assessing the Effects of Responsible Leadership and Ethical Conflict on Behavioral Intention

[[abstract]]This study develops a research model that elaborates how responsible leadership and ethical conflict influence employees from the perspectives of role theory and attachment theory. Its empirical results reveal that turnover intention indirectly relates to ethical conflict and responsible leadership via the mediating mechanisms of organizational identification and organizational uncertainty. At the same time, helping intention indirectly relates to ethical conflict and responsible leadership only through organizational identification. Finally, the managerial implications for international business and research limitations based on the empirical results are discussed.[[notice]]補正完

Critical Roles for LIGHT and Its Receptors in Generating T Cell-Mediated Immunity during Leishmania donovani Infection

LIGHT (TNFSF14) is a member of the TNF superfamily involved in inflammation and defence against infection. LIGHT signals via two cell-bound receptors; herpes virus entry mediator (HVEM) and lymphotoxin-beta receptor (LTβR). We found that LIGHT is critical for control of hepatic parasite growth in mice with visceral leishmaniasis (VL) caused by infection with the protozoan parasite Leishmania donovani. LIGHT-HVEM signalling is essential for early dendritic cell IL-12/IL-23p40 production, and the generation of IFNγ- and TNF-producing T cells that control hepatic infection. However, we also discovered that LIGHT-LTβR interactions suppress anti-parasitic immunity in the liver in the first 7 days of infection by mechanisms that restrict both CD4+ T cell function and TNF-dependent microbicidal mechanisms. Thus, we have identified distinct roles for LIGHT in infection, and show that manipulation of interactions between LIGHT and its receptors may be used for therapeutic advantage

Impregnation of Bombax ceiba and Bombax insigne wood with a N-methylol melamine compound

Methylated N-methylol melamine (NMM) is known for its ability to enhance physico-mechanical properties, anti-fungal ability, and hydrophobicity and was therefore used to impregnate two less used and non-durable wood species from Myanmar, Bombax ceiba and Bombax insigne. Solution uptake, weight percent gain and nitrogen content were increased by increasing melamine concentrations with B. ceiba always achieving higher values compared with B. insigne. According to the leaching results, a higher degree of condensation after curing as well as a better crosslinking of NMM could be obtained at higher temperatures. However, both curing temperatures used (90 and 120 A degrees C) resulted in almost the same amount of nitrogen fixed in the cell wall. UV microspectrophotometry confirmed the penetration of the NMM into different morphological regions of wood tissues, which was again supported by the analysis of point measurement spectra of treated and untreated specimens

Estimating attendance for breast cancer screening in ethnic groups in London.

BACKGROUND: Breast screening uptake in London is below the Government's target of 70% and we investigate whether ethnicity affects this. Information on the ethnicity for the individual women invited is unavailable, so we use an area-based method similar to that routinely used to derive a geographical measure for socioeconomic deprivation. METHODS: We extracted 742,786 observations on attendance for routine appointments between 2004 and 2007 collected by the London Quality Assurance Reference Centre. Each woman was assigned to a lower super output (LSOA) based on her postcode of residence. The proportions of the ethnic groups within each LSOA are known, so that the likelihood of a woman belonging to White, Black and Asian groups can be assigned. We investigated screening attendance by age group, socioeconomic deprivation using the Index of Deprivation 2004 income quintile, invitation type and breast screening service. Using logistic regression analysis we calculated odds ratios for attendance based on ethnic composition of the population, adjusting for age, socioeconomic status, the invitation type and screening service. RESULTS: The unadjusted attendance odds ratios were high for the White population (OR: 3.34 95% CI [3.26-3.42]) and low for the Black population (0.13 [0.12-0.13]) and the Asian population (0.55 [0.53-0.56]). Multivariate adjustment reduced the differences, but the Black population remained below unity (0.47 [0.44-0.50]); while the White (1.30 [1.26-1.35]) and Asian populations (1.10 [1.05-1.15]) were higher. There was little difference in the attendance between age groups. Attendance was highest for the most affluent group and fell sharply with increasing deprivation. For invitation type, the routine recall was higher than the first call. There were wide variations in the attendance for different ethnic groups between the individual screening services. CONCLUSIONS: Overall breast screening attendance is low in communities with large Black populations, suggesting the need to improve participation of Black women. Variations in attendance for the Asian population require further investigation at an individual screening service level

Traumatic brain injury as a risk factor for Alzheimer disease. Comparison of two retrospective autopsy cohorts with evaluation of ApoE genotype

BACKGROUND AND PURPOSE: The impact of traumatic brain injury (TBI) on the pathogenesis of Alzheimer disease (AD) is still controversial. The aim of our retrospective autopsy study was to assess the impact of TBE and ApoE allele frequency on the development of AD. MATERIAL AND METHODS: We examined 1. the incidence of AD pathology (Braak stageing, CERAD, NIA-Reagan Institute criteria) in 58 consecutive patients (mean age ± SD 77.0 ± 6.8 years) with residual closed TBI lesions, and 2. the frequency of TBI residuals in 57 age-matched autopsy proven AD cases. In both series, ApoE was evaluated from archival paraffin-embedded brain material. RESULTS: 1. TBE series: 12.1 % showed definite and 10.3% probable AD (mean age 77.6 and 75.2 years), only 2/13 with ApoEε3/4. From 45 (77.6%) non-AD cases (mean age 78.2 years), 3 had ApoEε3/4. The prevalence of 22.4% AD in this small autopsy cohort was significantly higher than 3.3% in a recent large clinical series and 14% in the general population over age 70. 2. In the AD cohort with ApoEε4 allele frequency of 30% similar to other AD series, residuals of closed TBI were seen in 4 brains (7%) (mean age ± SD 78.2 ± 6.4), all lacking the ApoEε4 allele. TBI incidence was slightly lower than 8.5% in the clinical MIRAGE study. CONCLUSIONS: The results of this first retrospective autopsy study of TBI, ApoEε allele frequency, and AD confirm clinical studies suggesting severe TBI to be a risk factor for the development AD higher in subjects lacking ApoEε4 alleles. Further studies in larger autopsy series are needed to elucidate the relationship between TBI, genetic predisposition, and AD

Characteristics of suicide attempters with family history of suicide attempt: a retrospective chart review

<p>Abstract</p> <p>Background</p> <p>Family history of suicide attempt is one of the risks of suicide. We aimed at exploring the characteristics of Japanese suicide attempters with and without a family history of suicide attempt.</p> <p>Methods</p> <p>Suicide attempters admitted to an urban emergency department from 2003 to 2008 were interviewed by two attending psychiatrists on items concerning family history of suicide attempt and other sociodemographic and clinical information. Subjects were divided into two groups based on the presence or absence of a family history of suicide attempt, and differences between the two groups were subsequently analyzed.</p> <p>Results</p> <p>Out of the 469 suicide attempters, 70 (14.9%) had a family history of suicide attempt. A significantly higher rate of suicide motive connected with family relations (odds ratio 2.21, confidence interval 1.18–4.17, <it>p </it>< .05) as well as a significantly higher rate of deliberate self-harm (odds ratio 2.51, confidence interval 1.38–4.57, <it>p </it>< .05) were observed in patients with a family history of suicide compared to those without such history. No significant differences were observed in other items investigated.</p> <p>Conclusion</p> <p>The present study has revealed the characteristics of suicide attempters with a family history of suicide attempt. Further understanding of the situation of such individuals is expected to lead to better treatment provision and outcomes, and family function might be a suitable focus in their treatment.</p

Quantification and analysis of icebergs in a tidewater glacier fjord using an object-based approach

Tidewater glaciers are glaciers that terminate in, and calve icebergs into, the ocean. In addition to the influence that tidewater glaciers have on physical and chemical oceanography, floating icebergs serve as habitat for marine animals such as harbor seals (Phoca vitulina richardii). The availability and spatial distribution of glacier ice in the fjords is likely a key environmental variable that influences the abundance and distribution of selected marine mammals; however, the amount of ice and the fine-scale characteristics of ice in fjords have not been systematically quantified. Given the predicted changes in glacier habitat, there is a need for the development of methods that could be broadly applied to quantify changes in available ice habitat in tidewater glacier fjords. We present a case study to describe a novel method that uses object-based image analysis (OBIA) to classify floating glacier ice in a tidewater glacier fjord from high-resolution aerial digital imagery. Our objectives were to (i) develop workflows and rule sets to classify high spatial resolution airborne imagery of floating glacier ice; (ii) quantify the amount and fine-scale characteristics of floating glacier ice; (iii) and develop processes for automating the object-based analysis of floating glacier ice for large number of images from a representative survey day during June 2007 in Johns Hopkins Inlet (JHI), a tidewater glacier fjord in Glacier Bay National Park, southeastern Alaska. On 18 June 2007, JHI was comprised of brash ice ([Formula: see text] = 45.2%, SD = 41.5%), water ([Formula: see text] = 52.7%, SD = 42.3%), and icebergs ([Formula: see text] = 2.1%, SD = 1.4%). Average iceberg size per scene was 5.7 m2 (SD = 2.6 m2). We estimate the total area (± uncertainty) of iceberg habitat in the fjord to be 455,400 ± 123,000 m2. The method works well for classifying icebergs across scenes (classification accuracy of 75.6%); the largest classification errors occur in areas with densely-packed ice, low contrast between neighboring ice cover, or dark or sediment-covered ice, where icebergs may be misclassified as brash ice about 20% of the time. OBIA is a powerful image classification tool, and the method we present could be adapted and applied to other ice habitats, such as sea ice, to assess changes in ice characteristics and availability

Detecting suicidality among adolescent outpatients: evaluation of trained clinicians' suicidality assessment against a structured diagnostic assessment made by trained raters

<p>Abstract</p> <p>Background</p> <p>Accurate assessment of suicidality is of major importance. We aimed to evaluate trained clinicians' ability to assess suicidality against a structured assessment made by trained raters.</p> <p>Method</p> <p>Treating clinicians classified 218 adolescent psychiatric outpatients suffering from a depressive mood disorder into three classes: 1-no suicidal ideation, 2-suicidal ideation, no suicidal acts, 3-suicidal or self-harming acts. This classification was compared with a classification with identical content derived from the Kiddie Schedule for Affective Disorders and Schizophrenia (K-SADS-PL) made by trained raters. The convergence was assessed by kappa- and weighted kappa tests.</p> <p>Results</p> <p>The clinicians' classification to class 1 (no suicidal ideation) was 85%, class 2 (suicidal ideation) 50%, and class 3 (suicidal acts) 10% concurrent with the K-SADS evaluation (γ²= 37.1, df 4, p = 0.000). Weighted kappa for the agreement of the measures was 0.335 (CI = 0.198–0.471, p < 0.0001). The clinicians under-detected suicidal and self-harm acts, but over-detected suicidal ideation.</p> <p>Conclusion</p> <p>There was only a modest agreement between the trained clinicians' suicidality evaluation and the K-SADS evaluation, especially concerning suicidal or self-harming acts. We suggest a wider use of structured scales in clinical and research settings to improve reliable detection of adolescents with suicidality.</p

NMDA Receptor Stimulation Induces Reversible Fission of the Neuronal Endoplasmic Reticulum

With few exceptions the endoplasmic reticulum (ER) is considered a continuous system of endomembranes within which proteins and ions can move. We have studied dynamic structural changes of the ER in hippocampal neurons in primary culture and organotypic slices. Fluorescence recovery after photobleaching (FRAP) was used to quantify and model ER structural dynamics. Ultrastructure was assessed by electron microscopy. In live cell imaging experiments we found that, under basal conditions, the ER of neuronal soma and dendrites was continuous. The smooth and uninterrupted appearance of the ER changed dramatically after glutamate stimulation. The ER fragmented into isolated vesicles in a rapid fission reaction that occurred prior to overt signs of neuronal damage. ER fission was found to be independent of ER calcium levels. Apart from glutamate, the calcium ionophore ionomycin was able to induce ER fission. The N-methyl, D-aspartate (NMDA) receptor antagonist MK-801 inhibited ER fission induced by glutamate as well as by ionomycin. Fission was not blocked by either ifenprodil or kinase inhibitors. Interestingly, sub-lethal NMDA receptor stimulation caused rapid ER fission followed by fusion. Hence, ER fission is not strictly associated with cellular damage or death. Our results thus demonstrate that neuronal ER structure is dynamically regulated with important consequences for protein mobility and ER luminal calcium tunneling