Machine learning models are designed to take in data, to find patterns or relationships within those data, and to use what ...

Abstract: Due to the inherent $\pi $ -phase constraint in phase unwrapping algorithms, the dynamic strain range of phase-sensitive optical time domain reflectometry ($\Phi $ -OTDR) is significantly ...

Abstract: The classic linear (technically, affine) equality abstract domain, which can infer linear equality relations among variables of a program automatically, is one of the earliest and ...