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

Modelling production-consumption flows of goods in Europe: the trade model within Transtools3

The paper presents a new model for trade flows in Europe that is integrated with a logistics model for transport chain choice through Logsum variables. Logsums measures accessibility across an entire multi-modal logistical chain, and are calculated from a logistics model that has been estimated on disaggregated micro data and then used as an input variable in the trade model. Using Logsums in a trade model is new in applied large-scale freight models, where previous models have simply relied on the distance (e.g. crow-fly) between zones. This linkage of accessibility to the trade model makes it possible to evaluate how changes in policies on transport costs and changes in multi-modal networks will influence trade patterns. As an example the paper presents outcomes for a European-wide truck tolling scenario, which showcases to which extent trade is influenced by such a policy. The paper discusses how such a complex model can be estimated and considers the choice of mathematical formulation and the link between the trade model and logistics model. In the outcomes for the tolling scenario we decompose the total effects into effects from the trade model and effects from the logistics model

Exploring pyroelectricity, thermal and photochemical switching in a hybrid organic-inorganic crystal by in situ X-ray diffraction

The switching behavior of the novel hybrid material (FA)Na[Fe(CN)5(NO)].H2O (1) in response to temperature (T), light irradiation and electric field (E) is studied using in situ X-ray diffraction (XRD). Crystals of 1 display piezoelectricity, pyroelectricity, second and third harmonic generation. XRD shows that the FA+ are disordered at room-temperature, but stepwise cooling from 273–100 K induces gradual ordering, while cooling under an applied field (E=+40 kVcm−1) induces a sudden phase change at 140 K. Structural-dynamics calculations suggest the field pushes the system into a region of the structural potential-energy surface that is otherwise inaccessible, demonstrating that application of T and E offers an effective route to manipulating the crystal chemistry of these materials. Photocrystallography also reveals photoinduced linkage isomerism, which coexists with but is not correlated to other switching behaviors. These experiments highlight a new approach to in situ studies of hybrid materials, providing insight into the structure–property relationships that underpin their functionality

The association of Social Anxiety Disorder, Alcohol Use Disorder and reproduction: Results from four nationally representative samples of adults in the USA.

Social Anxiety Disorder (SAD) and Alcohol Use Disorder (AUD) are highly prevalent and frequently co-occur. The results of population studies suggest that SAD tends to precede AUD, and the results of laboratory studies suggest that alcohol use facilitates social behaviors in socially anxious individuals. Therefore, we posited that, in a modern context, a tendency to consume alcohol may be positively selected for among socially anxious individuals by its effect on the likelihood of finding a partner and reproducing. We tested the hypothesis that a higher proportion of individuals with a lifetime diagnosis of SAD and AUD reproduce (i.e., have at least one child) relative to individuals with SAD absent AUD in an individual participant meta-analysis based on over 65,000 adults derived from four nationally representative cross-sectional samples. We then cross-validated these findings against the results of a 10-year follow up of one of these surveys. Lifetime history of SAD was not associated with reproduction whereas lifetime history of AUD was positively associated with reproduction. There was no statistically detectable difference in the proportion of individuals with a lifetime history of SAD with or without AUD who reproduced. There was considerable heterogeneity in all of the analyses involving SAD, suggesting that there are likely to be other pertinent variables relating to SAD and reproduction that should be delineated

Negative Reciprocity and its Relation to Anger-Like Emotions in Homogeneous and Heterogeneous Groups

Several studies have shown that social identity fosters the provision of public goods and enhances the willingness to reciprocate cooperative behavior of group members dependent on the social environment. Yet, the question of how social identity affects negative reciprocity in identityhomogeneous and -heterogeneous groups has received only little attention. Consequently, we seek to fill this gap by examining whether social identity affects individuals' willingness to sanction deviating group members in a public good context. Moreover, we devote particular attention to the role of anger-like emotions in negative reciprocity. To test our hypotheses we employ one-shot public good games in strategy method with induced social identity. Our results indicate that members of identity homogeneous groups punish much less often and in smaller amounts than of identity heterogeneous groups when they face contributions smaller than their own. We also find that anger-like emotions influence punishment behavior much stronger when individuals are matched with members of different identities than in identity homogenous groups. These findings contribute to the better understanding of the nature of social identity and its impact on reciprocity, improving economists ability to predict behavior taking emotions also into consideration

