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

Estimativa do peso de um lote de frango de corte vivo.

bitstream/item/58457/1/doc12.pd

A model for vortex formation in magnetic nanodots

We use Monte Carlo simulation to study the vortex nucleation on magnetic nanodots at low temperature. In our simulations, we have considered a simple microscopic two-dimensional anisotropic Heisenberg model with term to describe the anisotropy due to the presence of the nanodot edge. We have considered the thickness of the edge, which was not considered in previous works, introducing a term that controls the energy associated to the edge. Our results clearly show that the thickness of the edge has a considerable influence in the vortex nucleation on magnetic nanodots. We have obtained the hysteresis curve for several values of the surface anisotropy and skin depth parameter ($\xi$). The results are in excellent agreement with experimental data

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

The longitudinal interplay between negative and positive symptom trajectories in patients under antipsychotic treatment: a post hoc analysis of data from a randomized, 1-year pragmatic trial

BACKGROUND: Schizophrenia is a highly heterogeneous disorder with positive and negative symptoms being characteristic manifestations of the disease. While these two symptom domains are usually construed as distinct and orthogonal, little is known about the longitudinal pattern of negative symptoms and their linkage with the positive symptoms. This study assessed the temporal interplay between these two symptom domains and evaluated whether the improvements in these symptoms were inversely correlated or independent with each other. METHODS: This post hoc analysis used data from a multicenter, randomized, open-label, 1-year pragmatic trial of patients with schizophrenia spectrum disorder who were treated with first- and second-generation antipsychotics in the usual clinical settings. Data from all treatment groups were pooled resulting in 399 patients with complete data on both the negative and positive subscale scores from the Positive and Negative Syndrome Scale (PANSS). Individual-based growth mixture modeling combined with interplay matrix was used to identify the latent trajectory patterns in terms of both the negative and positive symptoms. Pearson correlation coefficients were calculated to examine the relationship between the changes of these two symptom domains within each combined trajectory pattern. RESULTS: We identified four distinct negative symptom trajectories and three positive symptom trajectories. The trajectory matrix formed 11 combined trajectory patterns, which evidenced that negative and positive symptom trajectories moved generally in parallel. Correlation coefficients for changes in negative and positive symptom subscale scores were positive and statistically significant (P < 0.05). Overall, the combined trajectories indicated three major distinct patterns: (1) dramatic and sustained early improvement in both negative and positive symptoms (n = 70, 18%), (2) mild and sustained improvement in negative and positive symptoms (n = 237, 59%), and (3) no improvement in either negative or positive symptoms (n = 82, 21%). CONCLUSIONS: This study of symptom trajectories over 1 year shows that changes in negative and positive symptoms were neither inversely nor independently related with each other. The positive association between these two symptom domains supports the notion that different symptom domains in schizophrenia may depend on each other through a unified upstream pathological disease process