Digital Commons Network^™

Clinical Validation Of Perfusion Imaging With Pulmonary Function Test Data Using Voronoi-Based Discretization, Jorge Cisneros, Caleb J. Herrera, Yi-Kuan Liu, Lisa V. Du, Yevgeniy Vinogradskiy, Richard Castillo, Girish Nair, Edward Castillo

Department of Medicine Faculty Papers

Objective.Accurate lung function assessment is essential for diagnosing and managing diseases like chronic obstructive pulmonary disorder, pulmonary emboli, and lung cancer. Single-photon emission computed tomography (SPECT) provides valuable 3D functional imaging of ventilation and perfusion, but is limited by low spatial resolution, availability, additional radiation, and cost. Alternative methods, including CT-based perfusion (CT-P) and deep learning models, require large datasets to validate results that are often scarce. Pulmonary function tests (PFTs) offer rapid and noninvasive global lung function measures and are clinically widely used. While ventilation correlates well with PFTs, perfusion imaging presents challenges due to complex blood flow and …

Spectroscopy And Photochemistry Of The Astrochemical Molecules Sicp And Alcp, Vincent J. Esposito, Tarek Trabelsi, Rebecca Firth, Ryan C. Fortenberry, Joseph S. Francisco

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Through characterization of the electronic excited-state topology, linear-SiCP is predicted to be photostable in the UV region, whereas linear-AlCP is predicted to undergo photodissociation to form Al+CP products after absorption of light in the 200–250 nm range, representing a catalytic process for freeing aluminum molecules from a solid dust grain. Both SiCP and AlCP are predicted to have electronic transitions with large absorption cross sections (∼10^–17 cm²) and to undergo fluorescence from bound excited states. The total electronic absorption spectrum is provided to inform electronic spectroscopy experiments. Silicon (SiC) and aluminum (Al₂O₃) dust …

Co-Electrospinning Polyacrylonitrile (Pan) / Polymer Of Intrinsic Microporosity-1 (Pim-1) For Electrochemical-Based Sensor For Pyridine Detection And Absorption, Samar A. Salim

Nanotechnology Research Centre

The electrospinning of the polymer of intrinsic microporosity-1 (PIM-1) poses challenges due to its limited solubility and tendency to form bead-like structures at high concentrations. This work details the synthesis and analysis of electrospun composite fibers made from polyacrylonitrile (PAN) and PIM-1 for electrochemical applications. The data analysis confirmed the successful incorporation of PIM-1 into the PAN matrix. The fiber characteristics were significantly influenced by PIM-1 loading (1–10%), resulting in fiber diameters ranging from 0.8 to 1.7 μm. A 10% concentration of PIM-1 results in the formation of macropores with diameters ranging from 0.5 to 1.7 μm. Optical analysis using …

The Modern History Of The Basel Problem, John Campbell, Paul Levrie

Euleriana

The \emph{Basel problem} refers to the problem of determining a closed form for the infinite series $\frac{1}{1^2} + \frac{1}{2^2} + \cdots$. If we consider what mathematical results have the most peer-reviewed papers devoted to new ways of proving such results, Euler's formula $\frac{1}{1^2} + \frac{1}{2^2} + \cdots = \frac{\pi^2}{6}$ is certainly among the top of such results. This motivates our historical study of peer-reviewed papers based on proofs of Euler's formula, and we introduce what appears to be the most comprehensive and up-to-date and exhaustive catalogue of peer-reviewed, published papers in the 20th and 21st centuries devoted to or mainly …

Euler And Gauss On The Hypergeometric Function -- A Comparison, Alexander Aycock

Euleriana

We present several results stated by Euler on what is today called the Gaussian hypergeometric function. For this purpose, we compare the results found by Gauss to Euler's results.

The Extent To Which The Earth's Motion Is Perturbed By The Moon, More Accurately Investigated: An English Translation Of E139, Patrick T. Headley

Euleriana

In Tabulae astronomicae solis et lunae (Solar and lunar astronomical tables) (E87), published in 1746, Euler made a first attempt to correct his astronomical tables for the gravitational attraction of the Earth toward the Moon, simply by accounting for the difference between the position of the Earth and the center of gravity of the Earth-Moon system. In this article Euler revisited the problem, noting that this center of gravity would not itself take an elliptical path around the Sun. To model the motion more accurately, Euler considered the separate gravitational attractions of the Sun and Moon acting on the Earth. …

