Modern compilers for ML-like polymorphic languages have used explicit run-time type passing to support advanced optimizations such as intensional type analysis, representation analysis and tagless garbage collection. Unfortunately, maintaining type information at run time can incur a large overhead to the time and space usage of a program. In this paper, we present an optimal type-lifting algor...

The notion of adequate subgroups was introduced by Jack Thorne [42]. It is a weakening of the notion of big subgroups used in generalizations of the Taylor-Wiles method for proving the automorphy of certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] that if the dimension is small compared to the characteristic th...

There are some basic real life problems that cannot be solved using classical mathematical techniques. In this paper Functional Networks have been effectively used to solve practical CAD problems related to plant engineering Industry. Modular Construction of plants is becoming popular due to severe weather conditions at plant sites. The modules are transported to and assembled at the actual pla...

An experimental and simulation flight test has been carried out to evaluate the longitudinal gliding characteristics of a lifting body with blunted half-cone geometry. The novelty here is the lifting body's pitch control mechanism, which consists of a pair of leading-edge rotating cylinders. Flight simulation uses aerodynamic data from computational fluid dynamics supported by wind-tunnel test....

let $r$ be a commutative noetherian ring with non-zero identity and $fa$ an ideal of $r$. let $m$ be a finite $r$--module of finite projective dimension and $n$ an arbitrary finite $r$--module. we characterize the membership of the generalized local cohomology modules $lc^{i}_{fa}(m,n)$ in certain serre subcategories of the category of modules from upper bounds. we define and study the properti...

manual material handling is identified as one of the musculoskeletal disorders risk factors. the aims of this study were to evaluate lifting activities by niosh equation and mac method and the correlation of these two methods. this cross-sectional study was conducted in a rubber industry. studied subjects were 136 male workers selected from various sections by proportional-to size sampling meth...

This paper proposes a generic lifting technology (Barbell Lifting), where each predicting or updating signal is generated with a Barbell function instead of always a sample from single direction or bi-direction, to incorporate various motion alignment methods into temporal wavelet transform. The proposed lifting technology embraces fractional pixel motion alignment, variable block size motion a...

The maximum acceptable weights of lift (MAWL) of obese and non-obese participants were empirically investigated. Three obesity levels were considered: nonobese (18.5 kg/m body mass index (BMI) 24.9 kg/m), moderately obese (35 kg/m BMI 39.9 kg/m) and extremely obese (BMI 40 kg/m). Ten male and 10 female participants were recruited for each obesity level. The participants determined their MAWL fo...

BIOMECHANICAL ANALYSIS OF ASYMMETRIC AND DYNAMIC LIFTING TASK by Xiaopeng Jiang Lifting tasks is one of the leading causes of occupational lower back disorders (LBD). Aimed at deriving internal forces of human musculoskeletal system during lifting, biomechanical models are utilized to address this problem. This thesis provides an indepth literature review of such modeling, and the results of ex...

background: proper training on how to correctly handle loads is one key point for prevention of low back disorders. this study was conducted with the objectives of assessing manual material lifting activities and comparing two methods of training intervention in a porcelain company.   methods: in this randomized controlled trial which was conducted in a porcelain company, all male employees wit...