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

Subject reduction

Known as: Type-preservation, Subject evaluation, Type preservation 
In type theory, a type system has the property of subject reduction (also subject evaluation, type preservation or simply preservation) if evaluation… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Most of the previous sparse coding (SC) based super resolution (SR) methods partition the image into overlapped patches, and… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Surface tracking is an important problem with applications in many research fields. Among the most famous examples in computer… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Regionalization is to divide a large set of spatial objects into a number of spatially contiguous regions while optimizing an… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In 2005 Mexico City had just under 20 million inhabitants in the whole metropolitan area. Although over the last 20 years the… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In recent years a lot of research has been undertaken to ascertain the most suitable preservation approach. For a long time… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This article presents a reflective case study analysis of an attempt to enhance student learning through the introduction of… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Stable-isotope analysis is a powerful method for characterizing flows of mass and energy through ecosys- tems. Long-term food-web… Expand
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This Letter presents a simple formula for the average fidelity between a unitary quantum gate and a general quantum operation on… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A new system equivalence relation, using the framework of differential geometry of jets and prolongations of infinite order, is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The difficulty and expense of preserving digital information is a potential impediment to digital library development… Expand
Is this relevant?