Protein Phosphatase Magnesium Dependent 1A (PPM1A) Plays a Role in the Differentiation and Survival Processes of Nerve Cells

The serine/threonine phosphatase type 2C (PPM1A) has a broad range of substrates, and its role in regulating stress response is well established. We have investigated the involvement of PPM1A in the survival and differentiation processes of PC6-3 cells, a subclone of the PC12 cell line. This cell line can differentiate into neuron like cells upon exposure to nerve growth factor (NGF). Overexpression of PPM1A in naive PC6-3 cells caused cell cycle arrest at the G2/M phase followed by apoptosis. Interestingly, PPM1A overexpression did not affect fully differentiated cells. Using PPM1A overexpressing cells and PPM1A knockdown cells, we show that this phosphatase affects NGF signaling in PC6-3 cells and is engaged in neurite outgrowth. In addition, the ablation of PPM1A interferes with NGF-induced growth arrest during differentiation of PC6-3 cells

DNAm-based signatures of accelerated aging and mortality in blood are associated with low renal function

Background The difference between an individual's chronological and DNA methylation predicted age (DNAmAge), termed DNAmAge acceleration (DNAmAA), can capture life-long environmental exposures and age-related physiological changes reflected in methylation status. Several studies have linked DNAmAA to morbidity and mortality, yet its relationship with kidney function has not been assessed. We evaluated the associations between seven DNAm aging and lifespan predictors (as well as GrimAge components) and five kidney traits (estimated glomerular filtration rate [eGFR], urine albumin-to-creatinine ratio [uACR], serum urate, microalbuminuria and chronic kidney disease [CKD]) in up to 9688 European, African American and Hispanic/Latino individuals from seven population-based studies. Results We identified 23 significant associations in our large trans-ethnic meta-analysis (p < 1.43E-03 and consistent direction of effect across studies). Age acceleration measured by the Extrinsic and PhenoAge estimators, as well as Zhang's 10-CpG epigenetic mortality risk score (MRS), were associated with all parameters of poor kidney health (lower eGFR, prevalent CKD, higher uACR, microalbuminuria and higher serum urate). Six of these associations were independently observed in European and African American populations. MRS in particular was consistently associated with eGFR (beta = - 0.12, 95% CI = [- 0.16, - 0.08] change in log-transformed eGFR per unit increase in MRS, p = 4.39E-08), prevalent CKD (odds ratio (OR) = 1.78 [1.47, 2.16], p = 2.71E-09) and higher serum urate levels (beta = 0.12 [0.07, 0.16], p = 2.08E-06). The first-generation clocks (Hannum, Horvath) and GrimAge showed different patterns of association with the kidney traits. Three of the DNAm-estimated components of GrimAge, namely adrenomedullin, plasminogen-activation inhibition 1 and pack years, were positively associated with higher uACR, serum urate and microalbuminuria. Conclusion DNAmAge acceleration and DNAm mortality predictors estimated in whole blood were associated with multiple kidney traits, including eGFR and CKD, in this multi-ethnic study. Epigenetic biomarkers which reflect the systemic effects of age-related mechanisms such as immunosenescence, inflammaging and oxidative stress may have important mechanistic or prognostic roles in kidney disease. Our study highlights new findings linking kidney disease to biological aging, and opportunities warranting future investigation into DNA methylation biomarkers for prognostic or risk stratification in kidney disease

Synthesis and pharmacological profiling of analogues of benzyl quinolone carboxylic acid (BQCA) as allosteric modulators of the M1 muscarinic receptor

