Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,190,742 papers from all fields of science
Search
Sign In
Create Free Account
Dependent ML
Known as:
Dependent ML programming language
Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning. Dependent ML extends ML by a restricted…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
ATS
Cayenne (programming language)
Dependent type
Epigram
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
A Proposal for Hybrid Memristor-CMOS Spiking Neuromorphic Learning Systems
T. Serrano-Gotarredona
,
T. Prodromakis
,
B. Linares-Barranco
IEEE Circuits and Systems Magazine
2013
Corpus ID: 21512204
Recent research in nanotechnology has led to the practical realization of nanoscale devices that behave as memristors, a device…
Expand
Highly Cited
2005
Highly Cited
2005
Effects of Additives on Copper Electrodeposition in Submicrometer Trenches
Madoka Hasegawa
,
Yoshinori Negishi
,
T. Nakanishi
,
T. Osaka
2005
Corpus ID: 67756663
˛d, poly~ethylene glycol !~ PEG!, bis~3-sulfopropyl!disulfide~SPS! ,a nd Janus green B ~JGB!# used in the damascene process on…
Expand
Highly Cited
2002
Highly Cited
2002
Polarity-dependent dielectric breakdown-induced epitaxy (DBIE) in Si MOSFETs
C. Tung
,
K. Pey
,
W. Lin
,
M. Radhakrishnan
IEEE Electron Device Letters
2002
Corpus ID: 23046230
The physical evidence describing the structural deformation at the failure site of soft breakdowns (SBDs) in the 33-/spl Aring…
Expand
Highly Cited
2002
Highly Cited
2002
Effects of Practical Life Materials on Kindergartners' Fine Motor Skills
Audrey C. Rule
,
R. Stewart
2002
Corpus ID: 55822247
A pretest-posttest control group design was used to measure the effect of practical life materials on public school kindergarten…
Expand
Review
2002
Review
2002
Success factors for improvement and innovation of process technology in process industry
T. Lager
,
S. Horte
2002
Corpus ID: 17703510
In a study of the development of process technology in the process industry, 25 potential success factors were developed and…
Expand
1999
1999
A method for estimating distributions of mass transfer rate coefficients with application to purging and batch experiments
K. Hollenbeck
,
C. Harvey
,
R. Haggerty
,
C. Werth
1999
Corpus ID: 97673428
Highly Cited
1998
Highly Cited
1998
Optimal scale for research and development in foreign environments—an investigation into size and performance of research and development laboratories abroad
W. Kuemmerle
1998
Corpus ID: 29282227
Highly Cited
1994
Highly Cited
1994
Masculinization of gonads by aromatase inhibitors in a turtle with temperature-dependent sex determination
M. Dorizzi
,
N. Richard-Mercier
,
G. Desvages
,
M. Girondot
,
C. Pieau
1994
Corpus ID: 43843799
Previous experiments combining the effects of exogenous oestrogens, tamoxifen (antioestrogen) and temperature have implicated…
Expand
Review
1993
Review
1993
Tutorial review—Data processing by neural networks in quantitative chemical analysis
M. Bos
,
A. Bos
,
W. E. Linden
1993
Corpus ID: 16141467
An overview is given of the current usage of artificial neural networks as mathematical models for non-linear calibration…
Expand
1993
1993
The discovery of endothelium-dependent relaxation
R. Furchgott
1993
Corpus ID: 77445339
Approximately forty years ago I developed the helical strip of rabbit thoracic aorta as a preparation for studies on drug…
Expand
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