Theory and Algorithms Commons^™

Quantum Machine Learning Models: Principles, Frameworks, And Computational Challenges, K. A. Jayabalaji, S. Venkata Anand, Dineshkumar Rajendran, Prasanta Chatterjee Biswas, Sardor Omonov, Rubaid Ashfaq

Computer Science Faculty Publications

Quantum machine learning (QML) has become an optimistic avenue of harnessing quantum computation in data-driven modeling, especially of issues with high dimensionality and complicated correlations. Current methods are generally based on fixed or over-parameterized quantum circuits, and hence restricted to scalability as well as unproductive optimization in real-world hardware. This chapter introduces a hybrid quantum-classical learning system that is adaptive and provides principled quantum data encoding, architecture-conscious variational circuit design and resource-optimal optimization. The technique is based on the concepts of quantum architecture search and subspace-preserving transformations to trade expressiveness with trainability, and discretize the quantum model into a classical …

Maxgrnet: A Multi-Axis Vision Transformer With Improved Generalization For Eye Disease Classification Using Explainable Ai With Insertion-Deletion Operations On Fundus Images, Md Mehedi Hasan Santo, Fuyad Hasan Bhoyan, Fuad Ibne Jashim Farhad, Fahmid Al Farid, Sovon Chakraborty, Md Humaion Kabir Mehedi, Jia Uddin, Hezerul Bin Abdul Karim

Computer Science Faculty Publications

Eye diseases, including diabetic retinopathy (DR), glaucoma, and cataracts, represent a major global health concern and can lead to severe visual impairment or blindness if not identified in a timely manner. This study proposes a novel eye disease classification framework based on a multi-axis vision transformer (MaxViT) applied to color fundus images with Explainable Artificial Intelligence (XAI) techniques to enhance model transparency. The proposed architecture integrates transformer-based attention mechanisms with Global Response Normalization (GRN)-based multi-layer perceptron (MLP) layers to capture complex spatial and contextual relationships within fundus images effectively. The model was evaluated on a publicly available eye disease classification …

Information-Theoretic Path Planning For Safe And Adaptive Nanobot Drug Delivery, Nagesh Bheesetty, John H. Park, Sujatha Alla, Winifred M. Lo, Aditya Nimmagadda, Mohamadmahdi Samandari, Jae H. Lee

Engineering Management & Systems Engineering Faculty Publications

We present a safe and efficient path planning framework for nanobot navigation in complex vascular networks, enabling precise drug delivery to hard-to-reach tumor regions such as those found in the lungs. The proposed method introduces a safe and efficient path planning strategy that integrates a utility-based function to balance two key goals: exploring uncertain areas to gather valuable information and avoiding hazardous regions to ensure safe and reliable delivery. We evaluate a simplified swarm-based nanobot navigation scenario using synthetic vascular maps that mimic the structural complexity of lung tumor blood vessels. Environmental uncertainty is modeled from vessel topology, blockage density, …

Ai-Driven Penetration Testing For Arm Systems: A Comprehensive Framework With Experimental Validation, Matthew Ragsdale

College of Graduate Studies: Theses & Dissertations

The convergence of artificial intelligence and cybersecurity presents new opportunities for automated penetration testing capable of discovering, prioritizing, and remediating vulnerabilities at machine speed. However, deployment on resource-constrained ARM platforms remains unexplored despite ARM’s dominance in mobile, IoT, and edge computing with over 280 billion chips deployed globally. This thesis presents systematic experimental evaluation of AI-driven penetration testing across four paradigms—traditional machine learning, deep learning, large language models, and reinforcement learning—on three ARM platform tiers: Raspberry Pi 5 (8GB, Cortex-A76), Radxa ROCK 5B Plus (16GB LPDDR5 with NPU), and NVIDIA Jetson Nano (4GB with Maxwell GPU). The experimental framework generates …

The Crucial Role Of Machine Learning Models In Predicting Current Childhood Asthma: Model Comparison, Calibration, And Shap-Based Interpretation, Aditya Chakraborty, A. K.M. Raquibul Bashar

Epidemiology, Biostatistics, & Environmental Health Faculty Publications

Background: Asthma is one of the most prominent chronic diseases in children and one of the most challenging ailments to diagnose in infants and preschoolers in the United States. Predictive models can be instrumental in improving early diagnosis, personalized treatment strategies, and disease progression. By utilizing nationalized data, this study focuses on building and comparing high-performing analytical predictive models based on the relevant risk factors and identifying the most influential predictors.

Methods: We analyzed cross-sectional BRFSS Asthma Call-Back Survey data (2011-2020; N = 9,813) and randomly split participants into training and testing sets. An XGBoost model (hyperparameters tuned via grid …

Enlem: Ensemble Learning-Based Model To Detect Phishing Websites, Most Nilufa Yeasmin, Md Abu Rumman Refat, Bikash Chandra Singh, Zulfikar Alom, Zeyar Aung, Mohammad Azim

School of Cybersecurity Faculty Publications

Phishing involves manipulating individuals into revealing private data, e.g., user IDs, bank details, and passwords. The observed surge in fraud is related to increased deception, impersonation, and advanced online attacks. Thus, effective phishing detection methods are required to mitigate escalating global phishing threats. Existing methods (e.g., heuristics-based, signature-based, and visual similarity-based methods) attempt to detect phishing sites, and machine learning (ML) and deep learning (DL) methods are effective in the cybersecurity context in terms of learning from data, offering insights, and forecasting. However, independent ML algorithms are limited when handling complex data, and DL techniques surpass traditional ML methods in …

Early Icu Physiological Subtyping From Time-Series Data: A Comparative Study Of Feature Complexity, Predictive Performance, And Model Interpretability, Rojeena Khadka

College of Graduate Studies: Theses & Dissertations

Intensive Care Unit (ICU) patients do not follow a single uniform physiological pattern. Patients admitted with the same diagnosis show different clinical trajectories over time making standardized classification and treatment approaches insufficient. The increasing availability of large-scale electronic health records in MIMIC-IV makes it possible to investigate such heterogeneity through data-driven approach that captures how physiology evolves during the early phase of ICU admission. This thesis compares two analytical pipelines designed to identify physiological subtypes from the first 48 hours of ICU time series data. This study then assesses how well these subtypes predict in-hospital mortality. The first approach, referred …

A New Parallel-In-Time Direct Inverse Method For Nonlinear Differential Equations, Nail K. Yamaleev, Subhash Paudel

Mathematics & Statistics Faculty Publications

We propose a new method for parallelization of the first-order backward difference discretization (BDF1) of the first-order time derivative in nonlinear partial differential equations, such as conservation law equations. The time derivative term is discretized by using the method of lines based on the implicit BDF1 scheme, while the inviscid and viscous terms are approximated by conventional 2nd-order central discretizations of the 1st- and 2nd-order derivatives in each spatial direction. The global system of nonlinear discrete equations in the space-time domain is solved by the Newton method for all time levels simultaneously. For the BDF1 discretization, this all-at-once system at …

Mg-Spair: Multi-Grade Sparse-Guided Implicit Representation For Training-Data-Free Image Restoration, Jianmin Liao, Lei Huang, Ronglong Fang, Ashley Prater-Bennette, Lixin Shen, Yuesheng Xu

Mathematics & Statistics Faculty Publications

MG-SpaIR is a training-data-free framework for restoring a clean image from a single observation corrupted by a mixture of blur, downsampling, noise, and missing pixels. Building on implicit neural representations (INRs), we introduce a multi-grade residual hierarchy that progressively refines the reconstruction from low to high spatial frequencies across grades, improving representational fidelity and mitigating spectral limitations. To stabilize reconstruction optimization and suppress INR-induced artifacts, we further propose an explicit sparse proximal regularization (e.g., ℓ0 type) applied directly in the high-resolution image domain, which discourages spurious high-frequency patterns while preserving sharp structures. The resulting optimization is solved efficiently via a …

Abig4l: A Semantic Reasoning Engine For Verilog Via Abstract Interpretation, Alicia Thoney

Graduate Studies Theses and Dissertations 2026

Modern Electronic Design Automation (EDA) flows treat structural and semantic reasoning as separate concerns. Synthesis structurally optimizes RTL, while dedicated verification teams validate functional behavior through testbenches and formal methods. This organizational divide means designers have no automatic, sound way to understand what their RTL does at the moment they are writing it. This thesis introduces AbIG4L (Abstract Interpretation of Generic 4-valued Logic), a static analysis framework that bridges this gap by delivering sound semantic reasoning automatically, directly within the hardware design loop.

The framework operates on a language-agnostic intermediate representation to compute sound over-approximations of hardware behavior across 0, …

Making Unsafe Sequences Unexecutable: Formal Protocol Enforcement For Cyber-Physical Systems, Arthur Amorim

Graduate Studies Theses and Dissertations 2026

Cyber-physical systems execute physical actions in response to software commands, making their communication protocols a primary attack surface. A stealthy attack is a sequence of individually valid messages that violates a required ordering, driving the system into an unsafe state without malware or protocol violation. Existing defenses examine messages or physical state in isolation, not protocol level sequences, and cannot prevent them. Preventing them requires enforcement that makes unsafe sequences unexecutable at the communication boundary.

Formal methods offer a principled path to enforcement, but no tool spans specification to safe deployed hardware. Model checking automates proofs but has no certified …

A Systematic Review And Characterization Of Privacy Noncompliance In Real-World Applications, Alexander E. Charkiewicz

Graduate Studies Theses and Dissertations 2026

Software applications increasingly rely on user data to provide their functionality, but improper handling of such data can lead to serious privacy noncompliance with applicable regulations and policies. A prominent example is the Facebook–Cambridge Analytica scandal, in which a third-party application collected the personal data of approximately 87 million Facebook users without users' consent. Despite growing attention to privacy compliance, two key challenges hinder the systematic understanding and analysis of privacy noncompliance. First, unlike security vulnerabilities, which have been systematically categorized through taxonomies such as the Common Weakness Enumeration (CWE), privacy noncompliance lacks a technical taxonomy describing how it manifests …

Trigonometric Continuous-Variable Gates And Hybrid Quantum Simulations Of The Sine-Gordon Model, Tommaso Rainaldi, Victor Ale, Matt Grau, Dmitri Kharzeev, Enrique Rico, Felix Ringer, Pubasha Shome, George Siopsis

Physics Faculty Publications

Hybrid qubit-qumode quantum computing platforms provide a natural setting for simulating interacting bosonic quantum field theories. However, existing continuous-variable gate constructions rely predominantly on polynomial functions of canonical quadratures. In this work, we introduce a complementary universality paradigm based on trigonometric continuous-variable gates, which enable a Fourier-like representation of bosonic operators and are particularly well suited for periodic and non-perturbative interactions. We present an ancilla-based framework for implementing trigonometric gates with arguments given by arbitrary Hermitian functions of qumode quadratures. The protocol yields unitary gates deterministically, and non-unitary gates through probabilistic post-selection. As a concrete application, we develop a hybrid …

Efficient Dynamic And Momentum Aperture Optimization For Lattice Design Using Multipoint Bayesian Algorithm Execution, Z. Zhang, I. Agapov, S. Gasiorowski, T. Hellert, W. Neiswanger, X. Huang, D. Ratner

Physics Faculty Publications

We demonstrate that multipoint Bayesian algorithm execution (multipointBAX) can overcome fundamental computational challenges in storage ring design optimization. Dynamic aperture and momentum aperture optimization is a multipoint, multiobjective design task for storage rings, ultimately informing the flux of x-ray sources and luminosity of colliders. Current production black-box optimization methods require extensive particle-tracking simulations for each trial configuration; the high computational cost restricts the extent of the search to ~ 10³ configurations and therefore limits the quality of the final design. We remove this bottleneck using multipointBAX, which selects, simulates, and models each trial configuration at the single-particle level. We demonstrate …

Distilling The Complexity Of Agent-Based Simulations Into Textual Explanations Via Large Language Models, Noé Y. Flandre, Philippe J. Giabbanelli

VMASC Publications

Communicating the design and results of agent-based models (ABMs) to subject matter experts is challenging, which hinders participation and limits trust in simulation-based decision support. Large language models (LLMs) can communicate ABMs as textual summaries, thus complementing traditional disclosure through statistical and visualization techniques. While prior work translated the structure of conceptual models into narratives via LLMs, our extension covers the dynamics of simulation models via an automated simulation-to-text method that extracts contextual information from NetLogo ABMs, performs repeated simulations, and generates narrative descriptions (including the model’s purpose, parameters, and simulation dynamics) using mutimodal LLMs. Furthermore, four summarization algorithms spanning …

Machine Learning Classification Of Prostate Cancer Genomic Sequences Using K-Mer And Sequence-Derived Features, Kuldeep Rawat, Hirendra Nath Banerjee, Jamie Noble, Saa Naudia Deloatch, Satyendra Banerjee, Sachin Shetty, Soumya Banerjee

VMASC Publications

Prostate cancer disproportionately impacts African American men, who experience significantly higher mortality rates and earlier disease onset than other populations. Current diagnostic approaches, including prostate-specific antigen testing and biopsy, lack sufficient specificity and sensitivity, underscoring the need for accurate, molecular-level classification tools. This paper presents a machine learning framework for binary classification of genomic DNA sequences as cancerous or healthy. A dataset of 1684 FASTA-formatted sequences obtained from the National Library of Medicine - GenBank was analyzed, with 1662 sequences retained after quality control filtering. Feature engineering yielded 67 attributes, including GC content, Shannon entropy, sequence length, and trinucleotide k-mer …

To Print A Remake: An Analysis Of Hollywood Remakes And Their Cultural Value, Connor F. Seaton

Honors Undergraduate Theses

In recent years, audiences and movie critics have expressed concern that Hollywood’s growing reliance on remakes, sequels, franchises, and similar adaptations has led to a broader worry that originality is fading from modern cinema and that the industry is instead focused on using adaptations to maximize profits. Although adaptation is often seen as a commercially driven framework for reproducing existing intellectual property in a new media format, this thesis argues that it should be recognized as an autonomous cultural category with its own artistic, historical, and social significance and merit. By analyzing adaptation scholarship and reviewing its complex historical development, …

A General Algorithm For Assortment Optimization Under Random Utility Choice Models, Tien Mai, Andrea Lodi

Research Collection School Of Computing and Information Systems

This work concerns the assortment optimization problem that refers to selecting a subset of items that maximizes the expected revenue in the presence of the substitution behavior of consumers specified by a random utility choice model. The key challenge lies in the computational difficulty of finding the best subset solution, which often requires exhaustive search. The literature on constrained assortment optimization lacks a practically efficient method that is general to deal with different types of customer choice models (e.g., the multinomial logit, mixed logit or general multivariate extreme value models). In this work, we propose a new approach that allows …

Framework For Task Offloading In O-Ran Architecture For Heterogeneous Computing Applications, Samira Taheri, Neda Moghim, Naser Movahhedinia, Sachin Shetty

Center for Secure and Intelligent Critical Systems (CSICS) Publications

Computational offloading transfers tasks from resource-constrained devices to more capable servers or cloud platforms, improving processing speed and user experience. Open radio access networks (O-RAN's) disaggregated architecture and open interfaces make it suitable for offloading delay-sensitive tasks, enhancing real-time application performance. This study focuses on task offloading in O-RAN, a reference network architecture. Although research on O-RAN is limited, existing work lacks a comprehensive approach to offloading, including offloading layer determination, node selection, and resource allocation based on task types and their latency needs. We propose a delay-aware task offloading framework within O-RAN to support diverse delay requirements, improving offloading …

Use Of Tezepelumab For Chronic Rhinosinusitis With Nasal Polyps By Eosinophilic Endotype: Waypoint Post-Hoc Analysis, Shigeharu Fujieda, Nobuyoshi Otori, Joseph K. Han, Tadataka Yabuta, Claudia Chen, Claudio Marchese, Andrews Foster, Sandhia S. Ponnarambil, Yun Chan, Brian J. Lipworth

Department of Otolaryngology (ENT) Faculty Publications

Background

The phase 3 WAYPOINT study (NCT04851964) reported that tezepelumab improved outcomes in patients with chronic rhinosinusitis with nasal polyps (CRSwNP), including nasal polyp size, nasal congestion, and sinonasal symptoms, and reduced the need for surgery and systemic corticosteroids (SCS).

Objective

To evaluate the efficacy and safety of tezepelumab across Japanese Epidemiological Survey of Refractory Eosinophilic Chronic Rhinosinusitis-defined eosinophilic chronic rhinosinusitis (ECRS) subgroups.

Methods

Adults with severe CRSwNP were randomized to tezepelumab 210 mg or placebo every 4 weeks. Coprimary end points were the change from baseline to week 52 in total Nasal Polyp Score and the biweekly mean Nasal …