Login / Signup
A Sound Type System for Physical Quantities, Units, and Measurements.
Simon Foster
Burkhart Wolff
Published in:
Arch. Formal Proofs (2020)
Keyphrases
</>
data sets
measurement noise
real time
evolutionary algorithm
multiple types
neural network
information systems
case study
wide range
cooperative
digital libraries
speech recognition
processing units