Satisfiability of ECTL* with tree constraints

Recently, we have shown that satisfiability for $\mathsf{ECTL}^*$ with constraints over $\mathbb{Z}$ is decidable using a new technique. This approach reduces the satisfiability problem of $\mathsf{ECTL}^*$ with constraints over some structure A (or class of structures) to the problem whether A has a certain model theoretic property that we called EHD (for "existence of homomorphisms is decidable"). Here we apply this approach to concrete domains that are tree-like and obtain several results. We show that satisfiability of $\mathsf{ECTL}^*$ with constraints is decidable over (i) semi-linear orders (i.e., tree-like structures where branches form arbitrary linear orders), (ii) ordinal trees (semi-linear orders where the branches form ordinals), and (iii) infinitely branching trees of height h for each fixed $h\in \mathbb{N}$. We prove that all these classes of structures have the property EHD. In contrast, we introduce Ehrenfeucht-Fraisse-games for $\mathsf{WMSO}+\mathsf{B}$ (weak $\mathsf{MSO}$ with the bounding quantifier) and use them to show that the infinite (order) tree does not have property EHD. As a consequence, a different approach has to be taken in order to settle the question whether satisfiability of $\mathsf{ECTL}^*$ (or even $\mathsf{LTL}$) with constraints over the infinite (order) tree is decidable

Neuronal background of positioning of the posterior tentacles in the snail Helix pomatia

The location of cerebral neurons innervating the three recently described flexor muscles involved in the orientation of the posterior tentacles as well as their innervation patterns were investigated, applying parallel retrograde Co- and Ni-lysine as well as anterograde neurobiotin tracings via the olfactory and the peritentacular nerves. The neurons are clustered in eight groups in the cerebral ganglion and they send a common innervation pathway via the olfactory nerve to the flexor and the tegumental muscles as well as the tentacular retractor muscle and distinct pathways via the internal and the external peritentacular nerves to these muscles except the retractor muscle. The three anchoring points of the three flexor muscles at the base of the tentacle outline the directions of three force vectors generated by the contraction of the muscles along which they can pull or move the protracted tentacle which enable the protracted tentacle to bend around a basal pivot. In the light of earlier physiological and the present anatomical findings we suggest that the common innervation pathway to the muscles is required to the tentacle withdrawal mechanism whereas the distinct pathways serve first of all the bending of the protracted posterior tentacles during foraging

Parameter Estimation and Quantitative Parametric Linkage Analysis with GENEHUNTER-QMOD

Objective: We present a parametric method for linkage analysis of quantitative phenotypes. The method provides a test for linkage as well as an estimate of different phenotype parameters. We have implemented our new method in the program GENEHUNTER-QMOD and evaluated its properties by performing simulations. Methods: The phenotype is modeled as a normally distributed variable, with a separate distribution for each genotype. Parameter estimates are obtained by maximizing the LOD score over the normal distribution parameters with a gradient-based optimization called PGRAD method. Results: The PGRAD method has lower power to detect linkage than the variance components analysis (VCA) in case of a normal distribution and small pedigrees. However, it outperforms the VCA and Haseman-Elston regression for extended pedigrees, nonrandomly ascertained data and non-normally distributed phenotypes. Here, the higher power even goes along with conservativeness, while the VCA has an inflated type I error. Parameter estimation tends to underestimate residual variances but performs better for expectation values of the phenotype distributions. Conclusion: With GENEHUNTER-QMOD, a powerful new tool is provided to explicitly model quantitative phenotypes in the context of linkage analysis. It is freely available at http://www.helmholtz-muenchen.de/genepi/downloads. Copyright (C) 2012 S. Karger AG, Base

Thrifty Phenotype vs Cold Adaptation: Trade-offs in Upper Limb Proportions of Himalayan Populations of Nepal

