「equivalence」の共起表現一覧(1語右で並び替え)
該当件数 : 165件
In theoretical computer science, stuttering | equivalence, a relation written as |
n the above passage Hobbes proposes a rough | equivalence among men, based on the idea that the stron |
ry, such as monetary economics or Ricardian | equivalence and its relation to optimal growth. |
ert Einstein in connection with mass-energy | equivalence and the photoelectric effect. |
e of conservation of energy and mass-energy | equivalence, and was confirmed experimentally in 1959 w |
ance with Einstein's formula of mass-energy | equivalence, and that heavy nuclei could be built up by |
Other documents of the period show the same | equivalence and it is clear that the word hide original |
., similar concerns apply in shape theory), | equivalence assumptions allow convergence where potenti |
ial topology, and proposed that a notion of | equivalence be defined using only three elementary "mov |
re is a contravariant functor that gives an | equivalence between the categories. |
This theorem implies the formal | equivalence between expectation values of normally orde |
Furthermore, there is a conformal | equivalence between SCC and General Relativity in vacuo |
ecured equal pay for women teachers and pay | equivalence between Northern Irish teachers and those i |
A Maldacena conjecture is a conjectured | equivalence between a string theory and gravity defined |
g was done in a such way to engage in moral | equivalence between the actions of the Axis and Allied |
A formal | equivalence check can be performed between any two repr |
Equivalence Checker: allows to compare pairs of automat | |
Typically, a formal | equivalence checking tool will also indicate with great |
In loop quantum gravity, an s-knot is an | equivalence class of spin networks under diffeomorphism |
An | equivalence class of graphs under switching is called a |
Likewise, an ordinal number is an | equivalence class of well-ordered sets. |
Often, an embedding is regarded as an | equivalence class (under homeomorphisms of Σ) of repres |
cal inputs, representatives of a particular | equivalence class model, values that might appear at th |
re on a measurable cardinal κ such that the | equivalence class of the identity function on κ maps to |
representation of a λ-term is treated as an | equivalence class of all terms rewritable to it using v |
orks in NF and NFU: a cardinal number is an | equivalence class of sets under the relation of equinum |
EC stands for | equivalence class. |
A representative set is designated for each | equivalence class. |
ve it to the same state will be in the same | equivalence class; and if one starts with a partition i |
Equivalence classes of timelike homotopic curves define | |
number", and then define natural numbers as | equivalence classes of finite sets under the equivalenc |
The elements of the | equivalence classes induced by the independency are cal |
unevenness in how the cipher operates over | equivalence classes (congruence classes) modulo n. |
L is regular by proving that the number of | equivalence classes of RL is finite. |
The | equivalence classes with respect to this relation are c |
However, the | equivalence classes for the word problem of complete la |
is a partition of the set of vertices into | equivalence classes of vertices with the same distance |
hing extensions are used to find additional | equivalence classes until no more can be found. |
order types in New Foundations (defined as | equivalence classes of well-orderings under similarity) |
The | equivalence classes of irreducible representations may |
at if a language defines an infinite set of | equivalence classes, it is not regular. |
e three states corresponding to these three | equivalence classes. |
range of possible definitions of functional | equivalence covering comparisons between different leve |
"Substantial | equivalence embodies the concept that if a new food or |
A's Approved Drug Products with Therapeutic | Equivalence Evaluations (Orange Book). |
Toxic | equivalence factor (TEF) expresses the toxicity of diox |
al endogamy and network simulation, regular | equivalence, flow centrality, and structural cohesion, |
ccording to the general convention of a 4:3 | equivalence, for it to make sense. |
d lateral Notch activation patterns the VPC | equivalence group. |
tures but goes beyond that by incorporating | equivalence groups. |
This | equivalence had been pointed out by Hamilton a century |
The concept of substantial | equivalence has been established to address the fears o |
When functional | equivalence has been reached and properly verified, the |
ngs could in fact be formulated as an exact | equivalence holding for both finite and infinite algebr |
ammersley and Peter Clifford who proved the | equivalence in an unpublished paper in 1971. |
O'Hearn, R. Bornat; 2002; Program Logic and | Equivalence in the Presence of Garbage Collection. |
could exist, since the question of program | equivalence in the finitary fragment of PCF is not deci |
His PhD was on | equivalence in Arabic translation. |
The related term functional | equivalence, introduced by ArtinSoft experts to refer t |
However, some have argued that | equivalence is not clearly stated in DSM-IV-TR. |
Equivalence is not to be confused with functional corre | |
Usually, reaching functional | equivalence is a critical first step of a software mode |
rivial irreducible incidence matrices, flow | equivalence is completely determined by the Parry-Sulli |
re arbitrary expressions of type , and type | equivalence is defined in terms of the types' normal fo |
Stuttering | equivalence is not the same as bisimulation, since bisi |
A generalisation of semantic | equivalence is the notion of program refinement: one pr |
For nondeterministic PDA, | equivalence is undecidable. |
A striking fact about | equivalence is that in a reaction the equivalence of th |
nue to deter in an era of strategic nuclear | equivalence, it is necessary to have nuclear (as well a |
Ljungby municipality (the secular | equivalence of the parish) merged with Vinberg in 1952. |
However, the | equivalence of these two definitions is in fact strictl |
the Hasse-Minkowski theorem on the rational | equivalence of quadratic forms. |
She proved the | equivalence of the zero measure notions of infinite dim |
One of them is the | equivalence of fermionic elementary fields and bosonic |
Exact solution shows once again the | equivalence of Thirring model and quantum sine-Gordon m |
Mennonite Central Committee designated the | equivalence of $20,000 USD for assisting with potential |
ible because the combination depends on the | equivalence of a previously eliminated possibility, |
we [...] assume the complete physical | equivalence of a gravitational field and a correspondin |
The Dutch had paid the | equivalence of 36 tons of gold, or 3,648,490 guilders, |
ensified to tropical cyclone status, or the | equivalence of a minimal hurricane, at 1200 UTC on Janu |
ions Statistical Office gave an approximate | equivalence of 2.3325 kilograms (5.142 pounds avoirdupo |
The above adjunction is not an | equivalence of the categories Top and Loc (or, equivale |
istributive lattices can be extended via an | equivalence of coherent spaces and Priestley spaces (or |
n those days a large sum, with a modern-day | equivalence of about £3m. |
ncreased to 115 mph (185 km/h); this is the | equivalence of a major hurricane, or a Category 3 on th |
The functional | equivalence of such a set of Hox proteins can be demons |
ensified to tropical cyclone status, or the | equivalence of a minimal hurricane, midday on March 6 o |
tence in Solem was "to reject the practical | equivalence of a life sentence without parole and one w |
art of his 1924 thesis, de Broglie used the | equivalence of the mechanical principle of least action |
r contributions were a demonstration of the | equivalence of Landau damping and phase mixing; a proof |
to the U.S. Citizenship, and construed the | equivalence of Puerto Rico citizenship and Puerto Rico |
The | equivalence of inertial and gravitational masses is som |
Equivalence of twistor prescriptions for super Yang-Mil | |
1996) The | equivalence of NFSA and DFSA (Debora Weber-Wulff |
acceptable in that it results in numerical | equivalence on the field, a fairer fight, and a general |
Equivalence partitioning (also called Equivalence Class | |
d side of the boundary is redundant, and so | equivalence partitioning recommends skipping it.. |
The testing theory related to | equivalence partitioning says that only one test case o |
Equivalence partitions are numbered by the number of st | |
When no more | equivalence partitions contain distinguishable states, |
uishable states into separate groups called | equivalence partitions. |
The | equivalence point is the point at which the conductivit |
ver, is the point halfway between the first | equivalence point and the second equivalence point (and |
ty of a solution to neutralize acids to the | equivalence point of carbonate or bicarbonate. |
efers to a class of titrations in which the | equivalence point is determined through measurement of |
The | equivalence point is a significant point on the graph ( |
endpoint (similar, but not the same as the | equivalence point) refers to the point at which the ind |
between the beginning of the curve and the | equivalence point, and solving the simplified equation. |
The | equivalence point, or stoichiometric point, of a chemic |
t and reactant can be used to determine the | equivalence point. |
r consumed by the reaction to determine the | equivalence point. |
titrant volume curve will clearly show two | equivalence points for the acid. |
In some cases there are multiple | equivalence points which are multiples of the first equ |
fice (in the curve given to the right, both | equivalence points are visible, after roughly 15 and 30 |
Each of the two | equivalence points is visible |
STE-QUEST (Space-Time Explorer and Quantum | Equivalence Principle Space Test), devoted to precise m |
transformation of sorts that looks like the | equivalence principle at work. |
hts of varying composition to test the weak | equivalence principle to 1 part in 1000. |
See also: | Equivalence principle |
The Satellite Test of the | Equivalence Principle (STEP) is a proposed (as of 2008) |
e same distance r from m0 then, by the weak | equivalence principle, they fall at the same rate (i.e. |
ed to probe fundamental physics such as the | equivalence principle, which states that different mass |
onstant problem and its connection with the | equivalence principle, the generalized Chaplygin gas mo |
al mass are always equal as required by the | equivalence principle, positive active gravitational ma |
other parameters, as do tests of the strong | equivalence principle. |
The experiment was thus able to test the | equivalence principle. |
Geraud Senizergues (2001) proved that the | equivalence problem for deterministic PDA (i.e. |
Most specifically the | Equivalence provision in Article 4 which states the fol |
de (≋) is often used to show congruence, an | equivalence relation in geometry. |
be promoted from a well-quasi-ordering to a | equivalence relation if we assume the relation is symme |
s equivalent to the following: We define an | equivalence relation on the set of fixed points of a se |
a preorder <~ on W(X), so we can define an | equivalence relation given by w~v when w<~v and v<~w. |
variant of LR-attributed grammars where an | equivalence relation on inherited attributes is used to |
tters in an independency relation induce an | equivalence relation on the free monoid of all possible |
If L is any subset of Σ*, one defines an | equivalence relation ~ (called the syntactic relation) |
with the | equivalence relation |
Equality is both an | equivalence relation and a partial order. |
In sum, given an | equivalence relation ~ over A, there exists a transform |
In this case, it forms an | equivalence relation and each equivalence class separat |
considered equivalent (with respect to the | equivalence relation) if and only if they are elements |
id with an apartness relation instead of an | equivalence relation, called a constructive setoid. |
Since biconditionality is an | equivalence relation, any instance of ¬¬A in a well-for |
on, and more generally the power set of any | equivalence relation, again under relational compositio |
that is also transitive and reflexive is an | equivalence relation. |
E-set) is a set (or type) equipped with an | equivalence relation. |
so symmetric and transitive, hence it is an | equivalence relation. |
uences and proven to be compatible with the | equivalence relation. |
t is, if a ≤ b implies b ≤ a, then it is an | equivalence relation. |
symmetric, and transitive - in other words, | equivalence relations - (sequence A000110 in OEIS), tho |
Consequently, | equivalence relations are exactly the reflexive Euclide |
es, metric structures (geometries), orders, | equivalence relations, differential structures, and cat |
c, the only ones that are self-dual are the | equivalence relations. |
major contributions to the theory of Borel | equivalence relations. |
nomens can, for example, be said to have an | equivalence relationship, if they both are appellations |
tion, independently of any time-temperature | equivalence relationship. |
spin networks (but not necessarily an exact | equivalence) that gives rise to U(1) gauge charge and e |
The optical | equivalence theorem in quantum optics says that the exp |
comparing and working out the corresponding | equivalence to other military formation - especially th |
This is the notion of | equivalence used for Bratteli diagrams. |
Functionality | Equivalence Verification is a technique used to prove t |
ch holds for Laplace transforms, guarantees | equivalence with transfer functions. |
m) 8.60/14.20 design giving fit and comfort | equivalence with daily wear soft lens brands which have |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |