Digital Commons Network^™

A Large Language Model-Based Analysis Of Vulnerability Discovery In Windows Software, Puya Pakshad, Samson Quaye, Jamal Al-Karaki, Marwan Omar, Maurice E. Dawson

All Works

Source code security auditing is essential before software release in order to identify programming faults that may lead to vulnerabilities and functional failures. In this paper, we present a structured security assessment of the Windows App SDK by integrating multiple static analysis tools with a context-aware and disagreement-aware Large Language Model (LLM) interpretation layer. Although static analyzers are effective in reporting potential weaknesses, their raw outputs often contain redundant alerts, limited contextual explanation, and inconsistent severity assignments. To address these limitations, the proposed LLM-based interpretation layer normalizes and de-duplicates alerts, filters context-limited or nonactionable warnings, and refines severity prioritization under …

Deployment-Aware Deep Learning For Computer Vision: Efficient Architectures From 3d Segmentation To Mixed Reality, Bahar Uddin Mahmud

Dissertations

Deep learning has become the dominant approach for solving vision-centric problems; however, its successful deployment in real-world applications remains limited by high computational cost, data dependency, and insufficient integration with practical and human-centered environments. While state-of-the art deep learning models often achieve impressive performance in controlled settings, they frequently fail to generalize or operate efficiently under deployment constraints such as limited resources, complex data modalities, and real-time interaction requirements. These limitations motivate the need for a deployment-oriented deep learning framework that balances accuracy, efficiency, and practical usability.

This dissertation investigates the design and deployment of efficient deep learning architectures for …

Breadquest: Enhancing Roguelike Accessibility Through Procedural Generation And Thematic Design, Hahns Pena

Computer Science and Software Engineering

BreadQuest is a top-down roguelike dungeon crawler with a whimsical dessert theme that aims to make the genre more accessible while preserving strategic depth and replayability. Players explore procedurally generated dungeons, fight pastry-themed enemies, and collect bakery-inspired items that support a flavor-elemental combat system, with each run offering unique layouts, encounters, and rewards. Built in Unity with a modular, data-driven architecture, the game uses procedural generation techniques like Binary Space Partitioning, Voronoi diagrams, and Perlin noise to create varied and replayable levels. The project emphasizes approachable gameplay, cultural dessert inspiration, and replayability, with success evaluated through playtesting and player feedback.

Real-Time Simulation Of Bio-Luminescent Light Propagation Using Compute Shaders Within Unreal Engine, Jaden D. Halevi

Computer Science Senior Theses

Presented in this paper is a GPU-native approach to interactive fluid simulation within Unreal Engine 5. The system, BioFluidSim, implements an incompressible Navier-Stokes solver using Unreal’s Niagara Grid2D compute shader pipeline, with a modular biological emission output stage parameterized from experimentally measured Lingulodinium polyedrum bioluminescence behavior. The system is evaluated against FluidNinja Live, a commercially available fragment shader fluid implementation, as a performance baseline. Beyond performance, BioFluidSim offers greater physical fidelity than the fragment shader baseline. Helmholtz–Hodge pressure projection enforces a divergence-free velocity field at runtime, a physical constraint approximated but not enforced by fragment shader approaches. The biological emission …

A Systematic Review Of Intrusion Detection Systems For Internet Of Medical Things: Performance, Efficiency, Explainability, And Generalization, Oswald Adohinzin, Youssef Harrath

Research & Publications

The Internet of Medical Things (IoMT) has transformed health care delivery through medical devices, remote patient monitoring, and real-time clinical decision support. However, the proliferation of IoMT devices introduces security vulnerabilities that put patient safety and data privacy at risk. Intrusion Detection Systems (IDS) have emerged as essential components for protecting IoMT networks from cyberattacks. This article presents a systematic review of IoMT-IDS research, analyzing 53 high-quality papers published between 2020 and 2025, identified through database searches spanning 2016–2025 across IEEE Xplore, Springer, ScienceDirect, and ACM Digital Library. We organize the literature through a comprehensive taxonomy spanning classical machine learning …

