A mathematical proof consists in a reformulation of (11) in which we specify the phase term ϕ m, n = π 2 ( m + n ), i.e., s COQAM [ k ] = ∑ n = 0 K ′ − 1 b k e [ n ] g ~ [ k − nN 1 ], for k = 0 … MK − 1, (13).
A key point of Lambek's original papers consists in the reformulation of the syntactic calculus in an equivalent Gentzen-style sequent format, which enjoys cut-elimination.
At two crucial junctures, Field has made use of metalogical results: (a) in his reformulation of the notion of conservativeness in nominalistically acceptable terms (Field 1989, pp. 119 120; Field 1991), and (b) in his nominalist proof of the conservativeness of set theory (Field 1992).
His originality lay in the reformulation of traditional views on divine knowledge.
In his reformulation of Confucianism, Zhou drew from Daoist doctrines and elaborated on the Yijing ("Book of Changes").
Like Ji Kang, Ruan Ji focuses on the concept of ziran, naturalness, in his reformulation of Daoist philosophy.
An important part of the solution was in the reformulation of the heterogeneous base station selection problem to a minimum cost-flow problem, which was then solved as a directional graph with low computational complexity.
Dan Ariely, a behavioral economist out of Duke University has a new book that could be a valuable tool in the reformulation of this strategy.
In summary, reformulation of the classical global pairwise alignment paradigm allows for the interpretation of the alignment score as a shortest-path approximation of the kernel score of a pd rational kernel working on biological sequences.
Their new vision of public health was reflected in the reformulation of the curriculum [ 11].
