Picture for Osman Hasan

Osman Hasan

SEECS, NUST, Islamabad, Pakistan

Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications

Add code
Oct 11, 2024
Viaarxiv icon

Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation

Add code
Jul 03, 2023
Viaarxiv icon

UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks

Add code
Mar 13, 2023
Viaarxiv icon

BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables

Add code
Sep 07, 2021
Figure 1 for BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables
Figure 2 for BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables
Figure 3 for BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables
Figure 4 for BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables
Viaarxiv icon

Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks

Add code
May 26, 2021
Figure 1 for Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
Figure 2 for Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
Figure 3 for Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
Figure 4 for Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
Viaarxiv icon

MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices

Add code
Nov 21, 2020
Figure 1 for MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Figure 2 for MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Figure 3 for MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Figure 4 for MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices
Viaarxiv icon

m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks

Add code
Aug 23, 2020
Figure 1 for m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks
Figure 2 for m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks
Figure 3 for m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks
Figure 4 for m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks
Viaarxiv icon

FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks

Add code
Dec 03, 2019
Figure 1 for FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks
Figure 2 for FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks
Figure 3 for FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks
Figure 4 for FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks
Viaarxiv icon

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic

Add code
Jul 18, 2018
Figure 1 for Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Figure 2 for Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Viaarxiv icon

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems

Add code
Mar 20, 2017
Figure 1 for Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Figure 2 for Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Figure 3 for Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Figure 4 for Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Viaarxiv icon