High-Resolution Queries, Low-Resolution Context: Scaling Vision Transformers With Asymmetric Spatial Reduction, James M. Dwyer

Master's Theses

Vision Transformers (ViTs) have demonstrated great performance on image classifica tion benchmarks, however, the quadratic complexity of the self-attention mechanism with respect to sequence length limits their scalability to higher resolution inputs. The attention score matrix grows as O(N2) in both compute and memory, where N is the number of patch tokens, making ViTs computationally expensive and memory intensive for applications that require real-time inference or operate under resource constraints.

This thesis investigates whether the key and value sequences of the self-attention mechanism can be compressed using the local spatial structure of the image — while keeping queries at full …

Scorespeak: An Agentic System For Natural Language Control Of Musical Scores, Nathan S. Lim

Master's Theses

With the recent popularization of large language models (LLMs), natural language has become one of the most accessible and powerful ways for people to interact with creative tools. Although they have become common in mainstream domains like image and audio editing, there is currently no robust AI-based system that can reliably turn free-form language into edits for symbolic musical scores. This gap represents a missed opportunity to improve human workflows for creating and editing sheet music, but it is also a fundamental limitation for other agentic music systems; without a robust mechanism for translating free-form language into structured scores, AI …

An Evaluation Of Road Network Structure As A Predictor Of Traffic Volume, Colin M. Mcdonald

Master's Theses

This thesis evaluates the relationships between various graph theory metrics and taxi traffic volume for the cities of San Francisco, California and Porto, Portugal. We also evaluate a modified betweenness centrality metric which incorporates the count of distinct origin-destination pairs from the taxi data as the weight function. This thesis extends a paper by Pengyao Ye, Bo Wu, and Wenbo Fan by reducing circularity through a temporal train-test split and by comparing both line-graph and primal-graph formulations of betweenness centrality.

We found that past traffic volume is almost perfectly correlated with future traffic volume and that the modified betweenness centrality …

2026 Cyber-Resilient Health Care Workshop Report, Malcolm Schongalla, Sergey Bratus

Computer Science Technical Reports

The ISTS and the Dartmouth College Cybersecurity Cluster hosted the successful, inaugural Cyber-Resilient Health Care (CRHC) Workshop, March 5th & 6th, 2026. The event theme was "Innovation and Implementation," in response to the need to shift from reactive to proactive resiliency measures in the healthcare sector. Approximately 30 experts in clinical health care, cybersecurity, medical technology, policy, and innovation met to discuss solution-focused innovations addressing hard, cyber-related problems in health care. The agenda featured keynotes, an expert panel, innovation pitches, small group discussions, and a tabletop infrastructure disaster exercise. Participants gained insights into the obstacles and solutions involved in supporting …

(R2133) Analysis Of A Bulk Queue With Balking, Adaptive Overloading Service, Multiple Vacation, Inspection And Rework, S. Karpagam, R. Lokesh

Applications and Applied Mathematics: An International Journal (AAM)

We consider a queueing system that utilizes a single server to manage product flow through bulk and overload service modes, depending on queue length. Balking occurs when the queue length reaches ‘N’. After completion of service, products undergo quality inspection, with defective products sent for rework based on specific probabilities. If the product is non-defective, the server continues processing until the queue length exceeds a certain threshold; beyond this point, the server is either routed back to bulk service or directed to an overload service. Also, the server goes into a vacation mode when the queue size is below a …

Optimizing Fpga And Wafer Test Coverage With Spatial Sampling And Machine Learning: Analysis Of Local Spatial Consistency, Weiquan Wang, K. M.Shahriar Alam Adib, Foisal Ahmed, Riaz Ul Haque Mian

Research outputs 2022 to 2026

