Effective Lower Bounding Techniques for Pseudo-Boolean Optimization

Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), new algorithms for PBO have emerged, which are effective on highly constrained instances. However, these algorithms fail to handle effectively the information provided by the cost function of PBO. This paper addresses the integration of lower bound estimation methods with SAT-related techniques in PBO solvers. Moreover, the paper shows that the utilization of lower bound estimates can dramatically improve the overall performance of PBO solvers for most existing benchmarks from EDA. 1

Satisfiability-Based Algorithms for Boolean Optimization

This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Computer Science and Engineering. In Artificial Intelligence, BCP can be used for computing minimum-size prime implicants of Boolean functions, of interest in Automated Reasoning and Non-Monotonic Reasoning. Moreover, Binate Covering is an essential modeling tool in Electronic Design Automation. The objectives of the paper are to briefly review branch-and-bound algorithms for BCP, to describe how to apply backtrack search pruning techniques from the Boolean Satisfiability (SAT) domain to BCP, and to illustrate how to strengthen those pruning techniques by exploiting the actual formulation of BCP. Experimental results, obtained on representative instances indicate that the proposed techniques provide significant performance gains for a large number of problem instances

Interaction-induced topological properties of two bosons in flat-band systems

In flat-band systems, destructive interference leads to the localization of non-interacting particles and forbids their motion through the lattice. However, in the presence of interactions the overlap between neighbouring single-particle localized eigenstates may enable the propagation of bound pairs of particles. In this work, we show how these interaction-induced hoppings can be tuned to obtain a variety of two-body topological states. In particular, we consider two interacting bosons loaded into the orbital angular momentum $l=1$ states of a diamond-chain lattice, wherein an effective $\pi$ flux may yield a completely flat single-particle energy landscape. In the weakly-interacting limit, we derive effective single-particle models for the two-boson quasiparticles which provide an intuitive picture of how the topological states arise. By means of exact diagonalization calculations, we benchmark these states and we show that they are also present for strong interactions and away from the strict flat-band limit. Furthermore, we identify a set of doubly localized two-boson flat-band states that give rise to a special instance of Aharonov-Bohm cages for arbitrary interactions

Development of liquid xenon detectors for medical imaging

In the present paper, we report on our developments of liquid xenon detectors for medical imaging, positron emission tomography and single photon imaging, in particular. The results of the studies of several photon detectors (photomultiplier tubes and large area avalanche photodiode) suitable for detection of xenon scintillation are also briefly described.Comment: 13 pages, 5 figures, presented on the International Workshop on Techniques and Applications of Xenon Detectors (Xenon01), ICRR, Univ. of Tokyo, Kashiwa, Japan, December 3-4, 2001 (submitted to proceedings

On a generalized gravitational Aharonov-Bohm effect

A massless spinor particle is considered in the background gravitational field due to a rotating body. In the weak field approximation it is shown that the solution of the Weyl equations depend on the angular momentum of the rotating body, which does not affect the curvature in this approximation. This result may be looked upon as a generalization of the gravitational Aharonov-Bohm effect.Comment: 10 pages, LATEX fil

No association between genetic markers and hypertension control in multiple cross-sectional studies.

We aimed to assess whether genetic markers are associated with hypertension control using two cross-sectional surveys conducted in Lausanne, Switzerland. Management of hypertension was assessed as per ESC guidelines using the 140/90 or the 130/80 mm Hg thresholds. One genetic risk score (GRS) for hypertension (18 SNPs) and 133 individual SNPs related to response to specific antihypertensive drugs were tested. We included 1073 (first) and 1157 (second survey) participants treated for hypertension. The prevalence of controlled participants using the 140/90 threshold was 58.8% and 63.6% in the first and second follow-up, respectively. On multivariable analysis, only older age was consistently and negatively associated with hypertension control. No consistent associations were found between GRS and hypertension control (140/90 threshold) for both surveys: Odds ratio and (95% confidence interval) for the highest vs. the lowest quartile of the GRS: 1.06 (0.71-1.58) p = 0.788, and 1.11 (0.71-1.72) p = 0.657, in the first and second survey, respectively. Similar findings were obtained using the 130/80 threshold: 1.23 (0.79-1.90) p = 0.360 and 1.09 (0.69-1.73) p = 0.717, in the first and second survey, respectively. No association between individual SNPs and hypertension control was found. We conclude that control of hypertension is poor in Switzerland. No association between GRS or SNPs and hypertension control was found