13 citations · 34 across the 11 of their papers we have counts for
3 papers · 1 filter
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada +4
Generating unsafe sub-requirements from a partitioned input space to support verification-guided test cases for formal verification of black-box models is a challenging problem for…
Deep Recurrent Electricity Theft Detection in AMI Networks with Random Tuning of Hyper-parameters
Mahmoud Nabil, Muhammad Ismail, Mohamed Mahmoud +3
Modern smart grids rely on advanced metering infrastructure (AMI) networks for monitoring and billing purposes. However, such an approach suffers from electricity theft cyberattack…
Random Projection and Its Applications
Mahmoud Nabil
Random Projection is a foundational research topic that connects a bunch of machine learning algorithms under a similar mathematical basis. It is used to reduce the dimensionality…