Evaluating QBF Solvers: Quantifier Alternations Matter

We present an experimental study of the effects of quantifier alternations on the evaluation of quantified Boolean formula (QBF) solvers. The number of quantifier alternations in a QBF in prenex conjunctive normal form (PCNF) is directly related to the theoretical hardness of the respective QBF satisfiability problem in the polynomial hierarchy. We show empirically that the performance of solvers based on different solving paradigms substantially varies depending on the numbers of alternations in PCNFs. In related theoretical work, quantifier alternations have become the focus of understanding the strengths and weaknesses of various QBF proof systems implemented in solvers. Our results motivate the development of methods to evaluate orthogonal solving paradigms by taking quantifier alternations into account. This is necessary to showcase the broad range of existing QBF solving paradigms for practical QBF applications. Moreover, we highlight the potential of combining different approaches and QBF proof systems in solvers.Comment: preprint of a paper to be published at CP 2018, LNCS, Springer, including appendi

‘Free’ inhibin α subunit is expressed by bovine ovarian theca cells and its knockdown suppresses androgen production

Inhibins are ovarian dimeric glycoprotein hormones that suppress pituitary FSH production. They are synthesised by follicular granulosa cells as α plus βA/βB subunits (encoded by INHA, INHBA, INHBB, respectively). Inhibin concentrations are high in follicular fluid (FF) which is also abundant in ‘free’ α subunit, presumed to be of granulosal origin, but its role(s) remains obscure. Here, we report the unexpected finding that bovine theca cells show abundant INHA expression and ‘free’ inhibin α production. Thus, theca cells may contribute significantly to the inhibin α content of FF and peripheral blood. In vitro, knockdown of thecal INHA inhibited INSL3 and CYP17A1 expression and androgen production while INSL3 knockdown reduced INHA and inhibin α secretion. These findings suggest a positive role of thecal inhibin α on androgen production. However, exogenous inhibin α did not raise androgen production. We hypothesised that inhibin α may modulate the opposing effects of BMP and inhibin on androgen production. However, this was not supported experimentally. Furthermore, neither circulating nor intrafollicular androgen concentrations differed between control and inhibin α-immunized heifers, casting further doubt on thecal inhibin α subunit having a significant role in modulating androgen production. Role(s), if any, played by thecal inhibin α remain elusive

Depression and Motivation

Among the characteristic features of depression is a diminishment in or lack of action and motivation. In this paper, I consider a dominant philosophical account which purports to explain this lack of action or motivation. This approach comes in different versions but a common theme is, I argue, an over reliance on psychologistic assumptions about action–explanation and the nature of motivation. As a corrective I consider an alternative view that gives a prominent place to the body in motivation. Central to the experience of depression are changes to how a person is motivated to act and, also as central, are changes to bodily feelings and capacities. I argue that broadly characterizing motivation in terms of bodily capacities can, in particular, provide a more compelling account of depressive motivational pathology

Spatio-Temporal Progression of Grey and White Matter Damage Following Contusion Injury in Rat Spinal Cord

Cellular mechanisms of secondary damage progression following spinal cord injury remain unclear. We have studied the extent of tissue damage from 15 min to 10 weeks after injury using morphological and biochemical estimates of lesion volume and surviving grey and white matter. This has been achieved by semi-quantitative immunocytochemical methods for a range of cellular markers, quantitative counts of white matter axonal profiles in semi-thin sections and semi-quantitative Western blot analysis, together with behavioural tests (BBB scores, ledged beam, random rung horizontal ladder and DigiGait™ analysis). We have developed a new computer-controlled electronic impactor based on a linear motor that allows specification of the precise nature, extent and timing of the impact. Initial (15 min) lesion volumes showed very low variance (1.92±0.23 mm3, mean±SD, n = 5). Although substantial tissue clearance continued for weeks after injury, loss of grey matter was rapid and complete by 24 hours, whereas loss of white matter extended up to one week. No change was found between one and 10 weeks after injury for almost all morphological and biochemical estimates of lesion size or behavioural methods. These results suggest that previously reported apparent ongoing injury progression is likely to be due, to a large extent, to clearance of tissue damaged by the primary impact rather than continuing cell death. The low variance of the impactor and the comprehensive assessment methods described in this paper provide an improved basis on which the effects of potential treatment regimes for spinal cord injury can be assessed

