نتایج جستجو برای: quantification

تعداد نتایج: 81301  

1996
Theodore A. Slaman Jose Luis Balcazar Josep Diaz

Journal: :Theor. Comput. Sci. 1998
Jens Blanck

A domain representation of a topological space X is a function, usually a quotient map, from a subset of a domain onto X . Several di erent classes of domain representations are introduced and studied. It is investigated when it is possible to build domain representations from existing ones. It is, for example, discussed whether there exists a natural way to build a domain representation of a p...

2006
Luigi Troiano Ronald R. Yager

The OWA weighting vector and the fuzzy quantifiers are strictly related. An intuitive way for shaping a monotonic quantifier, is by means of the threshold that makes a separation between the regions of what is satisfactory and what is not. Therefore, the characteristics of a threshold can be directly related to the OWA weighting vector and to its metrics: the attitudinal character and the entro...

2002
S. J. DILWORTH JOSEPH P. PATTERSON

Let ε > 0 be sufficiently small. Then, for θ = 0.225 √ ε, there exists δ := δ(ε) < 1 such that if (ei) n i=1 are vectors in the unit ball of a complex Banach space X which satisfy

Journal: :Random Struct. Algorithms 1996
Alexandr V. Kostochka

Erdos and Rado defined a A-system, as a family in which every two members have the same intersection. Here we obtain a new upper bound on the maximum cardinality q ( n , q ) of an n-uniform family not containing any A-system of cardinality q. Namely, we prove that, for any a > 1 and q , there exists C = C(a, q ) such that, for any n ,

2001
ILYA KAPOVICH RICHARD WEIDMANN

We show that for any n ∈ N there exists a constant C(n) such that any n-generated group G which acts by isometries on a δ-hyperbolic space (with δ > 0) is either free or has a nontrivial element with translation length at most δC(n).

Journal: :Formalized Mathematics 2009
Bo Li Yanhong Men

In this paper x, r are real numbers. Let A be a set. We say that A is symmetrical if and only if: (Def. 1) For every complex number x such that x ∈ A holds −x ∈ A. Let us note that there exists a subset of C which is symmetrical. Let us observe that there exists a subset of R which is symmetrical. In the sequel A denotes a symmetrical subset of C. Let R be a binary relation. We say that R has s...

Journal: :J. Comb. Theory, Ser. A 1980
Carl Pomerance

Szemeredi’s theorem states that given any positive number B and natural number k, there is a number n(k, B) such that if n > n(/c, B) and 0 < a, < ... < a, is a sequence of integers with a, < Bn, then some k of the ai form an arithmetic progression. We prove that given any B and k, there is a number m(k, B) such that if m > m(k, B) and ug, u1 ,..., u, is a sequence of plane lattice points with ...

2007
Shûichi Yatabe

The result of questionnaire studies are presented which shows (i) that conjuncts are scope islands in Japanese and (ii) that left-node raising can nullify such scope islands. This finding confirms the theory advanced in Yatabe (2001), in which semantic composition is almost entirely carried out within order domains, and arguably contradicts the theory proposed in Beavers and Sag (2004), which i...

1996
Sergiu Hart Andreu Mas-Colell

We consider economies with many agents and compare the competitive equilibria and the value allocations of the resultingcoalitional games. In particular, we provide a (smooth and robust) example where the “value principle” does not hold for the HarsanyiNTU-value: there is a unique competitive equilibrium,which however does notbelong tothe (nonempty) set of Harsanyi value allocations. Journal of...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید