Forcing

Forcing in recursion theory is a modification of Paul Cohen's original set theoretic technique of forcing to deal with the effective concerns in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1960-2018
05010015019602018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
We consider the downlink of a multicell system with multiantenna base stations and single-antenna user terminals, arbitrary base… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Linear receivers are often used to reduce the implementation complexity of multiple-antenna systems. In a traditional linear… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Representative Concentration Pathway (RCP) 4.5 is a scenario that stabilizes radiative forcing at 4.5 Watts per meter squared in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We consider the problem of linear zero-forcing precoding design and discuss its relation to the theory of generalized inverses in… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Contributing Authors: G. Bodeker (New Zealand), O. Boucher (UK, France), W.D. Collins (USA), T.J. Conway (USA), E. Dlugokencky… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
By employing spatial multiplexing, multiple-input multiple-output (MIMO) wireless antenna systems provide increases in capacity… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
[1] The global distribution of carbonaceous aerosols is simulated online in the Goddard Institute for Space Studies General… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Contributing Authors R. Betts, R. Charlson, C. Chuang, J.S. Daniel, A. Del Genio, R. van Dorland, J. Feichter, J. Fuglestvedt, P… (More)
  • table 6.2
  • table 6.1
  • figure 6.1
  • table 6.3
  • figure 6.2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
An inexact Newton method is a generalization ofNewton's method for solving F(x) 0, F n _ _ in, in which, at the kth iteration… (More)
  • figure 3.1
  • figure 3.2
  • figure 3.4
  • table 3.1
  • table 3.2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A common change to object-oriented software is to add a new type of data that is a subtype of some existing type in the program… (More)
  • figure 7
Is this relevant?