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

Narrowing of algebraic value sets

Like logic programming, narrowing of algebraic value sets gives a method of reasoning about the values in unsolved or partially solved equations… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We determine the uncertainties on simulated efficiencies of silicon solar cells due to uncertainties of the fundamental physical… Expand
  • figure 1
  • table I
  • figure 2
Is this relevant?
2016
2016
Stray light in focal plane array (FPA) deteriorates the accuracy of hyper spectral imaging. Multiple reflections between FPA… Expand
Is this relevant?
2013
2013
120 Gb/s DP-QPSK transmission through ROADM systems utilizing either Broadcast-and-Select or Route-and-Select architectures is… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2013
2013
A concurrent system can be naturally specified as a rewrite theory R = (Sigma, E, R) where states are elements of the initial… Expand
  • figure 3
  • figure 6
Is this relevant?
2011
2011
We present a process for the void-free filling of sub-100 nm trenches with copper or copper-manganese alloy by chemical vapor… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2011
2011
A new compact model approach is suggested for the low-bias base charge of homo- and heterojunction bipolar transistors. It is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Abstract This paper reports the shallow trench isolation (STI)-induced mechanical stress-related Kink effect behaviour of the 40… Expand
  • figure 3
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2008
2008
An analytical method to compute the scattering of spherically and hemispherically stratified lens antennas is described. The… Expand
  • figure 2
  • figure 1
  • figure 4
  • figure 3
  • table I
Is this relevant?
2002
2002
VersionJuly31,2002 Narrowing is a powerful featurefoundin somedeclarati ve programminglanguages. Researchin thelast… Expand
Is this relevant?
1966
1966
ZusammenfassungUltradünnschnitte von Costia necatrix, an Fischepidermis haftend, wurden elektronenmikroskopisch untersucht und… Expand
Is this relevant?