Core-Guided and Core-Boosted Search for CP

Peer reviewe

Reducing chaos in SAT-like search: finding solutions close to a given one

Motivated by our own industrial users, we attack the following challenge that is crucial in many practical planning, scheduling or timetabling applications. Assume that a solver has found a solution for a given hard problem and, due to unforeseen circumstances (e.g., rescheduling), or after an analysis by a committee, a few more constraints have to be added and the solver has to be re-run. Then it is almost always important that the new solution is “close” to the original one. The activity-based variable selection heuristics used by SAT solvers make search chaotic, i.e., extremely sensitive to the initial conditions. Therefore, re-running with just one additional clause added at the end of the input usually gives a completely different solution. We show that naive approaches for finding close solutions do not work at all, and that solving the Boolean optimization problem is far too inefficient: to find a reasonably close solution, state-of-the-art tools typically require much more time than was needed to solve the original problem. Here we propose the first (to our knowledge) approach that obtains close solutions quickly. In fact, it typically finds the optimal (i.e., closest) solution in only 25% of the time the solver took in solving the original problem. Our approach requires no deep theoretical or conceptual innovations. Still, it is non-trivial to come up with and will certainly be valuable for researchers and practitioners facing the same problem.Postprint (published version

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

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

Brain classification reveals the right cerebellum as the best biomarker of dyslexia

Background Developmental dyslexia is a specific cognitive disorder in reading acquisition that has genetic and neurological origins. Despite histological evidence for brain differences in dyslexia, we recently demonstrated that in large cohort of subjects, no differences between control and dyslexic readers can be found at the macroscopic level (MRI voxel), because of large variances in brain local volumes. In the present study, we aimed at finding brain areas that most discriminate dyslexic from control normal readers despite the large variance across subjects. After segmenting brain grey matter, normalizing brain size and shape and modulating the voxels' content, normal readers' brains were used to build a 'typical' brain via bootstrapped confidence intervals. Each dyslexic reader's brain was then classified independently at each voxel as being within or outside the normal range. We used this simple strategy to build a brain map showing regional percentages of differences between groups. The significance of this map was then assessed using a randomization technique. Results The right cerebellar declive and the right lentiform nucleus were the two areas that significantly differed the most between groups with 100% of the dyslexic subjects (N = 38) falling outside of the control group (N = 39) 95% confidence interval boundaries. The clinical relevance of this result was assessed by inquiring cognitive brain-based differences among dyslexic brain subgroups in comparison to normal readers' performances. The strongest difference between dyslexic subgroups was observed between subjects with lower cerebellar declive (LCD) grey matter volumes than controls and subjects with higher cerebellar declive (HCD) grey matter volumes than controls. Dyslexic subjects with LCD volumes performed worse than subjects with HCD volumes in phonologically and lexicon related tasks. Furthermore, cerebellar and lentiform grey matter volumes interacted in dyslexic subjects, so that lower and higher lentiform grey matter volumes compared to controls differently modulated the phonological and lexical performances. Best performances (observed in controls) corresponded to an optimal value of grey matter and they dropped for higher or lower volumes. Conclusion These results provide evidence for the existence of various subtypes of dyslexia characterized by different brain phenotypes. In addition, behavioural analyses suggest that these brain phenotypes relate to different deficits of automatization of language-based processes such as grapheme/phoneme correspondence and/or rapid access to lexicon entries. article available here: http://www.biomedcentral.com/1471-2202/10/6

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

Pseudo-Boolean (PB) constraints often have a critical role in constraint satisfaction and optimisation problems. Encoding PB constraints to SAT has proven to be an efficient approach in many applications, however care must be taken to encode them compactly and with good propagation properties. It has been shown that at-most-one (AMO) and exactly-one (EO) relations over subsets of the variables can be exploited in various encodings of PB constraints, improving their compactness and solving performance. In this paper we detect AMO and EO relations completely automatically and exploit them to improve SAT encodings that are based on Multi-Valued Decision Diagrams (MDDs). Our experiments show substantial reductions in encoding size and dramatic improvements in solving time thanks to automatic AMO and EO detection

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

Peer reviewe

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

Peer reviewe

CMS Data Processing Workflows during an Extended Cosmic Ray Run

Peer reviewe