Wafer and FPGA testing remains costly in semiconductor manufacturing. This paper studies random sampling, stratified sampling, and k-means sampling under a partial-measurement setting with Gaussian Process Regression (GPR), and introduces Short Distance Elimination (SDE), a spatial screening rule that spreads selected training points over the layout. Combining value-based sampling with SDE yields two hybrid methods: S-SDE, which applies SDE within stratified subsets, and K-SDE, which applies SDE within k-means clusters. A calibration-based protocol fixes the value-group labels and SDE thresholds before target-file prediction. The SDE thresholds are selected from (Formula presented.) configurations in (Formula presented.), excluding (Formula presented.), using local …

From 5g To 6g: A Survey On Security, Privacy, And Standardization Pathways, Mengmeng Yang, Youyang Qu, Thilina Ranbaduge, Chandra Thapa, Nazatul Haque Sultan, Ming Ding, Hajime Suzuki, Wei Ni, Sharif Abuadbba, David Smith, Paul Tyler, Josef Pieprzyk, Thierry Rakotoarivelo, Xinlong Guan, Sirine Mrabet

Research outputs 2022 to 2026

The vision for 6G aims to enhance network capabilities, supporting an intelligent digital ecosystem where artificial intelligence (AI) is a key. However, the expansion of 6G raises critical security and privacy concerns due to the increased integration of IoT devices, edge computing, and AI. This survey provides a comprehensive overview of 6G protocols with a focus on security and privacy, identifying risks that have not been experienced in preceding 5G systems, and presenting mitigation strategies. While many vulnerabilities from earlier generations persist, the introduction of AI/ML introduces novel risks like model inversion and malicious manipulation of AI. Vulnerabilities in emerging …

Shared Language For Responsible Ai Integration, Asa B. Stone, Mark C. Stone, Alisha Bevins, Jean Claude Niyomugabo, Irene Magara, Jacob Abaare, Derek M. Heeren, Mubarak Abu Zouriq

PRAIRIE: Pioneering Responsible AI for Research, Innovation, and Education

As AI rapidly reshapes how we work and learn, employers increasingly seek graduates who can think before they prompt, exercising judgment under pressure rather than merely producing output. Yet students are praised for AI use in one course and penalized for it in the next, and faculty are left to lead responsibly on shifting ground, with no shared language to guide them.

This paper introduces the PRAIRIE Framework for AI Integration, a shift from reactive gatekeeping toward proactive stewardship. It emerged from a qualitative sentiment analysis of three communities (students, faculty, and industry partners) whose concerns converged on one need: …

What Collaboration Means To Me: From Coordination To Collective Action: Cclp And Cyclops As Infrastructure For Collaborative Collection Stewardship, Boaz Nadav-Manes

Collaborative Librarianship

Academic libraries face growing pressure to manage complex collections under significant resource constraints. While consortial collaboration has long been recognized as a strategic response, existing models remain limited, often failing to influence the full collections lifecycle. This article examines how the Collaborative Collections Lifecycle Project (CCLP) and the Cyclops platform together offer a new model for moving beyond coordination toward genuine collective action in collection stewardship. CCLP provides a community-governed framework structuring collaboration from selection and acquisition through preservation and deaccessioning, while Cyclops complements it with an open, analytics-driven infrastructure that aggregates data across institutions, enabling cross-institutional analysis and translating …

Hydpn: A Hybrid Deep Reinforcement Learning, Programming, And Neighborhood Operations Framework For Integrated Scheduling On Parallel Batch Processing Machines, Yuqi Wang, He Luo, Guoqiang Wang, Zhaoxia Wang

Research Collection School Of Computing and Information Systems

Batch processing machines (BPMs) are widely used in industries such as semiconductors, metal processing, and healthcare, where jobs are processed in batches. As production, inventory, and distribution become increasingly integrated to improve efficiency, research on their joint scheduling in parallel BPM environments remains scarce. This paper addresses the integrated scheduling problem in parallel BPMs, involving production, inventory, and distribution stages, with the objective of minimizing total costs. A unified cost-based model is first formulated, applicable to both in-facility and external distribution scenarios. A hybrid algorithm framework, HyDPN, combining deep reinforcement learning, dynamic programming, and neighborhood operations is proposed. Extensive experiments …

