Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper tableaux are a generalization of hyper tableaux, where branch closing substitutions, from the point of view of model generation, give rise to constraints on satisfying assignments for the branch. These variable constraints...

NASA’s Hyper-X Research Vehicle will provide a unique opportunity to obtain data on an operational airframe integrated scramjet propulsion system at true flight conditions. The airframe integrated nature of the scramjet engine with the Hyper-X vehicle results in a strong coupling effect between the propulsion system operation and the airframe’s basic aerodynamic characteristics. Comments on gen...

This article is devoted to analysis of researchers’ internal mobility in Russia related to their movement between academic institutes or universities and industry the so-called intersectoral mobility. Intersectoral mobility may acquire different forms: permanent, when a researcher moves from one organization to another for a full-time job, or temporary, as a part-time research work or consultin...

We consider inventory systems with several distinct items. Demands occur at constant, item specific rates. The items are interdependent because of jointly incurred fixed procurement costs: The joint cost structure reflects general economies of scale, merely assuming a monotonicity and concavity (submodularity) property. Under a power-of-two policy each item is replenished with constant reorder ...

This paper represents the first attempt to develop a set of loglinear models that synthesize gravity models of interregional mobility and loglinear models of occupational mobility. The development of the model is progressed from a simple two-way mobility table analysis to a three-way analysis that controls for one aspect of mobility while investigating another and eventually to a four-way analy...

Age-related involution in dogs involves loss of muscle mass and changes in connective tissue and articular cartilage. The aim of this study was to examine whether an age-related influence on joint mobility can be detected in the absence of disease. Five young (mean age 2.0 years) and five old (mean age 10.4 years) healthy and sound Beagle dogs underwent computer-assisted gait analysis during lo...

Video streaming over wireless network is challenging due to node mobility and high channel error rate. In this paper, we propose a joint server/peer, proxy-driven video streaming architecture to support high quality video streaming service over IEEE 802.11-based wireless networks. The video proxy tracks peer mobility pattern, coordinates among multiple senders and performs rate-distortion optim...

An exact solution to the barotropic potential vorticity equation is used to examine the properties of barotropic vortices under arbitrary nth-order hyper-diffusivity. Analytical expressions are derived for an eddy’s lifetime, meridional drift, decay in size, and energy, as functions of the Coriolis parameter, order and magnitude of diffusivity, and the eddy’s size, shape and strength. These exp...

Hyper-tubes consisting of hyper-cubes of n-dimensions were designed and formulas for substructures of vary dimensions established.