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 ...
Abstract: Transformer-customer connectivity relationship is the index for electricity customers’ connections to the up-level transformer in the low-voltage distribution systems. Such relationship ...
This repository contains the De-Identification of Medical Imaging Data: A Comprehensive Tool for Ensuring Patient Privacy, which enables users to anonymize a wide ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results