On-The-Fly Generation-Quality Enhancement Of Deep Code Models Via Model Collaboration, Weifeng Sun, Naiqi Huang, Meng Yan, Zhongxin Liu, Hongyan Li, Yan Lei, David Lo

Research Collection School Of Computing and Information Systems

The growing prominence of deep code models in automating software engineering tasks is undeniable. However, their deployment encounters significant challenges in on-the-fly performance enhancement, which refers to dynamically improving the performance of deep code models during real-time execution. Conventional techniques, such as retraining or fine-tuning, are effective in controlled pre-deployment scenarios but fall short when adapting to on-the-fly adjustments post-deployment. CodeDenoise, a notable on-the-fly performance enhancement technology, leverages uncertainty-based methods to identify misclassified inputs and applies an input modification strategy to rectify classification errors. While effective for classification tasks, this approach is inapplicable to generative tasks due to two key …

Interfold: Learning Interpretable Diffusion Manifolds Beyond Binary Samples, Alexander Vincent Lewi, Rainer Tan, Shengfeng He

Research Collection School Of Computing and Information Systems

We propose InterFold, a framework for learning and applying interpretable semantic manifolds in latent diffusion models, without requiring binary or paired supervision. Existing methods for semantic editing either rely on limited paired data or uncover only coarse, unsupervised directions that fail to capture user-specific, fine-grained attributes. InterFold addresses these limitations by learning a target attribute manifold in the H-space of diffusion models using only a set of positive, unlabeled examples. To edit a new image, InterFold projects its H-space representation toward this learned manifold through test-time optimization, enabling precise, identity-preserving modifications of complex, non-binary concepts. To make these edits effective …

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 …

Vehicle-Based Multi-Services For Future Smart Cities, Hao Sun, Jinhua Zhao, Hai Yang, Shenhao Wang, Hamsa Balakrishnan, Thomas W. Malone, Hai Wang

Research Collection School Of Computing and Information Systems

Vehicles are crucial for sustaining socioeconomic activity and improving quality of life in modern cities by offering diverse services. These include passenger mobility, goods delivery, information acquisition, and acting as mobile servers such as food trucks and mobile lockers. At the same time, they also contribute to traffic congestion and air pollution. This tension fosters the rise of urban resource-conserving and sustainable service solutions. In this article, we introduce the concept of “Vehicle-Based Multi-Services” (VeMuS), in which a single vehicle offers multiple services simultaneously. Drawing on practical use cases, we examine service classification and integration for vehicles and the potential …

Esg Reporting Lifecycle Management With Large Language Models And Ai Agents, Thong Hoang, Mykhailo Klymenko, Xiwei Xu, Shidong Pan, Yi Ding, Xushuo Tang, Zhengyi Yang, Jieke Shi, David Lo

Research Collection School Of Computing and Information Systems

Environmental, Social, and Governance (ESG) standards have been increasingly adopted by organizations to demonstrate accountability towards ethical, social, and sustainability goals. However, generating ESG reports that align with these standards remains challenging due to unstructured data formats, inconsistent terminology, and complex requirements. Existing ESG lifecycles provide guidance for structuring ESG reports but lack the automation, adaptability, and continuous feedback mechanisms needed to address these challenges. To bridge this gap, we introduce an agentic ESG lifecycle framework that systematically integrates the ESG stages of identification, measurement, reporting, engagement, and improvement. In this framework, multiple AI agents extract ESG information, verify ESG …

Ai, Medicine, And Social Determinants Of Health Data, Ryan Doyloo, Nicholson Price

Articles

This article examines how medical AI systems are incorporating SDoH data and the governance challenges that follow. The authors show that while SDoH integration can enhance clinical workflows and predictive accuracy — potentially improving outcomes for underserved populations — it also introduces acute risks of proxy discrimination, where facially neutral variables replicate protected characteristics. Surveying U.S., EU, and international frameworks, the authors argue that existing regimes lack clear ex ante guidance to distinguish beneficial from harmful uses of SDoH data. In response, they advance post-market monitoring as a pragmatic and scalable pathway: generating real-world, SDoH-stratified evidence that can support enforcement, …

