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.

Thesis (M.Sc.)--Memorial University of Newfoundland, 2005. / Includes bibliographical references.

Thesis (Ph. D.)--Ohio State University, 2006. / Title from first page of PDF file. Includes bibliographical references (p. 105-107).

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

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.

Lic.-avh. (sammanfattning) Stockholm : Karolinska institutet, 2008. / Härtill 3 uppsatser.

published_or_final_version / Nursing Studies / Master / Master of Nursing

Not available / text

No description available.

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