Muhammad Usman

NNrepair: Constraint-based Repair of Neural Network Classifiers

We present NNrepair, a constraint-based technique for repairing neural n...
03/23/2021 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Compliance Requirements in Large-Scale Software Development: An Industrial Case Study

Regulatory compliance is a well-studied area, including research on how ...
03/02/2021 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

This paper presents NEUROSPF, a tool for the symbolic analysis of neural...
02/27/2021 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics

The prevalence of Diabetes mellitus (DM) in the Middle East is exception...
01/08/2021 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Recent Trends in Food Intake Monitoring using Wearable Sensors

Obesity and being over-weight add to the risk of some major life threate...
01/05/2021 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans

Floorplans are commonly used to represent the layout of buildings. In co...
12/08/2020 ∙ by Vahid Azizi, et al. ∙ 8 ∙ share

read it
Lightweight Encryption for the Low Powered IoT Devices

The internet of things refers to the network of devices connected to the...
12/01/2020 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
KaFHCa: Key-establishment via Frequency Hopping Collisions

The massive deployment of IoT devices being utilized by home automation,...
10/19/2020 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Quantum Computing: A Taxonomy, Systematic Review and Future Directions

Quantum computing is an emerging paradigm with the potential to offer si...
09/28/2020 ∙ by Sukhpal Singh Gill, et al. ∙ 0 ∙ share

read it
3D Object Localization Using 2D Estimates for Computer Vision Applications

A technique for object localization based on pose estimation and camera ...
09/24/2020 ∙ by Taha Hasan Masood Siddique, et al. ∙ 6 ∙ share

read it
AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier

Species living in the extreme cold environment fight against the harsh c...
09/11/2020 ∙ by Shujaat Khan, et al. ∙ 0 ∙ share

read it
Security Privacy in IoT Using Machine Learning Blockchain: Threats Countermeasures

Security and privacy have become significant concerns due to the involve...
02/10/2020 ∙ by Nazar Waheed, et al. ∙ 0 ∙ share

read it
Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning

Accurate quantification of pulmonary nodules can greatly assist the earl...
12/31/2019 ∙ by Muhammad Usman, et al. ∙ 25 ∙ share

read it
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)

Relational properties, e.g., the connectivity structure of nodes in a di...
12/25/2019 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Low Cost 3D Printing for Rapid Prototyping and its Application

In the recent years of industrial revolution, 3D printing has shown to g...
11/25/2019 ∙ by Taha Hasan Masood Siddique, et al. ∙ 0 ∙ share

read it
Heart Segmentation From MRI Scans Using Convolutional Neural Network

Heart is one of the vital organs of human body. A minor dysfunction of h...
11/21/2019 ∙ by Shakeel Muhammad Ibrahim, et al. ∙ 0 ∙ share

read it
Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks

Due to the dynamic nature, chaotic time series are difficult predict. In...
08/17/2019 ∙ by Alishba Sadiq, et al. ∙ 0 ∙ share

read it
Quantum Calculus-based Volterra LMS for Nonlinear Channel Estimation

A novel adaptive filtering method called q-Volterra least mean square (q...
08/07/2019 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding

Multishot Magnetic Resonance Imaging (MRI) is a promising imaging modali...
02/20/2019 ∙ by Muhammad Usman, et al. ∙ 7 ∙ share

read it
Analysis of Coauthorship Network in Political Science using Centrality Measures

In recent era, networks of data are growing massively and forming a shap...
02/12/2019 ∙ by Adeel Ahmed, et al. ∙ 0 ∙ share

read it
Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages

Cross-lingual speech emotion recognition is an important task for practi...
12/15/2018 ∙ by Siddique Latif, et al. ∙ 1 ∙ share

read it
q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm

Channel estimation is an essential part of modern communication systems ...
12/04/2018 ∙ by Alishba Sadiq, et al. ∙ 0 ∙ share

read it
Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks

Multishot Magnetic Resonance Imaging (MRI) has recently gained popularit...
11/24/2018 ∙ by Siddique Latif, et al. ∙ 1 ∙ share

read it
Using Deep Autoencoders for Facial Expression Recognition

Feature descriptors involved in image processing are generally manually ...
01/25/2018 ∙ by Muhammad Usman, et al. ∙ 0 ∙ share

read it
Abnormal Heartbeat Detection Using Recurrent Neural Networks

The observation and management of cardiac features (using automated card...
01/25/2018 ∙ by Siddique Latif, et al. ∙ 0 ∙ share

read it
Interactive Diversity Optimization of Environments

The design of a building requires an architect to balance a wide range o...
01/23/2018 ∙ by Glen Berseth, et al. ∙ 0 ∙ share

read it
A Robust Variable Step Size Fractional Least Mean Square (RVSS-FLMS) Algorithm

In this paper, we propose an adaptive framework for the variable step si...
11/14/2017 ∙ by Shujaat Khan, et al. ∙ 0 ∙ share

read it

Muhammad Usman

Featured Co-authors

Rajkumar Buyya

Junaid Qadir

Mohammed Bennamoun

Michael Felderer

Siddique Latif

Huanhuan Chen

Rajib Rana

Haris Vikalo

Shujaat Khan

Youcheng Sun

Xiangjian He

NNrepair: Constraint-based Repair of Neural Network Classifiers

Compliance Requirements in Large-Scale Software Development: An Industrial Case Study

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics

Recent Trends in Food Intake Monitoring using Wearable Sensors

Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans

Lightweight Encryption for the Low Powered IoT Devices

KaFHCa: Key-establishment via Frequency Hopping Collisions

Quantum Computing: A Taxonomy, Systematic Review and Future Directions

3D Object Localization Using 2D Estimates for Computer Vision Applications

AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier

Security Privacy in IoT Using Machine Learning Blockchain: Threats Countermeasures

Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)

Low Cost 3D Printing for Rapid Prototyping and its Application

Heart Segmentation From MRI Scans Using Convolutional Neural Network

Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks

Quantum Calculus-based Volterra LMS for Nonlinear Channel Estimation

Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding

Analysis of Coauthorship Network in Political Science using Centrality Measures

Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages

q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm

Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks

Using Deep Autoencoders for Facial Expression Recognition

Abnormal Heartbeat Detection Using Recurrent Neural Networks

Interactive Diversity Optimization of Environments

A Robust Variable Step Size Fractional Least Mean Square (RVSS-FLMS) Algorithm