Established therapy in Alzheimer’s disease involves potentiation of the endogenous orthosteric ligand, acetylcholine, at the M1 muscarinic receptors found in higher concentrations in the cortex and hippocampus. Adverse effects, due to indiscriminate activation of other muscarinic receptor subtypes, are common. M1 muscarinic positive allosteric modulators/allosteric agonists such as BQCA offer an attractive solution, being exquisitely M1-selective over other muscarinic subtypes. A common difficulty with allosteric ligands is interpreting SAR, based on composite potency values derived in the presence of fixed concentration of agonist. In reality these values encompass multiple pharmacological parameters, each potentially and differentially sensitive to structural modification of the ligand. We report novel BQCA analogues which appear to augment ligand affinity for the receptor (pKB), intrinsic efficacy (τB), and both binding (α) and functional (β) cooperativity with acetylcholine. Ultimately, development of such enriched SAR surrounding allosteric modulators will provide insight into their mode of action

A systematic review of the effectiveness of self-management interventions in people with multiple sclerosis at improving depression, anxiety and quality of life.

BACKGROUND: Self-management interventions have become increasingly popular in the management of long-term health conditions; however, little is known about their impact on psychological well-being in people with Multiple Sclerosis (MS). PURPOSE: To examine the effectiveness of self-management interventions on improving depression, anxiety and health related quality of life in people with MS. METHOD: A structured literature search was conducted for the years 2000 to 2016. The review process followed the PRISMA guidelines, and is registered with PROSPERO (no. CRD42016033925). RESULTS: The review identified 10 RCT trials that fulfilled selection criteria and quality appraisal. Self-management interventions improved health-related quality of life in 6 out of 7 studies, with some evidence of improvement in depression and anxiety symptoms. CONCLUSION: Although the results are promising more robust evaluation is required in order to determine the effectiveness of self-management interventions on depression, anxiety and quality of life in people with MS. Evaluation of the data was impeded by a number of methodological issues including incomplete content and delivery information for the intervention and the exclusion of participants representing the disease spectrum. Recommendations are made for service development and research quality improvement

The p38/MK2/Hsp25 Pathway Is Required for BMP-2-Induced Cell Migration

Background: Bone morphogenetic proteins (BMPs) have been shown to participate in the patterning and specification of several tissues and organs during development and to regulate cell growth, differentiation and migration in different cell types. BMP-mediated cell migration requires activation of the small GTPase Cdc42 and LIMK1 activities. In our earlier report we showed that activation of LIMK1 also requires the activation of PAKs through Cdc42 and PI3K. However, the requirement of additional signaling is not clearly known. Methodology/Principal Findings: Activation of p38 MAPK has been shown to be relevant for a number of BMP-2¿s physiological effects. We report here that BMP-2 regulation of cell migration and actin cytoskeleton remodelling are dependent on p38 activity. BMP-2 treatment of mesenchymal cells results in activation of the p38/MK2/Hsp25 signaling pathway downstream from the BMP receptors. Moreover, chemical inhibition of p38 signaling or genetic ablation of either p38¿ or MK2 blocks the ability to activate the downstream effectors of the pathway and abolishes BMP-2-induction of cell migration. These signaling effects on p38/MK2/Hsp25 do not require the activity of either Cdc42 or PAK, whereas p38/MK2 activities do not significantly modify the BMP-2-dependent activation of LIMK1, measured by either kinase activity or with an antibody raised against phospho-threonine 508 at its activation loop. Finally, phosphorylated Hsp25 colocalizes with the BMP receptor complexes in lamellipodia and overexpression of a phosphorylation mutant form of Hsp25 is able to abolish the migration of cells in response to BMP-2. Conclusions: These results indicate that Cdc42/PAK/LIMK1 and p38/MK2/Hsp25 pathways, acting in parallel and modulating specific actin regulatory proteins, play a critical role in integrating responses during BMP-induced actin reorganization and cell migration