Lifting is one of the most important general techniques for accelerating dii-cult computations. Lifting was used by Alan Robinson in the early 1960's to accelerate rst order inference Robinson, 1965]. A complete inference procedure had been done by Martin Davis and Hillary Putnam a few years prior to Robinson's work Davis and Putnam, 1960]. Unfortunately, it was a ground procedure and suuered f...

INTRODUCTION In order to achieve a higher success rate for tympanoplasty, different techniques have been developed, and a wide variety of grafting materials have been developed. One of the techniques currently receiving considerable attention involves not lifting the remaining of eardrum from the malleus and embedding the graft underneath in order to repair the eardrum correctly in its original...

There have been an abundance of lifting studies performed throughout the history of biomechanical analysis however, there are few studies that have looked at the biomechanics of placing a box on a target or within a restricted space. Of those studies, none have looked at the human’s ability to precisely place the box, and none have considered precise placement in restricted space. Furthermore, ...

As torso flexion and repetitive lifting are known risk factors for low back pain and injury, it is important to investigate lifting techniques that might reduce injury during repetitive lifting. By normalizing lumbar posture to a subject's range of motion (ROM), as a function of torso flexion, this research examined when subjects approached their range of motion limits during dynamic lifting ta...

Manual Handling involves the lifting, carrying, pushing and pulling of materials and objects [1]. Training in safe handling techniques is a recommended way to reduce risk factors associated with manual handling within the working environment, particularly the lifting of low-lying objects as this has long been associated with an increased risk of lower back injuries [2]. However, manual handling...

let $m$ be a right module over a ring $r$, $tau_m$ a preradical on $sigma[m]$, and$ninsigma[m]$. in this note we show that if $n_1, n_2in sigma[m]$ are two$tau_m$-lifting modules such that $n_i$ is $n_j$-projective ($i,j=1,2$), then $n=n_1oplusn_2$ is $tau_m$-lifting. we investigate when homomorphic image of a $tau_m$-lifting moduleis $tau_m$-lifting.

This paper compares the performance of face image retrieval system based on discrete wavelet transforms and Lifting wavelet transforms with principal component analysis (PCA). These techniques are implemented and their performances are investigated using frontal facial images from the ORL database. The Discrete Wavelet Transform is effective in representing image features and is suitable in Fac...