Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic.Comment: 10 pages, 2 figures, 2 tables. To be published in 21st International Conference on Principles and Practice of Constraint Programming 201

Interaction between galectin-3 and cystinosin uncovers a pathogenic role of inflammation in kidney involvement of cystinosis.

Inflammation is involved in the pathogenesis of many disorders. However, the underlying mechanisms are often unknown. Here, we test whether cystinosin, the protein involved in cystinosis, is a critical regulator of galectin-3, a member of the β-galactosidase binding protein family, during inflammation. Cystinosis is a lysosomal storage disorder and, despite ubiquitous expression of cystinosin, the kidney is the primary organ impacted by the disease. Cystinosin was found to enhance lysosomal localization and degradation of galectin-3. In Ctns-/- mice, a mouse model of cystinosis, galectin-3 is overexpressed in the kidney. The absence of galectin-3 in cystinotic mice ameliorates pathologic renal function and structure and decreases macrophage/monocyte infiltration in the kidney of the Ctns-/-Gal3-/- mice compared to Ctns-/- mice. These data strongly suggest that galectin-3 mediates inflammation involved in kidney disease progression in cystinosis. Furthermore, galectin-3 was found to interact with the pro-inflammatory cytokine Monocyte Chemoattractant Protein-1, which stimulates the recruitment of monocytes/macrophages, and proved to be significantly increased in the serum of Ctns-/- mice and also patients with cystinosis. Thus, our findings highlight a new role for cystinosin and galectin-3 interaction in inflammation and provide an additional mechanistic explanation for the kidney disease of cystinosis. This may lead to the identification of new drug targets to delay cystinosis progression

On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Performance and Operation of the CMS Electromagnetic Calorimeter

The operation and general performance of the CMS electromagnetic calorimeter using cosmic-ray muons are described. These muons were recorded after the closure of the CMS detector in late 2008. The calorimeter is made of lead tungstate crystals and the overall status of the 75848 channels corresponding to the barrel and endcap detectors is reported. The stability of crucial operational parameters, such as high voltage, temperature and electronic noise, is summarised and the performance of the light monitoring system is presented

Relationship between haemagglutination-inhibiting antibody titres and clinical protection against influenza: development and application of a bayesian random-effects model

<p>Abstract</p> <p>Background</p> <p>Antibodies directed against haemagglutinin, measured by the haemagglutination inhibition (HI) assay are essential to protective immunity against influenza infection. An HI titre of 1:40 is generally accepted to correspond to a 50% reduction in the risk of contracting influenza in a susceptible population, but limited attempts have been made to further quantify the association between HI titre and protective efficacy.</p> <p>Methods</p> <p>We present a model, using a meta-analytical approach, that estimates the level of clinical protection against influenza at any HI titre level. Source data were derived from a systematic literature review that identified 15 studies, representing a total of 5899 adult subjects and 1304 influenza cases with interval-censored information on HI titre. The parameters of the relationship between HI titre and clinical protection were estimated using Bayesian inference with a consideration of random effects and censorship in the available information.</p> <p>Results</p> <p>A significant and positive relationship between HI titre and clinical protection against influenza was observed in all tested models. This relationship was found to be similar irrespective of the type of viral strain (A or B) and the vaccination status of the individuals.</p> <p>Conclusion</p> <p>Although limitations in the data used should not be overlooked, the relationship derived in this analysis provides a means to predict the efficacy of inactivated influenza vaccines when only immunogenicity data are available. This relationship can also be useful for comparing the efficacy of different influenza vaccines based on their immunological profile.</p

Eicosanoid Release Is Increased by Membrane Destabilization and CFTR Inhibition in Calu-3 Cells

The antiinflammatory protein annexin-1 (ANXA1) and the adaptor S100A10 (p11), inhibit cytosolic phospholipase A2 (cPLA2α) by direct interaction. Since the latter is responsible for the cleavage of arachidonic acid at membrane phospholipids, all three proteins modulate eicosanoid production. We have previously shown the association of ANXA1 expression with that of CFTR, the multifactorial protein mutated in cystic fibrosis. This could in part account for the abnormal inflammatory status characteristic of this disease. We postulated that CFTR participates in the regulation of eicosanoid release by direct interaction with a complex containing ANXA1, p11 and cPLA2α. We first analyzed by plasmon surface resonance the in vitro binding of CFTR to the three proteins. A significant interaction between p11 and the NBD1 domain of CFTR was found. We observed in Calu-3 cells a rapid and partial redistribution of all four proteins in detergent resistant membranes (DRM) induced by TNF-α. This was concomitant with increased IL-8 synthesis and cPLA2α activation, ultimately resulting in eicosanoid (PGE2 and LTB4) overproduction. DRM destabilizing agent methyl-β-cyclodextrin induced further cPLA2α activation and eicosanoid release, but inhibited IL-8 synthesis. We tested in parallel the effect of short exposure of cells to CFTR inhibitors Inh172 and Gly-101. Both inhibitors induced a rapid increase in eicosanoid production. Longer exposure to Inh172 did not increase further eicosanoid release, but inhibited TNF-α-induced relocalization to DRM. These results show that (i) CFTR may form a complex with cPLA2α and ANXA1 via interaction with p11, (ii) CFTR inhibition and DRM disruption induce eicosanoid synthesis, and (iii) suggest that the putative cPLA2/ANXA1/p11/CFTR complex may participate in the modulation of the TNF-α-induced production of eicosanoids, pointing to the importance of membrane composition and CFTR function in the regulation of inflammation mediator synthesis

Calibration of the CMS Drift Tube Chambers and Measurement of the Drift Velocity with Cosmic Rays

Peer reviewe

CMS Data Processing Workflows during an Extended Cosmic Ray Run

Peer reviewe

CMS physics technical design report : Addendum on high density QCD with heavy ions

Peer reviewe