Spelling suggestions: "subject:"gifting"" "subject:"ifting""
111 |
Lifting TransformationsMcAllester, David, Siskind, Jeffrey 01 December 1991 (has links)
Lifting is a well known technique in resolution theorem proving, logic programming, and term rewriting. In this paper we formulate lifting as an efficiency-motivated program transformation applicable to a wide variety of nondeterministic procedures. This formulation allows the immediate lifting of complex procedures, such as the Davis-Putnam algorithm, which are otherwise difficult to lift. We treat both classical lifting, which is based on unification, and various closely related program transformations which we also call lifting transformations. These nonclassical lifting transformations are closely related to constraint techniques in logic programming, resolution, and term rewriting.
|
112 |
Effects of a simulated motion environment upon the physical demands of heavy materials handling operators /Holmes, Michael W. R., January 2005 (has links)
Thesis (M.Sc.)--Memorial University of Newfoundland, 2005. / Includes bibliographical references.
|
113 |
Lifting from SL(2) to GSpin(1,4)Pitale, Ameya, January 2006 (has links)
Thesis (Ph. D.)--Ohio State University, 2006. / Title from first page of PDF file. Includes bibliographical references (p. 105-107).
|
114 |
Myocardial structure and function differences between steroid using and non-steroid using elite powerlifters and endurance athletesClimstein, Mike 25 September 1989 (has links)
The purpose of this study was to compare the myocardial structure and
function among endurance athletes (n.12), powerlifters/steroid users (n=5),
powerlifters/non-steroid users (n=6), and sedentary controls (n=4).
All subjects had a M-mode echocardiographic examination of their left
ventricles under resting conditions. The echocardiographic measurements
recorded and analyzed were of the left ventricular posterior wall at diastole
and systole, left ventricular internal diameter at diastole and systole, and
inter-ventricular septal thickness at diastole and systole. Myocardial function
measurements consisting of left ventricle ejection time, left ventricular mass,
mean ventricular contractile force, and percent fractional shortening were
also recorded and analyzed. A One Way Analysis of Variance was used to
analyze the data for statistical significance. A Tukey's HSD post-hoc test was
used to determine statistical significance between the groups.
A significant difference (p =0.02) was found for inter-ventricular septal
thickness during diastole. All three athletic groups had significantly thicker
inter-ventricular septa' thickness during diastole as compared to the controls.
Power lifters/steroid users had the thickest inter-ventricular septal thickness
(18.7 mm), followed by endurance athletes (18.6 mm), and powerlifters/nonsteroid
users (16.5 mm). Overall, powerlifters/steroid users had the thickest
walls at systole and diastole, while endurance athletes had the greatest
internal diameters relative to the size of the left ventricle.
Statistically significant differences among the groups were found for all
four myocardial functional parameters: left ventricular ejection time (p = 0.03),
left ventricular mass (p = 0.002), mean ventricular contractile force of (p
0.0013), and percent fractional shortening (p = 0.05). Power lifters/steroid
users had the fastest left ventricular ejection times, largest left ventricular
mass, greatest mean ventricular contractile force, and greatest percent
fractional shortening. Endurance athletes had the slowest left ventricular
ejection times, second largest left ventricular mass, lowest mean ventricular
contractile force, and third lowest percent fractional shortening.
The results indicated that not all individuals participating in high level
endurance or powerlifting training and competition demonstrated complete
adaptations in myocardial structure and function. Power lifters/steroid users
however, demonstrated myocardial functional adaptations that were
significantly different from powerlifters/non-steroid users, endurance athletes,
and controls.
The results of this study cannot attribute these changes either to the
use of large amounts of anabolic steroids, or long-term, high-intensity training
and competition in powerlifting. However, the study identified alterations in
myocardial functions in powerlifters/steroid users, and contributes to the
existing body of knowledge regarding the use of anabolic steroids by
athletes. / Graduation date: 1990
|
115 |
A branch, price, and cut approach to solving the maximum weighted independent set problemWarrier, Deepak 17 September 2007 (has links)
The maximum weight-independent set problem (MWISP) is one of the most
well-known and well-studied NP-hard problems in the field of combinatorial
optimization.
In the first part of the dissertation, I explore efficient branch-and-price (B&P)
approaches to solve MWISP exactly. B&P is a useful integer-programming tool for
solving NP-hard optimization problems. Specifically, I look at vertex- and edge-disjoint
decompositions of the underlying graph. MWISPâÂÂs on the resulting subgraphs are less
challenging, on average, to solve. I use the B&P framework to solve MWISP on the
original graph G using these specially constructed subproblems to generate columns. I
demonstrate that vertex-disjoint partitioning scheme gives an effective approach for
relatively sparse graphs. I also show that the edge-disjoint approach is less effective than
the vertex-disjoint scheme because the associated DWD reformulation of the latter
entails a slow rate of convergence.
In the second part of the dissertation, I address convergence properties associated
with Dantzig-Wolfe Decomposition (DWD). I discuss prevalent methods for improving the rate of convergence of DWD. I also implement specific methods in application to the
edge-disjoint B&P scheme and show that these methods improve the rate of
convergence.
In the third part of the dissertation, I focus on identifying new cut-generation
methods within the B&P framework. Such methods have not been explored in the
literature. I present two new methodologies for generating generic cutting planes within
the B&P framework. These techniques are not limited to MWISP and can be used in
general applications of B&P. The first methodology generates cuts by identifying faces
(facets) of subproblem polytopes and lifting associated inequalities; the second
methodology computes Lift-and-Project (L&P) cuts within B&P. I successfully
demonstrate the feasibility of both approaches and present preliminary computational
tests of each.
|
116 |
Acute and early chronic responses to resistance exercise using flywheel or weightsNorrbrand, Lena, January 2008 (has links)
Lic.-avh. (sammanfattning) Stockholm : Karolinska institutet, 2008. / Härtill 3 uppsatser.
|
117 |
A manual handling operations training program for healthcare workers in preventing back pain and injuryWong, Man-ying, 黃文英 January 2010 (has links)
published_or_final_version / Nursing Studies / Master / Master of Nursing
|
118 |
The effects of strength training on arterial structure and function in middle-aged and older adultsCortez-Cooper, Miriam Yvette 28 August 2008 (has links)
Not available / text
|
119 |
Comparative effects of eccentric and concentric muscular contractions on strength increase of the knee extensorsKnoeppel, David E., 1948- January 1974 (has links)
No description available.
|
120 |
Analys och standardisering av vakuumlyftokJohansson, Peter, Johansson, Robert January 2008 (has links)
Outokumpu Stainless tillverkar rostfri styckeplåt. ABB Industriunderhåll AB har sedan 11 år tillbaks i tiden ansvarat för underhållet på anläggningen i Degerfors åt avdelningen Hot Rolled Plate. Hjälpmedel för att transportera och förflytta plåtar är vakuumlyftok och en undersökning har gjorts om det finns möjlighet att modifiera vakuumlyftoken så att bättre underhållsmässighet uppnås. Två stycken äldre vakuumlyftok har modifierats med förslag på nya komponenter valda för att få en standard både för nya och äldre vakuumlyftok. Vakuumlyftok 173 (fr.1978): Ny vakuumvakt (PN7009), vakuummeter (AM80-N) och filter (PIAB G3/8”). Total kostnad för modifiering: 122 695 kr Underhållskostnad (år 2007): 538 127 kr Nytt vakuumlyftok (inköpspris): 700 000 – 1 200 000 kr Nytt vakuumlyftok med antisvajsystem rekommenderas för att få ner underhållskostnader som till stor del består av trasiga sugkoppar. Vakummlyftok 332 (fr.1992): Ny vakuumvakt (PN7009). Total kostnad för modifiering: 38 505 kr Underhållskostnad (år 2007): 69 230 kr Vakuumvakten är utgående och behöver ersättas med en ny. Plåtar som anses vara problem att lyfta med vakuumlyftok är de med en tjocklek på 20 mm då det händer att dessa tappas. FEM-analyser på tre valda vakummlyftok har gjorts i PRO/E Mechanica och Ansys som resulterat i följande: Vakuumlyftok 173: Maximal plåtlängd ca 12 170 mm och maximalt utstick ca 2000 mm Vakuumlyftok 332: Maximal plåtlängd +14 000 mm och maximalt utstick +1900 mm Vakuumlyftok 457: Maximal plåtlängd ca 11 300 mm och maximalt utstick ca 1900 mm / Outokumpu Stainless manufactures stainless steel plates. ABB Industriunderhåll AB has since 11 years been responsible for the maintenance of Hot Rolled Plate at Outokumpu, Degerfors. Transportation of plates is made with the help of vacuum lifting beams. Investigation has been made whether it is possible or not to modify vacuum lifting beams to achieve better maintainability. Two elderly vacuum lifting beams have been modified with proposals for new components selected to achieve a standard for both new and older vacuum lifting beams Vacuum lifting beam 173 (fr.1978): New underpressure switch (PN7009), vacuum gauge (AM80-N) and vacuum filters (PIAB G3/8") . Total cost of the modification: 122 695 SEK Cost of maintenance (year 2007): 538 127 SEK New vacuum lifting beam (purchase): 700 000 - 1 200 000 SEK A new vacuum lifting beam with a swing compensating system recommends to reduce maintenance costs of broken suction plates. Vacuum lifting beam 332 (fr.1992): New underpressure switch (PN7009). Total cost for modification: 38 505 SEK Cost of maintenance (year 2007): 69 230 SEK The underpressure switch is outgoing and needs to be replaced with a new one. Plates that considered causing problems for vacuum lifting beams are the long plates with a thickness of 20mm. Sometimes steel plates come loose which violates the safety. Three selected vacuum lifting beams have been FEM-analyzed in Pro/E Mechanica and Ansys, which resulted in the following. Vacuum lifting beam 173: Max. plate length 12 170 mm and a maximum projecting 2000 mm Vacuum lifting beam 332: Max. plate length +14 000 mm and a maximum projecting +1900 mm Vacuum lifting beam 457: Max. plate length 11 300 mm and a maximum projecting 1900 mm
|
Page generated in 0.0423 seconds