8 citations · 12 across the 5 of their papers we have counts for
5 papers
Formal Local Implication Between Two Neural Networks
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Given two neural network classifiers with the same input and output domains, our goal is to compare the two networks in relation to each other over an entire input region (e.g., wi…
MetaWearS: A Shortcut in Wearable Systems Lifecycle with Only a Few Shots
Alireza Amirshahi, Maedeh H. Toosi, Siamak Mohammadi +5
Wearable systems provide continuous health monitoring and can lead to early detection of potential health issues. However, the lifecycle of wearable systems faces several challenge…
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Machine learning techniques often lack formal correctness guarantees, evidenced by the widespread adversarial examples that plague most deep-learning applications. This lack of for…
Many-to-One Knowledge Distillation of Real-Time Epileptic Seizure Detection for Low-Power Wearable Internet of Things Systems
Saleh Baghersalimi, Alireza Amirshahi, Farnaz Forooghifar +3
Integrating low-power wearable Internet of Things (IoT) systems into routine health monitoring is an ongoing challenge. Recent advances in the computation capabilities of wearables…
Synthetic Epileptic Brain Activities Using Generative Adversarial Networks
Damian Pascual, Amir Aminifar, David Atienza +2
Epilepsy is a chronic neurological disorder affecting more than 65 million people worldwide and manifested by recurrent unprovoked seizures. The unpredictability of seizures not on…