We present some lifting theorems for continuous order-preserving functions on locally and σ-compact Hausdorff preordered topological spaces. In particular, we show that a preorder space has multi-utility representation if, only every compact subspace, function can be lifted to the entire space. Such characterization is also presented by introducing property of ≾-C-compatible closed subspaces. T...

this study involved 154 anesthetized patients requiring endotracheal intubation, in whom the epiglottis was visible but not lifted, which restricted the view of the glottis. a simple stylet was used to lift the epiglottis, thus improving the view of the glottis with the glide scope®, allowing tracheal tubes to be inserted into the patients. the stylet easily resolved the difficulty of lifting t...

The Davis-Putnam-Logemann-Loveland procedure (DPLL) was introduced in the early 60s as a proof procedure for first-order logic. Nowadays, only its propositional logic core component is widely used in efficient propositional logic provers and respective applications. This success motivates to reconsider lifting DPLL to the first-order logic level in a more contemporary way, by exploiting success...

The near-horizon geometry of an asymptotically AdS5 supersymmetric black hole discovered by Gutowski and Reall is analysed. After lifting the solution to 10 dimensions, we explicitly solve the Killing spinor equations in both Poincaré and global coordinates. It is found that exactly four supersymmetries are preserved which is twice the number for the full black hole. The full set of isometries ...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

In this work we present a strong analysis of the testability of a broad, and to date the most interesting known, class of “affine-invariant” codes. Affine-invariant codes are codes whose coordinates are associated with a vector space and are invariant under affine transformations of the coordinate space. Affine-invariant linear codes form a natural abstraction of algebraic properties such as li...

Lifting modules and their various generalizations as some main concepts in module theory have been studied and investigated extensively in recent decades. Some authors tried to present some homological aspects of lifting modules and -supplemented modules. In this work, we shall present a homological approach to -supplemented modules via fully invariant submodules. Lifting modules and H-suppleme...

Ten young male participants were recruited to test their maximum symmetric and asymmetric isoinertial lifting capabilities from floor to the knuckle height in different container dimensions varied in both width and length. The results showed that the order from the highest to lowest lifting capability for the lifting modes was symmetric lifting, asymmetric lifting with leg rotation and asymmetr...

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences ...

Large number of ferrous steel wire ropes is in use in different industries, carrying people and freight, supporting bridges and towers, lifting pipes and vessels offshore and onshore, underground and aboveground. The bigger and the longer is the rope, the more expensive it is. Later or sooner ropes deteriorate for different reasons, their further use may be dangerous, and important question ari...