نتایج جستجو برای: lk
تعداد نتایج: 1787 فیلتر نتایج به سال:
Let K be a totally imaginary quadratic extension of a totally real number field F , and assume that F has narrow ideal class number 1. Let χ be a character of the ideal class group CL(K) of K, and let LK(χ, s) be its associated L–function. In this paper we prove that for all > 0, #{χ ∈ CL(K)∧ : LK(χ, 1 2 ) 6= 0} ,F d 1 100− K as the absolute discriminant dK →∞.
In the framework of nonstandard analysis, Bang-He Li and the author defined the product of any two distributions on Rn via their harmonic representations. The product of δ(x1, . . . , xn) and δ(x1) was calculated by Kuribayashi and the author in [LK]. In this paper, the result of [LK] is improved to δ(x1, . . . , xn) ◦ δ(x1) = 1 2πρ δ(x1, . . . , xn) mod infinitesimals where ρ is a positive inf...
Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works by constructing a set of clauses from a proof with cuts. Any resolution refutation of this set then serves as a skeleton ...
After the success of stable model semantics [GL88] and its generalization for programs with classical negations [GL90], the same ideas have been used in [GL91] to include disjunction into the resulting formalization of commonsense reasoning. The resulting semantics of disjunctive logic programs is relatively new, and therefore, few results are known. An additional problem with this semantics is...
For integers a1, . . . , an > 0 and k > 1, let Lk+2(a1, . . . , an) denote the set of permutations of {1, . . . , a1 + · · · + an} whose descent set is contained in {a1, a1 + a2, . . . , a1+ · · ·+an−1}, and which avoids the pattern 12 . . . (k+2). We exhibit some bijections between such sets, most notably showing that #Lk+2(a1, . . . , an) is symmetric in the ai and is in fact Schur-concave. T...
The more hydrophobic, rough-colony-forming, streptomycin-resistant Streptococcus mutans parent strains GW Smr and LK Smr and the less hydrophobic, smooth-colony-forming, streptomycin-resistant variant strains GW36 Smr and LK36 Smr were implanted in oral cavities. Strains GW Smr and LK Smr implanted significantly better than strains GW36 Smr and LK36 Smr. The hydrophobicity of and the colony mor...
Citation BABAR Collaboration et al. " Improved Limits on Lepton-Flavor-Violating tau Decays to l phi , l rho , lK^{*}, and lK[over-bar]^{*}. Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits...
We study the π-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor →. We encode the circuits of the calculus X into this variant of π, and show that all reduction (cut-elimination) and assignable types are preserved. Since X enjoys the Curry-Howard isomorphism for Gentzen’s calculus LK, this implies that all proofs in LK ...
The Lucas-Kanade (LK) algorithm for dense optical flow estimation is a widely known and adopted technique for object detection and tracking in image processing applications. This algorithm is computationally intensive and its implementation in an FPGA is challenging from both a design and a performance perspective. This application note describes how to implement the LK algorithm with the Xilin...
We study the π-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor →. We encode the circuits of the calculus X into this variant of π, and show that all reduction (cut-elimination) and assignable types are preserved. Since X enjoys the Curry-Howard isomorphism for Gentzen’s calculus LK, this implies that all proofs in LK ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید