| slovo | definícia |
conversion
(mass) | conversion
- premena, konverzia, prestup, preklad |
conversion
(encz) | conversion,překlad n: Pavel Cvrček |
conversion
(encz) | conversion,přeměna n: Pavel Cvrček |
conversion
(encz) | conversion,přestup n: Zdeněk Brož |
conversion
(encz) | conversion,převádění Zdeněk Brož |
conversion
(encz) | conversion,převedení Zdeněk Brož |
Conversion
(gcide) | Conversion \Con*ver"sion\, n. [L. conversio: cf. F. conversion.
See Convert.]
1. The act of turning or changing from one state or condition
to another, or the state of being changed; transmutation;
change.
[1913 Webster]
Artificial conversion of water into ice. --Bacon.
[1913 Webster]
The conversion of the aliment into fat. --Arbuthnot.
[1913 Webster]
2. The act of changing one's views or course, as in passing
from one side, party, or from of religion to another;
also, the state of being so changed. "Conversion to
Christianity." --Prescott.
[1913 Webster]
3. (Law) An appropriation of, and dealing with the property
of another as if it were one's own, without right; as, the
conversion of a horse.
[1913 Webster]
Or bring my action of conversion
And trover for my goods. --Hudibras.
[1913 Webster]
4. (Logic) The act of interchanging the terms of a
proposition, as by putting the subject in the place of the
predicate, or the contrary.
[1913 Webster]
5. (Math.) A change or reduction of the form or value of a
proposition; as, the conversion of equations; the
conversion of proportions.
[1913 Webster]
6. (Mil.)
(a) A change of front, as a body of troops attacked in the
flank.
(b) A change of character or use, as of smoothbore guns
into rifles.
[1913 Webster]
7. (Theol.) A spiritual and moral change attending a change
of belief with conviction; a change of heart; a change
from the service of the world to the service of God; a
change of the ruling disposition of the soul, involving a
transformation of the outward life.
[1913 Webster]
He oft
Frequented their assemblies, . . . and to them
preached
Conversion and repentance, as to souls
In prison under judgments imminent. --Milton.
[1913 Webster] |
conversion
(wn) | conversion
n 1: an event that results in a transformation [syn:
conversion, transition, changeover]
2: a change in the units or form of an expression: "conversion
from Fahrenheit to Centigrade"
3: a successful free throw or try for point after a touchdown
4: a spiritual enlightenment causing a person to lead a new life
[syn: conversion, rebirth, spiritual rebirth]
5: (psychiatry) a defense mechanism represses emotional
conflicts which are then converted into physical symptoms
that have no organic basis
6: a change of religion; "his conversion to the Catholic faith"
7: interchange of subject and predicate of a proposition
8: act of exchanging one type of money or security for another
9: the act of changing from one use or function or purpose to
another |
CONVERSION
(bouvier) | CONVERSION. torts. the unlawful turning or applying the personal goods of
another to the use of the taker, or of some other person than the, owner; or
the unlawful destroying or altering their nature. Bull. N. P. 44; 6 Mass.
20; 14 Pick. 356; 3 Brod. & Bing. 2; Cro. Eliz. 219 12 Mod. 519; 5 Mass.
104; 6 Shepl. 382; Story, Bailm. Sec. 188, 269, 306; 6 Mass. 422; 2 B. & P.
488; 3 B. & Ald. 702; 11 M. & W. 363; 8 Taunt. 237; 4 Taunt. 24.
2. When a party takes away or wrongfully assumes the right to goods
which belong to another, it will in general be sufficient evidence of a
conversion but when the original taking was, lawful, as when the party found
the goods, and the detention only is illegal, it is absolutely necessary to
male a demand of the goods, and there must be a refusal to deliver them
before the conversion will, be complete. 1 Ch. Pr. 566; 2 Saund. 47 e, note
1 Ch. Pl. 179; Bac. Ab. Trover, B 1 Com. Dig. 439; 3 Com. Dig. 142; 1 Vin.
Ab. 236; Yelv. 174, n.; 2 East, R. 405; 6 East, R. 540; 4 Taunt. 799 5 Barn.
& Cr. 146; S. C. 11 Eng. C. L. Rep. 185; 3 Bl. Com. 152; 3 Bouv. Inst. n.
3522, et seq. The refusal by a servant to deliver the goods entrusted to him
by his master, is not evidence of a conversion by his master. 5 Hill, 455.
3. The tortious taking of property is, of itself, a conversion 15 John.
R. 431 and any intermeddling with it, or any exercise of dominion over it,
subversive of the dominion of the owner, or the nature of the bailment, if
it be bailed, is, evidence of a conversion. 1 Nott & McCord, R. 592; 2 Mass.
R. 398; 1 Har. & John. 519; 7 John. R. 254; 10 John. R. 172 14 John. R. 128;
Cro. Eliz. 219; 2 John. Cas. 411. Vide Trover.
|
CONVERSION
(bouvier) | CONVERSION, in equity, The considering of one thing as changed into another;
for example, land will be considered as converted into money, and treated as
such by a court of equity, when the owner has contracted to sell his estate
in which case, if he die before the conveyance, his executors and not his
heirs will be entitled to the money. 2 Vern. 52; S., C. 3 Chan. R. 217; 1
B1. Rep. 129. On the other hand, money is converted into land in a variety
of ways as for example, when a man agrees to buy land, and dies before he
has received the conveyance, the money he was to pay for it will be
considered as converted into lands, and descend to the heir. 1 P. Wms. 176 2
Vern. 227 10 Pet. 563; Bouv. Inst. Index, h.t.
|
| | podobné slovo | definícia |
conversion
(mass) | conversion
- premena, konverzia, prestup, preklad |
conversion
(encz) | conversion,překlad n: Pavel Cvrčekconversion,přeměna n: Pavel Cvrčekconversion,přestup n: Zdeněk Brožconversion,převádění Zdeněk Brožconversion,převedení Zdeněk Brož |
conversion disorder
(encz) | conversion disorder, n: |
conversion factor
(encz) | conversion factor, n: |
conversion hysteria
(encz) | conversion hysteria, n: |
conversion key
(encz) | conversion key, |
conversion lens
(encz) | conversion lens,předsádka n: [opt.] pro objektivy Pino |
conversion reaction
(encz) | conversion reaction, n: |
currency conversion
(encz) | currency conversion, |
data conversion
(encz) | data conversion, n: |
debt conversion
(encz) | debt conversion, |
debt conversion bond
(encz) | debt conversion bond, |
debt for equity conversion
(encz) | debt for equity conversion, |
interconversion
(encz) | interconversion,vzájemná konverze Zdeněk Brož |
interspecies dose conversion
(encz) | interspecies dose conversion,mezidruhový převod dávek [eko.] Proces
extrapolace dávek z jednoho druhu zvířete na druhý, případně na člověka
(stanovení ekvivalentní dávky pro člověka). RNDr. Pavel Piskač |
reconversion
(encz) | reconversion,zpětná přeměna n: Zdeněk Brož |
Illative conversion
(gcide) | Illative \Il"la*tive\, a. [L. illativus: cf. F. illatif.]
Relating to, dependent on, or denoting, illation;
inferential; conclusive; as, an illative consequence or
proposition; an illative word, as then, therefore, etc.
[1913 Webster]
Illative conversion (Logic), a converse or reverse
statement of a proposition which in that form must be true
because the original proposition is true.
Illative sense (Metaph.), the faculty of the mind by which
it apprehends the conditions and determines upon the
correctness of inferences.
[1913 Webster] |
Reconversion
(gcide) | Reconversion \Re`con*ver"sion\ (-v?r"sh?n), n.
A second conversion.
[1913 Webster] |
Unconversion
(gcide) | Unconversion \Un`con*ver"sion\, n.
The state of being unconverted; impenitence. [R.]
[1913 Webster] |
conversion
(wn) | conversion
n 1: an event that results in a transformation [syn:
conversion, transition, changeover]
2: a change in the units or form of an expression: "conversion
from Fahrenheit to Centigrade"
3: a successful free throw or try for point after a touchdown
4: a spiritual enlightenment causing a person to lead a new life
[syn: conversion, rebirth, spiritual rebirth]
5: (psychiatry) a defense mechanism represses emotional
conflicts which are then converted into physical symptoms
that have no organic basis
6: a change of religion; "his conversion to the Catholic faith"
7: interchange of subject and predicate of a proposition
8: act of exchanging one type of money or security for another
9: the act of changing from one use or function or purpose to
another |
conversion disorder
(wn) | conversion disorder
n 1: a mental disorder characterized by the conversion of mental
conflict into somatic forms (into paralysis or anesthesia
having no apparent cause) [syn: conversion disorder,
conversion reaction, conversion hysteria] |
conversion factor
(wn) | conversion factor
n 1: factor by which a quantity that is expressed in one set of
units must be multiplied in order to convert it into
another set of units |
conversion hysteria
(wn) | conversion hysteria
n 1: a mental disorder characterized by the conversion of mental
conflict into somatic forms (into paralysis or anesthesia
having no apparent cause) [syn: conversion disorder,
conversion reaction, conversion hysteria] |
conversion reaction
(wn) | conversion reaction
n 1: a mental disorder characterized by the conversion of mental
conflict into somatic forms (into paralysis or anesthesia
having no apparent cause) [syn: conversion disorder,
conversion reaction, conversion hysteria] |
data conversion
(wn) | data conversion
n 1: conversion from one way of encoding data to another way |
alpha conversion
(foldoc) | alpha conversion
In lambda-calculus and reduction, the renaming of
a formal parameter in a lambda abstraction. This does not
change the meaning of the abstraction. For example:
\ x . x+1 \ y . y+1
If the actual argument to a lambda abstraction contains
instances of the abstraction's formal parameter then it is
necessary to rename the parameter before applying the
abstraction to avoid name capture.
(1995-05-10)
|
beta conversion
(foldoc) | beta conversion
A term from lambda-calculus for beta reduction or
beta abstraction.
(1999-01-15)
|
closure conversion
(foldoc) | closure conversion
The transformation of continuation passing style
code so that the only free variables of functions are
names of other functions.
See also Lambda lifting.
(1994-12-16)
|
conversion to iteration
(foldoc) | conversion to iteration
A transformation applied to
functional programs that replaces recursion with
iteration. A tail-recursive function can be compiled to
an iterative loop such that the recursive call becomes a
jump back to the start and the parameters are held in
registers which are updated with new values each time around
the loop.
This is closely related to tail recursion optimisation.
(2019-11-21)
|
correlatives and conversions
(foldoc) | Correlatives and Conversions
The data description language used in the Pick {operating
system}.
["Exploring the Pick Operating System", J.E. Sisk et al,
Hayden 1986].
(1994-11-30)
|
delta conversion
(foldoc) | delta reduction
delta conversion
In lambda-calculus extended with constants, delta
reduction replaces a function applied to the required number
of arguments (a redex) by a result. E.g. plus 2 3 --> 5.
In contrast with beta reduction (the only kind of reduction
in the pure lambda-calculus) the result is not formed simply
by textual substitution of arguments into the body of a
function. Instead, a delta redex is matched against the left
hand side of all delta rules and is replaced by the right hand
side of the (first) matching rule. There is notionally one
delta rule for each possible combination of function and
arguments. Where this implies an infinite number of rules,
the result is usually defined by reference to some external
system such as mathematical addition or the hardware
operations of some computer. For other types, all rules can
be given explicitly, for example Boolean negation:
not True = False
not False = True
(1997-02-20)
|
eta conversion
(foldoc) | eta conversion
eta abstraction
eta expansion
eta reduction
In lambda-calculus, the eta conversion rule states
\ x . f x f
provided x does not occur as a free variable in f and f is a
function. Left to right is eta reduction, right to left is
eta abstraction (or eta expansion).
This conversion is only valid if bottom and \ x . bottom are
equivalent in all contexts. They are certainly equivalent
when applied to some argument - they both fail to terminate.
If we are allowed to force the evaluation of an expression in
any other way, e.g. using seq in Miranda or returning a
function as the overall result of a program, then bottom and
\ x . bottom will not be equivalent.
See also observational equivalence, reduction.
|
explicit type conversion
(foldoc) | explicit type conversion
cast
(Or "cast" in C and elsewhere). A programming
construct (syntax) to specify that an expression's value
should be converted to a different type.
For example, in C, to convert an integer (usually 32 bits)
to a char (usually 8 bits) we might write:
int i = 42;
char *p = &buf;
*p = (char) i;
The expression "(char)" (called a "cast") converts i's value
to char type. Casts (including this one) are often not
strictly necessary, due to automatic coercions performed by
the compiler, but can be used to make the conversion obvious
and to avoid warning messages.
(1999-09-19)
|
implicit type conversion
(foldoc) | implicit type conversion
coercion
(Or "coercion") The abilty of some compilers
to automatically insert type conversion functions where an
expression of one type is used in a context where another type
is expected.
A common example is coercion of integers to reals so that
an expression like sin(1) is compiled as sin(integerToReal(1))
where sin is of type Real -> Real.
A coercion is usually performed automatically by the compiler
whereas a cast is an explicit type conversion inserted by
the programmer.
See also subtype.
(1997-07-28)
|
CONVERSION
(bouvier) | CONVERSION. torts. the unlawful turning or applying the personal goods of
another to the use of the taker, or of some other person than the, owner; or
the unlawful destroying or altering their nature. Bull. N. P. 44; 6 Mass.
20; 14 Pick. 356; 3 Brod. & Bing. 2; Cro. Eliz. 219 12 Mod. 519; 5 Mass.
104; 6 Shepl. 382; Story, Bailm. Sec. 188, 269, 306; 6 Mass. 422; 2 B. & P.
488; 3 B. & Ald. 702; 11 M. & W. 363; 8 Taunt. 237; 4 Taunt. 24.
2. When a party takes away or wrongfully assumes the right to goods
which belong to another, it will in general be sufficient evidence of a
conversion but when the original taking was, lawful, as when the party found
the goods, and the detention only is illegal, it is absolutely necessary to
male a demand of the goods, and there must be a refusal to deliver them
before the conversion will, be complete. 1 Ch. Pr. 566; 2 Saund. 47 e, note
1 Ch. Pl. 179; Bac. Ab. Trover, B 1 Com. Dig. 439; 3 Com. Dig. 142; 1 Vin.
Ab. 236; Yelv. 174, n.; 2 East, R. 405; 6 East, R. 540; 4 Taunt. 799 5 Barn.
& Cr. 146; S. C. 11 Eng. C. L. Rep. 185; 3 Bl. Com. 152; 3 Bouv. Inst. n.
3522, et seq. The refusal by a servant to deliver the goods entrusted to him
by his master, is not evidence of a conversion by his master. 5 Hill, 455.
3. The tortious taking of property is, of itself, a conversion 15 John.
R. 431 and any intermeddling with it, or any exercise of dominion over it,
subversive of the dominion of the owner, or the nature of the bailment, if
it be bailed, is, evidence of a conversion. 1 Nott & McCord, R. 592; 2 Mass.
R. 398; 1 Har. & John. 519; 7 John. R. 254; 10 John. R. 172 14 John. R. 128;
Cro. Eliz. 219; 2 John. Cas. 411. Vide Trover.
CONVERSION, in equity, The considering of one thing as changed into another;
for example, land will be considered as converted into money, and treated as
such by a court of equity, when the owner has contracted to sell his estate
in which case, if he die before the conveyance, his executors and not his
heirs will be entitled to the money. 2 Vern. 52; S., C. 3 Chan. R. 217; 1
B1. Rep. 129. On the other hand, money is converted into land in a variety
of ways as for example, when a man agrees to buy land, and dies before he
has received the conveyance, the money he was to pay for it will be
considered as converted into lands, and descend to the heir. 1 P. Wms. 176 2
Vern. 227 10 Pet. 563; Bouv. Inst. Index, h.t.
|
|