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: Conventional methods for high-impedance faults, low fault current levels, and communication delays could not properly identify the fault identification and location of an AC Microgrid. Fault ...
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