Ionization state, excited populations and emission of impurities in dynamic finite density plasmas: I. The generalized collisional-radiative model for light elements

The paper presents an integrated view of the population structure and its role in establishing the ionization state of light elements in dynamic, finite density, laboratory and astrophysical plasmas. There are four main issues, the generalized collisional-radiative picture for metastables in dynamic plasmas with Maxwellian free electrons and its particularizing to light elements, the methods of bundling and projection for manipulating the population equations, the systematic production/use of state selective fundamental collision data in the metastable resolved picture to all levels for collisonal-radiative modelling and the delivery of appropriate derived coefficients for experiment analysis. The ions of carbon, oxygen and neon are used in illustration. The practical implementation of the methods described here is part of the ADAS Project

Fronto-striatal cognitive deficits at different stages of Parkinson's disease

Groups of patients with idiopathic Parkinson's disease, either medicated or unmedicated, were compared with matched groups of normal controls on a computerized battery previously shown to be sensitive to frontal lobe dysfunction, including tests of planning, spatial working memory and attentional set-shifting. In a series of problems based on the 'Tower of London' test, medicated patients with Parkinson's disease were shown to be impaired in the amount of time spent thinking about (planning) the solution to each problem. Additionally, an impairment in terms of the accuracy of the solution produced on this test was only evident in those patients with more severe clinical symptoms and was accompanied by deficits in an associated test of spatial short-term memory. Medicated patients with both mild and severe clinical symptoms were also impaired on a related test of spatial working memory. In contrast, a group of patients who were unmedicated and 'early in the course' of the disease were unimpaired in all three of these tests. However, all three Parkinson's disease groups were impaired in the test of attentional set-shifting ability, although unimpaired in a test of pattern recognition which is insensitive to frontal lobe damage. These data are compared with those previously published from a group of young neurosurgical patients with localized excisions of the frontal lobes and are discussed in terms of the specific nature of the cognitive deficit at different stages of Parkinson's disease

What Drives Output Volatility? The Role of Demographics and Government Size Revisited

This paper studies the determinants of output volatility in a panel of 22 OECD countries. In contrast to the existing literature, we avoid ad hoc estimates of volatility based on rolling windows, and we account for possible non-stationarity of the data. Specifically, output volatility is estimated by means of an unobserved components model where the volatility series is the outcome of both macroeconomic determinants and a latent integrated process. A Bayesian model selection is performed to test for the presence of the nonstationary component. The results point to demographics and government size as important determinants of macroeconomic (in)stability. In particular, a larger share of prime-age workers is associated with lower output volatility, while higher public expenditure increases volatility

Automating Deductive Verification for Weak-Memory Programs

Writing correct programs for weak memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs. Automating proofs in these logics via first-order solvers is non-trivial, due to reasoning features such as higher-order assertions, modalities and rich permission resources. In this paper, we provide the first implementation of a weak memory program logic using existing deductive verification tools. We tackle three recent program logics: Relaxed Separation Logic and two forms of Fenced Separation Logic, and show how these can be encoded using the Viper verification infrastructure. In doing so, we illustrate several novel encoding techniques which could be employed for other logics. Our work is implemented, and has been evaluated on examples from existing papers as well as the Facebook open-source Folly library.Comment: Extended version of TACAS 2018 publicatio

PD-L1 testing for lung cancer in the UK: recognizing the challenges for implementation.

A new approach to the management of non-small-cell lung cancer (NSCLC) has recently emerged that works by manipulating the immune checkpoint controlled by programmed death receptor 1 (PD-1) and its ligand programmed death ligand 1 (PD-L1). Several drugs targeting PD-1 (pembrolizumab and nivolumab) or PD-L1 (atezolizumab, durvalumab, and avelumab) have been approved or are in the late stages of development. Inevitably, the introduction of these drugs will put pressure on healthcare systems, and there is a need to stratify patients to identify those who are most likely to benefit from such treatment. There is evidence that responsiveness to PD-1 inhibitors may be predicted by expression of PD-L1 on neoplastic cells. Hence, there is considerable interest in using PD-L1 immunohistochemical staining to guide the use of PD-1-targeted treatments in patients with NSCLC. This article reviews the current knowledge about PD-L1 testing, and identifies current research requirements. Key factors to consider include the source and timing of sample collection, pre-analytical steps (sample tracking, fixation, tissue processing, sectioning, and tissue prioritization), analytical decisions (choice of biomarker assay/kit and automated staining platform, with verification of standardized assays or validation of laboratory-devised techniques, internal and external quality assurance, and audit), and reporting and interpretation of the results. This review addresses the need for integration of PD-L1 immunohistochemistry with other tests as part of locally agreed pathways and protocols. There remain areas of uncertainty, and guidance should be updated regularly as new information becomes available

Charge dependence of neoclassical and turbulent transport of light impurities on MAST

Carbon and nitrogen impurity transport coefficients are determined from gas puff experiments carried out during repeat L-mode discharges on the Mega-Amp Spherical Tokamak (MAST) and compared against a previous analysis of helium impurity transport on MAST. The impurity density profiles are measured on the low-field side of the plasma, therefore this paper focuses on light impurities where the impact of poloidal asymmetries on impurity transport is predicted to be negligible. A weak screening of carbon and nitrogen is found in the plasma core, whereas the helium density profile is peaked over the entire plasma radius.Comment: 17 pages, 7 figure