Theory and Algorithms Commons^™

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 …

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 …

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 …

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 …

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

Radial And Carotid Arterial Pulse Signals For Assessing Cardiovascular Function At Rest And During Post-Exercise Recovery In A Heart Transplant Patient: A Case Study, Md Mahfuzur Rahman, Mamun Hasan, Jennifer F. May, John M. Herre, Leryn Reynolds, Zhili Hao

Mechanical & Aerospace Engineering Faculty Publications

Aim: This study investigates the feasibility of using radial and carotid arterial pulse signals to assess cardiovascular (CV) function at rest and during post-exercise recovery in a heart transplant (HTx) patient. Method: Two micro-fabricated tactile sensors were used to simultaneously acquire arterial pulse signals at the radial artery (RA) and carotid artery (CA). Measurements were taken at rest and at multiple time points post-exercise on three subjects: an HTx patient, a percutaneous coronary intervention (PCI; coronary stent) patient and a healthy control. An SDOF-TF-based time-frequency analysis algorithm was applied to extract a comprehensive set of CV parameters, including heart rate …

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 …

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 …

Wearable Sensor-Based Phase Segmentation Analysis Of Front Crawl Swimming: A Scoping Review, Jonathan Simoes, Samuel Aylward, Daniel Hamze, Daniel James Goble, Daniel M. Russell, Joshua Haworth

Exercise Science Faculty Publications

Front crawl swimming stroke phase segmentation has historically relied on video analysis, but the development of wearable sensor technology has created new opportunities for automated phase segmentation. This scoping review mapped the available evidence on wearable sensor-based stroke phase segmentation methods in front crawl swimming, following PRISMA-ScR guidelines. A systematic search of SPORTDiscus, Web of Science, and IEEE Xplore conducted from January to June 2026, identified 15 eligible peer-reviewed studies published between 2000 and 2024. The review revealed an emerging field of research that has converged methodologically around inertial measurement units (IMUs) and the Chollet phase segmentation framework while remaining …