Abstract: We consider the problem of recovering the initial data (or initial state) of infinite-dimensional linear systems generated by a perturbed skew-adjoint operator. It is well-known that this ...
Abstract: Angle-domain common image gathers (ADCIGs) describe the reflectivity variation over reflection angles which are important for seismic exploration. The ADCIGs could be obtained using reverse ...
Formally verified Lean 4 proofs establishing that INT8 neural network quantization necessarily introduces a non-zero accuracy gap, derived from the algebraic structure of Heyting algebra nuclei and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results