Gravity is one of the most inexplicable forces of nature, controlling everything, from the expansion of the Universe to the ebb and flow of ocean tides. The search for the laws of motion and gravitation began more than two thousand years ago but still we do not have the complete picture of it. In this article, we have outlined how our understanding of gravity is changing drastically with time a...

Rational choice when preferences are not required to be transitive and complete has been discussed in the literature for years. In this article transitivity and completeness of the preference relation is also not assumed. It will be shown that nevertheless the existence of a competitive equilibrium can be proven when those properties are replaced by a domination property which allows that there...

We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints that is both efficient and effective at breaking symmetry. We then extend value precedence to deal with a number of generalizations like wreath value and partial interchangeability. We also show that value precedence is...

Background: Poisoning with carbon monoxide occurs occasionally worldwide, and the gold diagnostic standard is to measure carboxyhemoglobin level in the blood. This study investigated the correlation between carboxyhemoglobin and the end-tidal carbon dioxide levels in 50 patients with carbon monoxide poisoning. Methods: We recruited 50 volunteer patients who had been admitted to the Emergency S...

Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...

Quark-meson duality for two-point functions of vector and axial-vector QCD currents is investigated in the large-Nc approximation. We find that the joint constraints of duality and chiral symmetry imply degeneracy of excited vector and axial-vector mesons in the large-Nc limit. We compare model-independent constraints with expectations based on the VenezianoLovelace-Shapiro string model. Severa...

Key words. Cosmology: dark mater – Galaxies: halos – Gravitational lensing Our aim is to constrain the properties of dark matter halos inhabiting high density environments, such as is the case in massive galaxy clusters. We use galaxy-galaxy lensing techniques that utilize a maximum likelihood method to constrain the parameters of the lenses. It has been demonstrated that such a technique provi...