「second order」の共起表現一覧(1語右で並び替え)

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