The complexity of linear-time temporal logic over the class of ordinals

We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem. We show that it has a PSPACE-complete satisfiability problem over the class of ordinals. Among the consequences of our proof, we show that given the code of some countable ordinal alpha and a formula, we can decide in PSPACE whether the formula has a model over alpha. In order to show these results, we introduce a class of simple ordinal automata, as expressive as B\"uchi ordinal automata. The PSPACE upper bound for the satisfiability problem of the temporal logic is obtained through a reduction to the nonemptiness problem for the simple ordinal automata.Comment: Accepted for publication in LMC

Diffusion quantum Monte Carlo study of three-dimensional Wigner crystals

We report diffusion quantum Monte Carlo calculations of three-dimensional Wigner crystals in the density range r_s=100-150. We have tested different types of orbital for use in the approximate wave functions but none improve upon the simple Gaussian form. The Gaussian exponents are optimized by directly minimizing the diffusion quantum Monte Carlo energy. We have carefully investigated and sought to minimize the potential biases in our Monte Carlo results. We conclude that the uniform electron gas undergoes a transition from a ferromagnetic fluid to a body-centered-cubic Wigner crystal at r_s=106+/-1. The diffusion quantum Monte Carlo results are compared with those from Hartree-Fock and Hartree theory in order to understand the role played by exchange and correlation in Wigner crystals. We also study "floating" Wigner crystals and give results for their pair-correlation functions

The Detection of Incipient Caries with Tracer Dyes

The purpose of this study was to determine the increase in color contrast produced by the use of a tracer dye in detection of incipient caries lesions with transillumination. Twenty four caries-free first premolars were immersed in an acid gelatin for production of artificial incipient caries lesions. After the lesions had developed, these teeth were photographed by transillumination. Two photographs were taken of each tooth. The first photograph showed the lesion without dye. A blue tracer dye was then added and absorbed by the lesion, and a second photograph was taken. The data on the color difference were obtained by use of a reflectance colorimeter and showed a four-fold increase between the lesion and surrounding area with the dye. A two-way analysis of variance was used for the statistical interpretation. The color difference between the lesion without the dye and then with the dye was significant. The use of the blue tracer dye, therefore, significantly increased the contrast in the images of the artificial incipient lesions.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68289/2/10.1177_00220345890680021101.pd

Dynamic Evolution Model of Isothermal Voids and Shocks

