Báo cáo toán học: "Towards a Katona type proof for the 2-intersecting Erd˝s-Ko-Rado theorem o" docx

... 5 transitive. Katona needed an additional fact, which is often called Katona s Lemma. As a reminder, we recall Katona s Lemma in an algebraic disguise (cf. [19, Ex. 13.28 (a) ]): Lemma 1 Consider the ... 7 Towards a Katona type proof for the 2-intersecting Erd˝os-Ko-Rado theorem Ralph Howard ∗ Department of Mathematics, University of South Carolina Columbia, SC 29208,...

Ngày tải lên: 07/08/2014, 06:22

... that for any r  3 there is a homogeneous linear equation that is not r-regular. We say that a linear equation or a system of linear equations L is regular if it is r-regular for all r ∈ N. Theorem ... a ′ = aA, b ′ = bA and l ′ = lA. Then S (a, b, −p k q) = S(aA, bA, −p k qA) = S (a ′ , b ′ , −p k q ′ ), since −b /a = −b ′ /a ′ ≡ p −b ′ and q/b = q ′ /b ′ , B ≡ p −b ′ and L...

Ngày tải lên: 08/08/2014, 12:22

... native and accusative singular masculine- -inanimate, and nominative singular masculine-animate, thus representing the adjectival "normal form,'), which clashes only with /pr# (adverb), ... ambiguity counting as a valid result of the analysis, since it can be resolved, in most cases, by means of the syntactic analysis). The word-ends are assigned the kinds of inf...

Ngày tải lên: 09/03/2014, 01:20

... The Mental Representation of Grammatical Relations, The MIT Press, Cambridge, Mass, pp.173-281 Kay, M.(198 4a) 'Functional Unification Grammar: A Formalism for Machine Translation', ... information to link a new word sense to domain knowledge already encoded in the knowledge base of a limited domain natural language application such as a database query system....

Ngày tải lên: 22/02/2014, 09:20

... XQuery for XML or SQL for rela- tional databases. But these complicate query for- mulating because they are tailored to query a low level data storage model rather than a high level annotation data ... parents and to refer to other elements across annotation layers. Features have a name and a value. They are al- ways bound to an annotation element and cannot exist on their own....

Ngày tải lên: 17/03/2014, 04:20

... same meaning regardless of the context (Forbes, 1989). In such a framework, all natural language quantifiers have their meaning grounded in terms of two logical operators: V (for all), and ... USA and Carelton University, School of Computer Science Ottawa, Ontario, KIS-5B6 CANADA walid@eagle.hr.att.com Abstract The purpose of this paper is to suggest that quantifiers in natur...

Ngày tải lên: 17/03/2014, 09:20

... a new EK, it in- forms the Privacy CA, in a safe way, about that EK. The Privacy CA, like the manufacturer, maintains a database of all available EKs (CA EKDB), indexed by MD(EK). This database ... after authenticating the Privacy CA, the unit ob- tains the AK pair and acknowledges the Privacy CA. The Pri- vacy CA then generates the AC = [AK pub ] Privacy CA and sends...

Ngày tải lên: 23/06/2014, 00:20

... multi-time Hamilton-Jacobi equations and obtained a Hopf-Lax-Oleinik type formula for these equations. The Hopf-Lax-Oleinik type formulas for the Hamilton-Jacobi equations (1) were found in the papers ... of Hamilton-Jacobi equations, Nonlinear Ana., Theory, Meth. & Appl. 8 (1984) 1373–1381. 8. M. Bardi and S. Faggian, Hopf -type estimates and formulas for non-convex no...

Ngày tải lên: 06/08/2014, 05:20

... is a contradiction. This proves the claim. From the above claim, it is clear that MM T is a diagonal matrix, and it is also clear that the diagonal entries are nonzero by observation (2) above. ... Polynomials and Frankl-Ray- Chaudhuri-Wilson Type Theorems,” Journal of Combinatorial Theory Ser (A) , 58: 165-180, 1991. 2. L.Babai and P. Frankl, “Linear Algebra Methods in Combinator...

Ngày tải lên: 07/08/2014, 06:20

... ∆. The points and lines contained in a convex subspace of diameter δ ≥ 2 define a dual polar space of rank δ. In particular, the points and lines contained in a quad define a generalized quadrangle (Payne ... of diameter at least 2. Then either A ⊆ H or A ∩ H is a hyperplane of type (H) of A. Proof. We suppose that A is not completely contained in H. Then A H is a hyp...

Ngày tải lên: 07/08/2014, 21:21