Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,396,467 papers from all fields of science
Search
Sign In
Create Free Account
Existential quantification
Known as:
∃E
, Existential operator
, ∄
Expand
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
37 relations
Alternating finite automaton
Attempto Controlled English
Category theory
Conjunctive query
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Some Fixed Point Theorems in Ordered G-Metric Spaces and Applications
W. Shatanawi
2011
Corpus ID: 29243258
and Applied Analysis 3 The following are examples of G-metric spaces. Example 1.8 see 7 . Let R, d be the usual metric space…
Expand
Highly Cited
2006
Highly Cited
2006
Fast handover algorithm for IEEE 802.16e broadband wireless access system
D. Lee
,
K. Kyamakya
,
Jean Paul Umondi
International Symposium on Wireless Pervasive…
2006
Corpus ID: 15141074
IEEE 802.16e wireless metropolitan area networks refers to the new standard for broadband wireless access (BWA), which targets to…
Expand
Highly Cited
2004
Highly Cited
2004
Recognition and participation in a virtual community
C. Chan
,
Mamata Bhandar
,
Lih-Bin Oh
,
H. Chan
37th Annual Hawaii International Conference on…
2004
Corpus ID: 16624954
Although recognition counts among the numerous factors that contribute towards the success of virtual communities, it has…
Expand
Highly Cited
2003
Highly Cited
2003
Exfoliated PP/Clay Nanocomposites Using Ammonium-Terminated PP as the Organic Modification for Montmorillonite
Z. M. Wang
,
H. Nakajima
,
E. Manias
,
T. Chung
2003
Corpus ID: 95529697
Although the miscibility of silicates, including clay minerals, with organics and polymers has been known since the early 1950s…
Expand
Highly Cited
2003
Highly Cited
2003
Ensuring convergence of the MMSE iteration for interference avoidance to the global optimum
Pablo A. Anigstein
,
V. Anantharam
IEEE Transactions on Information Theory
2003
Corpus ID: 14063466
Viswanath and Anantharam (1999) characterize the sum capacity of multiaccess vector channels. For a given number of users…
Expand
Highly Cited
1996
Highly Cited
1996
Phase behaviors of supercooled water: Reconciling a critical point of amorphous ices with spinodal instability
Hideki Tanaka
1996
Corpus ID: 62889780
The anomalies of supercooled water in thermodynamic response functions at atmospheric pressure, the phase transition between low…
Expand
Highly Cited
1995
Highly Cited
1995
Multistability in networks of weakly coupled bistable units
Robert S. MacKay
,
J. Sepulchre
1995
Corpus ID: 2634984
Highly Cited
1990
Highly Cited
1990
Approaches of FIR system identification with noisy data using higher order statistics
Jitendra Tugnait
IEEE Transactions on Acoustics Speech and Signal…
1990
Corpus ID: 45021532
The problem of estimating the parameters of a moving average model from the cumulant statistics of the noisy observations of the…
Expand
Highly Cited
1990
Highly Cited
1990
Theory of self-organization of cortical maps: Mathematical framework
Shigeru Tanaka
Neural Networks
1990
Corpus ID: 31761087
Highly Cited
1980
Highly Cited
1980
On the number of periodic trajectories for a Hamiltonian flow on a convex energy surface
I. Ekeland
,
J. Lasry
1980
Corpus ID: 56409744
kbstract In this paper, we look for periodic solutions, with prescribed energy h C R, of Hamilton's equations: (H) a H (x, p), p…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE