Theory and Algorithms Commons^™

Addressing The Problems Of Data Variations, Quality, And Scarcity In Training Deep Neural Networks, Jian Sun

Electronic Theses and Dissertations

The performance of deep neural networks (DNNs) is strongly influenced by the characteristics and quality of the underlying datasets. This Ph.D. dissertation addresses three pervasive data challenges-imbalance, quality degradation, and scarcity-that commonly hinder the effectiveness of DNNs in computer vision (CV) and natural language processing (NLP) applications.

Class imbalance remains one of the most frequent causes of degraded model generalization. While Focal Loss effectively mitigates inter-class imbalance by assigning higher weights to minority classes, it struggles with intra-class imbalance, particularly in video datasets where longer clips dominate feature representation. To address this, I implement and utilize …

Evolving Solutions For Red Blood Cell Preservation, Ali Alkafaji, Charles A. Elder, Mohammad Zaidi, Kavin Parthiv, Michael A. Menze

The Cardinal Edge

In emergencies such as natural disasters, armed conflicts, or during outer space missions, the availability of transfusable blood can mean the difference between life and death. Red blood cells (RBCs) must be stored at +4 ± 2 °C and have a shelf life of just 42 days, which makes maintaining a stable blood supply during adverse conditions extraordinarily challenging. This challenge was especially apparent during the COVID-19 pandemic when hospitals faced severe blood shortages. Freeze-drying, or lyophilization, offers a promising avenue to extend the shelf life of RBCs for transfusion during crises. However, a significant hurdle in dry preservation is …

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

A Knowledge Transfer-Based Membrane Evolutionary Algorithm For Solving Large-Scale Sorted Waste Collection Problem With Timeliness, Wenxue Zhang, Boquan Gao, Aldy Gunawan, Yunyun Niu, Jianhua Xiao

Research Collection School Of Computing and Information Systems

The sorted collection of municipal solid waste has emerged as an effective waste management strategy due to varying timeliness requirements across different waste types, giving rise to the critical research challenge of timeliness-based waste collection. While existing algorithms primarily focus on small-scale versions of this problem, solving large-scale timeliness-based waste collection problems remains particularly challenging. To tackle this issue, this paper proposes a knowledge transfer-based membrane evolutionary algorithm. Specifically, the original problem and simplified problem are constructed in different membranes respectively, and the knowledge transfer learning mechanism is incorporated into the membrane evolutionary algorithm, enabling effective information exchange between the …

Cerebral Documents And Algorithmic Sensemaking: Searching For Expressions In Human And Artificial Cognitive Collaborations, Rebekah L. Cowell

Proceedings from the Document Academy

Generative Artificial Intelligences (AIs) and current advanced large language models (LLMs) are algorithmically designed to generate text-based conversations as conversational agents (CAs), by replicating human language and conversational communication. Pairing human cognition with generative computationally coded cognition. We have never been here before: cerebral and artificial information collaborations and processing producing expressions that may or may not become visible as second-hand/secondary source documents.

Sensemaking or sense(un)making is a unique autonomous human drive cognitively, our information processing is sensemaking in action and expressions and articulations are evidence of the sensemaking cycle. Documentation [expressed or articulated through various mediums] are a product …

Light Cone Cancellation For Variational Quantum Eigensolver In Solving Noisy Max-Cut, Xinwei Lee, Xinjian Yan, Ningyi Xie, Yoshiyuki Saito, Leo Kurosawa, Nobuyoshi Asai, Dongsheng Cai, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

Variational Quantum Eigensolver (VQE) is a quantum-classical hybrid algorithm used to estimate the ground energy of a given Hamiltonian. It consists of a parameterized quantum circuit, which the parameters are optimized using a classical optimizer. With the increasing need in solving large-scale problems in real-world applications, solving those large problems with fewer qubits and fewer gates becomes essential, so that we reduce the simulation difficulty and mitigate the effect of noise in real quantum hardware. In this study, we applied the Light Cone Cancellation (LCC) method to reduce the number of qubits and gates required in a two-local ansatz. LCC …

Online Visual Query System For Real-Time Large-Scale Spatio-Temporal Data Explorations With Error Bounds, Xueqi Huang

Dissertations, Theses, and Capstone Projects

Modern datasets continue to grow in size, dimensionality, and heterogeneity, creating increasing tension between the need for responsive, interactive analysis and the computational cost of accessing, aggregating, and visualizing large volumes of data. Traditional database engines and visualization tools often assume that full data retrieval is feasible or that exact computation is necessary for meaningful insight. In practice, however, analysts frequently benefit from timely, uncertainty-aware approximations than from delayed and exact results. This thesis investigates how data summarization techniques, specifically mergeable sketches can be combined with progressive, out-of-core visualization methods to support interactive exploration of datasets that exceed main memory. …

New Fast Polynomial Root-Finders, Soo Go

Dissertations, Theses, and Capstone Projects

Univariate polynomial root-finding has been studied for four millennia and very intensively in the last decades. Our {\em black box root-finder} involves no coefficients and works for a black box polynomial, defined by an oracle (that is, black box subroutine) for its evaluation. Such root-finders have various benefits, e.g., are particularly efficient where a polynomial can be evaluated fast, say, is a sum of a small number of shifted monomials (x-c)^a.

Our root-finder approximates all d complex zeros of a dth degree polynomial p(x) (aka roots of equation p(x)=0) by using Las Vegas expected number of bit-operations within a factor …

A Virtual-Reality-Based Dental Simulator For Endodontics With Automated Formative Feedback, Yousef Salah Abo El Ela

Theses and Dissertations

Advancements in virtual reality (VR) and haptic technology are transforming the landscape of medical and dental education, offering new avenues for safe, immersive, and repeatable training experiences. Within dentistry, endodontics presents unique challenges for preclinical education due to anatomical complexity, limited access to extracted teeth, ethical concerns, and the shortcomings of conventional plastic models. Despite endodontics specific plastic teeth being available, they fall short of replicating the hardness of real extracted teeth, are relatively costly compared to generic plastic teeth, and are ultimately a disposable item which makes them inadequate as a sustainable long-term solution. Extracted teeth do a much …

Understanding Circulant Permutation To Extend The Cminhash Estimator, Keegan Kang, Avery Hood, Benedict H.W. Wong

Faculty Conference Papers and Presentations

CMinHash promises a new direction for designing MinHash algorithms with reduced variance and storage space via circulant permutations. However, the original variance analysis is difficult to extend to other MinHash estimators. We present a new approach that gives explicit and easily comparable approximate variance expressions, and use it to analyze the Minner estimator. Numerical experiments show that our variance expression matches the empirical mean square error (MSE) of estimates. Our work thereby demonstrates how to apply circulant permutation to other MinHash estimators and compute their approximate variance.

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 …

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 …

Toward Interpretable Multi-Omics Multimodal Biomedical Artificial Intelligence, Yanjun Lyu

Computer Science and Engineering Dissertations

The complexity of human disease arises from biological processes that unfold across multiple scales, from molecular variation through cellular function, tissue organisation, brain phenotypes, each of which is associated with distinct measurement modalities, regularities, and characteristic. Contemporary biomedical artificial intelligence has brought the opportunity to reveal the complexity with in; however, its methodological default, in which models are trained on most readily available modality, does not adequately engage with the multi-scale connected structure by which biological meaning is constituted. The research area of multi-omics and multi-modal AI for biomedicine remains at an early exploratory stage, and the work presented in …

How Should Ai Talk About Us? Llms And Social Generics, Tiffany A. Zhu

Philosophy Faculty Publications

How should AI-generated speech balance epistemic aims, such as precision and accuracy, with ethical and social considerations? This paper examines a subtle yet consequential aspect of LLM-driven communication: the use of generic generalizations that convey information about social groups (e.g., “immigrants work low-wage jobs”). While central to human epistemic and pedagogical practices, generics are theorized to reinforce stereotypes, essentialism, and injustice. Using ChatGPT-3.5 as a case study, I uncover tendencies for AI chatbots to inconsistently hedge and refuse generics, including those that reflect well-documented social structural patterns, such as “women are more likely to get attacked while walking alone at …

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 …

Toward An Event-Level Analysis Of Hadron Structure Using Differential Programming, Kevin Braga, Markus Diefenthaler, Steven Goldenberg, Daniel Lersch, Yaohang Li, Jian-Wei Qiu, Kishansingh Rajput, Felix Ringer, Nobuo Sato, Malachi Schram

Computer Science Faculty Publications

Reconstructing the internal properties of hadrons in terms of fundamental quark and gluon degrees of freedom is a central goal in nuclear and particle physics. This effort lies at the core of major experimental programs, such as the Jefferson Lab 12 GeV program and the upcoming Electron-Ion Collider. A primary challenge is the inherent inverse problem: converting large-scale observational data from collision events into the fundamental quantum correlation functions (QCFs) that characterize the microscopic structure of hadronic systems within the theory of QCD. Recent advances in scientific computing and machine learning have opened new avenues for addressing this challenge using …

Deep Incomplete Multi-View Clustering Via Hierarchical Imputation And Alignment, Yiming Du, Ziyu Wang, Jian Li, Rui Ning, Lusi Li

Computer Science Faculty Publications

Incomplete multi-view clustering (IMVC) aims to discover shared cluster structures from multi-view data with partial observations. The core challenges lie in accurately imputing missing views without introducing bias, while maintaining semantic consistency across views and compactness within clusters. To address these challenges, we propose DIMVC-HIA, a novel deep IMVC framework that integrates hierarchical imputation and alignment with four key components: (1) view-specific autoencoders for latent feature extraction, coupled with a view-shared clustering predictor to produce soft cluster assignments; (2) a hierarchical imputation module that first estimates missing cluster assignments based on cross-view contrastive similarity, and then reconstructs missing features using …

Algorithmic Trading In Idiosyncratic-Payoff Markets: A Multi-Agent System For On-Chain Prediction Contracts, Saif Aldeen A.K. Agha

CMC Senior Theses

This thesis documents the design, deployment, and forward-test evaluation of an evolutionary multi-agent algorithmic trading system on Polymarket, the largest decentralized prediction market. The system pairs a locally-hosted 72-billion-parameter language model with a gradient-boosted statistical filter and an evolutionary selection mechanism that maintains a population of approximately 500 autonomous trading agents. Each agent generates a probability estimate for an event, compares it to the prevailing market price, and trades the resulting disagreement.

The central empirical exercise estimates a panel regression of trade-level profit on the absolute disagreement between the agent's probability estimate and the market price, controlling for agent identity, …

Balanced Multi-Party Tournament Designs, Parsa Nematollahe

Honors College Theses

This paper introduces Multi-Party Tournament (MPT) designs that generalize established combinatorial structures, including Whist, Pitch, and Generalized Whist tournament designs. This work will formally define MPTs, establish the fundamental properties of resolvability, fullness, and balance, and formulate a mathematical and algorithmic foundation for multi-party tournament scheduling. The primary contributions of this research are the presentation of necessary and sufficient existence conditions for MPTs across various properties and parameters, the identification of connections between MPTs and other fields of mathematics such as combinatorial design theory, graph theory, and probability theory, and the investigation of MPT construction algorithms, including tree-search, finite-field constructions, …