Attribution: how is it relevant for loss and damage policy and practice?

Attribution has become a recurring issue in discussions about Loss and Damage (L&D). In this highly-politicised context, attribution is often associated with responsibility and blame; and linked to debates about liability and compensation. The aim of attribution science, however, is not to establish responsibility, but to further scientific understanding of causal links between elements of the Earth System and society. This research into causality could inform the management of climate-related risks through improved understanding of drivers of relevant hazards, or, more widely, vulnerability and exposure; with potential benefits regardless of political positions on L&D. Experience shows that it is nevertheless difficult to have open discussions about the science in the policy sphere. This is not only a missed opportunity, but also problematic in that it could inhibit understanding of scientific results and uncertainties, potentially leading to policy planning which does not have sufficient scientific evidence to support it. In this chapter, we first explore this dilemma for science-policy dialogue, summarising several years of research into stakeholder perspectives of attribution in the context of L&D. We then aim to provide clarity about the scientific research available, through an overview of research which might contribute evidence about the causal connections between anthropogenic climate change and losses and damages, including climate science, but also other fields which examine other drivers of hazard, exposure, and vulnerability. Finally, we explore potential applications of attribution research, suggesting that an integrated and nuanced approach has potential to inform planning to avert, minimise and address losses and damages. The key messages are In the political context of climate negotiations, questions about whether losses and damages can be attributed to anthropogenic climate change are often linked to issues of responsibility, blame, and liability. Attribution science does not aim to establish responsibility or blame, but rather to investigate drivers of change. Attribution science is advancing rapidly, and has potential to increase understanding of how climate variability and change is influencing slow onset and extreme weather events, and how this interacts with other drivers of risk, including socio-economic drivers, to influence losses and damages. Over time, some uncertainties in the science will be reduced, as the anthropogenic climate change signal becomes stronger, and understanding of climate variability and change develops. However, some uncertainties will not be eliminated. Uncertainty is common in science, and does not prevent useful applications in policy, but might determine which applications are appropriate. It is important to highlight that in attribution studies, the strength of evidence varies substantially between different kinds of slow onset and extreme weather events, and between regions. Policy-makers should not expect the later emergence of conclusive evidence about the influence of climate variability and change on specific incidences of losses and damages; and, in particular, should not expect the strength of evidence to be equal between events, and between countries. Rather than waiting for further confidence in attribution studies, there is potential to start working now to integrate science into policy and practice, to help understand and tackle drivers of losses and damages, informing prevention, recovery, rehabilitation, and transformation

Syndromics: A Bioinformatics Approach for Neurotrauma Research

Substantial scientific progress has been made in the past 50 years in delineating many of the biological mechanisms involved in the primary and secondary injuries following trauma to the spinal cord and brain. These advances have highlighted numerous potential therapeutic approaches that may help restore function after injury. Despite these advances, bench-to-bedside translation has remained elusive. Translational testing of novel therapies requires standardized measures of function for comparison across different laboratories, paradigms, and species. Although numerous functional assessments have been developed in animal models, it remains unclear how to best integrate this information to describe the complete translational “syndrome” produced by neurotrauma. The present paper describes a multivariate statistical framework for integrating diverse neurotrauma data and reviews the few papers to date that have taken an information-intensive approach for basic neurotrauma research. We argue that these papers can be described as the seminal works of a new field that we call “syndromics”, which aim to apply informatics tools to disease models to characterize the full set of mechanistic inter-relationships from multi-scale data. In the future, centralized databases of raw neurotrauma data will enable better syndromic approaches and aid future translational research, leading to more efficient testing regimens and more clinically relevant findings

Identifying associations between diabetes and acute respiratory distress syndrome in patients with acute hypoxemic respiratory failure: an analysis of the LUNG SAFE database

