Completeness and Incompleteness of Synchronous Kleene Algebra

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a lack of interaction between the synchronous product operator and the Kleene star. We then propose an alternative set of axioms for SKA, based on Salomaa's axiomatisation of regular languages, and show that these provide a sound and complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201

Early-life predictors of resilience and related outcomes up to 66 years later in the 6-day sample of the 1947 Scottish mental survey.

PURPOSE: Psychological resilience, the ability to manage and quickly recover from stress and trauma, is associated with a range of health and wellbeing outcomes. Resilience is known to relate to personality, self-esteem and positive affect, and may also depend upon childhood experience and stress. In this study, we investigated the role of early-life contributors to resilience and related factors in later life. METHODS: We used data from the 6-day sample of the Scottish mental survey 1947, an initially representative sample of Scottish children born in 1936. They were assessed on a range of factors between the ages of 11 and 27 years, and resilience and other outcomes at 77 years. RESULTS: Higher adolescent dependability unexpectedly predicted lower resilience in older-age, as did childhood illnesses, while a count of specific stressors experienced throughout early life significantly predicted higher later-life resilience. We also observed significant cross-sectional correlations between resilience and measures of physical health, mental health, wellbeing and loneliness. Some of the associations between early-life predictors and later-life outcomes were significantly mediated by resilience. CONCLUSIONS: Our results support the hypothesis that stress throughout early life may help to build resilience in later-life, and demonstrate the importance of resilience as a mediator of other influences on health and wellbeing in older age. We suggest that the mechanisms determining how early-life stress leads to higher resilience are worthy of further investigation, and that psychological resilience should be a focus of research and a target for therapeutic interventions aiming to improve older-age health and wellbeing

Activating mutations of the GNAQ gene: a frequent event in primary melanocytic neoplasms of the central nervous system

Primary melanocytic neoplasms of the central nervous system (CNS) are uncommon neoplasms derived from melanocytes that normally can be found in the leptomeninges. They cover a spectrum of malignancy grades ranging from low-grade melanocytomas to lesions of intermediate malignancy and overtly malignant melanomas. Characteristic genetic alterations in this group of neoplasms have not yet been identified. Using direct sequencing, we investigated 19 primary melanocytic lesions of the CNS (12 melanocytomas, 3 intermediate-grade melanocytomas, and 4 melanomas) for hotspot oncogenic mutations commonly found in melanocytic tumors of the skin (BRAF, NRAS, and HRAS genes) and uvea (GNAQ gene). Somatic mutations in the GNAQ gene at codon 209, resulting in constitutive activation of GNAQ, were detected in 7/19 (37%) tumors, including 6/12 melanocytomas, 0/3 intermediate-grade melanocytomas, and 1/4 melanomas. These GNAQ-mutated tumors were predominantly located around the spinal cord (6/7). One melanoma carried a BRAF point mutation that is frequently found in cutaneous melanomas (c.1799 T>A, p.V600E), raising the question whether this is a metastatic rather than a primary tumor. No HRAS or NRAS mutations were detected. We conclude that somatic mutations in the GNAQ gene at codon 209 are a frequent event in primary melanocytic neoplasms of the CNS. This finding provides new insight in the pathogenesis of these lesions and suggests that GNAQ-dependent mitogen-activated kinase signaling is a promising therapeutic target in these tumors. The prognostic and predictive value of GNAQ mutations in primary melanocytic lesions of the CNS needs to be determined in future studies

Fitness Consequences of Advanced Ancestral Age over Three Generations in Humans

A rapid rise in age at parenthood in contemporary societies has increased interest in reports of higher prevalence of de novo mutations and health problems in individuals with older fathers, but the fitness consequences of such age effects over several generations remain untested. Here, we use extensive pedigree data on seven pre-industrial Finnish populations to show how the ages of ancestors for up to three generations are associated with fitness traits. Individuals whose fathers, grandfathers and great-grandfathers fathered their lineage on average under age 30 were ~13% more likely to survive to adulthood than those whose ancestors fathered their lineage at over 40 years. In addition, females had a lower probability of marriage if their male ancestors were older. These findings are consistent with an increase of the number of accumulated de novo mutations with male age, suggesting that deleterious mutations acquired from recent ancestors may be a substantial burden to fitness in humans. However, possible non-mutational explanations for the observed associations are also discussed

Genetic and lifestyle risk factors for MRI-defined brain infarcts in a population-based setting

OBJECTIVE: To explore genetic and lifestyle risk factors of MRI-defined brain infarcts (BI) in large population-based cohorts.METHODS: We performed meta-analyses of genome-wide association studies (GWAS) and examined associations of vascular risk factors and their genetic risk scores (GRS) with MRI-defined BI and a subset of BI, namely, small subcortical BI (SSBI), in 18 population-based cohorts (n = 20,949) from 5 ethnicities (3,726 with BI, 2,021 with SSBI). Top loci were followed up in 7 population-based cohorts (n = 6,862; 1,483 with BI, 630 with SBBI), and we tested associations with related phenotypes including ischemic stroke and pathologically defined BI.RESULTS: The mean prevalence was 17.7% for BI and 10.5% for SSBI, steeply rising after age 65. Two loci showed genome-wide significant association with BI: FBN2, p = 1.77 × 10-8; and LINC00539/ZDHHC20, p = 5.82 × 10-9. Both have been associated with blood pressure (BP)-related phenotypes, but did not replicate in the smaller follow-up sample or show associations with related phenotypes. Age- and sex-adjusted associations with BI and SSBI were observed for BP traits (p value for BI, p [BI] = 9.38 × 10-25; p [SSBI] = 5.23 × 10-14 for hypertension), smoking (p [BI] = 4.4 × 10-10; p [SSBI] = 1.2 × 10-4), diabetes (p [BI] = 1.7 × 10-8; p [SSBI] = 2.8 × 10-3), previous cardiovascular disease (p [BI] = 1.0 × 10-18; p [SSBI] = 2.3 × 10-7), stroke (p [BI] = 3.9 × 10-69; p [SSBI] = 3.2 × 10-24), and MRI-defined white matter hyperintensity burden (p [BI] = 1.43 × 10-157; p [SSBI] = 3.16 × 10-106), but not with body mass index or cholesterol. GRS of BP traits were associated with BI and SSBI (p ≤ 0.0022), without indication of directional pleiotropy.CONCLUSION: In this multiethnic GWAS meta-analysis, including over 20,000 population-based participants, we identified genetic risk loci for BI requiring validation once additional large datasets become available. High BP, including genetically determined, was the most significant modifiable, causal risk factor for BI.</p