Theory and Algorithms Commons^™

An Empirical Framework For Evaluating Semantic Preservation Using Hugging Face, Nan Jia, Anita Raja, Raffi Khatchadourian

Publications and Research

As machine learning (ML) becomes an integral part of high-autonomy systems, it is critical to ensure the trustworthiness of learning-enabled software systems (LESS). Yet, the nondeterministic and run-time-defined semantics of ML complicate traditional software refactoring. We define semantic preservation in LESS as the property that optimizations of intelligent components do not alter the system's overall functional behavior. This paper introduces an empirical framework to evaluate semantic preservation in LESS by mining model evolution data from HuggingFace. We extract commit histories, $\textit{Model Cards}$, and performance metrics from a large number of models. To establish baselines, we conducted case studies in three …

Geovig And Purevig: Geometry-Aware Architectures For Efficient Computer Vision, Omar Ismail

Theses and Dissertations (Comprehensive)

Deploying deep learning models for medical image analysis on mobile devices requires a balance between inference latency, memory footprint, and delineating anatomical boundaries with high accuracy. While Convolutional Neural Networks (CNNs) and mobile Vision Transformers (ViTs) offer efficiency, they often struggle to model the irregular, non-local geometric structures inherent in biological tissues without incurring prohibitive computational costs. In this thesis, we introduce GeoViG (Geometric Vision Graph), an architecture that bridges the gap between efficient grid-based processing and explicit Geometric Deep Learning. GeoViG introduces a novel transition from high-resolution pixel grids to low-resolution dynamic graphs via a SpreadEdgePool operator, a geometry-aware …

The Excess Path Length Distribution: A Stochastic Model For Sample-Based Path Planners, Chaz B. Cornwall

Dissertations, Master's Theses and Master's Reports

Through random sampling, sample-based path planners enable autonomous agents to quickly find paths without human intervention. However, due to the paths' randomness, sample-based path planners currently require additional verification, partially nullifying agents' ability to act autonomously. I set out to characterize this uncertainty so humans know what to expect from these path planners and know how to alter the path planner to desired specifications. To ensure the results are theoretical as well as practical, I first create a stochastic model of path length uncertainty using the trade-off between sampling time and optimality. By leveraging this model, my proposed algorithm reduces …

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 …

Explainable Physics-Based Constraints On Reinforcement Learning For Accelerator Optimization, Jonathan Colen, Malachi Schram, Kishansingh Rajput, Armen Kasparian

Data Science Faculty Publications

We present a reinforcement learning (RL) framework for optimizing particle accelerator experiments that builds explainable physics-based constraints on agent behavior. The goal is to increase transparency and trust by letting users verify that the agent’s decision-making process incorporates suitable physics. Our algorithm uses a learnable surrogate function for physical observables, such as energy, and uses them to fine-tune how actions are chosen. This surrogate can be represented by a neural network or by an interpretable sparse dictionary model. We test our algorithm on a range of particle accelerator optimization environments designed to emulate the Continuous Electron Beam Accelerator Facility at …

Untrained Position-Encoded Multilayer Perceptron Network For Structured Illumination Microscopy Reconstruction, Sahil Sharma, Leonidas Zimianitis, Krishnendu Samanta, Balpreet Singh Ahluwalia, Joby Joseph, Dushan N. Wadduwage

Computer Science Faculty Publications

Structured Illumination Microscopy (SIM) enables super-resolution imaging by encoding high-frequency spatial information through patterned light. While traditional Fourier-based reconstruction methods are prone to artifacts under suboptimal conditions, recent deep learning approaches often require large training datasets and lack adaptability across different imaging setups. In this work, we present Position Encoded Multi-Layer Perceptron (PEM) network that leverages implicit neural representations (INRs) and SIM forward-model-driven modeling to reconstruct super-resolved images without any training data. PEM-SIM represents each spatial coordinate as a combination of sinusoidal functions across multiple frequencies, enabling rich encoding of fine spatial detail. A forward model grounded in SIM image …

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, …

Game-Based Learning For Asynchronous Ai Literacy Course: Approach To Improve Students' Cognitive, Behavioural, Affective, And Ethical Learning Of Ai, Jinhee Kim, Guang Yang, Wing Sha Chan, Xi Lin, Yukyeong Song

