Digital Commons Network^™

Sok: Understanding Zkvm: From Research To Practice, Guomin Yang, Yunbo Yang, Yuejia Cheng, Haibo Tang, Bingsheng Zhang, Kui Ren

Research Collection School Of Computing and Information Systems

Zero-knowledge virtual machine (zkVM) is a powerful infrastructure for proving the correctness of a program execution with a succinct proof, attracting significant interest from researchers, developers, and users. It has been widely used in applications such as blockchain rollups, privacy-preserving machine learning, and off-chain computation. As the field grows, a wide range of zkVMs have been proposed. However, they adopt different choices in instruction formats, trace layouts, and proving backends, which results in a highly heterogeneous design landscape and makes it difficult to understand the relations among these systems.To bridge this gap, we provide a comprehensive study of zkVMs that …

Enhancing Pointing Gestures Of Non-Hmd Users In Asymmetric Collocated Mixed Reality Collaboration, Nam-Dang Vo, Van-Vinh Thai, Anthony Tang, Khanh-Duy Le

Research Collection School Of Computing and Information Systems

A common collocated group setting in mixed-reality (MR) collaboration is a person wearing a MR headset (HMD user) and presenting MR contents to audiences who are not provided with such specialized devices (Non-HMD users). In this setting, while Non-HMD users can view the MR environment shown on a large physical display, it still remains challenging for the HMD user to interpret their pointing gesture when they spatially refer to objects in the MR environment. To address this, we designed and evaluated two pointing techniques—SCREEN and SCREEN+SPACE—that support Non-HMD users in referring to MR content. Screen pointing allows users to refer …

Happycal: Designing Text And Image-Based Supports For Savouring Positive Work Experiences, Molly Stewart, Minghao Cai, Anthony Tang, Sam Liu, Chris Mosunic, Sowmya Somanath

Research Collection School Of Computing and Information Systems

Savouring positive work experiences can promote positive affect and well-being at work, yet there is limited guidance on how digital applications can support workers to engage in savouring. We developed HappyCal, a work-focused savouring application offering two forms of savouring support: text-based, a common modality in workplace reflection tools, and images, a largely unexplored approach in work-related savouring. We conducted an exploratory qualitative study where participants (N=36) used HappyCal over five days and engaged in savouring through either a text-only modality (n=17) or text input paired with image output (n=19). We found that (1) participants in both groups reported heightened …

A Hybrid Approach To Phishing Email Detection: Leveraging Machine Learning And Large Language Models, Hessa Shamal Biri

Theses

Phishing attacks have reached a new level of sophistication through the deployment of large language models by attackers. The current AI-generated threats defeat existing detection systems which base their operation on past data. The thesis presents a hybrid system for phishing email detection which combines real email data with synthetic LLM-created samples to enhance traditional machine learning classifiers performance. The study created a hybrid dataset of 20,627 emails by combining 18,631 real messages from the Kaggle Email Classification Dataset with 1,996 synthetic emails. The synthetic emails were generated using four large language models LLaMA-3, Falcon, LLaVA, and Mistral to capture …

Not Too Early, Not All At Once: Design Tensions In Ai-Mediated Self-Disclosure In Online Dating, Pei-Hua Tsai, Tianyi Zhang, Emran Bin Elias Poh, Anthony Tang, Yung-Ju Chang

Research Collection School Of Computing and Information Systems

Online dating relies on self-disclosure, yet initial conversations are fragile: users must navigate uncertainty around timing, boundaries, and reciprocity with little shared context. While advances in AI raise the possibility of mediating disclosure, how such support might reshape the experience of early-stage relational disclosure remains underexplored. We conducted 29 semi-structured interviews to examine how daters envision AI-mediated self-disclosure in online dating. Our findings surface recurring design tensions rather than simple opportunities or risks. Participants welcomed guidance that could pace disclosure, support reflection, and reduce social awkwardness, but stressed preserving agency and authorship. They valued interpretive assistance for sense-making of ambiguous …

Language Embeddings Meet Shallow Autoencoders, Rodrigo Alves, Vojtěch Vančura, Pavel Kordík, Antoine Ledent

Research Collection School Of Computing and Information Systems

Shallow autoencoders are appealing recommenders due to their simplicity, scalability, and competitive retrieval quality, but they struggle in strict cold-start settings where new items have no interactions. We propose an inductive shallow autoencoder that leverages item side information (language embeddings) by fixing the decoder to item features and learning only an encoder in the same semantic space. To prevent trivial self-reconstruction without enforcing a hard zero diagonal, we introduce diagonal gating: a leave-one-item-out objective that blocks the self-copy shortcut only for the item being updated while retaining context from the rest of the user history. An alternating-style optimization trains the …

