Báo cáo toán học: "Map genus, forbidden maps, and monadic second-order logic" pps

... X ∗ and n ≥ 1 such that α = , x = αβ, y = βα and u = (αβ) n α. Lemma 5.2. Let x, u, v ∈ X + .Ifu = xv = vy and |v|≥|u|/2,thenu/∈ HQ. Proof. By Lemma 5.1, there exist α, β ∈ X ∗ with αβ =  and ... be an alphabet with |X|≥2.Ifaw /∈ HQ and wb /∈ HQ where w ∈ X ∗ and a, b ∈ X,thenawb /∈ HQ. Proof. Assume that aw /∈ HQ and wb /∈ HQ.Thenaw ∈ v ⊗ v ⊗···⊗v and wb ∈ u ⊗ u ⊗ ···⊗ u...

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

... distribution, and reproduction in any medium, provided the original work is properly cited. Moreover, we assume that T and H are compact on E and ℝ × E, respectively, i.e., are continuous and they ... of (1.3) and (1.4). In this article, we will show that (1.3) and (1.4) has two principal eigenvalues l m,- <0<l m,+ , and the corresponding eigenfunctions which we denote by...

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

... radiolabelling: HEPES and MES, and compared this with the most commonly used acetate buffers: sodium acetate and ammonium acetate, and showed that an increased SA could be obtained when DTPA- and DOTA-conjugated ... labelling of DTPA- and DOTA-conjugated peptides and antibodies with 111 In in HEPES and MES buffer Maarten Brom* 1 , Lieke Joosten 1 , Wim JG Oyen 1 , Marti...

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

... optical devices and polarization filters [8,9,11]. Several methods for synthesizing GNSs including 1-D GNSs have been reported. These methods include photochemical and electrochemical deposition [12,13] and ... [3,10,16]. On the other hand, the use of hard t emplates such as anodic alumina and mesoporous silica for the synthesis of 1-D GNSs makes the complicated immobilization pro- ce...

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

... solicited on both experimental and theoretical aspects, including new positioning algorithms and methodologies, system design and configurat ion, performance analysis and measurement campaigns. We ... sets (POCS) and outer approximation (OA) techniques for us e in positioning, and then de velop di s- tributed positioning algorithms based on POCS and OA. Improvement of coverage...

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

... Abu-Sbeih and Khamsi: On externally complete subsets and common fixed points in partially ordered sets. Fixed Point Theory and Applications 2011 2011:97. Abu-Sbeih and Khamsi Fixed Point Theory and ... ∅ . Finally, assume that we have (x i ) iÎI and (y j ) jÎJ in X such that the subsets ([x i , ® )) iÎI , and ((¬, y j ]) jÎJ intersect 2-by-2 and [x i , → ) ∩ M = ∅ and (←, y...

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

... noun, pronoun or even an adjective) and its predicate verb in gender and number, and for pronouns, also in person. Verbal attributes must agree in number and gender with its related noun, as ... language (Standard or Literary Czech) and the spoken form (Common Czech). This difference occurs not onl y on t he lexical level (usage of German- isms and Anglicisms), but also on the pho...

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

... by H ussain et al. [26], Latif and Al-Mezel [27], and Marín et al. [1]. In particular, the authors of [27] and [1] have obtained a Rakotch-type and a Bianchini-Grandolfi-type fixed point theorems, ... et al. Fixed Point Theory and Applications 2011, 2011:2 http://www.fixedpointtheoryandapplications.com/content/2011/1/2 Page 9 of 9 versions of Ekeland’s principle and of Nadler’s fi...

Ngày tải lên: 21/06/2014, 02:20

... ,l and t = 1,2, ,k. By the convexities of A −1 x and By,wehavey 0 ∈ Ax 0 and y 0 ∈ Bx 0 . This completes the proof.  Remark 4.2. The classical Ky Fan’s coincidence theorem assume that both X and ... paper. The second and fourth authors were supported by the Korea Research Foundation Grant (KRF-2000-DP0013). References [1] J P. Aubin and I. Ekeland, Applied Nonlinear Analysis, Pur...

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

... a V,min and a V,max , respectively. The search lines S 1 and S 2 for b and c are on the height of the mouth middle point and parallel to the W axis. They are bounded by −b W,max , −b W,min and b W,min , b W,max , ... Visual Communications and Image Processing, vol. 2904, pp. 1516– 1527, Boston, Mass, USA, November 1993. [7] A. Samal and P. Iyengar, “Automatic recognition and a...

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