We provide a new framework for the joint analysis of cluster observations (JACO) using simultaneous fits to X-ray, Sunyaev-Zel’dovich (SZ), and weak lensing data. Our method fits the mass models simultaneously to all data, provides explicit separation of the gaseous, dark, and stellar components, and—for the first time—allows joint constraints on all measurable physical parameters. JACO include...

We consider a common type of symmetry where we have a matrix of decision variables with interchangeable rows and columns. A simple and efficient method to deal with such row and column symmetry is to post symmetry breaking constraints like DOUBLELEX and SNAKELEX. We provide a number of positive and negative results on posting such symmetry breaking constraints. On the positive side, we prove th...

Several classes of path constraints for semistructured data are analysed and a number of decidability and complexity results proved for such constraints. While some of these decidability results were known before, it is believed that the improved complexity bounds are new. Proofs are based on techniques from modal logic and automata theory. This modal logic perspective sheds additional light on...

We introduce a new global constraint which combines together the lexicographic ordering constraint with some sum constraints. Lexicographic ordering constraints are frequently used to break symmetry, whilst sum constraints occur in many problems involving capacity or partitioning. Our results show that this global constraint is useful when there is a very large space to explore, such as when th...

We show that in theories with radiatively induced electro-weak symmetry breaking the EDMs obey a simple approximate scaling under the transformation m0 → λm0, m 1 2 → λm 1 2 in the large μ region. In the scaling region the knowledge of a single point in the MSSM parameter space where the cancellation in the EDMs occur allows one to generate a trajectory in the m0 −m 1 2 plane where the cancella...

The behaviour of firms on an oligopolistic market is usually modeled via the CournotNash equilibrium concept ([13, 18]). In fact, it is the classical Nash equilibrium, where each player (firm) maximizes its profit subject to production constraints. Assuming that one from the firms has a temporal advantage over the others, this firm can increase its profit by replacing a Cournot-Nash strategy by...

Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful cases: symmetry breaking constraints for row and column symmetry, and symmetry breaking constraints for eliminating value symmetry.

We have developed a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints. It is possible to write specifications that are not satisfiable or that for other reasons may cause the repair process to not terminate. We present a static specification analysis that determines whether the repair process w...

abstract background and objective: often, discharge of children against medical advice has a negative effect on the well-being of the patient. to determine the prevalence of discharge against medical advice (dama) among hospitalized children and examine the reasons given by parents/guardians for such discharges. methods: a retrospective 2-year medical records audit of children aged one day to 1...

OBJECTIVE To study private-practice clients' perspective on reasons for psychotherapy termination and how these are related to demographic and treatment variables and to satisfaction with therapy. DESIGN Eighty-four persons who had been in extended private-practice psychotherapy which ended in the preceding three years participated in the study. Mean number of months in treatment was 27.70 (S...