STEMPS Faculty Publications

Educators in higher education face persistent challenges in scaling AI literacy across disciplines and helping novice learners understand abstract AI concepts. Although research on game-based learning (GBL) reports mixed outcomes, few studies have examined its large-scale use in mandatory, asynchronous AI literacy courses for diverse undergraduate populations. Addressing this gap, this study investigates a scalable GBL-based AI literacy course delivered to 4898 first-year undergraduates across disciplines. Using a mixed-methods design with 311 valid pre- and post-survey responses and 20 interviews, the study evaluates students' cognitive, behavioural, affective, and ethical learning of AI. Quantitative results show significant improvements in overall AI …

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 …

Variational Autoencoder Inverse Mapper For Extraction Of Compton Form Factors: Benchmarks And Conditional Learning, Douglas Adams, Md Fayaz Bin Hossen, Joshua Bautista, Gia-Wei Chern, Simonetta Liuti, Marie Boër, Marija Čuić, Michael Engelhardt, Gary R. Goldstein, Huey-Wen Lin, Yaohang Li

Computer Science Faculty Publications

Deeply virtual exclusive scattering processes (DVES) serve as precise probes of nucleon quark and gluon distributions in coordinate space. These distributions are derived from generalized parton distributions (GPDs) via Fourier transform relative to proton momentum transfer. QCD factorization theorems enable DVES to be parameterized by Compton form factors (CFFs), which are convolutions of GPDs with perturbatively calculable kernels. Accurate extraction of CFFs from DVCS, benefiting from interference with the Bethe–Heitler (BH) process and a simpler final state structure, is essential for inferring GPDs. This paper focuses on extracting CFFs from DVCS data using a variational autoencoder inverse mapper (VAIM) and …

Machine Learning-Based Lifetime Prediction Of Lithium Batteries: A Comparative Assessment For Electric Vehicle Applications, Abdelilah Hammou, Raffaele Petrone, Demba Diallo, Boubekeur Tala-Ighil, Philippe Makany Boussiengue, Hicham Chaoui, Hamid Gualous

Electrical & Computer Engineering Faculty Publications

This paper evaluates and compares four data-driven methods (Gaussian Process Regression (GPR), echo state network (ESN), gated recurrent unit (GRU), and long short-term memory (LSTM)) for lithium-ion capacity prognostics adapted to electric vehicle conditions. This comparison aims to find the most efficient prognosis method considering two constraints: the limitation of computational power and the unavailability of on-board capacity measurement that requires full charge and discharge conditions. The machine learning models are trained using capacity values estimated under vehicle conditions. The ageing data is collected from cycling tests of two battery chemistries, Lithium Fer Phosphate (LFP) and Nickel Manganese Cobalt (NMC), …

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 …

Logistic-T Multinomial Mixture Model For Clustering For Microbiome Data, Wenshu Dai, Yuan Fang, Sanjeena Subedi

Mathematics & Statistics Faculty Publications

The logistic-normal multinomial distribution has been used for modelling microbiome data obtained from high-throughput sequencing technologies, which are compositional in nature. A logistic-normal multinomial distribution is a hierarchical multinomial distribution that assumes the latent variable which are the additive log-ratio (ALR) transformed proportions in a multinomial distribution follows a Gaussian distribution. Model-based clustering algorithms have also been developed for clustering microbiome data based on the logistic-normal models. However, the Gaussian assumption may violated when the ALR transformed variable exhibit heavy-tailed distributions or has outliers. Our study introduces a novel mixture of logistic-t multinomial models that effectively address these challenges. Utilizing …

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 …

The Role Of Education In Reducing Social Inequality: A Systems-Level Analysis Of Socio-Technical Infrastructures And Policy Governance, Aisling O'Shea, Batzorig Dashnyam, Ximena Quintanilla

Women's & Gender Studies Faculty Publications

Social inequality remains one of the most persistent challenges to global systemic stability, threatening the robustness of democratic institutions and economic sustainability. Education has long been theorized as the primary mechanism for social mobility and the mitigation of disparate life outcomes; however, its role within modern socio-technical infrastructures is increasingly complex and often contradictory. This paper provides a comprehensive systems-level analysis of the relationship between educational architecture and social stratification. By examining the structural trade-offs inherent in contemporary pedagogical deployment, the research evaluates how institutional governance, digital infrastructure, and policy mandates either facilitate or hinder the reduction of inequality. The …

Markov Chain Wave Generative Adversarial Network For Bee Bioacoustic Signal Synthesis, Kumudu Samarappuli, Iman Ardekani, Mahsa Mohaghegh, Abdolhossein Sarrafzadeh

Electrical & Computer Engineering Faculty Publications

This paper presents a framework for synthesizing bee bioacoustic signals associated with hive events. While existing approaches like WaveGAN have shown promise in audio generation, they often fail to preserve the subtle temporal and spectral features of bioacoustic signals critical for event-specific classification. The proposed method, MCWaveGAN, extends WaveGAN with a Markov Chain refinement stage, producing synthetic signals that more closely match the distribution of real bioacoustic data. Experimental results show that this method captures signal characteristics more effectively than WaveGAN alone. Furthermore, when integrated into a classifier, synthesized signals improved hive status prediction accuracy. These results highlight the potential …

Qubit Lattice Algorithm Simulations Of The Scattering Of A Bounded Two Dimensional Electromagnetic Pulse From The Infinite Planar Dielectric Interface, Min Soe, George Vahala, Linda Vahala, Efstratios Koukoutsis, Abhay K. Ram, Kyriakos Hizanidis

Electrical & Computer Engineering Faculty Publications

Qubit lattice algorithm (QLA) simulations are performed for a two-dimensional spatially bounded pulse propagating onto a plane interface between two dielectric slabs. QLA is an initial value scheme that consists of a sequence of unitary collision and streaming operators, with appropriate potential operators, that recover Maxwell equations in inhomogeneous dielectric media to the second order in the lattice discreteness. For the case of total internal reflection, there is transient energy transfer into the second medium due to the evanescent fields as the Poynting unit vector of the pulse is rotated from its incident to reflected direction. Because of the finite …

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 …

Reconstructing Lost Voices, Lana Tamim

Williams Honors College, Honors Research Projects

This project uses digital text mining tools (OCR, NLP, sentiment analysis, and topic modeling) to analyze 19th–20th-century newspaper archives, focusing on how marginalized groups (women, immigrants, or labor workers) were historically portrayed. Many historical newspapers were dominated by elite voices, so this project aims to recover silenced or misrepresented perspectives by identifying hidden patterns in language, frequency of coverage, sentiment, and shifts in public perception over time. Using machine learning and visualization tools, the project will create interactive maps and timelines showing how representation evolved across regions.

Machine Learning For Economists, John Luke Gallup

Economics Faculty Publications and Presentations

Explication of machine learning algorithms and their usefulness for economic research. The prediction algorithms of Random Forest, Gradient Boost Machines, Neural Networks and Support Vector Machines are built from simple steps applied at large scale to generate surprisingly precise nonlinear estimates. Although useful for processing and interpreting new forms of data, their application to economics research is limited because they do not provide readily interpretable evidence of the causes of outcomes.

Towards Sample-Efficient Deep Reinforcement Learning, Guang Yang

Theses and Dissertations

Deep reinforcement learning (DRL), combining reinforcement learning and high-performance function approximations such as deep neural networks (DNN), is a powerful approach to solving complex sequential decision-making problems. However, due to the complex solution space of the sequential decision-making problems and the inefficient design of the DRL algorithms, DRL algorithms usually require a prohibitively large number of data samples to train effective strategies. Consequently, it is difficult to apply these DRL algorithms to complex real-world problems that require high costs to collect a large volume of data samples. This dissertation proposes new mechanisms to address this sample inefficiency issue, realizing sample-efficient …

Utilizing Machine Learning Techniques For Computer-Aided Covid-19 Screening Based On Clinical Data, Honglun Xu, Andrews T. Anum, Michael Pokojovy, Sreenath Chalil Madathil, Yuxin Wen, Md Fashiar Rahman, Tzu-Liang (Bill) Tseng, Scott Moen, Eric Walser

Mathematics & Statistics Faculty Publications

The COVID-19 pandemic has highlighted the importance of rapid clinical decision-making to facilitate the efficient usage of healthcare resources. Over the past decade, machine learning (ML) has caused a tectonic shift in healthcare, empowering data-driven prediction and decision-making. Recent research demonstrates how ML was used to respond to the COVID-19 pandemic. This paper puts forth new computer-aided COVID-19 disease screening techniques using six classes of ML algorithms (including penalized logistic regression, random forest, artificial neural networks, and support vector machines) and evaluates their performance when applied to a real-world clinical dataset containing patients’ demographic information and vital indices (such as …

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 …

Evaluating Hybrid Quantum-Classical Models For Image Classification In The Nisq Era, Utku Binkanat

Theses and Dissertations

This thesis presents a systematic empirical evaluation of quantum machine learning performance under noisy intermediate-scale quantum (NISQ) era constraints. Through 670 controlled experiments, it evaluated quantum kernel support vector machines and variational quantum classifiers against classical baselines on MNIST binary and multiclass classification tasks with systematic variation of problem difficulty, feature dimensionality (4, 8 qubits), and training set size (n ∈{100, 250, 400, 500, 2000, 4000}). Statistical rigor was ensured through five random seeds per condition and comprehensive significance testing. During the testing with binary datasets, classical methods (SVM, logistic regression, k-NN, neural networks) achieved 85.9% to 99.6% accuracy with …

Evops: Evolutionary Patch Selection In The Embedding Space Of Whole Slide Images, Saya Hashemian

Theses and Dissertations (Comprehensive)

Computational pathology increasingly relies on the analysis of Whole-Slide Images (WSIs), which capture tissue specimens at gigapixel resolution. Because a single slide is far too large to process directly, the

prevailing paradigm decomposes each WSI into thousands of small patches and encodes them as high- dimensional feature embeddings using deep learning backbones. While effective, this paradigm carries a

substantial cost: the resulting collections of patch embeddings are computationally expensive to store and process, and they are frequently dominated by redundant, homogeneous, or otherwise uninformative tissue regions that dilute the diagnostic signal. Existing patch selection methods largely depend on heuristic or …

Consensus And Controversies Of International Guidelines For The Diagnosis, Surveillance, And Management Of Fetal Growth Restriction: An Updated Comparison, Daniele Diane Mascio, Suneet P. Chauhan, Tullio Ghi, Asma Khalil, Juliana G. Martins, Sara Sorrenti, Tamara Stampalija, Fabrizio Zullo, Francesc Figueras

Department of Obstetrics & Gynecology Faculty Publications

OBJECTIVE: To compare areas of consensus and disagreements across contemporary international and national guidelines on the diagnosis, surveillance, and management of fetal growth restriction (FGR).

DATA SOURCES: Electronic searches of MEDLINE from database inception up to March 2026 using MeSH terms and keywords related to FGR and guidelines. STUDY ELIGIBILITY CRITERIA: Critical, structured comparison of national or international guidelines on FGR published since 2010. Final inclusion required unanimous agreement from all authors.

STUDY APPRAISAL AND SYNTHESIS METHODS: Pre-specified extraction across domains: definition; prediction/prevention; surveillance tools and frequency; delivery timing and mode; and labor induction methods. Dual data …

Optimizing Maintenance Routes For Highway Infrastructure Using Leader-Follower Autonomous Vehicles, Qing Tang, Chenxi Chen, Xianbiao Hu, Yuxin Ding, Tianjia Yang

Civil & Environmental Engineering Faculty Publications

The Autonomous Truck Mounted Attenuator (ATMA), a leader–follower style connected and automated vehicle system, enhances safety during transportation infrastructure maintenance in work zones. However, the significantly lower speed of ATMA, compared to regular vehicles, causes moving bottlenecks that reduce roadway capacity and prolong queuing, leading to further delays. Different ATMA routes lead to varying patterns of time-dependent capacity drop, affecting the user equilibrium traffic assignment and resulting in differing system costs. This study aims to optimize ATMA routing within a network to minimize the system cost associated with its slow-moving operation. To this end, a queuing-based traffic assignment approach is …

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 …

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 …