QBF with Soft Variables

QBF formulae are usually considered in prenex form, i.e. the quantifierblock is completely separated from the propositional part of the QBF.Among others, the semantics of the QBF is defined by the sequence ofthe variables within the prefix, where existentially quantifiedvariables depend on all universally quantified variables stated to theleft.In this paper we extend that classical definition and consider a newquantification type which we call soft variable. The idea is toallow a flexible position and quantifier type for these variables.Hence the type of quantifier of the soft variable can also bealtered. Based on this concept, we present an optimization problemseeking an optimal prefix as defined by user-given preferences. We statean algorithm based on MaxQBF, and present several applications – mainlyfrom verification area – which can be naturally translated into theoptimization problem for QBF with soft variables. We further implementeda prototype solver for this formalism, and compare our approach toprevious work, that differently from ours does not guarantee optimalityand completeness

Determination of the Accuracy of Wire Position Sensors

An energy spectrometer has been installed in the LEP accelerator to determine the beam energy with a relative accuracy of 10-4. A precisely calibrated bending magnet is flanked by 6 beam position monitors (BPM). The beam energy is determined by measuring the deflection angle of the LEP beams and the integrated bending field. An accuracy of less than 10-6 m on the beam position is necessary to reach the desired accuracy on the LEP beam energy. Capacitive wire positioning sensors are used to determine the relative mounting stability of each BPM and to calibrate the beam position monitors. Two-dimensional sensors are attached to each side of every BPM support and provide a position measurement with respect to two stretched wires mounted on either side of the LEP beam pipe. The fixing points of each wire are monitored by additional reference sensors. The position information is digitised via a multiplexed high accuracy digital voltmeter and read out continuously during LEP operations. Wire position sensor accuracy was tested in the laboratory with a laser interferometer, while relative accuracy tests are performed in the LEP environment. Systematic effects of synchrotron radiation on the wire position sensor performance were studied

Cost and mortality prediction using polymerase chain reaction pathogen detection in sepsis: evidence from three observational trials

Delays in adequate antimicrobial treatment contribute to high cost and mortality in sepsis. Polymerase chain reaction (PCR) assays are used alongside conventional cultures to accelerate the identification of microorganisms. We analyze the impact on medical outcomes and healthcare costs if improved adequacy of antimicrobial therapy is achieved by providing immediate coverage after positive PCR reports

Zinc enrichment and isotopic fractionation in a marine habitat of the c. 2.1 Ga Francevillian Group: A signature of zinc utilization by eukaryotes?

Constraining the timing of eukaryogenesis and the divergence of eukaryotic clades is a major challenge in evolutionary biology. Here, we present trace metal concentration and zinc isotope data for c. 2.1 billion-year-old Francevillian Group pyritized structures, previously described as putative remnants of the first colonial multicellular organisms, and their host black shales. Relative to the host rocks, pyritized structures are strongly enriched in zinc, cobalt and nickel, by at least one order of magnitude, with markedly lighter zinc isotope compositions. A metabolic demand for high concentrations of aqueous zinc, cobalt, and nickel combined with preferential uptake of lighter zinc isotopes may indicate metalloenzyme utilization by eukaryotes in marine habitats c. 2.1 billion years ago. Once confirmed, this would provide a critical calibration point for eukaryogenesis, suggesting that this major evolutionary innovation may have happened contemporaneously with elevated atmospheric oxygen levels during the latter part of the Great Oxidation Event, some 400 million years earlier than is currently widely accepted

Anchor Side Chains of Short Peptide Fragments Trigger Ligand-Exchange of Class II MHC Molecules

Class II MHC molecules display peptides on the cell surface for the surveillance by CD4+ T cells. To ensure that these ligands accurately reflect the content of the intracellular MHC loading compartment, a complex processing pathway has evolved that delivers only stable peptide/MHC complexes to the surface. As additional safeguard, MHC molecules quickly acquire a ‘non-receptive’ state once they have lost their ligand. Here we show now that amino acid side chains of short peptides can bypass these safety mechanisms by triggering the reversible ligand-exchange. The catalytic activity of dipeptides such as Tyr-Arg was stereo-specific and could be enhanced by modifications addressing the conserved H-bond network near the P1 pocket of the MHC molecule. It affected both antigen-loading and ligand-release and strictly correlated with reported anchor preferences of P1, the specific target site for the catalytic side chain of the dipeptide. The effect was evident also in CD4+ T cell assays, where the allele-selective influence of the dipeptides translated into increased sensitivities of the antigen-specific immune response. Molecular dynamic calculations support the hypothesis that occupation of P1 prevents the ‘closure’ of the empty peptide binding site into the non-receptive state. During antigen-processing and -presentation P1 may therefore function as important “sensor” for peptide-load. While it regulates maturation and trafficking of the complex, on the cell surface, short protein fragments present in blood or lymph could utilize this mechanism to alter the ligand composition on antigen presenting cells in a catalytic way

Upper limits on the strength of periodic gravitational waves from PSR J1939+2134

The first science run of the LIGO and GEO gravitational wave detectors presented the opportunity to test methods of searching for gravitational waves from known pulsars. Here we present new direct upper limits on the strength of waves from the pulsar PSR J1939+2134 using two independent analysis methods, one in the frequency domain using frequentist statistics and one in the time domain using Bayesian inference. Both methods show that the strain amplitude at Earth from this pulsar is less than a few times $10^{-22}$.Comment: 7 pages, 1 figure, to appear in the Proceedings of the 5th Edoardo Amaldi Conference on Gravitational Waves, Tirrenia, Pisa, Italy, 6-11 July 200