Ai-Powered Student Support And Development Platform, Wadha Rashed Alyammahi

Theses

Over the past few years, academic stress and student mental well-being have become critical concerns in educational settings, significantly affecting academic performance and overall quality of life. Students increasingly rely on digital platforms for academic support; however, many existing solutions lack the ability to adapt to users’ emotional states or provide personalized, context-aware assistance. In response to this challenge, this study presents the design and development of an intelligent, stress-aware conversational support system for students based on advanced natural language processing techniques and large language models.

The main goal of this study is to explore the effectiveness of an LLM-based …

Conello Vendor Marketplace Capstone: A Review On The Capstone Process And Computer Science Degree, Levi Hauck

University Honors Theses

This Capstone Review Thesis discusses the current structure of the Computer Science Degree path and Computer Science Capstone at PSU. This thesis reviews the Conello Vendor Marketplace Capstone, a project designed to help address the issue of teambuilding in the workplace. It points out ways in which teamwork and organization is an underdeveloped skill in Computer Science. During the Capstone project, the project management method of Agile development was recommended and used. However, it became clear that the team, leader included, had a gap in knowledge and skills to be successful, as well as a lack of experience in team …

Agile In The Age Of Ai: Considerations And Improvements For Streamlining Developer Workflows, Stephen Feng

University Honors Theses

This paper examines the integration of AI language models into Agile developer workflows during a six-month software development project. Using the development of SagacityWall, a mindfulness-based social media application built by a team of eight undergraduates, it identifies three key areas in Agile processes where AI provided meaningful leverage: translating business requirements into actionable developer work tickets, accelerating framework research and technology stack decisions, and reducing onboarding friction through AI-assisted code scaffolding and Behavior-Driven Development story formatting. The study finds that AI meaningfully boosted productivity across these stages – not by replacing developer judgment, but by reducing overhead at each …

Supramolecular Assembly In Short Peptide Systems For Selective Metabolite Recognition And Drug Nanoencapsulation, Maithreyi Ramakrishnan

Dissertations, Theses, and Capstone Projects

Short peptides can form adaptive supramolecular assemblies, and understanding how minimal sequences organize around neurometabolites or hydrophobic cancer drugs enables the rational design of functional materials. This thesis combines molecular dynamics with experimental validation to establish design rules linking peptide sequence to emergent structure and function. Chapter 1 outlines the molecular determinants governing peptide assembly. Chapter 2 reviews computational workflows that reveal sequence-dependent conformations and supramolecular organization. Chapter 3 applies these principles to Dynamic Peptide Libraries which identify tetrapeptides that selectively interact with neurometabolites. Chapter 4 extends the same interaction-driven framework to design tryptophan-rich pentapeptides that co-assemble with kinase inhibitors …

Quiver Of Affine Monoid Of A Vector Space Over Finite Field, James Junie Chen Cleary

Dissertations, Theses, and Capstone Projects

In this paper, we study the quiver of the complex monoid algebra CAFF(n, q). There are n + 1 maximal subgroups of AFF(n, q), each isomorphic to AGL(k, q) for some 0 ≤ k ≤ n. Every irreducible representation of CAFF(n, q) arises from a character of CAGL(k, q) for a suitable k. Thus, we study two different approaches to classifying the characters of CAGL(k, q). Next, we compute the full quiver Q(CAFF(n, q)). Finally, we show that this quiver is a disjoint union of straight-line paths and that its basic algebra has radical square zero. Hence, it has finite …

A Predictive Coding Account Of Spatial Working Memory Following Prophylactic Levetiracetam Administration Prior To Traumatic Brain Injury, Omeima Mutwali

Dissertations, Theses, and Capstone Projects

Traumatic brain injury (TBI) symptom prevention and remediation is an important area of research that would benefit vulnerable groups, including active-duty and veteran soldiers. These patients can sustain penetrative forces in fields of combat or in training, which result in focal lesions that trigger inflammatory and degenerative processes in the brain. Both primary and secondary injuries are associated with changes to cognition, behavior and affective state. This disease poses increased risk of epileptogenesis, as well. Given these outcomes, prior research has evaluated levetiracetam (LEV) as a prophylactic treatment for seizures, cognitive deficits and negative emotionality. LEV acts as a presynaptic …