We explore self-similar hydrodynamic evolution of central voids embedded in an isothermal gas of spherical symmetry under the self-gravity. More specifically, we study voids expanding at constant radial speeds in an isothermal gas and construct all types of possible void solutions without or with shocks in surrounding envelopes. We examine properties of void boundaries and outer envelopes. Voids without shocks are all bounded by overdense shells and either inflows or outflows in the outer envelope may occur. These solutions, referred to as type $\mathcal{X}$ void solutions, are further divided into subtypes $\mathcal{X}_{\rm I}$ and $\mathcal{X}_{\rm II}$ according to their characteristic behaviours across the sonic critical line (SCL). Void solutions with shocks in envelopes are referred to as type $\mathcal{Z}$ voids and can have both dense and quasi-smooth edges. Asymptotically, outflows, breezes, inflows, accretions and static outer envelopes may all surround such type $\mathcal{Z}$ voids. Both cases of constant and varying temperatures across isothermal shock fronts are analyzed; they are referred to as types $\mathcal{Z}_{\rm I}$ and $\mathcal{Z}_{\rm II}$ void shock solutions. We apply the `phase net matching procedure' to construct various self-similar void solutions. We also present analysis on void generation mechanisms and describe several astrophysical applications. By including self-gravity, gas pressure and shocks, our isothermal self-similar void (ISSV) model is adaptable to various astrophysical systems such as planetary nebulae, hot bubbles and superbubbles in the interstellar medium as well as supernova remnants.Comment: 24 pages, 13 figuers, accepted by ApS

Full adoption of the most effective strategies to mitigate methane emissions by ruminants can help meet the 1.5 °C target by 2030 but not 2050

To meet the 1.5 °C target, methane (CH) from ruminants must be reduced by 11 to 30% by 2030 and 24 to 47% by 2050 compared to 2010 levels. A meta-analysis identified strategies to decrease product-based (PB; CH per unit meat or milk) and absolute (ABS) enteric CH emissions while maintaining or increasing animal productivity (AP; weight gain or milk yield). Next, the potential of different adoption rates of one PB or one ABS strategy to contribute to the 1.5 °C target was estimated. The database included findings from 430 peer-reviewed studies, which reported 98 mitigation strategies that can be classified into three categories: animal and feed management, diet formulation, and rumen manipulation. A random-effects meta-analysis weighted by inverse variance was carried out. Three PB strategies—namely, increasing feeding level, decreasing grass maturity, and decreasing dietary forage-to-concentrate ratio—decreased CH per unit meat or milk by on average 12% and increased AP by a median of 17%. Five ABS strategies—namely CH inhibitors, tanniferous forages, electron sinks, oils and fats, and oilseeds—decreased daily methane by on average 21%. Globally, only 100% adoption of the most effective PB and ABS strategies can meet the 1.5 °C target by 2030 but not 2050, because mitigation effects are offset by projected increases in CH due to increasing milk and meat demand. Notably, by 2030 and 2050, low- and middle-income countries may not meet their contribution to the 1.5 °C target for this same reason, whereas high-income countries could meet their contributions due to only a minor projected increase in enteric CH emissions.We thank the GLOBAL NETWORK project for generating part of the database. The GLOBAL NETWORK project (https://globalresearchalliance.org/research/livestock/collaborative-activities/global-research-project/; accessed 20 June 2020) was a multinational initiative funded by the Joint Programming Initiative on Food Security, Agriculture, and Climate Change and was coordinated by the Feed and Nutrition Network (https://globalresearchalliance.org/research/livestock/networks/feed-nutrition-network/; accessed 20 June 2020) within the Livestock Research Group of the Global Research Alliance on Agricultural GHG (https://globalresearchalliance.org; accessed 20 June 2020). We thank MitiGate, which was part of the Animal Change project funded by the EU under Grant Agreement FP7-266018 for sharing their database with us (http://mitigate.ibers.aber.ac.uk/, accessed 1 July 2017). Part of C.A., A.N.H., and S.C.M.’s time in the early stages of this project was funded by the Kravis Scientific Research Fund (New York) and a gift from Sue and Steve Mandel to the Environmental Defense Fund. Another part of C.A.’s work on this project was supported by the National Program for Scientific Research and Advanced Studies - PROCIENCIA within the framework of the "Project for the Improvement and Expansion of the Services of the National System of Science, Technology and Technological Innovation" (Contract No. 016-2019) and by the German Federal Ministry for Economic Cooperation and Development (issued through Deutsche Gesellschaft für Internationale Zusammenarbei) through the research “Programme of Climate Smart Livestock” (Programme 2017.0119.2). Part of A.N.H.’s work was funded by the US Department of Agriculture (Washington, DC) National Institute of Food and Agriculture Federal Appropriations under Project PEN 04539 and Accession no. 1000803. E.K. was supported by the Sesnon Endowed Chair Fund of the University of California, Davis

The Intentional Use of Service Recovery Strategies to Influence Consumer Emotion, Cognition and Behaviour

Service recovery strategies have been identified as a critical factor in the success of. service organizations. This study develops a conceptual frame work to investigate how specific service recovery strategies influence the emotional, cognitive and negative behavioural responses of . consumers., as well as how emotion and cognition influence negative behavior. Understanding the impact of specific service recovery strategies will allow service providers' to more deliberately and intentionally engage in strategies that result in positive organizational outcomes. This study was conducted using a 2 x 2 between-subjects quasi-experimental design. The results suggest that service recovery has a significant impact on emotion, cognition and negative behavior. Similarly, satisfaction, negative emotion and positive emotion all influence negative behavior but distributive justice has no effect

Association Between Raised Inflammatory Markers and Cognitive Decline in Elderly People With Type 2 Diabetes: The Edinburgh Type 2 Diabetes Study

OBJECTIVE-To determine whether circulating levels of the inflammatory markers C-reactive protein (CRP), interleukin (IL)-6, and tumor necrosis factor (TNF)-alpha are associated with cognitive ability and estimated lifetime cognitive decline in an elderly population with type 2 diabetes. RESEARCH DESIGN AND METHODS-A cross-sectional study of 1,066 men and women aged 60-75 years with type 2 diabetes and living in Lothian, Scotland (the Edinburgh Type 2 Diabetes Study), was performed. Seven cognitive tests were used to measure abilities in memory, nonverbal reasoning, information processing speed, executive function, and mental flexibility. The results were used to derive a general intelligence factor (g). A vocabulary-based test was administered as an estimate of peak prior cognitive ability. Results on the cognitive tests were assessed for statistical association with inflammatory markers measured in a venous blood sample at the time of cognitive testing. RESULTS-Higher IL-6 and TNF-alpha levels were associated with poorer age- and sex-adjusted scores on the majority of the individual cognitive tests. They were also associated with g using standardized regression coefficients -0.074 to -0.173 (P < 0.05). After adjusting for vocabulary, education level, cardiovascular dysfunction, duration of diabetes, and glycemic control, R,6 remained associated with three of the cognitive tests and with g. CONCLUSIONS-In this representative population of people with type 2 diabetes, elevated circulating levels of inflammatory markers were associated with poorer cognitive ability. IL-6 levels were also associated with estimated lifetime cognitive decline. Diabetes 59:710-713, 201

Stellar structure and compact objects before 1940: Towards relativistic astrophysics

Since the mid-1920s, different strands of research used stars as "physics laboratories" for investigating the nature of matter under extreme densities and pressures, impossible to realize on Earth. To trace this process this paper is following the evolution of the concept of a dense core in stars, which was important both for an understanding of stellar evolution and as a testing ground for the fast-evolving field of nuclear physics. In spite of the divide between physicists and astrophysicists, some key actors working in the cross-fertilized soil of overlapping but different scientific cultures formulated models and tentative theories that gradually evolved into more realistic and structured astrophysical objects. These investigations culminated in the first contact with general relativity in 1939, when J. Robert Oppenheimer and his students George Volkoff and Hartland Snyder systematically applied the theory to the dense core of a collapsing neutron star. This pioneering application of Einstein's theory to an astrophysical compact object can be regarded as a milestone in the path eventually leading to the emergence of relativistic astrophysics in the early 1960s.Comment: 83 pages, 4 figures, submitted to the European Physical Journal

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types