The multi-stress environment of high altitude has been associated with growth deficits in humans, particularly in zeugopod elements (forearm, lower leg). This is consistent with the thrifty phenotype hypothesis, which has been observed in Andeans, but has yet to be tested in other high altitude populations. In Himalayan populations, other factors, such as cold stress, may shape limb proportions. The current study investigated whether relative upper limb proportions of Himalayan adults (n=254) differ between highland and lowland populations, and whether cold adaptation or a thrifty phenotype mechanism may be acting here. Height, weight, humerus length, ulna length, hand length, and hand width were measured using standard methods. Relative to height, total upper limb and ulna lengths were significantly shorter in highlanders compared to lowlanders in both sexes, whilst hand and humerus length were not. Hand width did not significantly differ between populations. These results support the thrifty phenotype hypothesis, as hand and humerus proportions are conserved at the expense of the ulna. The reduction in relative ulna length could be attributed to cold adaptation, but the lack of difference between populations in both hand length and width indicate that cold adaptation is not shaping hands proportions in this case

Genomic context of NTRK1/2/3 fusion-positive tumours from a large real-world population

Abstract Neurotrophic tropomyosin receptor kinase (NTRK) gene fusions are rare oncogenic drivers in solid tumours. This study aimed to interrogate a large real-world database of comprehensive genomic profiling data to describe the genomic landscape and prevalence of NTRK gene fusions. NTRK fusion-positive tumours were identified from the FoundationCORE® database of >295,000 cancer patients. We investigated the prevalence and concomitant genomic landscape of NTRK fusions, predicted patient ancestry and compared the FoundationCORE cohort with entrectinib clinical trial cohorts (ALKA-372-001 [EudraCT 2012-000148-88]; STARTRK-1 [NCT02097810]; STARTRK-2 [NCT02568267]). Overall NTRK fusion-positive tumour prevalence was 0.30% among 45 cancers with 88 unique fusion partner pairs, of which 66% were previously unreported. Across all cases, prevalence was 0.28% and 1.34% in patients aged ≥18 and <18 years, respectively; prevalence was highest in patients <5 years (2.28%). The highest prevalence of NTRK fusions was observed in salivary gland tumours (2.62%). Presence of NTRK gene fusions did not correlate with other clinically actionable biomarkers; there was no co-occurrence with known oncogenic drivers in breast, or colorectal cancer (CRC). However, in CRC, NTRK fusion-positivity was associated with spontaneous microsatellite instability (MSI); in this MSI CRC subset, mutual exclusivity with BRAF mutations was observed. NTRK fusion-positive tumour types had similar frequencies in FoundationCORE and entrectinib clinical trials. NTRK gene fusion prevalence varied greatly by age, cancer type and histology. Interrogating large datasets drives better understanding of the characteristics of very rare molecular subgroups of cancer and allows identification of genomic patterns and previously unreported fusion partners not evident in smaller datasets

VUV frequency combs from below-threshold harmonics

Recent demonstrations of high-harmonic generation (HHG) at very high repetition frequencies (~100 MHz) may allow for the revolutionary transfer of frequency combs to the vacuum ultraviolet (VUV). This advance necessitates unifying optical frequency comb technology with strong-field atomic physics. While strong-field studies of HHG have often focused on above-threshold harmonic generation (photon energy above the ionization potential), for VUV frequency combs an understanding of below-threshold harmonic orders and their generation process is crucial. Here we present a new and quantitative study of the harmonics 7-13 generated below and near the ionization threshold in xenon gas. We show multiple generation pathways for these harmonics that are manifested as on-axis interference in the harmonic yield. This discovery provides a new understanding of the strong-field, below-threshold dynamics under the influence of an atomic potential and allows us to quantitatively assess the achievable coherence of a VUV frequency comb generated through below threshold harmonics. We find that under reasonable experimental conditions temporal coherence is maintained. As evidence we present the first explicit VUV frequency comb structure beyond the 3rd harmonic.Comment: 16 pages, 4 figures, 1 tabl

Mio-Pliocene Faunal Exchanges and African Biogeography: The Record of Fossil Bovids

The development of the Ethiopian biogeographic realm since the late Miocene is here explored with the presentation and review of fossil evidence from eastern Africa. Prostrepsiceros cf. vinayaki and an unknown species of possible caprin affinity are described from the hominid-bearing Asa Koma and Kuseralee Members (∼5.7 and ∼5.2 Ma) of the Middle Awash, Ethiopia. The Middle Awash Prostrepsiceros cf. vinayaki constitutes the first record of this taxon from Africa, previously known from the Siwaliks and Arabia. The possible caprin joins a number of isolated records of caprin or caprin-like taxa recorded, but poorly understood, from the late Neogene of Africa. The identification of these two taxa from the Middle Awash prompts an overdue review of fossil bovids from the sub-Saharan African record that demonstrate Eurasian affinities, including the reduncin Kobus porrecticornis, and species of Tragoportax. The fossil bovid record provides evidence for greater biological continuity between Africa and Eurasia in the late Miocene and earliest Pliocene than is found later in time. In contrast, the early Pliocene (after 5 Ma) saw the loss of any significant proportions of Eurasian-related taxa, and the continental dominance of African-endemic taxa and lineages, a pattern that continues today

Professionalism and Evolving Concepts of Quality

For much of the twentieth century, quality of care was defined specifically in terms of physician characteristics and behaviors. High-quality physicians were well trained, knowledgeable, skillful, and compassionate. More recently, quality of care has been defined in terms of systems of care. High-quality organizations develop and adopt practices to reduce adverse events and optimize outcomes. This essay discusses this transformation from physician-based to organization-based concepts of quality and the consequences for patient care and medical professionalism

Estimating the incidence of acute infectious intestinal disease in the community in the UK:A retrospective telephone survey

Objectives: To estimate the burden of intestinal infectious disease (IID) in the UK and determine whether disease burden estimations using a retrospective study design differ from those using a prospective study design. Design/Setting: A retrospective telephone survey undertaken in each of the four countries comprising the United Kingdom. Participants were randomly asked about illness either in the past 7 or 28 days. Participants: 14,813 individuals for all of whom we had a legible recording of their agreement to participate Outcomes: Self-reported IID, defined as loose stools or clinically significant vomiting lasting less than two weeks, in the absence of a known non-infectious cause. Results: The rate of self-reported IID varied substantially depending on whether asked for illness in the previous 7 or 28 days. After standardising for age and sex, and adjusting for the number of interviews completed each month and the relative size of each UK country, the estimated rate of IID in the 7-day recall group was 1,530 cases per 1,000 person-years (95% CI: 1135 – 2113), while in the 28-day recall group it was 533 cases per 1,000 person-years (95% CI: 377 – 778). There was no significant variation in rates between the four countries. Rates in this study were also higher than in a related prospective study undertaken at the same time. Conclusions: The estimated burden of disease from IID varied dramatically depending on study design. Retrospective studies of IID give higher estimates of disease burden than prospective studies. Of retrospective studies longer recall periods give lower estimated rates than studies with short recall periods. Caution needs to be exercised when comparing studies of self-reported IID as small changes in study design or case definition can markedly affect estimated rates

Mindfulness-based interventions for young offenders: a scoping review

Youth offending is a problem worldwide. Young people in the criminal justice system have frequently experienced adverse childhood circumstances, mental health problems, difficulties regulating emotions and poor quality of life. Mindfulness-based interventions can help people manage problems resulting from these experiences, but their usefulness for youth offending populations is not clear. This review evaluated existing evidence for mindfulness-based interventions among such populations. To be included, each study used an intervention with at least one of the three core components of mindfulness-based stress reduction (breath awareness, body awareness, mindful movement) that was delivered to young people in prison or community rehabilitation programs. No restrictions were placed on methods used. Thirteen studies were included: three randomized controlled trials, one controlled trial, three pre-post study designs, three mixed-methods approaches and three qualitative studies. Pooled numbers (n = 842) comprised 99% males aged between 14 and 23. Interventions varied so it was not possible to identify an optimal approach in terms of content, dose or intensity. Studies found some improvement in various measures of mental health, self-regulation, problematic behaviour, substance use, quality of life and criminal propensity. In those studies measuring mindfulness, changes did not reach statistical significance. Qualitative studies reported participants feeling less stressed, better able to concentrate, manage emotions and behaviour, improved social skills and that the interventions were acceptable. Generally low study quality limits the generalizability of these findings. Greater clarity on intervention components and robust mixed-methods evaluation would improve clarity of reporting and better guide future youth offending prevention programs