Muhammad Usman

research

∙ 07/01/2022

Automated Quantum Circuit Design with Nested Monte Carlo Tree Search

Quantum algorithms based on variational approaches are one of the most p...

Pei-Yong Wang, et al. ∙

research

∙ 06/16/2022

Performance analysis of coreset selection for quantum implementation of K-Means clustering algorithm

Quantum computing is anticipated to offer immense computational capabili...

Fanzhe Qu, et al. ∙

research

∙ 06/04/2022

Optimizing Indoor Navigation Policies For Spatial Distancing

In this paper, we focus on the modification of policies that can lead to...

Xun Zhang, et al. ∙

research

∙ 05/30/2022

QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing

Recent breakthroughs in quantum hardware are creating opportunities for ...

Hoa T. Nguyen, et al. ∙

research

∙ 05/08/2022

VPN: Verification of Poisoning in Neural Networks

Neural networks are successfully used in a variety of applications, many...

Youcheng Sun, et al. ∙

research

∙ 04/11/2022

Multiplier with Reduced Activities and Minimized Interconnect for Inner Product Arrays

We present a pipelined multiplier with reduced activities and minimized ...

Muhammad Usman, et al. ∙

research

∙ 01/31/2022

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks

We study backdoor poisoning attacks against image classification network...

Muhammad Usman, et al. ∙

research

∙ 10/25/2021

QuantifyML: How Good is my Machine Learning Model?

The efficacy of machine learning models is typically determined by compu...

Muhammad Usman, et al. ∙

research

∙ 10/12/2021

A scalable and fast artificial neural network syndrome decoder for surface codes

Surface code error correction offers a highly promising pathway to achie...

Spiro Gicev, et al. ∙

research

∙ 09/21/2021

A Quality Assessment Instrument for Systematic Literature Reviews in Software Engineering

Context: Systematic literature reviews (SLRs) have become standard pract...

Muhammad Usman, et al. ∙

research

∙ 06/02/2021

q-RBFNN:A Quantum Calculus-based RBF Neural Network

In this research a novel stochastic gradient descent based learning appr...

Syed Saiq Hussain, et al. ∙

research

∙ 03/23/2021

NNrepair: Constraint-based Repair of Neural Network Classifiers

We present NNrepair, a constraint-based technique for repairing neural n...

Muhammad Usman, et al. ∙

research

∙ 03/02/2021

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

Regulatory compliance is a well-studied area, including research on how ...

Muhammad Usman, et al. ∙

research

∙ 02/27/2021

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

This paper presents NEUROSPF, a tool for the symbolic analysis of neural...

Muhammad Usman, et al. ∙

research

∙ 01/08/2021

The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics

The prevalence of Diabetes mellitus (DM) in the Middle East is exception...

Muhammad Usman, et al. ∙

research

∙ 01/05/2021

Recent Trends in Food Intake Monitoring using Wearable Sensors

Obesity and being over-weight add to the risk of some major life threate...

Muhammad Usman, et al. ∙

research

∙ 12/08/2020

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

Floorplans are commonly used to represent the layout of buildings. In co...

Vahid Azizi, et al. ∙

research

∙ 12/01/2020

Lightweight Encryption for the Low Powered IoT Devices

The internet of things refers to the network of devices connected to the...

Muhammad Usman, et al. ∙

research

∙ 10/19/2020

KaFHCa: Key-establishment via Frequency Hopping Collisions

The massive deployment of IoT devices being utilized by home automation,...

Muhammad Usman, et al. ∙

research

∙ 09/28/2020

Quantum Computing: A Taxonomy, Systematic Review and Future Directions

Quantum computing is an emerging paradigm with the potential to offer si...

Sukhpal Singh Gill, et al. ∙

research

∙ 09/24/2020

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

A technique for object localization based on pose estimation and camera ...

Taha Hasan Masood Siddique, et al. ∙

research

∙ 09/11/2020

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

Species living in the extreme cold environment fight against the harsh c...

Shujaat Khan, et al. ∙

research

∙ 02/10/2020

Security Privacy in IoT Using Machine Learning Blockchain: Threats Countermeasures

Security and privacy have become significant concerns due to the involve...

Nazar Waheed, et al. ∙

research

∙ 12/31/2019

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

Accurate quantification of pulmonary nodules can greatly assist the earl...

Muhammad Usman, et al. ∙

research

∙ 12/25/2019

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...

Muhammad Usman, et al. ∙

research

∙ 11/25/2019

Low Cost 3D Printing for Rapid Prototyping and its Application

In the recent years of industrial revolution, 3D printing has shown to g...

Taha Hasan Masood Siddique, et al. ∙

research

∙ 11/21/2019

Heart Segmentation From MRI Scans Using Convolutional Neural Network

Heart is one of the vital organs of human body. A minor dysfunction of h...

Shakeel Muhammad Ibrahim, et al. ∙

research

∙ 08/17/2019

Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks

Due to the dynamic nature, chaotic time series are difficult predict. In...

Alishba Sadiq, et al. ∙

research

∙ 08/07/2019

Quantum Calculus-based Volterra LMS for Nonlinear Channel Estimation

A novel adaptive filtering method called q-Volterra least mean square (q...

Muhammad Usman, et al. ∙

research

∙ 02/20/2019

Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding

Multishot Magnetic Resonance Imaging (MRI) is a promising imaging modali...

Muhammad Usman, et al. ∙

research

∙ 02/12/2019

Analysis of Coauthorship Network in Political Science using Centrality Measures

In recent era, networks of data are growing massively and forming a shap...

Adeel Ahmed, et al. ∙

research

∙ 12/15/2018

Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages

Cross-lingual speech emotion recognition is an important task for practi...

Siddique Latif, et al. ∙

research

∙ 12/04/2018

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

Channel estimation is an essential part of modern communication systems ...

Alishba Sadiq, et al. ∙

research

∙ 11/24/2018

Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks

Multishot Magnetic Resonance Imaging (MRI) has recently gained popularit...

Siddique Latif, et al. ∙

research

∙ 01/25/2018

Using Deep Autoencoders for Facial Expression Recognition

Feature descriptors involved in image processing are generally manually ...

Muhammad Usman, et al. ∙

research

∙ 01/25/2018

Abnormal Heartbeat Detection Using Recurrent Neural Networks

The observation and management of cardiac features (using automated card...

Siddique Latif, et al. ∙

research

∙ 01/23/2018

Interactive Diversity Optimization of Environments

The design of a building requires an architect to balance a wide range o...

Glen Berseth, et al. ∙

research

∙ 11/14/2017

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...

Shujaat Khan, et al. ∙

Muhammad Usman

Featured Co-authors