About Infinite Algebraic Curves Whose Indefinite Lengths Equal An Elliptic Arc: An English Translation Of E780, Derek R. Aoki

Euleriana

Euler continues his study of algebraic curves with equal arc length, a subject to which he returned several times. After a brief review, he introduces an infinite family of curves with the same indefinite length as a given ellipse. However, this first family is by his own admission poorly motivated, so he derives directly a different but related family of curves with the same indefinite length as a given ellipse.

Historical Beginnings To Modern Results, Christopher Goff, Erik Tou

Euleriana

An introduction to the contents in Volume 6 (Issue 1) of Euleriana.

Diagnostic Trends And Service Enhancements In Deaf Mental Health: A Longitudinal Analysis, Kent Schafer, Steve Hamerdinger, Frank Wu, Rie Sakai Bizmark, Charlene Crump

JADARA

A longitudinal study investigated mental health diagnostic trends and patterns among Deaf and Hearing individuals using a comprehensive dataset from Alabama Department of Mental Health spanning 2004-2024 (Deaf=4,547; Hearing=2,056,188). Chi-square analysis revealed significant proportional differences in diagnoses between the groups. Deaf individuals showed significantly higher proportions of psychotic (12.93% vs. 8.33% Hearing), mood (20.76% vs. 18.84% Hearing), and personality (0.58% vs. 0.43% Hearing) disorders. These findings suggest that increased access to specialized and competent mental health services for individuals who are Deaf, particularly following the increase of staffing patterns for the Office of Deaf Services in 2015,contributed to more accurate …

The Enthalpy Of Formation Of Acetylenes And Aromatic Nitro Compounds For A Group Contribution Method With “Chemical Accuracy”, R. J. Meier, Paul R. Rablen

Chemistry & Biochemistry Faculty Works

In this paper we provide the Group Contribution parameters for acetylenes and aromatic nitro compounds fitting with a recently developed Group Contribution method with chemical accuracy (1 kcal/mol) for the heat of formation of organics. These additional parameters widen the applicability of the Group Contribution method. We also provide further G4 quantum calculated values as reference when no experimental data are available and compare to previously reported G4 data.

The Application, Construction, And Validation Of Hidden Markov Model Profiles For Carbonic Anhydrase Enzymes, Samuel F. Kaplan

Master's Theses

Carbonic anhydrases (CAs) catalyze the reversible hydration of CO2 and have evolved independently at least eight times, resulting in structurally distinct enzyme families (α, β, γ, δ, ζ, η, θ, ι). Traditional sequence alignment methods struggle to classify these convergently evolved proteins because their sequential similarity does not reliably indicate functional or evolutionary relationships. Many CA sequences in public databases are annotated generically without family assignments, and prior computational approaches have focused predominantly on the three well characterized families (α, β, γ), leaving the five recently discovered classes without robust classification tools. Family level assignment is often a prerequisite for …

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

Designing For Trust In Chat-Based Question Answering Systems: An Exchange-Based Retrieval Approach, Nathan Mccutchen

Master's Theses

Community chat platforms such as Discord and Slack support spontaneous, collaborative communication but make it difficult to retrieve previously discussed information. As conversations accumulate, valuable exchanges become buried, leading to repeated questions and sustained burden on experienced community members.

This work contributes a set of design requirements for question-answering systems operating over unstructured chat data, a Discord bot prototype implementing those requirements named Echo, and an empirical evaluation of how such a system affects user trust. Rather than encoding discrete question-answer pairs or generating synthetic responses with a language model, Echo indexes conversation topics for semantic retrieval and presents results …

Using Ensemble Disagreement To Stabilize Conformal Prediction Under Distribution Shift, Patrick D. Murphy

Master's Theses

Semantic segmentation of eelgrass from drone imagery is crucial for coastal habitat monitoring, restoration, and management, as these habitats continue to see rapid changes due to climate change and human influence. However, the reliability of generalizing a deployed classification model relies on both high-accuracy segmentation as well as robust uncertainty quantification that holds up when conditions change over years or locations. Conformal prediction (CP) is a method that converts a classifier's output into prediction sets with a guaranteed average coverage level for in-distribution data. However, the “vanilla” conformal score can often under-cover in hard or out-of-distribution (OOD) regions under drift. …

Neurosymbolic Counterpoint Generation, Paul D. Jarski