Spatiotemporal Pah Patterns In Size-Fractionated Particles (Pm>10-Pm0.1) From Northern Thailand Biomass Burning Via Sentinel-2, Phakphum Paluang, Watinee Thavorntam, Sarawut Sangkham, Phuchiwan Suriyawong, Hisam Samae, Thaneeya Chetiyanukornkul, Masami Furuuchi, Worradorn Phairuang

Research outputs 2022 to 2026

Biomass burning, particularly from forest fires and crop residue burning during the dry season, is a major source of particulate pollution across many Asian countries. However, accurately identifying these emissions remains challenging due to uncertainties in burned area estimation and the limited availability of country-specific emission factors. This study quantified the spatiotemporal distribution of emissions from biomass burning using satellite imagery. Burned areas were classified using a random forest (RF) algorithm implemented on the Google Colaboratory (Colab) platform. The RF model showed strong performance, with a kappa coefficient of 0.85 and an average accuracy of 0.81. Emission estimates for the …

Municipality Of Bayamón V. Exxon Mobil Corp. (2025): Bringing Racketeering Charges For Climate Justice, Ilinca C. Johnson

Pace Environmental Law Review

Environmental justice communities should have their climate change damages heard in the courtroom. One means to increase environmental justice claims is through claims under the federal Racketeer Influence and Corrupt Organizations (RICO) Act. Using Municipality of Bayamón v. Exxon Mobil Corp. (2025) as a model, this Article suggests a novel RICO case strategy to pursue climate damages for marginalized communities. Fundamentally, environmental justice RICO claims involve careful case design based on the climate-related damages a marginalized community has faced because of the long-term deception by fossil fuel actors upon those communities. Pursuing such claims forwards the intersectional issues faced by …

Pypitfall: Dependency Chaos And Supply Chain Vulnerabilities In Python, Jacob Mahon

Theses

Python software development heavily relies on third-party packages. Direct and transitive dependencies create a labyrinth of software supply chains. While it is convenient to reuse code, vulnerabilities within these dependency chains can propagate through dependencies, potentially affecting downstream packages and applications. PyPI, the official Python package repository, hosts many packages and lacks a comprehensive analysis of the prevalence of vulnerable dependencies. PyPitfall, a quantitative analysis of vulnerable dependencies across the PyPI ecosystem, is introduced. The dependency metadata of 378,573 PyPI packages is analyzed. 4,655 packages that explicitly require a known vulnerable package version and 141,044 packages that permit a vulnerable …

From Process Retrieval To Understanding: A Look Into Curiosity And Metacognition In My Physics Classrooms, Nahuel Acosta Burroso

Critical and Creative Thinking Capstones Collection

In the modern high school physics classroom, the rapid proliferation of generative artificial intelligence (GenAI) has created a unique educational challenge. While these tools can solve complex problems quickly, they often lead to cognitive offloading, where students bypass the internal dialogue and deep thinking needed for true understanding. This project follows an action research journey that shifts the focus from restricting technology to cultivating curiosity and metacognition. I define curiosity as the gap identifier that appears when a student realizes they do not know something, while metacognition acts as the navigator that helps them decide what to do next. By …

Robustness Of Ai-Driven Histopathology Under Real-World Adversarial Examples, Ruchik N. Yajnik

Theses

This robustness of histopathology classification models under adversarial and real-world perturbations resembling clinical artifacts is being investigated.

Using whole-slide images from the CAMELYON17 cohort, four representative architectures—ResNet-18, ResNet-50, HIPT-2MLP, and ViT-B/16 —are benchmarked across controlled pixel-level distortions and artifact-like transformations. Adversarial methods include iterative Fast Gradient Sign, Projected Gradient Descent, Salt-and-Pepper noise, and the Adversarial Watermark—Stain Shift (AWSS). Three defense strategies—Randomized Smoothing, Adversarial Training, and an Artifact Detector—are evaluated for their ability to preserve diagnostic accuracy and model reliability. Structured perturbations consistently degrade performance, with transformer-based models showing the greatest sensitivity. The benchmark developed here offers a reproducible framework for …

Sound Detection Of Memory Leaks In Llvm Ir Programs Using Accumulation Analysis, Robert Blacha

Theses

Resource leaks occur when a limited resource such as memory is allocated by a program and needlessly held past the point of use. Leaks can lead to a degradation of services which can be specifically triggered with malicious behavior, for example abusing a memory leak in a program to cause a server to slow down and crash for a denial-of-service attack.

