Proteus: A Hierarchical Portfolio of Solvers and Transformations

In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT instances. In this paper, we leverage advances in both SAT and CSP solving to present a novel hierarchical portfolio-based approach to CSP solving, which we call Proteus, that does not rely purely on CSP solvers. Instead, it may decide that it is best to encode a CSP problem instance into SAT, selecting an appropriate encoding and a corresponding SAT solver. Our experimental evaluation used an instance of Proteus that involved four CSP solvers, three SAT encodings, and six SAT solvers, evaluated on the most challenging problem instances from the CSP solver competitions, involving global and intensional constraints. We show that significant performance improvements can be achieved by Proteus obtained by exploiting alternative view-points and solvers for combinatorial problem-solving.Comment: 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. The final publication is available at link.springer.co

Direct stenting with the Bx VELOCITY balloon-expandable stent mounted on the Raptor rapid exchange delivery system versus predilatation in a European randomized Trial: the VELVET trial.

Abstract AIMS: This study examined the six-month angiographic results of direct coronary stenting, and compared the nine-month safety, efficacy and cost of this strategy versus stenting after balloon predilatation. METHODS: In phase I of VELVET, 122 patients (mean age = 62.3 +/- 10.1 years, 77% male, 11% with diabetes) with angina pectoris or myocardial ischemia resulting from a single de novo 51% to 95% coronary stenosis underwent direct stenting. The endpoints of phase I included angiographic findings and rates of major adverse cardiac events up to six months of follow-up. In phase II, 401 patients (mean age = 61.3 +/- 10.8 years, 79% male, 16% with diabetes) with angina pectoris or documented myocardial ischemia resulting from single or multiple, de novo or restenotic, coronary lesions were randomized between direc

Randomized comparison of primary stenting and provisional balloon angioplasty guided by flow velocity measurement.

BACKGROUND: Coronary stenting improves outcomes compared with balloon angioplasty, but it is costly and may have other disadvantages. Limiting stent use to patients with a suboptimal result after angioplasty (provisional angioplasty) may be as effective and less expensive. METHODS AND RESULTS: To analyze the cost-effectiveness of provisional angioplasty, patients scheduled for single-vessel angioplasty were first randomized to receive primary stenting (97 patients) or balloon angioplasty guided by Doppler flow velocity and angiography (523 patients). Patients in the latter group were further randomized after optimization to either additional stenting or termination of the procedure to further investigate what is "optimal." An optimal result was defined as a flow reserve >2.5 and a diameter stenosis <36%. Bailout stenting was needed in 129 patients (25%) who were randomized to balloon angioplasty, and an optimal result was obtained in 184 of the 523 patients (35%). There was no significant difference in event-free survival at 1 year between primary stenting (86.6%) and provisional angioplasty (85.6%). Costs after 1 year were significantly higher for provisional angioplasty (EUR 6573 versus EUR 5885; P:=0.014). Results after the second randomization showed that stenting was also more effective after optimal balloon angioplasty (1-year event free survival, 93.5% versus 84.1%; P:=0. 066). CONCLUSIONS: After 1 year of follow-up, provisional angioplasty was more expensive and without clinical benefit. The beneficial value of stenting is not limited to patients with a suboptimal result after balloon angioplasty

Controlled release strategies for bone, cartilage, and osteochondral engineering: part I: recapitulation of native tissue healing and variables for the design of delivery systems

The potential of growth factors to stimulate tissue healing through the enhancement of cell proliferation, migration, and differentiation is undeniable. However, critical parameters on the design of adequate carriers, such as uncontrolled spatiotemporal presence of bioactive factors, inadequate release profiles, and supraphysiological dosages of growth factors, have impaired the translation of these systems onto clinical practice. This review describes the healing cascades for bone, cartilage, and osteochondral interface, highlighting the role of specific growth factors for triggering the reactions leading to tissue regeneration. Critical criteria on the design of carriersfor controlled release of bioactive factors are also reported, focusing on the need to provide a spatiotemporal control over the delivery and presentation of these molecules.The authors thank Fundacao para a Ciencia e Tecnologia for V.E.Santo's PhD grant (SFRH/BD/39486/2007). This work was carried out under the scope of the European FP7 Project Find and Bind (NMP4-SL-2009-229292) and Project MIT/ECE/0047/2009

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio