The polyphase-with-advance matrix representations of whole-sample symmetric (WS) unimodular filter banks form a multiplicative matrix Laurent polynomial group. Elements of this group can always be factored into lifting matrices with half-sample symmetric (HS) off-diagonal lifting filters; such linear phase lifting factorizations are specified in the ISO/IEC JPEG 2000 image coding standard. Half...

We introduce the concepts of lifting modules and (quasi-)discrete modules relative to a given left module. We also introduce the notion of SSRS-modules. It is shown that (1) if M is an amply supplementedmodule and 0→N ′ →N →N ′′ → 0 an exact sequence, then M isN-lifting if and only if it isN ′-lifting andN ′′-lifting; (2) ifM is a Noetherianmodule, then M is lifting if and only if M is R-liftin...

OBJECTIVES To assess the criterion-related validity of the five Ergo-Kit (EK) functional capacity evaluation (FCE) lifting tests in construction workers on sick leave due to musculoskeletal disorders (MSDs). METHODS Six weeks, 6 months and 1 year after the first sick leave day due to MSDs, construction workers underwent two isometric and three dynamic EK FCE lifting tests, and completed the I...

This study recruited 14 young male participants to examine human 4-h maximum acceptable weight of lifting (MAWL) and maximum weight of lifting (MWL) for different modes of asymmetric lifting and containers. The results showed that asymmetric lifting with trunk rotation decreased MAWL and MWL by 9.1 and 17.3%, respectively, and asymmetric lifting with body turn decreased MAWL and MWL by 6.1%, wh...

A semantic formulation of Lindley and Stark’s >>-lifting is given. We first illustrate our semantic formulation of the >>-lifting in Set with several examples, and apply it to the logical predicates for Moggi’s computational metalanguage. We then abstract the semantic >>-lifting as the lifting of strong monads across bifibrations with lifted symmetric monoidal closed structures.