Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,318 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Abstract syntax tree
Backtracking
Constraint logic programming
Constraint satisfaction
Expand
Broader (2)
Constraint programming
Logic 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
S. Wasmer
,
A. Fell
,
J. Greulich
IEEE World Conference on Photovoltaic Energy…
2018
Corpus ID: 54435988
We determine the uncertainties on simulated efficiencies of silicon solar cells due to uncertainties of the fundamental physical…
Expand
Review
2017
Review
2017
Recognizing tracheobronchomalacia
S. Murgu
,
H. Colt
2017
Corpus ID: 32559982
Tracheobronchomalacia is a form of expiratory central airway collapse characterized by softening of the airway wall cartilaginous…
Expand
2016
2016
Stray light suppression in InGaAs/GaAsSb type-II FPA
Sundararajan Balasekaran
,
M. Migita
,
+5 authors
T. Katsuyama
SPIE OPTO
2016
Corpus ID: 124992328
Stray light in focal plane array (FPA) deteriorates the accuracy of hyper spectral imaging. Multiple reflections between FPA…
Expand
2015
2015
Influence of tunneling barrier width on the forward current characteristics of InAs-based microwave p-n diode
C. Yang
,
Y. Su
,
Hao-Hsiung Lin
Microelectronics Journal
2015
Corpus ID: 24993000
2013
2013
Performance tradeoffs of 120 Gb/s DP-QPSK in ROADM systems employing Broadcast-and-Select versus Route-and-Select architectures
M. Filer
,
S. Tibuleac
International Conference on Intelligent Pervasive…
2013
Corpus ID: 36128893
120 Gb/s DP-QPSK transmission through ROADM systems utilizing either Broadcast-and-Select or Route-and-Select architectures is…
Expand
Highly Cited
2011
Highly Cited
2011
Filling Narrow Trenches by Iodine-Catalyzed CVD of Copper and Manganese on Manganese Nitride Barrier/Adhesion Layers
Y. Au
,
Youbo Lin
,
R. Gordon
2011
Corpus ID: 44673084
We present a process for the void-free filling of sub-100 nm trenches with copper or copper-manganese alloy by chemical vapor…
Expand
2011
2011
A Novel Low-Bias Charge Concept for HBT/BJT Models Including Heterobandgap and Temperature Effects—Part I: Theory
Z. Huszka
,
D. Céli
,
E. Seebacher
IEEE Transactions on Electron Devices
2011
Corpus ID: 1227980
A new compact model approach is suggested for the low-bias base charge of homo- and heterojunction bipolar transistors. It is…
Expand
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…
Expand
2004
2004
Narrowing Linewidth and Continuously Frequency-Tuning of a Semiconductor Laser
W. Haim
2004
Corpus ID: 137717862
Using the technology of the weak optical feedback from a confocal F-P cavity, we demonstrated the narrowing linewidth, frequency…
Expand
1990
1990
Narrowing the Gap'-Hither How? GSU's Response to the Task Force Report
Roy M. Sobelson
1990
Corpus ID: 153068975
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)
ACCEPT & CONTINUE