Master's Theses

Recent advancements in generative artificial intelligence have revolutionized music generation, yet research has predominantly focused on raw audio synthesis over music in symbolic form, i.e. a score. This thesis presents the first neurosymbolic model designed to generate imitative Renaissance counterpoint in symbolic (MIDI) format. By leveraging an autoregressive Transformer architecture, this research explores the capacity of deep learning models to manage independent voices and strict stylistic constraints.

We compare multiple data representation strategies with distinct tokenization methods. The proposed model incorporates a symbolic component that enforces fundamental contrapuntal rules. Additionally, this thesis contributes a preprocessed dataset of Renaissance polyphony, in …

The Illusion Of Causality In Llms: A Developmentally Grounded Analysis Of Semantic Scaffolding And Benchmark–Capability Mismatches, Daisuke Akiba

Publications and Research

Recent benchmarks increasingly report that large language models (LLMs) exhibit human-like causal reasoning abilities, including counterfactual inference and intervention planning. However, many such evaluations rely on domains that are heavily represented in training data and embed strong semantic cues, raising the possibility that apparent causal competence may reflect semantic pattern recombination rather than structure-sensitive causal reasoning. Drawing on human developmental theories of causal induction, this perspective argues that genuine causal understanding requires robustness to novelty and reliance on conditional structure rather than semantic familiarity. To illustrate the testability of this claim, the paper includes a pilot demonstration using synthetic causal …

Selecting Without Replacement From A Population Of Bands Of Serially Connected Objects, James E. Marengo, Dominick Banasik, Joseph Voelkel, David L. Farnsworth

Articles

The sampling procedure from a finite population of objects that are serially attached into bands is described and analyzed. One object is randomly selected and removed at a time, which results in that object’s band being broken into two bands or shortened by one object. The main result gives the probability of choosing an object that is part of a band of serially connected objects of any specified size at each stage of the selection process.

Codeultrafeedback: An Llm-As-A-Judge Dataset For Aligning Large Language Models To Coding Preferences, Martin Weyssow, Aton Kamanda, Xin Zhou, Houari Sahraoui

Research Collection School Of Computing and Information Systems

Evaluating the alignment of large language models (LLMs) with user-defined coding preferences is a challenging endeavor that requires a deep assessment of LLMs' outputs. Existing methods and benchmarks rely primarily on automated metrics and static analysis tools, which often fail to capture the nuances of user instructions and LLM outputs. To address this gap, we introduce the LLM-as-a-Judge evaluation framework and present CodeUltraFeedback, a comprehensive dataset for assessing and improving LLM alignment with coding preferences. CodeUltraFeedback consists of 10,000 coding instructions, each annotated with four responses generated from a diverse pool of 14 LLMs. These responses are annotated using GPT-3.5 …

Navigation Beyond Wayfinding: Robots Collaborating With Visually Impaired Users For Environmental Interactions, Shaojun Cai, Nuwan Janaka, Ashwin Ram, Janidu Shehan, Yingjia Wan, Kotaro Hara, David Hsu

Research Collection School Of Computing and Information Systems

Robotic guidance systems have shown promise in supporting blind and visually impaired (BVI) individuals with wayfinding and obstacle avoidance. However, most existing systems assume a clear path and do not support a critical aspect of navigation—environmental interactions that require manipulating objects to enable movement. These interactions are challenging for a human–robot pair because they demand (i) precise localization and manipulation of interaction targets (e.g., pressing elevator buttons) and (ii) dynamic coordination between the user’s and robot’s movements (e.g., pulling out a chair to sit). We present a collaborative human–robot approach that combines our robotic guide dog’s precise sensing and localization …

Private Set Intersection: A Systematic Review, Yunbo Yang, Defan Zhu, Jianting Ning, Qi Feng, Xiaoguo Li, Yuejia Cheng, Guomin Yang, Kui Ren

Research Collection School Of Computing and Information Systems

Various services, such as search engines, are increasingly deployed in cloud-based and distributed systems. However, data are typically managed by trusted servers, making user privacy and data security critical concerns. Private set intersection (PSI) is a powerful cryptographic primitive that enables multiple parties to compute the intersection of their datasets without revealing private inputs. It has been extensively studied over the past two decades, leading to significant gains in computational and communication efficiency. Yet, in many real-world scenarios, revealing the raw intersection may still leak sensitive information. To address this, numerous PSI variants have been developed to meet different application …

X-Ray Emission In Illustristng Circum-Cluster Environments: Ii. Possible Origins Of The Soft X-Ray Excess Emission, Celine Gouin, Daniela Galárraga-Espinosa, Massimiliano Bonamente, Stephen Walker, Mohammad Mirakhor, Richard Lieu, Clotilde Laigle, Etienne Bonnassieux, Charlotte Welker, Stefano Gallo, Tony Bonnaire, Jade Paste

Publications and Research

Context. An excess of soft X–ray emission (∼0.2 − 1 keV) above the contribution from the hot intracluster medium (ICM) has been detected in a number of galaxy clusters, including the Coma cluster. The physical origin of this emitting medium above the hot ICM has not yet been determined, in particular, it is unclear whether it is thermal or nonthermal.

Aims. We investigate the gas phase and gas structure that reproduce the soft excess radiation from the cluster core to the outskirts best using simulations.

Method. By using the IllustrisTNG simulation (TNG300), we predict the radial profile of thermodynamic properties …

Evaluating Carbon Risk And Benefit Under Improved Forest Management Prescriptions In A California Mixed Conifer Stand, Jonathan A. Garcia

Master's Theses

Improved forest management (IFM) prioritizes carbon accumulation through practices such as extended rotations and retention harvesting. These management strategies, increase fuel loads and elevate the potential fire intensity, may offset the benefits of carbon sequestration. Additionally, IFMs use spatially complex silvicultural treatments that may introduce prediction errors into the simulation processes used for long-term projections, and carbon accounting.

We evaluated the extent to which calibration in the Forest Vegetation Simulator (FVS) reduces error in aboveground carbon stock predictions and tested whether modeling approaches and calibration influence the magnitude and direction of basal area increment (BAI) prediction error using generalized mixed-effects …

Transfer Learning Neural Networks For Nuclear Forensic Image Morphology Using Image Splitting Techniques, Niko A. Petrocelli, Lee C. Lambert, Brett J. Borghetti, Abigail A. Bickley

Faculty Publications

Manual morphological analysis of actinide particles from scanning electron microscope (SEM) imagery is a critical component of nuclear forensics but is prone to significant inter-analyst variability. To address this challenge, this work develops and evaluates an automated classification method using deep learning. We introduce a methodology based on partitioning 1906 SEM images, representing 13 classes of uranium compounds, into smaller patches for analysis. Three convolutional neural network (CNN) architectures of increasing complexity were compared: a custom baseline CNN, a simple transfer learning model using ResNet50v1, and a complex model featuring hierarchical feature extraction and a spatial attention mechanism built upon …

Time-Dependent Amplification Of Growth Rates In A Plankton-Oxygen Model, Rapha Coutin

Master's Theses

Near-bottom hypoxia occurs when dissolved oxygen levels drop to a level that is harmful to marine biology, creating biological dead zones along the ocean floor. Recent years have seen a dramatic increase in the percentage of coastal, near-bottom, hypoxic water, with the average in 2021 nearly double that of the average from 2009 to 2018 and about twenty-eight times the average from 1950 to 1980. Recent literature has linked this increase in oceanic hypoxia to the increase in upwelling-favorable winds caused by climate change. Upwelling brings low-oxygen, nutrient-rich water up to the surface, leading to plankton blooms and mass consumption …

Opencil: Benchmarking Out-Of-Distribution Detection In Class Incremental Learning, Wenjun Miao, Guansong Pang, Trong-Tung Nguyen, Ruohuan Fang, Jin Zheng, Xiao Bai

Research Collection School Of Computing and Information Systems

Class incremental learning (CIL) aims to learn a model that can not only incrementally accommodate new classes, but also maintain the learned knowledge of old classes. Out-of-distribution (OOD) detection in CIL is to retain this incremental learning ability, while being able to reject unknown samples that are drawn from different distributions of the learned classes. This capability is crucial to the safety of deploying CIL models in open worlds. However, despite remarkable advancements in the respective CIL and OOD detection, there lacks a systematic and large-scale benchmark to assess the capability of advanced CIL models in detecting OOD samples. To …

Addressing Graph Heterogeneity And Heterophily From A Spectral Perspective, Kangkang Lu, Yanhua Yu, Ruopei Guo, Nan Cheng, Zhiyong Huang, Yunshan Ma, Meiyu Liang, Yuling Wang, Xiting Qin, Yimeng Ren, Tat-Seng Chua

