Abstract: Formal verification techniques play a pivotal role in ensuring the safety of complex cyber-physical systems. To transfer model-based verification results to the real world, we require that ...
This repository contains the De-Identification of Medical Imaging Data: A Comprehensive Tool for Ensuring Patient Privacy, which enables users to anonymize a wide ...
Abstract: This article mainly considers the robust online identification of time-delay systems affected by skewed measurement noise. The shifted asymmetric Laplace (SAL) distribution is introduced to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results