Abstract: While static program analyzers based on abstract interpretation implement precision-improving techniques to reduce false alarms, such as loop unrolling, their computational cost requires ...
Abstract: Due to the “soft-field” characteristics of the sensitivity field in electrical impedance tomography (EIT), the inverse problem is nonlinear and ill-posed, resulting in poor reconstructions ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results