Login / Signup
Use and Abuse of Instance Parameters in the Lean Mathematical Library.
Anne Baanen
Published in:
ITP (2022)
Keyphrases
</>
parameter values
maximum likelihood
database
information systems
input parameters
parameter tuning
image sequences
parameter space
parameter estimation
measured data
parameter selection
parameter settings
sensitivity analysis
input data
three dimensional
case study
neural network
databases