Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox
Picture for Muhammad Usman

Muhammad Usman

NNrepair: Constraint-based Repair of Neural Network Classifiers


Mar 23, 2021
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina Pasareanu

Figure 1 for NNrepair: Constraint-based Repair of Neural Network Classifiers
Figure 2 for NNrepair: Constraint-based Repair of Neural Network Classifiers
Figure 3 for NNrepair: Constraint-based Repair of Neural Network Classifiers
Figure 4 for NNrepair: Constraint-based Repair of Neural Network Classifiers

  Access Paper or Ask Questions

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks


Feb 27, 2021
Muhammad Usman, Yannic Noller, Corina Pasareanu, Youcheng Sun, Divya Gopinath

Figure 1 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Figure 2 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Figure 3 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Figure 4 for NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

  Access Paper or Ask Questions

The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics


Jan 08, 2021
Muhammad Usman, Kashif Ahmad, Amir Sohail, Marwa Qaraqe

Figure 1 for The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics
Figure 2 for The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics
Figure 3 for The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics
Figure 4 for The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics
* 4 pages 
  Access Paper or Ask Questions

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


Dec 08, 2020
Vahid Azizi, Muhammad Usman, Honglu Zhou, Petros Faloutsos, Mubbasir Kapadia

Figure 1 for Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans
Figure 2 for Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans
Figure 3 for Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans
Figure 4 for Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans

  Access Paper or Ask Questions

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


Oct 02, 2020
Shujaat Khan, Muhammad Usman, Abdul Wahab

Figure 1 for AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier
Figure 2 for AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier
Figure 3 for AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier
Figure 4 for AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier

  Access Paper or Ask Questions

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


Sep 24, 2020
Taha Hasan Masood Siddique, Muhammad Usman

Figure 1 for 3D Object Localization Using 2D Estimates for Computer Vision Applications
Figure 2 for 3D Object Localization Using 2D Estimates for Computer Vision Applications
Figure 3 for 3D Object Localization Using 2D Estimates for Computer Vision Applications
Figure 4 for 3D Object Localization Using 2D Estimates for Computer Vision Applications

  Access Paper or Ask Questions

Security & Privacy in IoT Using Machine Learning & Blockchain: Threats & Countermeasures


Feb 10, 2020
Nazar Waheed, Xiangjian He, Muhammad Usman, Muhammad Usman

Figure 1 for Security & Privacy in IoT Using Machine Learning & Blockchain: Threats & Countermeasures
Figure 2 for Security & Privacy in IoT Using Machine Learning & Blockchain: Threats & Countermeasures
Figure 3 for Security & Privacy in IoT Using Machine Learning & Blockchain: Threats & Countermeasures
Figure 4 for Security & Privacy in IoT Using Machine Learning & Blockchain: Threats & Countermeasures
* 35 pages, ACM CSUR Journal 
  Access Paper or Ask Questions

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


Feb 03, 2020
Muhammad Usman, Byoung-Dai Lee, Shi Sub Byon, Sung Hyun Kim, Byung-ilLee

Figure 1 for Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning
Figure 2 for Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning
Figure 3 for Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning
Figure 4 for Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning
* The manuscript is currently under review and copyright shall be transferred to the publisher upon acceptance 
  Access Paper or Ask Questions

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


Dec 25, 2019
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid

Figure 1 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Figure 2 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Figure 3 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Figure 4 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)

  Access Paper or Ask Questions

Low Cost 3D Printing for Rapid Prototyping and its Application


Nov 25, 2019
Taha Hasan Masood Siddique, Iqra Sami, Malik Zohaib Nisar, Mashal Naeem, Abid Karim, Muhammad Usman

Figure 1 for Low Cost 3D Printing for Rapid Prototyping and its Application
Figure 2 for Low Cost 3D Printing for Rapid Prototyping and its Application
Figure 3 for Low Cost 3D Printing for Rapid Prototyping and its Application
Figure 4 for Low Cost 3D Printing for Rapid Prototyping and its Application
* Accepted for oral presentation at 2019 Second International Conference on Latest trends in Electrical Engineering and Computing Technologies (Intellect 2019) 
  Access Paper or Ask Questions

Heart Segmentation From MRI Scans Using Convolutional Neural Network


Nov 21, 2019
Shakeel Muhammad Ibrahim, Muhammad Sohail Ibrahim, Muhammad Usman, Imran Naseem, Muhammad Moinuddin

