| slovo | definícia |
lifting
(encz) | lifting,zdvihající adj: Zdeněk Brož |
lifting
(encz) | lifting,zdvihání n: Zdeněk Brož |
lifting
(encz) | lifting,zvedací adj: Zdeněk Brož |
lifting
(encz) | lifting,zvedající adj: Zdeněk Brož |
lifting
(encz) | lifting,zvedání n: Zdeněk Brož |
Lifting
(gcide) | Lift \Lift\ (l[i^]ft), v. t. [imp. & p. p. Lifted; p. pr. &
vb. n. Lifting.] [Icel. lypta, fr. lopt air; akin to Sw.
lyfta to lift, Dan. l["o]fte, G. l["u]ften; -- prop., to
raise into the air. See Loft, and cf. 1st Lift.]
1. To move in a direction opposite to that of gravitation; to
raise; to elevate; to bring up from a lower place to a
higher; to upheave; sometimes implying a continued support
or holding in the higher place; -- said of material
things; as, to lift the foot or the hand; to lift a chair
or a burden.
[1913 Webster]
2. To raise, elevate, exalt, improve, in rank, condition,
estimation, character, etc.; -- often with up.
[1913 Webster]
The Roman virtues lift up mortal man. --Addison.
[1913 Webster]
Lest, being lifted up with pride. --1 Tim. iii.
6.
[1913 Webster]
3. To bear; to support. [Obs.] --Spenser.
[1913 Webster]
4. To collect, as moneys due; to raise.
[1913 Webster]
5. [Perh. a different word, and akin to Goth. hliftus thief,
hlifan to steal, L. clepere, Gr. kle`ptein. Cf.
Shoplifter.] To steal; to carry off by theft (esp.
cattle); as, to lift a drove of cattle.
[1913 Webster]
Note: In old writers, lift is sometimes used for lifted.
[1913 Webster]
He ne'er lift up his hand but conquered. --Shak.
[1913 Webster]
To lift up, to raise or elevate; in the Scriptures,
specifically, to elevate upon the cross. --John viii. 28.
To lift up the eyes. To look up; to raise the eyes, as in
prayer. --Ps. cxxi. 1.
To lift up the feet, to come speedily to one's relief.
--Ps. lxxiv. 3.
To lift up the hand.
(a) To take an oath. --Gen. xiv. 22.
(b) To pray. --Ps. xxviii. 2.
(c) To engage in duty. --Heb. xii. 12.
To lift up the hand against, to rebel against; to assault;
to attack; to injure; to oppress. --Job xxxi. 21.
To lift up one's head, to cause one to be exalted or to
rejoice. --Gen. xl. 13. --Luke xxi. 28.
To lift up the heel against, to treat with insolence or
unkindness. --John xiii.18.
To lift up the voice, to cry aloud; to call out. --Gen.
xxi. 16.
[1913 Webster] |
Lifting
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster] |
| | podobné slovo | definícia |
lifting capacity
(mass) | lifting capacity
- nosnosť |
face lifting
(encz) | face lifting,kosmetika n: web |
heavy lifting
(encz) | heavy lifting, n: |
lifting
(encz) | lifting,zdvihající adj: Zdeněk Brožlifting,zdvihání n: Zdeněk Brožlifting,zvedací adj: Zdeněk Brožlifting,zvedající adj: Zdeněk Brožlifting,zvedání n: Zdeněk Brož |
lifting device
(encz) | lifting device, n: |
shoplifting
(encz) | shoplifting,kradení v obchodě Zdeněk Brožshoplifting,krádež Zdeněk Brožshoplifting,krádeže v obchodech Zdeněk Brož |
table lifting
(encz) | table lifting, n: |
uplifting
(encz) | uplifting,povznášející adj: Zdeněk Brož |
weight lifting
(encz) | weight lifting,vzpírání n: Zdeněk Brož |
weightlifting
(encz) | weightlifting,vzpírání n: Zdeněk Brož |
Lifting bridge
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster] |
Lifting jack
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster] |
Lifting machine
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster]Health \Health\ (h[e^]lth), n. [OE. helthe, AS. h[=ae]l[thorn],
fr. h[=a]l hale, sound, whole. See Whole.]
1. The state of being hale, sound, or whole, in body, mind,
or soul; especially, the state of being free from physical
disease or pain.
[1913 Webster]
There is no health in us. --Book of
Common Prayer.
[1913 Webster]
Though health may be enjoyed without gratitude, it
can not be sported with without loss, or regained by
courage. --Buckminster.
[1913 Webster]
2. A wish of health and happiness, as in pledging a person in
a toast. "Come, love and health to all." --Shak.
[1913 Webster]
Bill of health. See under Bill.
Health lift, a machine for exercise, so arranged that a
person lifts an increasing weight, or moves a spring of
increasing tension, in such a manner that most of the
muscles of the body are brought into gradual action; --
also called lifting machine.
Health officer, one charged with the enforcement of the
sanitary laws of a port or other place.
To drink a health. See under Drink.
[1913 Webster] |
lifting machine
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster]Health \Health\ (h[e^]lth), n. [OE. helthe, AS. h[=ae]l[thorn],
fr. h[=a]l hale, sound, whole. See Whole.]
1. The state of being hale, sound, or whole, in body, mind,
or soul; especially, the state of being free from physical
disease or pain.
[1913 Webster]
There is no health in us. --Book of
Common Prayer.
[1913 Webster]
Though health may be enjoyed without gratitude, it
can not be sported with without loss, or regained by
courage. --Buckminster.
[1913 Webster]
2. A wish of health and happiness, as in pledging a person in
a toast. "Come, love and health to all." --Shak.
[1913 Webster]
Bill of health. See under Bill.
Health lift, a machine for exercise, so arranged that a
person lifts an increasing weight, or moves a spring of
increasing tension, in such a manner that most of the
muscles of the body are brought into gradual action; --
also called lifting machine.
Health officer, one charged with the enforcement of the
sanitary laws of a port or other place.
To drink a health. See under Drink.
[1913 Webster] |
Lifting pump
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster] |
Lifting rod
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster] |
Lifting sail
(gcide) | Lifting \Lift"ing\, a.
Used in, or for, or by, lifting.
[1913 Webster]
Lifting bridge, a lift bridge.
Lifting jack. See 2d Jack, 5.
Lifting machine. See Health lift, under Health.
Lifting pump. (Mach.)
(a) A kind of pump having a bucket, or valved piston, instead
of a solid piston, for drawing water and lifting it to a
high level.
(b) A pump which lifts the water only to the top of the pump,
or delivers it through a spout; a lift pump.
Lifting rod, a vertical rod lifted by a rock shaft, and
imparting motion to a puppet valve; -- used in the engines
of river steamboats.
Lifting sail (Naut.), one which tends to lift a vessel's
bow out of water, as jibs and square foresails.
[1913 Webster] |
Shoplifting
(gcide) | Shoplifting \Shop"lift`ing\, n.
Larceny committed in a shop; the stealing of anything from a
shop.
[1913 Webster] |
Uplifting
(gcide) | Uplift \Up*lift"\, v. t. [imp. & p. p. Uplifting.]
To lift or raise aloft; to raise; to elevate; as, to uplift
the arm; to uplift a rock. --Cowper.
[1913 Webster]
Satan, talking to his nearest mate,
With head uplift above the wave, and eyes
That sparkling blazed. --Milton.
[1913 Webster] |
face lifting
(wn) | face lifting
n 1: a renovation that improves the outward appearance (as of a
building) but usually does not involve major changes; "give
your home a facelift"; "more than a facelift, the new model
marks a fundamental change of direction" [syn: face lift,
facelift, face lifting]
2: plastic surgery to remove wrinkles and other signs of aging
from your face; an incision is made near the hair line and
skin is pulled back and excess tissue is excised; "some
actresses have more than one face lift" [syn: face lift,
facelift, lift, face lifting, cosmetic surgery,
rhytidectomy, rhytidoplasty, nip and tuck] |
heavy lifting
(wn) | heavy lifting
n 1: difficult work; "the boss hoped the plan would succeed but
he wasn't willing to do the heavy lifting" |
lifting device
(wn) | lifting device
n 1: a device for lifting heavy loads |
shoplifting
(wn) | shoplifting
n 1: the act of stealing goods that are on display in a store;
"shrinkage is the retail trade's euphemism for shoplifting"
[syn: shoplifting, shrinkage] |
table lifting
(wn) | table lifting
n 1: manipulation of a table during a seance; attributed to
spirits [syn: table tipping, table tilting, {table
turning}, table lifting] |
uplifting
(wn) | uplifting
n 1: the rise of something; "the uplifting of the clouds
revealed the blue of a summer sky" |
weightlifting
(wn) | weightlifting
n 1: bodybuilding by exercise that involves lifting weights
[syn: weightlift, weightlifting] |
fully lazy lambda lifting
(foldoc) | fully lazy lambda lifting
John Hughes's optimisation of lambda lifting to give {full
laziness}. Maximal free expressions are shared to minimise
the amount of recalculation. Each inner sub-expression is
replaced by a function of its maximal free expressions
(expressions not containing any bound variable) applied to
those expressions. E.g.
f = \ x . (\ y . (+) (sqrt x) y)
((+) (sqrt x)) is a maximal free expression in
(\ y . (+) (sqrt x) y) so this inner abstraction is replaced
with
(\ g . \ y . g y) ((+) (sqrt x))
Now, if a partial application of f is shared, the result of
evaluating (sqrt x) will also be shared rather than
re-evaluated on each application of f. As Chin notes, the
same benefit could be achieved without introducing the new
higher-order function, g, if we just extracted out (sqrt x).
This is similar to the code motion optimisation in
procedural languages where constant expressions are moved
outside a loop or procedure.
(1994-12-01)
|
lambda lifting
(foldoc) | lambda lifting
A program transformation to remove free variables. An
expression containing a free variable is replaced by a
function applied to that variable. E.g.
f x = g 3 where g y = y + x
x is a free variable of g so it is added as an extra argument:
f x = g 3 x where g y x = y + x
Functions like this with no free variables are known as
supercombinators and are traditionally given upper-case names
beginning with "$". This transformation tends to produce many
supercombinators of the form f x = g x which can be eliminated
by eta reduction and substitution. Changing the order of
the parameters may also allow more optimisations. References
to global (top-level) constants and functions are not
transformed to function parameters though they are technically
free variables.
A closely related technique is closure conversion. See also
Full laziness.
|
|