We report a polynomial time SAT problem instance, the Blocked SAT problem. A blocked clause set, an instance of the Blocked SAT problem, contains only blocked clauses. A close is blocked (for resolution) if it has a literal on which no resolution is possible in the clause set. We know from work of O. Kullmann that a blocked clause can be added or deleted from a clause set without changing its s...

BACKGROUND South Asians and African Caribbeans experience more cardiometabolic disease than Europeans. Risk factors include visceral (VAT) and subcutaneous abdominal (SAT) adipose tissue, which vary with ethnicity and are difficult to quantify using anthropometry. OBJECTIVE We developed and cross-validated ethnicity and gender-specific equations using anthropometrics to predict VAT and SAT. ...

The POM-SAT model for comparing air and ground temperatures is based on the supposition that surface air temperature (SAT) records provide a good prediction of thermal transients in the shallow subsurface of the Earth. This model consists of two components, the forcing function and an initial condition, termed the pre-observational mean (POM). I explore the sensitivity of this model as a functi...

MOTIVATION The Sequence Search Algorithm Assessment and Testing Toolkit (SAT) aims to be a complete package for the comparison of different protein homology search algorithms. The structural classification of proteins can provide us with a clear criterion for judgment in homology detection. There have been several assessments based on structural sequences with classifications but a good deal of...

The distribution of overlaps of solutions of a random CSP is an indicator of the overall geometry of its solution space. For random k-SAT, nonrigorous methods from Statistical Physics support the validity of the “one step replica symmetry breaking” approach. Some of these predictions were rigorously confirmed in [MMZ05a] [MMZ05b]. There it is proved that the overlap distribution of random k-SAT...

This paper applies the recently proposed Extended Maximum Likelihood Linear Transformation (EMLLT) model in a Speaker Adaptive Training (SAT) context on the Switchboard database. Adaptation is carried out with maximum likelihood estimation of linear transforms for the means, precisions (inverse covariances) and the feature-space under the EMLLT model. This paper shows the first experimental evi...

Experimental elevation of [CO₂] around C₃ crops in the field has been shown to increase yields by suppressing the Rubisco oxygenase reaction and, in turn, photorespiration. Bioengineering a cyanobacterial carbon-concentrating mechanism (CCM) into C₃ crop species provides a potential means of elevating [CO₂] at Rubisco, thereby decreasing photorespiration and increasing photosynthetic efficiency...

BACKGROUND HIV lipodystrophy - characterized by peripheral lipoatrophy, with or without central fat accumulation - confers increased metabolic risk. However, the functional activity of HIV lipodystrophic tissue in relation to metabolic risk has yet to be fully explored in vivo through the use of non-invasive imaging techniques. This study assesses the relationship between FDG uptake in various ...

A δ-model is a satisfying assignment of a Boolean formula for which any small alteration, such as a single bit flip, can be repaired by flips to some small number of other bits, yielding a new satisfying assignment. These satisfying assignments represent robust solutions to optimization problems (e.g., scheduling) where it is possible to recover from unforeseen events (e.g., a resource becoming...

The satissability (SAT) problem is a basic problem in computing theory. Presently, an active area of research on SAT problem is to design eecient optimization algorithms for nding a solution for a satissable CNF formula. A new formulation, the Universal SAT problem model, which transforms the SAT problem on Boolean space into an optimization problem on real space has been developed 31, 35, 34, ...