Figure 1 for Heart Segmentation From MRI Scans Using Convolutional Neural Network
Figure 2 for Heart Segmentation From MRI Scans Using Convolutional Neural Network
Figure 3 for Heart Segmentation From MRI Scans Using Convolutional Neural Network
Figure 4 for Heart Segmentation From MRI Scans Using Convolutional Neural Network
* Accepted for oral presentation at 13th International Conference - Mathematics, Actuarial, Computer Science & Statistics (MACS 13) at IoBM, Karachi, Pakistan 
  Access Paper or Ask Questions

AFP-CKSAAP: Prediction of Antifreeze Proteins Using Composition of k-Spaced Amino Acid Pairs with Deep Neural Network


Sep 11, 2019
Muhammad Usman, Jeong A Lee

Figure 1 for AFP-CKSAAP: Prediction of Antifreeze Proteins Using Composition of k-Spaced Amino Acid Pairs with Deep Neural Network
Figure 2 for AFP-CKSAAP: Prediction of Antifreeze Proteins Using Composition of k-Spaced Amino Acid Pairs with Deep Neural Network
Figure 3 for AFP-CKSAAP: Prediction of Antifreeze Proteins Using Composition of k-Spaced Amino Acid Pairs with Deep Neural Network
Figure 4 for AFP-CKSAAP: Prediction of Antifreeze Proteins Using Composition of k-Spaced Amino Acid Pairs with Deep Neural Network
* Accepted for oral presentation at 19th 2019 IEEE International Conference on Bioinformatics and Bioengineering (IC-BIBE 2019) Copyright (c) 2019 IEEE 
  Access Paper or Ask Questions

Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks


Aug 17, 2019
Alishba Sadiq, Muhammad Sohail Ibrahim, Muhammad Usman, Muhammad Zubair, Shujaat Khan

Figure 1 for Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks
Figure 2 for Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks
Figure 3 for Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks
Figure 4 for Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks
* Published in: 2018 3rd International Conference on Emerging Trends in Engineering, Sciences and Technology (ICEEST). arXiv admin note: substantial text overlap with arXiv:1908.01321 
  Access Paper or Ask Questions

Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding


Mar 24, 2019
Muhammad Usman, Siddique Latif, Muhammad Asim, Junaid Qadir

Figure 1 for Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding
Figure 2 for Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding
Figure 3 for Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding
Figure 4 for Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding
* \{copyright} 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works 
  Access Paper or Ask Questions

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


Dec 20, 2018
Alishba Sadiq, Muhammad Usman, Shujaat Khan, Imran Naseem, Muhammad Moinuddin, Ubaid M. Al-Saggaf

Figure 1 for q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm
Figure 2 for q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm
Figure 3 for q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm
Figure 4 for q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm

  Access Paper or Ask Questions

Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages


Dec 15, 2018
Siddique Latif, Adnan Qayyum, Muhammad Usman, Junaid Qadir

Figure 1 for Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages
Figure 2 for Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages
Figure 3 for Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages
Figure 4 for Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages
* 6 
  Access Paper or Ask Questions

Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks


Nov 24, 2018
Siddique Latif, Muhammad Asim, Muhammad Usman, Junaid Qadir, Rajib Rana

Figure 1 for Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks
Figure 2 for Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks
Figure 3 for Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks
Figure 4 for Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks
* MED-NIPS 2018 
  Access Paper or Ask Questions

Phonocardiographic Sensing using Deep Learning for Abnormal Heartbeat Detection


Jun 05, 2018
Siddique Latif, Muhammad Usman, Rajib Rana, Junaid Qadir

Figure 1 for Phonocardiographic Sensing using Deep Learning for Abnormal Heartbeat Detection
Figure 2 for Phonocardiographic Sensing using Deep Learning for Abnormal Heartbeat Detection
Figure 3 for Phonocardiographic Sensing using Deep Learning for Abnormal Heartbeat Detection
Figure 4 for Phonocardiographic Sensing using Deep Learning for Abnormal Heartbeat Detection

  Access Paper or Ask Questions

Using Deep Autoencoders for Facial Expression Recognition


Jan 25, 2018
Muhammad Usman, Siddique Latif, Junaid Qadir

Figure 1 for Using Deep Autoencoders for Facial Expression Recognition
Figure 2 for Using Deep Autoencoders for Facial Expression Recognition
Figure 3 for Using Deep Autoencoders for Facial Expression Recognition
Figure 4 for Using Deep Autoencoders for Facial Expression Recognition

  Access Paper or Ask Questions