Pso-Style Social Influence In An Ant Colony Algorithm For Continuous-Domain Optimization, Ashraf M. Abdelbar, Donald C. Wunsch

Electrical and Computer Engineering Faculty Research & Creative Works

ACOR is a well-established Ant Colony Optimization (ACO) algorithm for continuous-domain optimization. In this paper, we propose an extension (which we call ACOR∗) in which several fundamental modifications are made to ACOR's solution construction process, including the incorporation of a social influence mechanism borrowed from Particle Swarm Optimization (PSO). Our modifications to the ACOR algorithm are intended to promote search diversity and combat premature convergence. We experimentally evaluate our proposal in the context of training feedforward neural networks for classification using 65 widely used datasets from the University of California Irvine (UCI) repository, as well as the optimization of several …

Cloud Tank: Virtual Reality Performance Instrument For Embodied Audiovisual Remixing, Asya Ulger

Computer Science Senior Theses

Traditionally, live audiovisual performances are made behind a desk using a laptop and an audio controller. This setup restricts the performer’s movements and separates the artist from their work. Moreover, it narrows what counts as the performance to the output alone — the audience is preconditioned to treat the projected image and sound as the whole event, and not the artist producing it. Cloud Tank challenges this by positioning the performer’s body as the instrument, using virtual reality. As the performer, I mix spatialized audio and drive beat-aligned, reactive video layers through hand movement and hand-pose recognition. The audiovisual output …

Ai Interview Helper: A Tool For Assisting Search And Rescue Long-Profile Interviews, Dylan P. Starink

Master's Theses

In Search and Rescue (SAR) operations, time pressure and limited interviewer experience can lead to missed opportunities when interviewing a missing person’s friends and family. This thesis presents a real-time, end-to-end system that provides context-aware follow-up question suggestions as interviews unfold. Leveraging large language models (LLMs) and agentic design patterns, the system is intended to support interviewers by helping them identify relevant follow-up questions and pursue potentially overlooked lines of inquiry.

The system was evaluated through three mock interviews with two SAR interviewer participants across two events. Given the limited sample size, the results provide early insights into the feasibility …

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 …

Legal Ethics Of Ai Snake Oil: Navigating The Hype, Harm, And Hope Of Legal Ai, Drew Simshaw

Michigan Law Review

A review of AI Snake Oil.By Arvind Narayanan and Sayash Kapoor.

Extensive And Intensive Margin Labor Supply On Ride-Sourcing Platforms, Hao Sun, Hai Wang, Zhixi Wan

Research Collection School Of Computing and Information Systems

The rapid expansion of ride-sourcing platforms has enabled freelance drivers to flexibly determine both their participation and working hours. Understanding this flexible labor supply behavior is essential for managing platform capacity and evaluating the impacts of pricing and incentive policies on driver welfare. This study develops a labor supply model in which drivers optimally choose whether to participate (extensive margin) and how long to work (intensive margin) to maximize their utility from consumption and leisure. The model incorporates heterogeneity in drivers’ other income, idle time, and participation costs, allowing us to analytically characterize equilibrium labor supply decisions. The results show …

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 …

Context Matters: Auditing Gender Bias In T2i Generation Through Risk-Tiered Use-Case Profiles, Jose Luis Luna Campoverde, Yankun Wu, Xiaofei Xie, Noa Garcia

Research Collection School Of Computing and Information Systems

Text-to-image (T2I) generative models are increasingly used to produce content for education, media, and public-facing communication, and are starting to be integrated into higher-impact pipelines. Since generated images tend to reinforce stereotypes, producing representational erasure via “default” depictions and shaping perceptions of who belongs in certain roles, a growing body of work has proposed metrics to quantify gender bias in T2I outputs. Yet existing evaluations remain fragmented. Metrics are often reported without a shared view of what they measure, what assumptions they entail, or how their results should be interpreted under different deployment contexts. This limits the usefulness of gender …