Prior work has demonstrated that accumulation analysis provides a sound detection of resource leaks with a working implementation for programs written in Java. While useful, current implementations are limited to programs written in Java, which has a garbage collector, …

Mechanics And Physical Attributes Of Nature-Based Alterations: Rock Reinforcement And Urban Heat Island Assessment, Mary Chikondi Ngoma

Dissertations

Ground improvement is critical to geotechnical and geo-engineering systems, where modification of the properties of geomaterials (rocks and soils) is required to maintain stability and prevent failure of infrastructure installed within and around them. This need has become increasingly important with rapid urbanization and population growth, which intensify demands on surface and subsurface systems and further challenge the performance of supporting geomaterials. As a result, there is growing interest in nature-based solutions, particularly biologically mediated processes such as biocementation, which can enhance the physical, hydraulic, and mechanical properties of geomaterials while offering environmentally sustainable alternatives to conventional ground improvement techniques. …

Differential-Geometric Methods For Neural Signed Distance Fields: Parameterized Surface Extraction And Curvature Regularization For Cad Models, Haotian Yin

Dissertations

Neural signed distance fields have emerged as a powerful framework for representing three-dimensional geometry through continuous and differentiable neural functions. Their flexibility, resolution independence, and compatibility with gradient-based optimization make them especially attractive for surface reconstruction and geometric learning. However, despite these advantages, two fundamental challenges remain for engineering-grade applications. First, higher-order geometric properties such as curvature are difficult to model reliably during training and often require computationally expensive second-order differentiation. Second, while neural signed distance fields provide implicit surface representations, they do not directly yield a globally consistent forward map or parameterization for downstream geometric processing.

This dissertation addresses …

A Generative Ai-Driven Computational Framework For Industry-Scale Discovery Of Novel Battery Materials, Joy Datta

Dissertations

The growing demand for sustainable, high-energy-density electrochemical storage has motivated the exploration of multivalent-ion batteries based on earth-abundant elements such as aluminum, calcium, magnesium, and zinc. While multivalent charge carriers offer higher theoretical energy density than lithium, their practical deployment is hindered by sluggish ion transport, strong ion-host interactions, and structural degradation of electrode materials. Identifying host materials that can reversibly accommodate multivalent ions while maintaining structural integrity remains a fundamental challenge. The dissertation develops a scalable, end-to-end computational framework that integrates density functional theory (DFT), machine learning (ML), and generative artificial intelligence (GenAI) to accelerate the discovery of next-generation …

Anonymity And Accountability In Secure Messaging, Erin Kenney

Dissertations

Encypted messaging has become more and more prevalent as time moves on, and its benefits in assuring privacy cannot be overstated, but it also brings along with it concerns on how to moderate platforms where all messages are hidden. Message Franking, followed by Traceback systems, addressed these concerns by allowing the sender of a message to be proven when reported, even for forwarded messages in the case of Traceback, however these systems damage the privacy guarantees that originally motivated encrypted messaging to begin with.

In practice, even without those concerns encrypted messaging alone is not enough to prevent the most …

Role Of Technical Assistance In Pollution Prevention In Massachusetts Craft Breweries, Shubhechchhya Regmi

Graduate Masters Theses

This study aims to examine pollution from Massachusetts craft breweries, and if it can be lessened through a pollution prevention program. This study analyzed data from two assessments with the aim of analyzing the role of technical assistance in pollution prevention across eight impact categories. The first assessment was conducted on 29 MA breweries between 2022 and 2024, and 23 were assessed a second time (in summer 2024 and summer 2025). Craft breweries face several constraints in adopting pollution prevention practices the pollution prevention program known as BetterBev helps to bridge this gap by providing technical assistance, identifying inefficiency practices …

Static Data-Race Detection For Gpu Programs: Behavioral Types With Partial Completeness Guarantees, Zhen Rong Liew

Graduate Doctoral Dissertations

GPUs are essential to modern computing but notoriously difficult to program correctly. Static analysis tools can verify data-race freedom, but their over-approximations produce spurious reports of data races that do not occur, limiting their practical usefulness. This dissertation establishes when Memory Access Protocols (MAPs), a compositional abstraction modeling memory access behavior between synchronization barriers, can be simultaneously sound and complete. We first prove that MAP-based analysis is sound and complete for well-typed Jaminan programs---those without data-dependent array indexing. This result establishes the theoretical boundary: completeness is achievable when data-dependent control flow and indexing are absent. Jaminan extends MAPs with symbolic …

Re: Conditional Approval Letter For The Butte Priority Soils Operable Unit (Bpsou) 2026 Revised Draft Final Backfill And Cover Soil Quality Assurance Project Plan (Qapp) (Dated May 13, 2026), Molly Roby

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Intervention Levers For Stunting Reduction In Indonesia: Evidence From The 2023 Indonesian Health Survey Data, Iwan Ariawan, Hafizah Jusril, Zahra Izza Afifa, Azka Fitri, Elmarizha Sekar Utami, Mikail Hasan, Dwi Puspasari

Kesmas

Stunting remains the largest public health challenge among macro-nutrition problems in Indonesia, affecting almost a quarter of children under five in 2023. The prevalence is considered high according to the World Health Organization standard. This study analyzed 15 aggregated provincial variables from the 2023 Indonesian Health Survey using Structural Equation Modeling (SEM), focusing on determinants of stunting among children under two to identify primary intervention levers. Findings indicated that intervention urgency should focus on the first 1,000 days, particularly the steep increase in stunting prevalence observed in the 12–24-month age range. While the highest prevalence is in Eastern provinces (e.g., …

Developing A Framework For Mooc Dropout: The Role Of Utilitarian And Hedonic Values In Student Retention, Bipllab Roy, Mave D'Souza, Madhura Laghane

Northeast Journal of Complex Systems (NEJCS)

Massive Open Online Courses (MOOCs) have expanded access to higher education but continue to face persistently high dropout rates, raising concerns about their long‑term effectiveness and sustainability. This study develops and empirically tests a structural framework that links utilitarian values (perceived usefulness, certificate value, time flexibility), hedonic values (enjoyment, variety and novelty, personal interest alignment), and individual characteristics (goal orientation, self‑efficacy, motivation type) to MOOC student retention. Data were collected through a structured questionnaire administered to 200 MOOC learners from Christ University, Lavasa Campus, and analyzed using Structural Equation Modelling (SEM) in AMOS. The results show that goal orientation, self‑efficacy …

Impact Of Phosphorus And Potassium Fertilization On Maintaining Alfalfa-Orchardgrass Swards In Hokkaido, Japan, H Oohara, N Yoshida, K Fukunaga, W G. Colby, M Drake, W F. Wedin, G Kemmler, H R. Uxekull, M Hasegawa

IGC Proceedings (1977-2023)

In spite of the importance of alfalfa for all kinds of livestock, particularly for dairy cattle, the cultivation of alfalfa has not yet expanded in Hokkaido, Japan. A comprehensive research project has been undertaken, based on observations oflong-term'ef­fects of fertilization on longevity and productivity of alfalfa-orchardgrass mixtures. This report is concerned with (1) the dry­matter production of alfalfa and orchardgrass, cultivars of which were introduced from the U.S.A. and (2) the ratio of alfalfa to orchardgrass and uptake of nitrngen (N), phosphorus (P), potassium (K), calcium (Ca), and magnesium (Mg). The research began in 1960 and is continuing with close …

Test Adaptation And Evaluation Trials Of Forage Plants In Major Ecological Regions Of Ethiopia And Kenya, K M. Ibrahim, A Orodho

IGC Proceedings (1977-2023)

Kenyan and Ethiopian natural grazing Ian.cl. support more than 20% of the cattle population of the African continent. Many of the natural pastures of these countries are severely overgrazed, as unfavorable grazing conditions prevail for over half the year. Objectives of adaptation trials were to evaluate and identify introduced or indigenous forage and fodder species or ecotypes having genetic potential for high production of digestible dry matter for direct pasture and range improvement and for future use in breeding programs. Over 4,000 indigenous and 3,000 introduced ecotypes were evaluated for 24 vegetative characters in six ecological regions between 1971 and …

Breeding Centrosema Pubescens Better Adapted To Acid Infertile Soils Of South America, E M. Hutton

IGC Proceedings (1977-2023)

Centrosema pubescen, Benth. {centro) in tropical South America depends upon the development of lines with increased tolerance to high acidity and aluminum (Al). This study classified levels of acid tolerance among Centrosema introduc­tions and crosses of promising introductions. Initially, greenhouse and field evaluations in Carimagua oxisol (pH 4.5, 90% Al saturation) were used. Introductions of C. schottii and C. pascuorom died, while most C. virginianum and C. Uutifolium and a few C. pubescens had low acid tolerance. Most C. pubescens introductions had medium acid tolerance, whereas C. macrocarpum and C. schiedanum were highly acid tolerant. The degree of acid …