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

Related topics

Related topics

18 relations
Abstract syntax treeBacktrackingConstraint logic programmingConstraint satisfaction
Expand

Broader (2)

Constraint programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Impact of Uncertainties of Fundamental Models on Simulated Silicon Solar Cell Efficiencies
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 suppression in InGaAs/GaAsSb type-II FPA
Stray light in focal plane array (FPA) deteriorates the accuracy of hyper spectral imaging. Multiple reflections between FPA… Expand
Is this relevant?
2013
2013
Performance tradeoffs of 120 Gb/s DP-QPSK in ROADM systems employing Broadcast-and-Select versus Route-and-Select architectures
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
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
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
Filling Narrow Trenches by Iodine-Catalyzed CVD of Copper and Manganese on Manganese Nitride Barrier/Adhesion Layers
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 Novel Low-Bias Charge Concept for HBT/BJT Models Including Heterobandgap and Temperature Effects—Part I: Theory
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
Analysis of STI-induced mechanical stress-related Kink effect of 40 nm PD SOI NMOS devices biased in saturation region
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
Scattering of Spherically and Hemispherically Stratified Lenses Fed by Any Real Source
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
Programming with Narrowing
VersionJuly31,2002 Narrowing is a powerful featurefoundin somedeclarati ve programminglanguages. Researchin thelast… Expand
Is this relevant?
1966
1966
Zur Ultracytologie von Costia necatrix Leclerq, unter besonderer Berücksichtigung des Kinetoplast-Mitochondrions
ZusammenfassungUltradünnschnitte von Costia necatrix, an Fischepidermis haftend, wurden elektronenmikroskopisch untersucht und… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE