Publications (38)
Calibration Strategy of the JUNO Experiment
JUNO collaboration, Angel Abusleme, Thomas Adam +588
We present the calibration strategy for the 20 kton liquid scintillator central detector of the Jiangmen Underground Neutrino Observatory (JUNO). By utilizing a comprehensive multi…
Greedy Gradient-free Adaptive Variational Quantum Algorithms on a Noisy Intermediate Scale Quantum Computer
César Feniou, Muhammad Hassan, Baptiste Claudon +4
Hybrid quantum-classical adaptive Variational Quantum Eigensolvers (VQE) hold the potential to outperform classical computing for simulating many-body quantum systems. However, pra…
AIM: A User-friendly GUI Workflow program for Isotherm Fitting, Mixture Prediction, Isosteric Heat of Adsorption Estimation, and Breakthrough Simulation
Muhammad Hassan, Sunghyun Yoon, Yu Chen +9
Adsorption breakthrough modeling often requires complex software environments and scripting, limiting accessibility for many practitioners. We present AIM, a MATLAB-based graphical…
Futuristic Variations and Analysis in Fundus Images Corresponding to Biological Traits
Muhammad Hassan, Hao Zhang, Ahmed Fateh Ameen +14
Fundus image captures rear of an eye, and which has been studied for the diseases identification, classification, segmentation, generation, and biological traits association using…
RISC-V V Vector Extension (RVV) with reduced number of vector registers
Eino Jacobs, Dmitry Utyansky, Muhammad Hassan +1
To reduce the area of RISC-V Vector extension (RVV) in small processors, the authors are considering one simple modification: reduce the number of registers in the vector register…
What is in Your App? Uncovering Privacy Risks of Female Health Applications
Muhammad Hassan, Mahnoor Jameel, Tian Wang +1
FemTech or Female Technology, is an expanding field dedicated to providing affordable and accessible healthcare solutions for women, prominently through Female Health Applications…
Threats and Security Strategies for IoMT Infusion Pumps
Ramazan Yener, Muhammad Hassan, Masooda Bashir
The integration of the Internet of Medical Things (IoMT) into healthcare systems has transformed patient care by enabling real-time monitoring, enhanced diagnostics, and enhanced o…
An Exploratory Study of Malicious Link Posting on Social Media Applications
Muhammad Hassan, Mahnoor Jameel, Masooda Bashir
Social network platforms are now widely used as a mode of communication globally due to their popularity and their ease of use. Among the various content-sharing capabilities made…
An additive two-level parallel variant of the DMRG algorithm with coarse-space correction
Laura Grigori, Muhammad Hassan
The density matrix renormalization group (DMRG) algorithm is a popular alternating minimization scheme for solving high-dimensional optimization problems in the tensor train format…
Overlap-ADAPT-VQE: Practical Quantum Chemistry on Quantum Computers via Overlap-Guided Compact Ansätze
César Feniou, Muhammad Hassan, Diata Traoré +3
ADAPT-VQE is a robust algorithm for hybrid quantum-classical simulations of quantum chemical systems on near-term quantum computers. While its iterative process systematically reac…
Using Label-Free Raman Spectroscopy Integrated with Microfluidic Chips to Probe Ferroptosis Networks in Cells
Muhammad Muhammad, Chang-Sheng Shao, Raziq Nawaz +6
Ferroptosis, a regulated form of cell death driven by oxidative stress and lipid peroxidation, has emerged as a pivotal research focus with implications across various cellular con…
Design and Implementation of a DTMF Based Pick and Place Robotic Arm
Muhammad Hassan, Mohtashim Baqar
In recent times, developments in field of communication and robotics has progressed with leaps and bounds. In addition, the blend of both disciplines has contributed heavily in mak…
Insights from GitHub Community on the Matter Standard: Developer Perspectives and Challenges
Muhammad Hassan, Carl Gunter, Susan Landau +1
Matter seeks to resolve longstanding interoperability problems in the Internet of Things (IoT), yet little is known about how developers experience the standard in day to day work.…
An Integral Equation Formulation of the -Body Dielectric Spheres Problem. Part I: Numerical Analysis
Muhammad Hassan, Benjamin Stamm
In this article, we analyse an integral equation of the second kind that represents the solution of interacting dielectric spherical particles undergoing mutual polarisation. A…
Modified-operator method for the calculation of band diagrams of crystalline materials
Eric Cancès, Muhammad Hassan, Laurent Vidal
In solid state physics, electronic properties of crystalline materials are often inferred from the spectrum of periodic Schrödinger operators. As a consequence of Bloch's theorem,…
A Linear Scaling in Accuracy Numerical Method for Computing the Electrostatic Forces in the -Body Dielectric Spheres Problem
Muhammad Hassan, Benjamin Stamm
This article deals with the efficient and accurate computation of the electrostatic forces between charged, spherical dielectric particles undergoing mutual polarisation. We use th…
On the relation between Galerkin approximations and canonical best-approximations of solutions to some non-linear Schrödinger equations
Muhammad Hassan, Yvon Maday, Yipeng Wang
In this paper, we establish a superconvergence property of Galerkin approximations to some non-linear Schrödinger equations of Gross-Pitaevskii type. More precisely, denoting by $…
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju +2
Dynamic Symbolic Execution (DSE) suffers from the path explosion problem when the target program has many conditional branches. The classical approach for managing the path explosi…
Decoding User Concerns in AI Health Chatbots: An Exploration of Security and Privacy in App Reviews
Muhammad Hassan, Abdullah Ghani, Muhammad Fareed Zaffar +1
AI powered health chatbot applications are increasingly utilized for personalized healthcare services, yet they pose significant challenges related to user data security and privac…
Analysis of the Single Reference Coupled Cluster Method for Electronic Structure Calculations: The Full Coupled Cluster Equations
Muhammad Hassan, Yvon Maday, Yipeng Wang
The central problem in electronic structure theory is the computation of the eigenvalues of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert sp…
On the Scalability of the Parallel Schwarz Method in One-Dimension
Gabriele Ciaramella, Muhammad Hassan, Benjamin Stamm
In contrast with classical Schwarz theory, recent results in computational chemistry have shown that for special domain geometries, the one-level parallel Schwarz method can be sca…
On the Scalability of the Schwarz Method
Gabriele Ciaramella, Muhammad Hassan, Benjamin Stamm
In this article, we analyse the convergence behaviour and scalability properties of the one-level Parallel Schwarz method (PSM) for domain decomposition problems in which the bound…
Neuro-Symbolic Learning: Principles and Applications in Ophthalmology
Muhammad Hassan, Haifei Guan, Aikaterini Melliou +24
Neural networks have been rapidly expanding in recent years, with novel strategies and applications. However, challenges such as interpretability, explainability, robustness, safet…
AI Healthcare Chatbots as Information Infrastructure: A Large-Scale Study of User-Reported Breakdowns
Muhammad Hassan, Ramazan Yener, Ece Gumusel +1
AI healthcare chatbots are increasingly used to support health information seeking and self-management, yet their performance and impact on users remains to be studied. This study…
DRsam: Detection of Fault-Based Microarchitectural Side-Channel Attacks in RISC-V Using Statistical Preprocessing and Association Rule Mining
Muhammad Hassan, Maria Mushtaq, Jaan Raik +1
RISC-V processors are becoming ubiquitous in critical applications, but their susceptibility to microarchitectural side-channel attacks is a serious concern. Detection of microarch…
Mitigating Barren Plateaus via Domain Decomposition in Variational Quantum Algorithms for Nonlinear PDEs
Laila S. Busaleh, Jeonghyeuk Kwon, Orlane Zang +2
Barren plateaus present a major challenge in the training of variational quantum algorithms (VQAs), particularly for large-scale discretizations of nonlinear partial differential e…
Ammonia-Net: A Multi-task Joint Learning Model for Multi-class Segmentation and Classification in Tooth-marked Tongue Diagnosis
Shunkai Shi, Yuqi Wang, Qihui Ye +5
In Traditional Chinese Medicine, the tooth marks on the tongue, stemming from prolonged dental pressure, serve as a crucial indicator for assessing qi (yang) deficiency, which is i…
Deep Learning Analysis and Age Prediction from Shoeprints
Muhammad Hassan, Yan Wang, Di Wang +4
Human walking and gaits involve several complex body parts and are influenced by personality, mood, social and cultural traits, and aging. These factors are reflected in shoeprints…
Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts
Muhammad Wahid, Shahzaib Khan, Mashhood Ali +3
The immutable nature of smart contracts makes it challenging to fix and patch bugs once they are deployed to a blockchain. This implies that security vulnerabilities may be exposed…
Short term solar energy prediction by machine learning algorithms
Farah Shahid, Aneela Zameer, Mudasser Afzal +1
Smooth power generation from solar stations demand accurate, reliable and efficient forecast of solar energy for optimal integration to cater market demand; however, the implicit i…
Trace estimates for harmonic functions along circular arcs with applications to domain decomposition on overlapping disks
Thiago Carvalho Corso, Muhammad Hassan, Abhinav Jha +1
In this paper we derive several (and in many cases sharp) estimates for the -trace norm of harmonic functions along circular arcs. More precisely, we obtain geometry-…
Analysis of the Single Reference Coupled Cluster Method for Electronic Structure Calculations: The Discrete Coupled Cluster Equations
Muhammad Hassan, Yvon Maday
Coupled cluster methods are widely regarded as the gold standard of computational quantum chemistry as they are perceived to offer the best compromise between computational cost an…
The Road Ahead for Networking: A Survey on ICN-IP Coexistence Solutions
Mauro Conti, Ankit Gangwal, Muhammad Hassan +2
In recent years, the current Internet has experienced an unexpected paradigm shift in the usage model, which has pushed researchers towards the design of the Information-Centric Ne…
Gravitational Waves from Multiple Cosmic Superstrings and the Overshoot Problem
Luca Brunelli, Michele Cicoli, Muhammad Hassan +2
The paper analyzes how multiple species of cosmic superstrings in post‑inflationary string cosmology avoid the overshoot problem via friction from a gravitational‑wave radiation ba…
An Integral Equation Formulation of the -body Dielectric Spheres Problem. Part II: Complexity Analysis
Bérenger Bramas, Muhammad Hassan, Benjamin Stamm
This article is the second in a series of two papers concerning the mathematical study of a boundary integral equation of the second kind that describes the interaction of diel…
Continuity estimates for Riesz potentials on polygonal boundaries
Xavier Claeys, Muhammad Hassan, Benjamin Stamm
Riesz potentials are well known objects of study in the theory of singular integrals that have been the subject of recent, increased interest from the numerical analysis community…
Unveiling Privacy and Security Gaps in Female Health Apps
Muhammad Hassan, Mahnoor Jameel, Tian Wang +1
Female Health Applications (FHA), a growing segment of FemTech, aim to provide affordable and accessible healthcare solutions for women globally. These applications gather and moni…
Towards Characterizing COVID-19 Awareness on Twitter
Muhammad Saad, Muhammad Hassan, Fareed Zaffar
The coronavirus (COVID-19) pandemic has significantly altered our lifestyles as we resort to minimize the spread through preventive measures such as social distancing and quarantin…