Background: Diabetes mellitus is a common co-existing disease in the critically ill. Diabetes mellitus may reduce the risk of acute respiratory distress syndrome (ARDS), but data from previous studies are conflicting. The objective of this study was to evaluate associations between pre-existing diabetes mellitus and ARDS in critically ill patients with acute hypoxemic respiratory failure (AHRF). Methods: An ancillary analysis of a global, multi-centre prospective observational study (LUNG SAFE) was undertaken. LUNG SAFE evaluated all patients admitted to an intensive care unit (ICU) over a 4-week period, that required mechanical ventilation and met AHRF criteria. Patients who had their AHRF fully explained by cardiac failure were excluded. Important clinical characteristics were included in a stepwise selection approach (forward and backward selection combined with a significance level of 0.05) to identify a set of independent variables associated with having ARDS at any time, developing ARDS (defined as ARDS occurring after day 2 from meeting AHRF criteria) and with hospital mortality. Furthermore, propensity score analysis was undertaken to account for the differences in baseline characteristics between patients with and without diabetes mellitus, and the association between diabetes mellitus and outcomes of interest was assessed on matched samples. Results: Of the 4107 patients with AHRF included in this study, 3022 (73.6%) patients fulfilled ARDS criteria at admission or developed ARDS during their ICU stay. Diabetes mellitus was a pre-existing co-morbidity in 913 patients (22.2% of patients with AHRF). In multivariable analysis, there was no association between diabetes mellitus and having ARDS (OR 0.93 (0.78-1.11); p = 0.39), developing ARDS late (OR 0.79 (0.54-1.15); p = 0.22), or hospital mortality in patients with ARDS (1.15 (0.93-1.42); p = 0.19). In a matched sample of patients, there was no association between diabetes mellitus and outcomes of interest. Conclusions: In a large, global observational study of patients with AHRF, no association was found between diabetes mellitus and having ARDS, developing ARDS, or outcomes from ARDS. Trial registration: NCT02010073. Registered on 12 December 2013

Spontaneous Breathing in Early Acute Respiratory Distress Syndrome: Insights From the Large Observational Study to UNderstand the Global Impact of Severe Acute Respiratory FailurE Study

OBJECTIVES: To describe the characteristics and outcomes of patients with acute respiratory distress syndrome with or without spontaneous breathing and to investigate whether the effects of spontaneous breathing on outcome depend on acute respiratory distress syndrome severity. DESIGN: Planned secondary analysis of a prospective, observational, multicentre cohort study. SETTING: International sample of 459 ICUs from 50 countries. PATIENTS: Patients with acute respiratory distress syndrome and at least 2 days of invasive mechanical ventilation and available data for the mode of mechanical ventilation and respiratory rate for the 2 first days. INTERVENTIONS: Analysis of patients with and without spontaneous breathing, defined by the mode of mechanical ventilation and by actual respiratory rate compared with set respiratory rate during the first 48 hours of mechanical ventilation. MEASUREMENTS AND MAIN RESULTS: Spontaneous breathing was present in 67% of patients with mild acute respiratory distress syndrome, 58% of patients with moderate acute respiratory distress syndrome, and 46% of patients with severe acute respiratory distress syndrome. Patients with spontaneous breathing were older and had lower acute respiratory distress syndrome severity, Sequential Organ Failure Assessment scores, ICU and hospital mortality, and were less likely to be diagnosed with acute respiratory distress syndrome by clinicians. In adjusted analysis, spontaneous breathing during the first 2 days was not associated with an effect on ICU or hospital mortality (33% vs 37%; odds ratio, 1.18 [0.92-1.51]; p = 0.19 and 37% vs 41%; odds ratio, 1.18 [0.93-1.50]; p = 0.196, respectively ). Spontaneous breathing was associated with increased ventilator-free days (13 [0-22] vs 8 [0-20]; p = 0.014) and shorter duration of ICU stay (11 [6-20] vs 12 [7-22]; p = 0.04). CONCLUSIONS: Spontaneous breathing is common in patients with acute respiratory distress syndrome during the first 48 hours of mechanical ventilation. Spontaneous breathing is not associated with worse outcomes and may hasten liberation from the ventilator and from ICU. Although these results support the use of spontaneous breathing in patients with acute respiratory distress syndrome independent of acute respiratory distress syndrome severity, the use of controlled ventilation indicates a bias toward use in patients with higher disease severity. In addition, because the lack of reliable data on inspiratory effort in our study, prospective studies incorporating the magnitude of inspiratory effort and adjusting for all potential severity confounders are required