Improving the sensitivity to gravitational-wave sources by modifying the input-output optics of advanced interferometers

We study frequency dependent (FD) input-output schemes for signal-recycling interferometers, the baseline design of Advanced LIGO and the current configuration of GEO 600. Complementary to a recent proposal by Harms et al. to use FD input squeezing and ordinary homodyne detection, we explore a scheme which uses ordinary squeezed vacuum, but FD readout. Both schemes, which are sub-optimal among all possible input-output schemes, provide a global noise suppression by the power squeeze factor, while being realizable by using detuned Fabry-Perot cavities as input/output filters. At high frequencies, the two schemes are shown to be equivalent, while at low frequencies our scheme gives better performance than that of Harms et al., and is nearly fully optimal. We then study the sensitivity improvement achievable by these schemes in Advanced LIGO era (with 30-m filter cavities and current estimates of filter-mirror losses and thermal noise), for neutron star binary inspirals, and for narrowband GW sources such as low-mass X-ray binaries and known radio pulsars. Optical losses are shown to be a major obstacle for the actual implementation of these techniques in Advanced LIGO. On time scales of third-generation interferometers, like EURO/LIGO-III (~2012), with kilometer-scale filter cavities, a signal-recycling interferometer with the FD readout scheme explored in this paper can have performances comparable to existing proposals. [abridged]Comment: Figs. 9 and 12 corrected; Appendix added for narrowband data analysi

Risk factors and myocardial infarction in patients with obstructive sleep apnea: impact of β2-adrenergic receptor polymorphisms

BACKGROUND: The increased sympathetic nervous activity in patients with obstructive sleep apnea (OSA) is largely responsible for the high prevalence of arterial hypertension, and it is suggested to adversely affect triglyceride and high-density lipoprotein (HDL) cholesterol levels in these patients. The functionally relevant polymorphisms of the β2-adrenergic receptor (Arg-47Cys/Arg16Gly and Gln27Glu) have been shown to exert modifying effects on these risk factors in previous studies, but results are inconsistent. METHODS: We investigated a group of 429 patients (55 ± 10.7 years; 361 men, 68 women) with moderate to severe obstructive sleep apnea (apnea/hypopnea index (AHI) 29.1 ± 23.1/h) and, on average, a high cardiovascular risk profile (body mass index 31.1 ± 5.6, with hypertension in 60.1%, dyslipidemia in 49.2%, and diabetes in 17.2% of patients). We typed the β2-adrenergic receptor polymorphisms and investigated the five most frequent haplotypes for their modifying effects on OSA-induced changes in blood pressure, heart rate, and lipid levels. The prevalence of cardiovascular risk factors and coronary heart disease (n = 55, 12.8%) and survived myocardial infarction (n = 27, 6.3%) were compared between the genotypes and haplotypes. RESULTS: Multivariate linear/logistic regressions revealed a significant and independent (from BMI, age, sex, presence of diabetes, use of antidiabetic, lipid-lowering, and antihypertensive medication) influence of AHI on daytime systolic and diastolic blood pressure, heart rate, prevalence of hypertension, and triglyceride and HDL levels. The β2-adrenergic receptor genotypes and haplotypes showed no modifying effects on these relationships or on the prevalence of dyslipidemia, diabetes, and coronary heart disease, yet, for all three polymorphisms, heterozygous carriers had a significantly lower relative risk for myocardial infarction (Arg-47Cys: n = 195, odds ratio (OR) = 0.32, P = 0.012; Arg16Gly: n = 197, OR = 0.39, P = 0.031; Gln27Glu: OR = 0.37, P = 0.023). Carriers of the most frequent haplotype (n = 113) (haplotype 1; heterozygous for all three polymorphisms) showed a five-fold lower prevalence of survived myocardial infarction (OR = 0.21, P = 0.023). CONCLUSION: Our study showed no significant modifying effect of the functionally relevant β2-adrenergic receptor polymorphisms on OSA-induced blood pressure, heart rate, or lipid changes. Nevertheless, heterozygosity of these polymorphisms is associated with a lower prevalence of survived myocardial infarction in this group with, on average, a high cardiovascular risk profile

Mortality prediction in chronic obstructive pulmonary disease comparing the GOLD 2015 and GOLD 2019 staging: a pooled analysis of individual patient data

In 2019, The Global Initiative for Chronic Obstructive Lung Disease (GOLD) modified the grading system for patients with COPD, creating 16 subgroups (1A–4D). As part of the COPD Cohorts Collaborative International Assessment (3CIA) initiative, we aim to compare the mortality prediction of the 2015 and 2019 COPD GOLD staging systems. We studied 17 139 COPD patients from the 3CIA study, selecting those with complete data. Patients were classified by the 2015 and 2019 GOLD ABCD systems, and we compared the predictive ability for 5-year mortality of both classifications. In total, 17 139 patients with COPD were enrolled in 22 cohorts from 11 countries between 2003 and 2017; 8823 of them had complete data and were analysed. Mean±sd age was 63.9±9.8 years and 62.9% were male. GOLD 2019 classified the patients in milder degrees of COPD. For both classifications, group D had higher mortality. 5-year mortality did not differ between groups B and C in GOLD 2015; in GOLD 2019, mortality was greater for group B than C. Patients classified as group A and B had better sensitivity and positive predictive value with the GOLD 2019 classification than GOLD 2015. GOLD 2015 had better sensitivity for group C and D than GOLD 2019. The area under the curve values for 5-year mortality were only 0.67 (95% CI 0.66–0.68) for GOLD 2015 and 0.65 (95% CI 0.63–0.66) for GOLD 2019