Skip to main content

Showing 1–50 of 84 results for author: Usman, M

  1. arXiv:2407.02828  [pdf

    cs.ET quant-ph

    Quantum Serverless Paradigm and Application Development using the QFaaS Framework

    Authors: Hoa T. Nguyen, Bui Binh An Pham, Muhammad Usman, Rajkumar Buyya

    Abstract: Quantum computing has the potential to solve complex problems beyond the capabilities of classical computers. However, its practical use is currently limited due to early-stage quantum software engineering and the constraints of Noisy Intermediate-Scale Quantum (NISQ) devices. To address this issue, this chapter introduces the concept of serverless quantum computing with examples using QFaaS, a pr… ▽ More

    Submitted 3 July, 2024; originally announced July 2024.

    Comments: Guidelines for deploying and using the QFaaS Framework (for the original paper, see https://doi.org/10.1016/j.future.2024.01.018)

  2. arXiv:2407.02748  [pdf, other

    cs.DC cs.ET

    DRLQ: A Deep Reinforcement Learning-based Task Placement for Quantum Cloud Computing

    Authors: Hoa T. Nguyen, Muhammad Usman, Rajkumar Buyya

    Abstract: The quantum cloud computing paradigm presents unique challenges in task placement due to the dynamic and heterogeneous nature of quantum computation resources. Traditional heuristic approaches fall short in adapting to the rapidly evolving landscape of quantum computing. This paper proposes DRLQ, a novel Deep Reinforcement Learning (DRL)-based technique for task placement in quantum cloud computin… ▽ More

    Submitted 2 July, 2024; originally announced July 2024.

    Comments: Accepted paper at IEEE CLOUD 2024 conference

  3. arXiv:2406.09155  [pdf, other

    cs.CL cs.AI cs.CV cs.LG

    DefAn: Definitive Answer Dataset for LLMs Hallucination Evaluation

    Authors: A B M Ashikur Rahman, Saeed Anwar, Muhammad Usman, Ajmal Mian

    Abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities, revolutionizing the integration of AI in daily life applications. However, they are prone to hallucinations, generating claims that contradict established facts, deviating from prompts, and producing inconsistent responses when the same prompt is presented multiple times. Addressing these issues is challenging due to the lack… ▽ More

    Submitted 13 June, 2024; originally announced June 2024.

  4. arXiv:2406.06638  [pdf, other

    hep-ph cs.LG

    Particle Multi-Axis Transformer for Jet Tagging

    Authors: Muhammad Usman, M Husnain Shahid, Maheen Ejaz, Ummay Hani, Nayab Fatima, Abdul Rehman Khan, Asifullah Khan, Nasir Majid Mirza

    Abstract: Jet tagging is an essential categorization problem in high energy physics. In recent times, Deep Learning has not only risen to the challenge of jet tagging but also significantly improved its performance. In this article, we proposed an idea of a new architecture, Particle Multi-Axis transformer (ParMAT) which is a modified version of Particle transformer (ParT). ParMAT contains local and global… ▽ More

    Submitted 16 July, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

  5. arXiv:2406.00360  [pdf, other

    cs.AR

    L2R-CIPU: Efficient CNN Computation with Left-to-Right Composite Inner Product Units

    Authors: Malik Zohaib Nisar, Mohammad Sohail Ibrahim, Muhammad Usman, Jeong-A Lee

    Abstract: This paper proposes a composite inner-product computation unit based on left-to-right (LR) arithmetic for the acceleration of convolution neural networks (CNN) on hardware. The efficacy of the proposed L2R-CIPU method has been shown on the VGG-16 network, and assessment is done on various performance metrics. The L2R-CIPU design achieves 1.06x to 6.22x greater performance, 4.8x to 15x more TOPS/W,… ▽ More

    Submitted 8 July, 2024; v1 submitted 1 June, 2024; originally announced June 2024.

  6. arXiv:2405.10360  [pdf, other

    quant-ph cond-mat.stat-mech cs.LG nlin.CD

    Adversarial Robustness Guarantees for Quantum Classifiers

    Authors: Neil Dowling, Maxwell T. West, Angus Southwell, Azar C. Nakhl, Martin Sevior, Muhammad Usman, Kavan Modi

    Abstract: Despite their ever more widespread deployment throughout society, machine learning algorithms remain critically vulnerable to being spoofed by subtle adversarial tampering with their input data. The prospect of near-term quantum computers being capable of running {quantum machine learning} (QML) algorithms has therefore generated intense interest in their adversarial vulnerability. Here we show th… ▽ More

    Submitted 16 May, 2024; originally announced May 2024.

    Comments: 9+12 pages, 3 figures. Comments welcome

  7. arXiv:2405.08961  [pdf, other

    cs.CV cs.AI cs.LG

    Bird's-Eye View to Street-View: A Survey

    Authors: Khawlah Bajbaa, Muhammad Usman, Saeed Anwar, Ibrahim Radwan, Abdul Bais

    Abstract: In recent years, street view imagery has grown to become one of the most important sources of geospatial data collection and urban analytics, which facilitates generating meaningful insights and assisting in decision-making. Synthesizing a street-view image from its corresponding satellite image is a challenging task due to the significant differences in appearance and viewpoint between the two do… ▽ More

    Submitted 14 May, 2024; originally announced May 2024.

  8. arXiv:2405.01021  [pdf, other

    cs.ET quant-ph

    QSimPy: A Learning-centric Simulation Framework for Quantum Cloud Resource Management

    Authors: Hoa T. Nguyen, Muhammad Usman, Rajkumar Buyya

    Abstract: Quantum cloud computing is an emerging computing paradigm that allows seamless access to quantum hardware as cloud-based services. However, effective use of quantum resources is challenging and necessitates robust simulation frameworks for effective resource management design and evaluation. To address this need, we proposed QSimPy, a novel discrete-event simulation framework designed with the mai… ▽ More

    Submitted 2 May, 2024; originally announced May 2024.

  9. arXiv:2404.15224  [pdf, other

    cs.CV cs.AI cs.LG

    Deep Models for Multi-View 3D Object Recognition: A Review

    Authors: Mona Alzahrani, Muhammad Usman, Salma Kammoun, Saeed Anwar, Tarek Helmy

    Abstract: Human decision-making often relies on visual information from multiple perspectives or views. In contrast, machine learning-based object recognition utilizes information from a single image of the object. However, the information conveyed by a single image may not be sufficient for accurate decision-making, particularly in complex recognition problems. The utilization of multi-view 3D representati… ▽ More

    Submitted 23 April, 2024; originally announced April 2024.

  10. arXiv:2404.11420  [pdf, other

    cs.ET cs.DC

    Quantum Cloud Computing: A Review, Open Problems, and Future Directions

    Authors: Hoa T. Nguyen, Prabhakar Krishnan, Dilip Krishnaswamy, Muhammad Usman, Rajkumar Buyya

    Abstract: Quantum cloud computing is an emerging paradigm of computing that empowers quantum applications and their deployment on quantum computing resources without the need for a specialized environment to host and operate physical quantum computers. This paper reviews recent advances, identifies open problems, and proposes future directions in quantum cloud computing. It discusses the state-of-the-art qu… ▽ More

    Submitted 17 April, 2024; originally announced April 2024.

  11. arXiv:2403.01642  [pdf

    cs.LG cs.CE eess.SY

    Blue and Green-Mode Energy-Efficient Chemiresistive Sensor Array Realized by Rapid Ensemble Learning

    Authors: Zeheng Wang, James Cooper, Muhammad Usman, Timothy van der Laan

    Abstract: The rapid advancement of Internet of Things (IoT) necessitates the development of optimized Chemiresistive Sensor (CRS) arrays that are both energy-efficient and capable. This study introduces a novel optimization strategy that employs a rapid ensemble learning-based model committee approach to achieve these goals. Utilizing machine learning models such as Elastic Net Regression, Random Forests, a… ▽ More

    Submitted 3 March, 2024; originally announced March 2024.

    Comments: First version before submission

  12. arXiv:2312.07821  [pdf, other

    quant-ph cs.LG

    Radio Signal Classification by Adversarially Robust Quantum Machine Learning

    Authors: Yanqiu Wu, Eromanga Adermann, Chandra Thapa, Seyit Camtepe, Hajime Suzuki, Muhammad Usman

    Abstract: Radio signal classification plays a pivotal role in identifying the modulation scheme used in received radio signals, which is essential for demodulation and proper interpretation of the transmitted information. Researchers have underscored the high susceptibility of ML algorithms for radio signal classification to adversarial attacks. Such vulnerability could result in severe consequences, includ… ▽ More

    Submitted 12 December, 2023; originally announced December 2023.

    Comments: 12 pages, 6 figures

  13. Clustering by Contour coreset and variational quantum eigensolver

    Authors: Canaan Yung, Muhammad Usman

    Abstract: Recent work has proposed solving the k-means clustering problem on quantum computers via the Quantum Approximate Optimization Algorithm (QAOA) and coreset techniques. Although the current method demonstrates the possibility of quantum k-means clustering, it does not ensure high accuracy and consistency across a wide range of datasets. The existing coreset techniques are designed for classical algo… ▽ More

    Submitted 6 December, 2023; originally announced December 2023.

    Comments: 33 pages

    Journal ref: Advanced Quantum Technologies (2024)

  14. arXiv:2309.15311  [pdf, other

    cs.HC cs.AI cs.GR

    The Importance of Multimodal Emotion Conditioning and Affect Consistency for Embodied Conversational Agents

    Authors: Che-Jui Chang, Samuel S. Sohn, Sen Zhang, Rajath Jayashankar, Muhammad Usman, Mubbasir Kapadia

    Abstract: Previous studies regarding the perception of emotions for embodied virtual agents have shown the effectiveness of using virtual characters in conveying emotions through interactions with humans. However, creating an autonomous embodied conversational agent with expressive behaviors presents two major challenges. The first challenge is the difficulty of synthesizing the conversational behaviors for… ▽ More

    Submitted 6 December, 2023; v1 submitted 26 September, 2023; originally announced September 2023.

  15. arXiv:2309.15175  [pdf, other

    cs.SE

    Large scale reuse of microservices using DevOps and InnerSource practices -- A longitudinal case study

    Authors: Deepika Badampudi, Muhammad Usman, Xingru Chen

    Abstract: Contemporary practices such as InnerSource and DevOps promote software reuse. This study investigates the implications of using contemporary practices on software reuse. In particular, we investigate the costs, benefits, challenges, and potential improvements in contemporary reuse at Ericsson. We performed the study in two phases: a) the initial data collection based on a combination of data colle… ▽ More

    Submitted 26 September, 2023; originally announced September 2023.

  16. arXiv:2309.06019  [pdf, other

    cs.AR cs.AI cs.PF

    DSLOT-NN: Digit-Serial Left-to-Right Neural Network Accelerator

    Authors: Muhammad Sohail Ibrahim, Muhammad Usman, Malik Zohaib Nisar, Jeong-A Lee

    Abstract: We propose a Digit-Serial Left-tO-righT (DSLOT) arithmetic based processing technique called DSLOT-NN with aim to accelerate inference of the convolution operation in the deep neural networks (DNNs). The proposed work has the ability to assess and terminate the ineffective convolutions which results in massive power and energy savings. The processing engine is comprised of low-latency most-signifi… ▽ More

    Submitted 21 September, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

    Comments: Presented at 2023 26th Euromicro Conference on Digital System Design (DSD)

  17. arXiv:2307.06435  [pdf, other

    cs.CL

    A Comprehensive Overview of Large Language Models

    Authors: Humza Naveed, Asad Ullah Khan, Shi Qiu, Muhammad Saqib, Saeed Anwar, Muhammad Usman, Naveed Akhtar, Nick Barnes, Ajmal Mian

    Abstract: Large Language Models (LLMs) have recently demonstrated remarkable capabilities in natural language processing tasks and beyond. This success of LLMs has led to a large influx of research contributions in this direction. These works encompass diverse topics such as architectural innovations, better training strategies, context length improvements, fine-tuning, multi-modal LLMs, robotics, datasets,… ▽ More

    Submitted 9 April, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

  18. arXiv:2306.12688  [pdf, other

    quant-ph cs.AI cs.ET cs.LG

    Towards quantum enhanced adversarial robustness in machine learning

    Authors: Maxwell T. West, Shu-Lok Tsang, Jia S. Low, Charles D. Hill, Christopher Leckie, Lloyd C. L. Hollenberg, Sarah M. Erfani, Muhammad Usman

    Abstract: Machine learning algorithms are powerful tools for data driven tasks such as image classification and feature detection, however their vulnerability to adversarial examples - input samples manipulated to fool the algorithm - remains a serious challenge. The integration of machine learning with quantum computing has the potential to yield tools offering not only better accuracy and computational ef… ▽ More

    Submitted 22 June, 2023; originally announced June 2023.

    Comments: 10 Pages, 4 Figures

    Journal ref: Nature Machine Intelligence 5, 581-589, 2023

  19. Automating Microservices Test Failure Analysis using Kubernetes Cluster Logs

    Authors: Pawan Kumar Sarika, Deepika Badampudi, Sai Prashanth Josyula, Muhammad Usman

    Abstract: Kubernetes is a free, open-source container orchestration system for deploying and managing Docker containers that host microservices. Kubernetes cluster logs help in determining the reason for the failure. However, as systems become more complex, identifying failure reasons manually becomes more difficult and time-consuming. This study aims to identify effective and efficient classification algor… ▽ More

    Submitted 13 June, 2023; originally announced June 2023.

  20. arXiv:2306.06145  [pdf, other

    eess.IV cs.CV cs.LG

    LDMRes-Net: Enabling Efficient Medical Image Segmentation on IoT and Edge Platforms

    Authors: Shahzaib Iqbal, Tariq M. Khan, Syed S. Naqvi, Muhammad Usman, Imran Razzak

    Abstract: In this study, we propose LDMRes-Net, a lightweight dual-multiscale residual block-based computational neural network tailored for medical image segmentation on IoT and edge platforms. Conventional U-Net-based models face challenges in meeting the speed and efficiency demands of real-time clinical applications, such as disease monitoring, radiation therapy, and image-guided surgery. LDMRes-Net ove… ▽ More

    Submitted 7 September, 2023; v1 submitted 9 June, 2023; originally announced June 2023.

  21. Low-Latency Online Multiplier with Reduced Activities and Minimized Interconnect for Inner Product Arrays

    Authors: Muhammad Usman, Milos Ercegovac, Jeong-A Lee

    Abstract: Multiplication is indispensable and is one of the core operations in many modern applications including signal processing and neural networks. Conventional right-to-left (RL) multiplier extensively contributes to the power consumption, area utilization and critical path delay in such applications. This paper proposes a low latency multiplier based on online or left-to-right (LR) arithmetic which c… ▽ More

    Submitted 5 April, 2023; originally announced April 2023.

    Journal ref: Journal of Signal Processing Systems 2023

  22. arXiv:2304.01576  [pdf, other

    eess.IV cs.CV cs.LG

    MESAHA-Net: Multi-Encoders based Self-Adaptive Hard Attention Network with Maximum Intensity Projections for Lung Nodule Segmentation in CT Scan

    Authors: Muhammad Usman, Azka Rehman, Abdullah Shahid, Siddique Latif, Shi Sub Byon, Sung Hyun Kim, Tariq Mahmood Khan, Yeong Gil Shin

    Abstract: Accurate lung nodule segmentation is crucial for early-stage lung cancer diagnosis, as it can substantially enhance patient survival rates. Computed tomography (CT) images are widely employed for early diagnosis in lung nodule analysis. However, the heterogeneity of lung nodules, size diversity, and the complexity of the surrounding environment pose challenges for developing robust nodule segmenta… ▽ More

    Submitted 4 April, 2023; originally announced April 2023.

  23. iQuantum: A Case for Modeling and Simulation of Quantum Computing Environments

    Authors: Hoa T. Nguyen, Muhammad Usman, Rajkumar Buyya

    Abstract: Today's quantum computers are primarily accessible through the cloud and potentially shifting to the edge network in the future. With the rapid advancement and proliferation of quantum computing research worldwide, there has been a considerable increase in demand for using cloud-based quantum computation resources. This demand has highlighted the need for designing efficient and adaptable resource… ▽ More

    Submitted 28 March, 2023; originally announced March 2023.

    Comments: 10 pages, 8 figures

  24. arXiv:2212.11614  [pdf, other

    quant-ph cs.CV cs.LG

    Hybrid Quantum-Classical Generative Adversarial Network for High Resolution Image Generation

    Authors: Shu Lok Tsang, Maxwell T. West, Sarah M. Erfani, Muhammad Usman

    Abstract: Quantum machine learning (QML) has received increasing attention due to its potential to outperform classical machine learning methods in problems pertaining classification and identification tasks. A subclass of QML methods is quantum generative adversarial networks (QGANs) which have been studied as a quantum counterpart of classical GANs widely used in image manipulation and generation tasks. T… ▽ More

    Submitted 20 January, 2023; v1 submitted 22 December, 2022; originally announced December 2022.

    Journal ref: IEEE Transactions on Quantum Engineering 2023

  25. arXiv:2212.00087  [pdf, other

    cs.SE

    Towards automated open source assessment -- An empirical study

    Authors: Sai Pranav Koyyada, Denim Deshmukh Deepika Badampudi, Vida Ahmadi, Muhammad Usman

    Abstract: The open source software (OSS) assessment has become important given the increased adoption of OSS in commercial product development. Researchers proposed many OSS assessment models. However, little is known about the industrial relevance of the models. In this study, we proposed an automated tool based on the OSS assessment attributes identified together with a European cloud provider company. We… ▽ More

    Submitted 30 November, 2022; originally announced December 2022.

  26. arXiv:2211.12681  [pdf, other

    quant-ph cs.ET cs.LG physics.comp-ph

    Benchmarking Adversarially Robust Quantum Machine Learning at Scale

    Authors: Maxwell T. West, Sarah M. Erfani, Christopher Leckie, Martin Sevior, Lloyd C. L. Hollenberg, Muhammad Usman

    Abstract: Machine learning (ML) methods such as artificial neural networks are rapidly becoming ubiquitous in modern science, technology and industry. Despite their accuracy and sophistication, neural networks can be easily fooled by carefully designed malicious inputs known as adversarial attacks. While such vulnerabilities remain a serious challenge for classical neural networks, the extent of their exist… ▽ More

    Submitted 22 November, 2022; originally announced November 2022.

    Comments: 10 pages, 5 Figures

    Journal ref: Physical Review Research 5, 023186, (2023)

  27. arXiv:2211.00003  [pdf, other

    eess.IV cs.CV

    MEDS-Net: Self-Distilled Multi-Encoders Network with Bi-Direction Maximum Intensity projections for Lung Nodule Detection

    Authors: Muhammad Usman, Azka Rehman, Abdullah Shahid, Siddique Latif, Shi Sub Byon, Byoung Dai Lee, Sung Hyun Kim, Byung il Lee, Yeong Gil Shin

    Abstract: In this study, we propose a lung nodule detection scheme which fully incorporates the clinic workflow of radiologists. Particularly, we exploit Bi-Directional Maximum intensity projection (MIP) images of various thicknesses (i.e., 3, 5 and 10mm) along with a 3D patch of CT scan, consisting of 10 adjacent slices to feed into self-distillation-based Multi-Encoders Network (MEDS-Net). The proposed ar… ▽ More

    Submitted 26 December, 2022; v1 submitted 30 October, 2022; originally announced November 2022.

  28. arXiv:2210.13289  [pdf, other

    cs.AI cs.CR cs.CY

    Secure and Trustworthy Artificial Intelligence-Extended Reality (AI-XR) for Metaverses

    Authors: Adnan Qayyum, Muhammad Atif Butt, Hassan Ali, Muhammad Usman, Osama Halabi, Ala Al-Fuqaha, Qammer H. Abbasi, Muhammad Ali Imran, Junaid Qadir

    Abstract: Metaverse is expected to emerge as a new paradigm for the next-generation Internet, providing fully immersive and personalised experiences to socialize, work, and play in self-sustaining and hyper-spatio-temporal virtual world(s). The advancements in different technologies like augmented reality, virtual reality, extended reality (XR), artificial intelligence (AI), and 5G/6G communication will be… ▽ More

    Submitted 24 October, 2022; originally announced October 2022.

    Comments: 24 pages, 11 figures

    Journal ref: ACM Computing Surveys (2023)

  29. arXiv:2210.03739  [pdf, other

    eess.IV cs.AI cs.CV

    Dual-Stage Deeply Supervised Attention-based Convolutional Neural Networks for Mandibular Canal Segmentation in CBCT Scans

    Authors: Azka Rehman, Muhammad Usman, Rabeea Jawaid, Amal Muhammad Saleem, Shi Sub Byon, Sung Hyun Kim, Byoung Dai Lee, Byung il Lee, Yeong Gil Shin

    Abstract: Accurate segmentation of mandibular canals in lower jaws is important in dental implantology. Medical experts determine the implant position and dimensions manually from 3D CT images to avoid damaging the mandibular nerve inside the canal. In this paper, we propose a novel dual-stage deep learning-based scheme for the automatic segmentation of the mandibular canal. Particularly, we first enhance t… ▽ More

    Submitted 2 November, 2022; v1 submitted 6 October, 2022; originally announced October 2022.

    Comments: 7 Pages

  30. arXiv:2208.03407  [pdf, other

    cs.SE cs.AI cs.LG

    An Overview of Structural Coverage Metrics for Testing Neural Networks

    Authors: Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu

    Abstract: Deep neural network (DNN) models, including those used in safety-critical domains, need to be thoroughly tested to ensure that they can reliably perform well in different scenarios. In this article, we provide an overview of structural coverage metrics for testing DNN models, including neuron coverage (NC), k-multisection neuron coverage (kMNC), top-k neuron coverage (TKNC), neuron boundary covera… ▽ More

    Submitted 5 August, 2022; originally announced August 2022.

  31. arXiv:2207.08860  [pdf, other

    cs.MA cs.AI cs.GR cs.RO

    Optimizing Indoor Navigation Policies For Spatial Distancing

    Authors: Xun Zhang, Mathew Schwartz, Muhammad Usman, Petros Faloutsos, Mubbasir Kapadia

    Abstract: In this paper, we focus on the modification of policies that can lead to movement patterns and directional guidance of occupants, which are represented as agents in a 3D simulation engine. We demonstrate an optimization method that improves a spatial distancing metric by modifying the navigation graph by introducing a measure of spatial distancing of agents as a function of agent density (i.e., oc… ▽ More

    Submitted 4 June, 2022; originally announced July 2022.

    Comments: 9 pages, 8 figures, conference-- simulation in architecture and urban design, in-cooperation with ACM SIGSIM

  32. arXiv:2207.00132  [pdf, other

    quant-ph cs.ET cs.LG

    Automated Quantum Circuit Design with Nested Monte Carlo Tree Search

    Authors: Pei-Yong Wang, Muhammad Usman, Udaya Parampalli, Lloyd C. L. Hollenberg, Casey R. Myers

    Abstract: Quantum algorithms based on variational approaches are one of the most promising methods to construct quantum solutions and have found a myriad of applications in the last few years. Despite the adaptability and simplicity, their scalability and the selection of suitable ansätzs remain key challenges. In this work, we report an algorithmic framework based on nested Monte-Carlo Tree Search (MCTS) c… ▽ More

    Submitted 30 June, 2022; originally announced July 2022.

    Comments: 32 pages, 24 figures

  33. arXiv:2206.07852  [pdf, other

    quant-ph cs.ET cs.LG

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

    Authors: Fanzhe Qu, Sarah M. Erfani, Muhammad Usman

    Abstract: Quantum computing is anticipated to offer immense computational capabilities which could provide efficient solutions to many data science problems. However, the current generation of quantum devices are small and noisy, which makes it difficult to process large data sets relevant for practical problems. Coreset selection aims to circumvent this problem by reducing the size of input data without co… ▽ More

    Submitted 15 June, 2022; originally announced June 2022.

    Comments: 18 pages, 16 figures

  34. arXiv:2205.14845  [pdf, other

    quant-ph cs.DC cs.ET

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

    Authors: Hoa T. Nguyen, Muhammad Usman, Rajkumar Buyya

    Abstract: Recent breakthroughs in quantum hardware are creating opportunities for its use in many applications. However, quantum software engineering is still in its infancy with many challenges, especially dealing with the diversity of quantum programming languages and hardware platforms. To alleviate these challenges, we propose QFaaS, a novel Quantum Function-as-a-Service framework, which leverages the a… ▽ More

    Submitted 30 May, 2022; originally announced May 2022.

    Comments: 35 pages, 15 figures

    Journal ref: Future Generation Computer Systems (FGCS) 154 (2024) 281-300

  35. arXiv:2205.03894  [pdf, ps, other

    cs.CR cs.AI

    VPN: Verification of Poisoning in Neural Networks

    Authors: Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu

    Abstract: Neural networks are successfully used in a variety of applications, many of them having safety and security concerns. As a result researchers have proposed formal verification techniques for verifying neural network properties. While previous efforts have mainly focused on checking local robustness in neural networks, we instead study another neural network security issue, namely data poisoning. I… ▽ More

    Submitted 8 May, 2022; originally announced May 2022.

  36. Multiplier with Reduced Activities and Minimized Interconnect for Inner Product Arrays

    Authors: Muhammad Usman, Jeong-A Lee, Milos D. Ercegovac

    Abstract: We present a pipelined multiplier with reduced activities and minimized interconnect based on online digit-serial arithmetic. The working precision has been truncated such that $p<n$ bits are used to compute $n$ bits product, resulting in significant savings in area and power. The digit slices follow variable precision according to input, increasing upto $p$ and then decreases according to the err… ▽ More

    Submitted 11 April, 2022; originally announced April 2022.

    Journal ref: 2021 55th Asilomar Conference on Signals, Systems, and Computers

  37. arXiv:2202.01179  [pdf, other

    cs.CR cs.CV

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

    Authors: Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

    Abstract: We study backdoor poisoning attacks against image classification networks, whereby an attacker inserts a trigger into a subset of the training data, in such a way that at test time, this trigger causes the classifier to predict some target class. %There are several techniques proposed in the literature that aim to detect the attack but only a few also propose to defend against it, and they typical… ▽ More

    Submitted 31 January, 2022; originally announced February 2022.

  38. arXiv:2110.12588  [pdf, other

    cs.LG cs.AI cs.SE

    QuantifyML: How Good is my Machine Learning Model?

    Authors: Muhammad Usman, Divya Gopinath, Corina S. Păsăreanu

    Abstract: The efficacy of machine learning models is typically determined by computing their accuracy on test data sets. However, this may often be misleading, since the test data may not be representative of the problem that is being studied. With QuantifyML we aim to precisely quantify the extent to which machine learning models have learned and generalized from the given data. Given a trained model, Quan… ▽ More

    Submitted 24 October, 2021; originally announced October 2021.

    Comments: In Proceedings FMAS 2021, arXiv:2110.11527

    Journal ref: EPTCS 348, 2021, pp. 92-100

  39. arXiv:2110.05854  [pdf, other

    quant-ph cs.ET cs.LG

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

    Authors: Spiro Gicev, Lloyd C. L. Hollenberg, Muhammad Usman

    Abstract: Surface code error correction offers a highly promising pathway to achieve scalable fault-tolerant quantum computing. When operated as stabilizer codes, surface code computations consist of a syndrome decoding step where measured stabilizer operators are used to determine appropriate corrections for errors in physical qubits. Decoding algorithms have undergone substantial development, with recent… ▽ More

    Submitted 10 July, 2023; v1 submitted 12 October, 2021; originally announced October 2021.

    Comments: 11 pages, 6 figures

    Journal ref: Quantum 7, 1058 (2023)

  40. arXiv:2109.10134  [pdf, other

    cs.SE

    A Quality Assessment Instrument for Systematic Literature Reviews in Software Engineering

    Authors: Muhammad Usman, Nauman bin Ali, Claes Wohlin

    Abstract: Context: Systematic literature reviews (SLRs) have become standard practise as part of software engineering research, although their quality varies. To build on the reviews, both for future research and industry practice, they need to be of high quality. Objective: To assess the quality of SLRs in software engineering, we put forward an appraisal instrument for SLRs. The instrument is intended for… ▽ More

    Submitted 21 September, 2021; originally announced September 2021.

  41. arXiv:2106.01708  [pdf, other

    cs.LG cs.AI

    Semi-supervised Learning with Missing Values Imputation

    Authors: Buliao Huang, Yunhui Zhu, Muhammad Usman, Huanhuan Chen

    Abstract: Incomplete instances with various missing attributes in many real-world applications have brought challenges to the classification tasks. Missing values imputation methods are often employed to replace the missing values with substitute values. However, this process often separates the imputation and classification, which may lead to inferior performance since label information are often ignored d… ▽ More

    Submitted 1 July, 2021; v1 submitted 3 June, 2021; originally announced June 2021.

  42. arXiv:2106.01370  [pdf, other

    cs.LG math.QA

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

    Authors: Syed Saiq Hussain, Muhammad Usman, Taha Hasan Masood Siddique, Imran Naseem, Roberto Togneri, Mohammed Bennamoun

    Abstract: In this research a novel stochastic gradient descent based learning approach for the radial basis function neural networks (RBFNN) is proposed. The proposed method is based on the q-gradient which is also known as Jackson derivative. In contrast to the conventional gradient, which finds the tangent, the q-gradient finds the secant of the function and takes larger steps towards the optimal solution… ▽ More

    Submitted 2 June, 2021; originally announced June 2021.

    Comments: Article is under review. This is a preprint version

  43. Improving Semiconductor Device Modeling for Electronic Design Automation by Machine Learning Techniques

    Authors: Zeheng Wang, Liang Li, Ross C. C. Leon, Jinlin Yang, Junjie Shi, Timothy van der Laan, Muhammad Usman

    Abstract: The semiconductors industry benefits greatly from the integration of Machine Learning (ML)-based techniques in Technology Computer-Aided Design (TCAD) methods. The performance of ML models however relies heavily on the quality and quantity of training datasets. They can be particularly difficult to obtain in the semiconductor industry due to the complexity and expense of the device fabrication. In… ▽ More

    Submitted 5 April, 2023; v1 submitted 24 May, 2021; originally announced May 2021.

    Comments: Entirely rewrote and reorganized. Updated models

  44. arXiv:2103.12535  [pdf, other

    cs.LG cs.AI

    NNrepair: Constraint-based Repair of Neural Network Classifiers

    Authors: Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina Pasareanu

    Abstract: We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find potentially faulty network parameters (such as the weights) and then performs repair using constraint solving to apply small modifications to the parameters to rem… ▽ More

    Submitted 14 June, 2021; v1 submitted 23 March, 2021; originally announced March 2021.

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

    Authors: Muhammad Usman, Michael Felderer, Michael Unterkalmsteiner, Eriks Klotins, Daniel Mendez, Emil Alegroth

    Abstract: Regulatory compliance is a well-studied area, including research on how to model, check, analyse, enact, and verify compliance of software. However, while the theoretical body of knowledge is vast, empirical evidence on challenges with regulatory compliance, as faced by industrial practitioners particularly in the Software Engineering domain, is still lacking. In this paper, we report on an indust… ▽ More

    Submitted 2 March, 2021; originally announced March 2021.

    Comments: Full research paper accepted at International Conference on Product-Focused Software Process Improvement 2020

    Journal ref: 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, Turin, Italy, 25 November 2020 through 27 November 2020

  46. arXiv:2103.00124  [pdf, other

    cs.LG cs.AI cs.SE

    NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

    Authors: Muhammad Usman, Yannic Noller, Corina Pasareanu, Youcheng Sun, Divya Gopinath

    Abstract: This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic execution tool. Notably, NEUROSPF encodes specialized peer classes for parsing the model's parameters, ther… ▽ More

    Submitted 26 February, 2021; originally announced March 2021.

  47. arXiv:2101.03203  [pdf, other

    cs.CV

    The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics

    Authors: Muhammad Usman, Kashif Ahmad, Amir Sohail, Marwa Qaraqe

    Abstract: The prevalence of Diabetes mellitus (DM) in the Middle East is exceptionally high as compared to the rest of the world. In fact, the prevalence of diabetes in the Middle East is 17-20%, which is well above the global average of 8-9%. Research has shown that food intake has strong connections with the blood glucose levels of a patient. In this regard, there is a need to build automatic tools to mon… ▽ More

    Submitted 8 January, 2021; originally announced January 2021.

    Comments: 4 pages

  48. arXiv:2101.01378  [pdf, other

    cs.HC

    Recent Trends in Food Intake Monitoring using Wearable Sensors

    Authors: Muhammad Usman, Huanhuan Chen

    Abstract: Obesity and being over-weight add to the risk of some major life threatening diseases. According to W.H.O., a considerable population suffers from these disease whereas poor nutrition plays an important role in this context. Traditional food activity monitoring systems like Food Diaries allow manual record keeping of eating activities over time, and conduct nutrition analysis. However, these syste… ▽ More

    Submitted 5 January, 2021; v1 submitted 5 January, 2021; originally announced January 2021.

    Comments: 27 Pages, 5 Figures - to be published in IEEE

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

    Authors: Vahid Azizi, Muhammad Usman, Honglu Zhou, Petros Faloutsos, Mubbasir Kapadia

    Abstract: Floorplans are commonly used to represent the layout of buildings. In computer aided-design (CAD) floorplans are usually represented in the form of hierarchical graph structures. Research works towards computational techniques that facilitate the design process, such as automated analysis and optimization, often use simple floorplan representations that ignore the semantics of the space and do not… ▽ More

    Submitted 8 December, 2020; originally announced December 2020.

  50. arXiv:2012.00193  [pdf, other

    cs.CR cs.CC

    Lightweight Encryption for the Low Powered IoT Devices

    Authors: Muhammad Usman

    Abstract: The internet of things refers to the network of devices connected to the internet and can communicate with each other. The term things is to refer non-conventional devices that are usually not connected to the internet. The network of such devices or things is growing at an enormous rate. The security and privacy of the data flowing through these things is a major concern. The devices are low powe… ▽ More

    Submitted 2 December, 2020; v1 submitted 30 November, 2020; originally announced December 2020.

    Comments: This is a short survey of lightweight encryption algorithms used in IoT, submitted as an assignment for the graduate course titled "Internet of Things"