Boolean constraints play an important role in various constraint logic programming languages. In this paper we consider pseudo-Boolean constraints, that is equations and inequalities between pseudo-Boolean functions. A pseudoBoolean function is an integer-valued function of Boolean variables and thus a generalization of a Boolean function. Pseudo-Boolean functions occur in many application area...

Outdoor access is an important part of organic and free-range poultry production, yet limited information exists on the effect of various housing and production systems on growth performance and colonization of food-borne pathogens. Therefore, the primary purpose of the current study was to evaluate the influence of different housing systems, particularly fixed versus small, portable houses, wi...

The vibrational structure of the chromophore in the primary photoproduct of vision, bathorhodopsin, is examined to determine the cause of the anomalously decoupled and intense C(11)=C(12) hydrogen-out-of-plane (HOOP) wagging modes and their relation to energy storage in the primary photoproduct. Low-temperature (77 K) resonance Raman spectra of Glu181 and Ser186 mutants of bovine rhodopsin reve...

When the characteristic length of an elastic solid is down to the nanometer level, its deformation behavior becomes size dependent. Surface energy /surface stress have recently been applied to explain such dependency. In this paper, the effect of strain-independent surface stress on the deformation of an isotropic elastic solid containing a nanosized elliptical hole is studied by the finite ele...

Given a star product with separation of variables ⋆ on pseudo-Kähler manifold M and point x0∈M, we construct an associative algebra formal distributions supported at x0. We use this to express the oscillatory exponents family integrals related ⋆.

In cylindrical continua, hoop stresses are induced due to the circumferential failure. This mainly happens when the cylinder is subjected to mechanical loads which vary in the circumferential directions. On the other hand, radial stress is stress in the direction of or opposite to the central axis of a cylindrical body. In the present study, the influence of curvilinear anisotropy on the radial...

The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...

BACKGROUND Stent longitudinal distortion, while infrequent, can lead to adverse clinical events. Our first bench comparison of susceptibility of different stent designs to distortion applied force to the entire circumference of the proximal stent hoop. The test increased understanding of stent design and led to recommendations for design change in some. Our second-generation test more closely m...

Let G be a Poisson–Lie group equipped with left invariant contravariant pseudo-Riemannian metric. There are many ways to lift the Poisson structure on tangent bundle TG of G. In this paper, we induce metric TG, and express in different cases Levi-Civita connection curvature terms We prove that space differential forms Ω*(G) is graded algebra if, only Ω*(TG) algebra. Moreover, show Sanchez de Al...