Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,257,096 papers from all fields of science
Search
Sign In
Create Free Account
New Foundations
Known as:
Typed set theory
, NF
, TST
Expand
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Atomic formula
Axiom of reducibility
Cartesian closed category
Currying
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Delay-optimal power and subcarrier allocation for OFDMA systems via stochastic approximation
V. Lau
,
Ying Cui
IEEE Transactions on Wireless Communications
2009
Corpus ID: 3525570
In this paper, we consider delay-optimal power and subcarrier allocation design for OFDMA systems with NF subcarriers, K mobiles…
Expand
Highly Cited
2006
Highly Cited
2006
Centre de Physique Théorique
2006
Corpus ID: 14399523
Highly Cited
2006
Highly Cited
2006
60-GHz PA and LNA in 90-nm RF-CMOS
T. Yao
,
M. Gordon
,
K. Yau
,
M.T. Yang
,
S. Voinigescu
IEEE Radio Frequency Integrated Circuits (RFIC…
2006
Corpus ID: 8795344
60-GHz power (PA) and low-noise (LNA) amplifiers implemented in a 90-nm RF-CMOS process with thick 9-metal layer copper backend…
Expand
Highly Cited
2006
Highly Cited
2006
Improving the measurement of the Modified Fouling Index using nanofiltration membranes (NF-MFI)
S. Khirani
,
R. Aim
,
M. Manero
2006
Corpus ID: 59145205
Highly Cited
2005
Highly Cited
2005
A 3.1 to 8.2 GHz direct conversion receiver for MB-OFDM UWB communications
A. Ismail
,
A. Abidi
ISSCC. IEEE International Digest of Technical…
2005
Corpus ID: 8732549
A direct conversion receiver for UWB applications operates in 3.1-8.2 GHz and gives a NF of 3.3-4.1 dB and a conversion gain of…
Expand
Highly Cited
2005
Highly Cited
2005
2.4-GHz receiver for sensor applications
Jere A. M. Järvinen
,
J. Kaukovuori
,
+4 authors
K. Halonen
IEEE Journal of Solid-State Circuits
2005
Corpus ID: 47391892
This paper describes a receiver designed to meet the stringent power consumption requirements for sensor radio, which operates at…
Expand
Highly Cited
2004
Highly Cited
2004
A simple neuro-fuzzy impulse detector for efficient blur reduction of impulse noise removal operators for digital images
M. E. Yüksel
,
E. Beşdok
IEEE transactions on fuzzy systems
2004
Corpus ID: 206683471
A new impulse noise detector based on neuro-fuzzy methods is presented. The proposed detector comprises two identical neuro-fuzzy…
Expand
Highly Cited
1999
Highly Cited
1999
GSM transceiver front-end circuits in 0.25-μm CMOS
Qiuting Huang
,
P. Orsatti
,
F. Piazza
IEEE J. Solid State Circuits
1999
Corpus ID: 60908639
So far, CMOS has been shown to be capable of operating at radio-frequency (RF) frequencies, although the inadequacies of the…
Expand
Highly Cited
1997
Highly Cited
1997
A 2.5 GHz BiCMOS transceiver for wireless LAN
R. Meyer
,
W. D. Mack
,
J. Hageraats
IEEE International Solids-State Circuits…
1997
Corpus ID: 6628513
A low-cost Si IC contains most of the elements required to realize the RF transmit and receive paths of a 2.5 GHz WLAN…
Expand
Highly Cited
1996
Highly Cited
1996
Contemporary Warfare in Africa: Changing Context, Changing Strategies
A. Waal
1996
Corpus ID: 54949535
Summaries This article attempts to synthesize a coherent analysis of the ways in which warfare in Africa has changed since the…
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