Research Collection School Of Computing and Information Systems

Graph Neural Networks (GNNs) face two key challenges, heterogeneity and heterophily, which often degrade performance. Existing approaches either focus narrowly on specific meta-paths, limiting their expressiveness, or are expressive but cannot effectively leverage higher-order neighbors. In this paper, we propose the Heterogeneous Heterophilic Spectral Graph Neural Network (H2SGNN), which combines local independent filtering to adaptively handle meta-path subgraphs with varying homophily ratios, and global hybrid filtering to capture high-order neighbor interactions with linear computational complexity. On five heterogeneous graph benchmarks—DBLP, ACM, IMDB, AMiner, and Yelp—H2SGNN consistently outperforms strong baselines, for example, achieving +1.0% Macro-F1 and +1.3% Micro-F1 on IMDB. It …

Intramolecular Nonbonding Interactions And Geared Phenyl Twisting In Para-Disubstituted 1,4-Diphenylazines: Electron Correlation Effects On Molecular Conformations And Enantiomerization, Kaidi Yang, Harmeet Bhoday, Rainer Glaser

Chemistry Faculty Research & Creative Works

The results are reported of potential energy surface (PES) analyses of six symmetrical azines Y_p − Ph − RC=N − N=CR − Ph − Y_p, namely, the benzaldehyde azines 1H, 2H, and 8H with R = H and the acetophenone azines 1M, 2M, and 8M with R = Me. The Y substituents Cl (1), Br (2), and Me (8) were studied because sets of polymorphs I (C2-symmetry, azine twist τ ≈ 135 ± 10°, disrotatory phenyl twists ϕi ≠ 0°) and II (Ci-symmetry, τ = 180°, conrotatory ϕi ≠ 0°) were crystallized for these three azines. The …

Improving Credit Card Transaction Fraud Detection Using Cvqboosting, Bethel Hui Ting Loke, Nirvik Sahoo, Bingyan Guan, Minrui Xu, Dev Verma, Paul R. Griffin

Research Collection School Of Computing and Information Systems

This paper introduces a novel hybrid quantum-classical approach to credit card fraud detection using CVQBoost, a hybrid quantum-classical boosting algorithm executed on the photonic Dirac-3 processor from Quantum Computing Inc. (QCi). By integrating a diverse set of weak classifiers, which includes K-nearest neighbours (KNN), linear discriminant analysis, logistic regression, and XGBoost, within a hybrid quantum-classical ensemble, the proposed method demonstrates significant improvements over the latest published classical benchmarks. Experiments on a Kaggle credit card fraud dataset show that the quantum-enhanced model achieves a mean AUC-PR score of over 0.8, corresponding to an approximately 9% relative improvement over the best published …

Deep Learning Approaches For Anti-Money Laundering On Mobile Transactions: Review, Framework, And Directions, Jiani Fan, Lwin Khin Shar, Ruichen Zhang, Ziyao Liu, Wenzhuo Yang, Dusit Niyato, Kwok-Yan Lam

Research Collection School Of Computing and Information Systems

Money laundering is a financial crime that obscures the origin of illicit funds, necessitating the development and enforcement of anti-money laundering (AML) policies by governments and organizations. The proliferation of mobile payment platforms and smart IoT devices has significantly complicated AML investigations. As payment networks become more interconnected, there is an increasing need for efficient real-time detection to process large volumes of transaction data on heterogeneous payment systems by different operators such as digital currencies, cryptocurrencies, and account-based payments. Most of these mobile payment networks are supported by connected devices, many of which are considered loT devices in the FinTech …

Compositions Of Variant Experts For Integrating Short-Term And Long-Term Preferences, Dinh Hieu Do, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

In the online digital realm, recommendation systems are ubiquitous and play a crucial role in enhancing user experience. These systems leverage user preferences to provide personalized recommendations, thereby helping users navigate through the paradox of choice. This work focuses on personalized sequential recommendation, where the system considers not only a user’s immediate, evolving session context, but also their cumulative historical behavior to provide highly relevant and timely recommendations. Through an empirical study conducted on diverse real-world datasets, we have observed and quantified the existence and impact of both short-term (immediate and transient) and long-term (enduring and stable) preferences on users’ …