Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption

Backdoors and backbones of Boolean formulas are hidden structural properties. A natural goal, already in part realized, is that solver algorithms seek to obtain substantially better performance by exploiting these structures. However, the present paper is not intended to improve the performance of SAT solvers, but rather is a cautionary paper. In particular, the theme of this paper is that there is a potential chasm between the existence of such structures in the Boolean formula and being able to effectively exploit them. This does not mean that these structures are not useful to solvers. It does mean that one must be very careful not to assume that it is computationally easy to go from the existence of a structure to being able to get one's hands on it and/or being able to exploit the structure. For example, in this paper we show that, under the assumption that P $\neq$ NP, there are easily recognizable families of Boolean formulas with strong backdoors that are easy to find, yet for which it is hard (in fact, NP-complete) to determine whether the formulas are satisfiable. We also show that, also under the assumption P $\neq$ NP, there are easily recognizable sets of Boolean formulas for which it is hard (in fact, NP-complete) to determine whether they have a large backbone

Development of a surface isolation estimation technique suitable for application of polar orbiting satellite data

A technique is developed for the estimation of total daily insolation on the basis of data derivable from operational polar-orbiting satellites. Although surface insolation and meteorological observations are used in the development, the algorithm is constrained in application by the infrequent daytime polar-orbiter coverage

RAGE Signaling in Skeletal Biology

PURPOSE OF REVIEW: The receptor for advanced glycation end products (RAGE) and several of its ligands have been implicated in the onset and progression of pathologies associated with aging, chronic inflammation, and cellular stress. In particular, the role of RAGE and its ligands in bone tissue during both physiological and pathological conditions has been investigated. However, the extent to which RAGE signaling regulates bone homeostasis and disease onset remains unclear. Further, RAGE effects in the different bone cells and whether these effects are cell-type specific is unknown. The objective of the current review is to describe the literature over RAGE signaling in skeletal biology as well as discuss the clinical potential of RAGE as a diagnostic and/or therapeutic target in bone disease. RECENT FINDINGS: The role of RAGE and its ligands during skeletal homeostasis, tissue repair, and disease onset/progression is beginning to be uncovered. For example, detrimental effects of the RAGE ligands, advanced glycation end products (AGEs), have been identified for osteoblast viability/activity, while others have observed that low level AGE exposure stimulates osteoblast autophagy, which subsequently promotes viability and function. Similar findings have been reported with HMGB1, another RAGE ligand, in which high levels of the ligand are associated with osteoblast/osteocyte apoptosis, whereas low level/short-term administration stimulates osteoblast differentiation/bone formation and promotes fracture healing. Additionally, elevated levels of several RAGE ligands (AGEs, HMGB1, S100 proteins) induce osteoblast/osteocyte apoptosis and stimulate cytokine production, which is associated with increased osteoclast differentiation/activity. Conversely, direct RAGE-ligand exposure in osteoclasts may have inhibitory effects. These observations support a conclusion that elevated bone resorption observed in conditions of high circulating ligands and RAGE expression are due to actions on osteoblasts/osteocytes rather than direct actions on osteoclasts, although additional work is required to substantiate the observations. Recent studies have demonstrated that RAGE and its ligands play an important physiological role in the regulation of skeletal development, homeostasis, and repair/regeneration. Conversely, elevated levels of RAGE and its ligands are clearly related with various diseases associated with increased bone loss and fragility. However, despite the recent advancements in the field, many questions regarding RAGE and its ligands in skeletal biology remain unanswered

Nonlocal symmetries of Riccati and Abel chains and their similarity reductions

We study nonlocal symmetries and their similarity reductions of Riccati and Abel chains. Our results show that all the equations in Riccati chain share the same form of nonlocal symmetry. The similarity reduced $N^{th}$ order ordinary differential equation (ODE), $N=2, 3,4,...$, in this chain yields $(N-1)^{th}$ order ODE in the same chain. All the equations in the Abel chain also share the same form of nonlocal symmetry (which is different from the one that exist in Riccati chain) but the similarity reduced $N^{th}$ order ODE, $N=2, 3,4,$, in the Abel chain always ends at the $(N-1)^{th}$ order ODE in the Riccati chain. We describe the method of finding general solution of all the equations that appear in these chains from the nonlocal symmetry.Comment: Accepted for publication in J. Math. Phy

High Redshift Standard Candles: Predicted Cosmological Constraints

We investigate whether future measurements of high redshift standard candles (HzSCs) will be a powerful probe of dark energy, when compared to other types of planned dark energy measurements. Active galactic nuclei and gamma ray bursts have both been proposed as potential HzSC candidates. Due to their high luminosity, they can be used to probe unexplored regions in the expansion history of the universe. Information from these regions can help constrain the properties of dark energy, and in particular, whether it varies over time. We consider both linear and piecewise parameterizations of the dark energy equation of state, $w(z)$, and assess the optimal redshift distribution a high-redshift standard-candle survey could take to constrain these models. The more general the form of the dark energy equation of state $w(z)$ being tested, the more useful high-redshift standard candles become. For a linear parameterization of $w(z)$, HzSCs give only small improvements over planned supernova and baryon acoustic oscillation measurements; a wide redshift range with many low redshift points is optimal to constrain this linear model. However to constrain a general, and thus potentially more informative, form of $w(z)$, having many HzSCs can significantly improve limits on the nature of dark energy.Comment: Accepted MNRAS, 27 Pages, 15 figures, matches published versio

Evaluation of Microwave Landing System (MLS) effect on the delivery performance of a fixed-path metering and spacing system

Metering and spacing (M & S) system's algorithms described assume an aircraft two dimensional are navigation capability. The three navigation systems compared were: very high frequency omnidirectional range/distance measuring equipment (VOR/DME) and ILS, VOR/DME and + or - 40 MLS, and VOR/DME and + or - 60 MLS. Other factors studied were M & S tentative schedule point location, route geometry effects, and approach gate location effects. Summarized results are: the MLS offers some improvement over VOR/DME and ILS if all approach routes contain computer assisted turns; pilot reaction to moving the gate closer to the runway threshold may adversely affect M & S performance; and coupling en route metering to terminal scheduling transfers most of the terminal holding to more full efficient, higher altitude en route delay

Squeezed: Why Rising Exposure to Health Care Costs Threatens the Health and Financial Well-Being of American Families

Examines U.S. healthcare costs compared with other industrialized countries, individual health insurance coverage, individual market regulations, and the impact of high deductible plans on the health of individuals with chronic disease

Gaps in Health Insurance: An All-American Problem

Presents findings from a survey that examines health insurance coverage, rising healthcare costs, and the health and financial consequences to families that experience breaks in insurance

Combination of geodetic observations and models for glacial isostatic adjustment fields in Fennoscandia

We demonstrate a new technique for using geodetic data to update a priori predictions for Glacial Isostatic Adjustment (GIA) in the Fennoscandia region. Global Positioning System (GPS), tide gauge, and Gravity Recovery and Climate Experiment (GRACE) gravity rates are assimilated into our model. The technique allows us to investigate the individual contributions from these data sets to the output GIA model in a self-consistent manner. Another benefit of the technique is that we are able to estimate uncertainties for the output model. These are reduced with each data set assimilated. Any uncertainties in the GPS reference frame are absorbed by reference frame adjustments that are estimated as part of the assimilation. Our updated model shows a spatial pattern and magnitude of peak uplift that is consistent with previous models, but our location of peak uplift is slightly to the east of many of these. We also simultaneously estimate a spatially averaged rate of local sea level rise. This regional rate (similar to 1.5 mm/yr) is consistent for all solutions, regardless of which data sets are assimilated or the magnitude of a priori GPS reference frame constraints. However, this is only the case if a uniform regional gravity rate, probably representing errors in, or unmodeled contributions to, the low-degree harmonic terms from GRACE, is also estimated for the assimilated GRACE data. Our estimated sea level rate is consistent with estimates obtained using a more traditional approach of direct "correction" using collocated GPS and tide gauge site