Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

New Foundations

Known as: Typed set theory, NF, TST 
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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
We present a full result for the 2+1 flavor QCD equation of state. All the systematics are controlled, the quark masses are set… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2013
Highly Cited
2013
© 2013 Association for Computational Linguistics. Traditional relation extraction predicts relations within some fixed and finite… Expand
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Ecosystems worldwide are receiving increasing amounts of reactive nitrogen (N) via anthropogenic activities with the added N… Expand
  • figure 1
  • figure 2
  • table 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This book provides a systematic account of CBA as a welfarist decision procedure. We reject the traditional defense of CBA in… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper describes the design and modeling of CMOS transistors, integrated passives, and circuit blocks at millimeter-wave (mm… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
!# $% '&( ) ) * + ! ' , * ' * ' . ./0 ' 1 * . '&* ' % 2 ) *!3 $% ) 4 ' " + $% ) * 65 7189 :, " !; * $4 ) @ & A B C D E . * . ! F… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel's key idea is… Expand
  • figure 1
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Abstract We show that manifolds of fixed points, which are generated by exactly marginal operators, are common in N = 1… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A device for attaching filter tips to cigarettes is disclosed. The device comprises a rotatable grooved drum provided with a… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Mach is a multiprocessor operating system kernel and environment under development at Carnegie Mellon University. Mach provides a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?