「second-order」の共起表現一覧(1語右で並び替え)
該当件数 : 39件
Extendibility is a | second-order analog of strong compactness. |
are a first-order approximation (EKF) or a | second-order approximation (UKF in general, but if proba |
s theorem needs a much stronger fragment of | second-order arithmetic to prove than the Paris-Harringt |
theoretic ordinal of the subsystem -CA0 of | second-order arithmetic; this is one of the "big five" s |
A special case are the logics that allow | second-order Boolean propositions, where quantifiers may |
Second-order cone programming) problems is very efficien | |
The algorithm has | second-order convergent nature, which essentially means |
Eigenfunction Expansions Associated with | Second-order Differential Equations. |
The Mathieu equation is a linear | second-order differential equation with periodic coeffic |
rmation and enhance diffusion in solids via | second-order effects. |
For example, suppose we have the | second-order equation |
Then, they discovered the five global (or | second-order) factors by factor-analyzing the sixteen pr |
or more sections each of which implements a | second-order filter function. |
The lens one of only seven | second-order Fresnel lenses remaining in a lighthouse in |
lens was installed; that was replaced by a | second-order Fresnel lens in which was replaced by an ae |
the 16PF test gives scores on both the five | second-order global traits which provide an overview of |
tart of service on February 1, 1853 for the | second-order light on Corregidor, together with the four |
It is considered a | second-order lighthouse, which began operating on Februa |
Monadic | second-order logic keeps the requirement that all predic |
d in his PhD thesis states that existential | second-order logic coincides with the complexity class N |
at it is the set of problems expressible in | second-order logic with the addition of a transitive clo |
riffsschrift is indebted to it, because its | second-order logic was the first formal logic capable of |
r logic are usually trivially eliminable in | second-order logic, because a schematic variable is ofte |
e all functions which are provably total in | second-order logic. |
A | second-order Markov chain can be introduced by consideri |
s also led to the understanding of cascaded | second-order nonlinearities. |
at N-3 is substantially reduced due to the | second-order paramagnetic effect, which involves a symme |
ch arises in the region of a continuous, or | second-order, phase transition. |
cal intensities, optical rectification is a | second-order phenomenon (difference frequency mixing) wh |
Compare | second-order predicate and higher-order predicate. |
first-order processes are more common than | second-order processes (involving two quark decays), thi |
A | second-order propositional logic is a propositional logi |
The original beacon was a | second-order range lens showing a fixed red light that s |
a base, for example sodium hydroxide, is a | second-order reaction with respect to both reactants. |
Thus, if a first-order stream joins a | second-order stream, it remains a second-order stream. |
Stress, a | second-order tensor. |
copy, the operator transforms as one of the | second-order terms in the right-most column of the chara |
However, this doesn't necessarily hold in | second-order weak reactions, where there are mixes of K0 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |