A variable elimination rule allows the polynomialtime identification of certain variables whose elimination does not affect the satisfiability of an instance. Variable elimination in the constraint satisfaction problem (CSP) can be used in preprocessing or during search to reduce search space size. We show that there are essentially just four variable elimination rules defined by forbidding gen...

The uniform one-dimensional fragment U1 of first-order logic was introduced recently as a natural generalization of the two-variable fragment FO2 to contexts with relation symbols of all arities. It was shown that U1 has the exponential model property and a NExpTime-complete satisfiability problem. In this paper we investigate two restrictions of U1 that still contain FO2. We call these logics ...

We report results of Chandra X-ray and VLA radio observations of the Galactic accreting black hole V404 Cyg (GS 2023+338) in its quiescent state. V404 Cyg is detected at its faintest level of radio and X-ray emission with a 0.5–10 keV unabsorbed luminosity of 8.3 × 10 (d/3.5 kpc) erg s. The X-ray spectrum fit with an absorbed power-law model yields a photon index of 2.17 ± 0.13. Contrary to pre...

The energy content in radiation from beyond our Galaxy is dominated by the Cosmic Microwave Background (CMB), discovered in 1965 [1]. The spectrum of the CMB is well described by a blackbody function with T = 2.725 K. This spectral form is one of the main pillars of the hot Big Bang model for the early Universe. The lack of any observed deviations from a blackbody spectrum constrains physical p...

The statistical literature discusses different types of Markov properties for chain graphs that lead to four possible classes of chain graph Markov models. The different models are rather well understood when the observations are continuous and multivariate normal, and it is also known that one model class, referred to as models of LWF (Lauritzen–Wermuth–Frydenberg) or block concentration type,...

Laguerre entire functions are the polynomials of a single complex variable possessing real nonpositive zeros only or their limits on compact subsets of C. These functions are employed to establish a property of isotropic (i.e., OðNÞ-invariant) probability measures on R , N 2 N. It is called the Lee–Yang property since, in the case N 1⁄4 1, it corresponds to the property of the partition functio...

A dynamic discrete time model is estimated in order to analyze the evolution of perceived risk around a hazardous waste site and its effect on property values. Residential property values are modeled as a function of housing attributes and perceived risk to health from a nearby hazardous waste site using an hedonic price framework. Perceived risk enters the model as a state equation, which incl...

Severe vibration may occur in structures such as high-rise buildings and bridges according to wind seismic excitations, large space due their lightweight flexible constitution. Generally, when several modes are simultaneously excited, application of the model-based control strategies become difficult. In this study, we propose a wave absorption method for reducing vibrations multi-degree-of-fre...