Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
Abstract syntax treeBacktrackingConstraint logic programmingConstraint satisfaction

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… 
Review
2017
Review
2017
Recognizing tracheobronchomalacia
Tracheobronchomalacia is a form of expiratory central airway collapse characterized by softening of the airway wall cartilaginous… 
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… 
2015
2015
Influence of tunneling barrier width on the forward current characteristics of InAs-based microwave p-n diode
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… 
Highly Cited
2011
Highly Cited
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… 
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… 
2004
2004
Zur Ultracytologie von Costia necatrix Leclerq, unter besonderer Berücksichtigung des Kinetoplast-Mitochondrions
  • G. Schubert
  • Zeitschrift für Parasitenkunde
  • 2004
  • Corpus ID: 44028755
ZusammenfassungUltradünnschnitte von Costia necatrix, an Fischepidermis haftend, wurden elektronenmikroskopisch untersucht und… 
2004
2004
Narrowing Linewidth and Continuously Frequency-Tuning of a Semiconductor Laser
Using the technology of the weak optical feedback from a confocal F-P cavity, we demonstrated the narrowing linewidth, frequency… 
1990
1990
Narrowing the Gap'-Hither How? GSU's Response to the Task Force Report
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)