Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,891,599 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.
Review
2012
Review
2012
multicentre open trial demonstrates efficacy of sublingual immunotherapy in canine atopic dermatitis : P-029
D. DeBoer
,
M. Morris
2012
Corpus ID: 80261761
OBJECTIVE CONCLUSIONS MATERIALS AND METHODS DISCUSSION BACKGROUND Data collected was subjective and empirical. Response rates…
Expand
2011
2011
Millimeter-Wave and THz Circuits in 45-nm SOI CMOS
O. Inac
,
B. Cetinoneri
,
M. Uzunkol
,
Y. Atesal
,
Gabriel M. Rebeiz
IEEE Compound Semiconductor Integrated Circuit…
2011
Corpus ID: 14884617
This paper presents low-noise amplifiers (LNA) at 45¿C95 GHz, a frequency doubler at 180 GHz, active and passive mixers at 130…
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
2002
Highly Cited
2002
Active Clamped ZVS Forward Converter With Soft-Switched Synchronous Rectifier
A. Açik
,
I. Çadirci
2002
Corpus ID: 2653204
This paper presents the analysis, design and implementation of an active-clamped, ZVS forward converter equipped with a soft…
Expand
2001
2001
A New Approach to Interactive Drama: From Intelligent Characters to an Intelligent Virtual Narrator
N. Szilas
2001
Corpus ID: 120062
The limits of current forms of interactive drama have been now clearly identified: - interactive character based stories are…
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
1999
1999
A multifrequency quadrature bridge for realization of the capacitance standard at ETL
Y. Nakamura
,
A. Fukushima
,
Y. Sakamoto
,
T. Endo
,
G. Small
IEEE Transactions on Instrumentation and…
1999
Corpus ID: 206398299
A quadrature bridge which will be used in the chain of measurements from the QHR to the standard of capacitance at ETL has been…
Expand
1994
1994
Modal Parameter Estimation: A Unified Matrix Polynomial Approach
R. Allemang
,
David L. Brown
,
W. Fladung
1994
Corpus ID: 18966181
As many different modal parameter estimation algorithms have evolved over the past twenty years, the ability to view all…
Expand
1992
1992
Perfect reconstruction modulated filter banks
J. Mau
IEEE International Conference on Acoustics…
1992
Corpus ID: 122663340
New modulated filter banks having the perfect reconstruction property, called perfect reconstruction modulated filter (PRMF…
Expand
1975
1975
Fast-discharge-initiated KrF laser
D. Sutton
,
S. Suchard
,
O. Gibb
,
C. Wang
1975
Corpus ID: 34998261
By means of fast‐discharge circuitry, intense laser emission was observed from the XeF molecule at 351, 353, and 349 nm in a gas…
Expand