Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,468 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
2010
2010
Evaluation of Multi-service CDMA Networks with Soft Blocking
V. Iversen
Next Generation Teletraffic and Wired/Wireless…
2010
Corpus ID: 14379665
This paper presents a new approach for calculating the capacity of multi-service CDMA networks with soft blocking using general…
Expand
2005
2005
Molecular Studies on Stress-Responsive Gene Expression in Arabidopsis and Improvement of Stress Tolerance in Crop Plants by Regulon Biotechnology
K. Nakashima
,
K. Yamaguchi-Shinozaki
2005
Corpus ID: 54640033
Molecular studies have shown that several genes with various functions are induced by environmental stresses such as drought…
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
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
1991
1991
Coverage dependent desorption kinetics of CO from Rh(111) using time-resolved specular helium scattering
K. A. Peterlinz
,
T. J. Curtiss
,
S. Sibener
1991
Corpus ID: 59456396
Linearized measurements of the coverage dependent desorption rates of CO from Rh(111) were made with a novel three molecular beam…
Expand
Review
1982
Review
1982
The ATP-dependent Restriction Endonucleases
T. Bickle
1982
Corpus ID: 81539314
The phenomenon of restriction and modification in bacteria was first described close to 30 years ago by Luria and Human (1952…
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