نتایج جستجو برای: using an analytic method
تعداد نتایج: 8114061 فیلتر نتایج به سال:
In the standardization of versatile video coding (VVC), discrete cosine transform (DCT)-2, sine (DST)-7, and DCT-8 are regarded as primary kernels. However, DST-4 DCT-4 can also be considered kernels instead using DST-7 owing to their effectiveness in smaller resolution test sequences. To implement these different block size kernels, a considerable amount memory has allocated. Moreover, consump...
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a mechanism for producing a classic-like description of them in terms of an effective variety of bivalent semantics; (ii) a mechanism for extracting, from the bival...
The following text is an annotation to Marc A. A. van Leeuwen's paper " Tableau algorithms defined naturally for pictures " in its version of 25 November 2011. This annotation contains corrections of a few mistakes. Different comments are separated by horizontal lines, like this: Page 1, §1: Replace " as a tableaux " by " as tableaux ". Page 3, §2.2: Replace " The the non-empty " by " The non-e...
We prove a conjecture of [3] giving a closed form formula for the norm of the Jack polynomials in superspace with respect to a certain scalar product. The proof is mainly combinatorial and relies on the explicit expression in terms of admissible tableaux of the non-symmetric Jack polynomials. In the final step of the proof appears an identity on weighted sums of partitions that we demonstrate u...
Let P be the Gelfand–Tsetlin polytope defined by the skew shape λ/μ and weight w. In the case corresponding to a standard Young tableau, we completely characterize for which shapes λ/μ the polytope P is integral. Furthermore, we show that P is a compressed polytopewhenever it is integral and corresponds to a standard Young tableau.We conjecture that a similar property holds for arbitraryw, name...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید