Digital Commons Network^™

Llzk-Symex: Building A Circuit Verification Framework For The Llzk Zero-Knowledge Intermediate Language, Nicolás Iair Schaievitch

Computer Science Senior Theses

The rising adoption of ZK (Zero-Knowledge) technology has led to a plethora of DSLs (Domain Specific Languages) for facilitating the development of ZK circuits. At the same time, there has also been an increase in the number of compilation targets for these languages, with different cryptographic foundations and performance optimizations. LLZK, by Veridise, aims to unify the ecosystem by providing a single IR (Intermediate Representation) for the different frontend DSLs, that would then also allow choosing between different backends. Given the high stakes (particularly financial) that a lot of ZK circuits are under, together with their high level of complexity, …

Capturing Large Language Model Similarity Through Spectral Analysis, Ishan Verma Prasad

Computer Science Senior Theses

With the rapid development of open-sourced models on Huggingface, there is a strong need for a way to systematically determine the similarity between models. More strongly, for intellectual property and organization, we need a way to determine the "lineage" of models. We borrow principles from Heavy-Tailed Self-Regularization and Random Matrix Theory to provide an inference-free method to accomplish this. We cluster a corpus of several model families by their spectral fingerprints and demonstrate that each model family occupies a distinct region in weight space. This confirms prior ideas of training setups leaving artifacts on model weights and allows us to …

Reliability-Aware Mixture-Of-Agents For Robust Ai-Generated Image Detection, Jake Jump, Yu-Wing Tai

Computer Science Senior Theses

Detecting AI-generated images requires reasoning across multiple levels of evidence, ranging from low-level statistical artifacts to high-level semantic inconsistencies. Existing approaches typically rely on a single class of signals or emphasize complex multi-agent coordination, which limits robustness under distribution shifts and common image degradations. We propose a reliability-aware Mixture-of-Agents (MoA) framework that treats Vision-Language Model (VLM) agents and computational features as complementary experts and aggregates their predictions based on empirically calibrated reliability. Rather than relying on intricate inter-agent reasoning, our approach centers on structured aggregation: high-precision “anchor” agents drive predictions, while weaker but complementary signals are adaptively incorporated to resolve …

Rscore - A Tool For Learning And Quantifying Software Infrastructure Resiliency, Selena Yujia Zhou

Computer Science Senior Theses

As LLMs take over writing code, infrastructure resilience has become the central challenge of software development, especially for gaming applications, where latency, availability, and scale demands are extreme. However, holistic software infrastructure is difficult to understand for casual developers because of the multiple layers of abstraction that make up an application, and the lack of structured information from proprietary companies. This thesis explores the creation of rscore, a tool that quantifies software infrastructure resiliency and subsequently educates developers about the architecture of any existing gaming application. The tool generates two graphical models of a game’s early versus current infrastructure and …

Carbon Accounting And Beyond: An Evidence-Based Life Cycle Assessment Of The Environmental Impacts Of Data Center It Equipment, Meghann Smith, Manveer Mann, Pankaj Lal

Department of Earth and Environmental Studies Faculty Scholarship and Creative Works

Data centers are essential to modern infrastructure, but are significant contributors to greenhouse gas (GHG) and related environmental challenges. Despite energy efficiency improvements, rising electricity demands driven by technologies like AI pose challenges to sustaining low-emission sector growth. Regulatory requirements mandate data center operators to report electricity use and emissions, yet current methods, particularly pertaining to indirect sources, remain insufficient. This study explores how life cycle assessment (LCA)-based estimates of data center IT equipment impacts compared with commonly used corporate GHG accounting methods: average-data and spend-based. Environmental impacts were modeled at both grouped and granular levels to support enterprise-wide reporting …

Blendmo: A Blender Mocap Toolkit, Kelly Lee, Angela Zhou, Dana Steinke

Interdisciplinary Design Senior Theses

Motion capture technology is vital for achieving realistic movement in 3D animation, but industry-standard tracking suits and studios remain expensive and inaccessible for students, independent artists, and amateur filmmakers. Consequently, many creators rely on accessible, marker-less motion capture methods, which frequently yield noisy data, scale mismatches between the actor and the rigged model, and unnatural behaviors like foot sliding. To address these technical barriers, this project introduces a free and accessible extension for Blender designed to streamline the cleanup and integration of marker-less motion capture data. It consists of various solutions for methods of combats to motion-captured complications: the keyframe …

Formation Control Of A Multi-Agent System, Benjamin Banh, Paul Lancaster, Daniel Sims

Interdisciplinary Design Senior Theses

The primary objective of this project is to design and implement a ROS2-based multi-agent robotic prototype capable of demonstrating aggregation and formation-control behavior in a controlled indoor environment. The project explores how multiple mobile robots can coordinate through decentralized interaction rules, peer state information, and namespaced ROS2 communication rather than relying on a single centralized controller.

The project began with theoretical study and MATLAB/Simulink simulation of artificial potential fields, singleintegrator dynamics, aggregation, desired-distance formation control, and obstacle-repulsion concepts. These simulations provided an idealized environment for evaluating the general behavior of the control strategy before physical hardware limitations were introduced.

The …

Secretary United States Department Of Labor V. Comprehensive Healthcare Management Services Llc

2026 Decisions

USDC for the Western District of Pennsylvania

Adaptive Leadership In Performance-Based Budgeting: Overcoming Implementation Barriers In Texas Municipalities, Tracy Rosalies

Certified Public Manager® Applied Research

This article examines how adaptive leadership shapes the implementation of performance-based budgeting (PBB) in Texas municipalities. PBB has been promoted as a rational reform linking government spending to measurable results. Through qualitative interviews with two Texas city managers, this article explores how trust, education, and ethical stewardship influence whether performance information is interpreted as meaningful guidance or treated as a compliance task. The findings show that leadership behaviors, rather than measurement systems alone, determine the durability of performance reforms. When leaders create conditions for shared understanding and reflective learning, PBB becomes a collaborative framework that supports fiscal discipline, transparency, and …

Transitioning To Privatization With An Employee-First Approach: The Role Of The Employee Success Team, Hanna E. Andersen

Certified Public Manager® Applied Research

Convention centers are vital economic and cultural assets, driving commerce, tourism, and local engagement. In addition to hosting conferences and trade shows, they serve as gathering spaces for civic events and community celebrations. Like many municipalities, the City of Waco shifted the Waco Convention Center from direct municipal operation to private management to improve efficiency and service quality. Guided by its commitment to community assets, the city adopted an employee-first approach through its Employee Success Team (EST). The EST addressed the challenges of privatization—such as staff uncertainty and restructuring—by placing employees in roles within the city or with the new …

The Evolution And Impact Of Artificial Intelligence In Municipal Grant Applications And Management, Butch Calvert

Certified Public Manager® Applied Research

The integration of artificial intelligence (AI) into municipal operations represents a paradigm shift in how local governments approach resource acquisition and management. As municipalities face increasing pressure to secure funding while operating with limited staff and resources, AI technologies offer promising solutions to streamline grant processes, enhance proposal quality, and improve post-award management. This research examines the current landscape of AI applications in municipal grant writing, application preparation, and post-award management, exploring both the transformative potential and the challenges that accompany these technological innovations

Holistic Strategies For Optimizing Municipal It Operations And Cost Efficiency, Joseph Yazdanpanahi

Certified Public Manager® Applied Research

Municipalities work to deliver secure and impactful IT (information technology) services while often working within tight budget constraints. To address this problem, this article offers an experience-based and comprehensive framework to optimize municipal IT operations. It emphasizes leveraging automation, streamlining hardware and software management, and forging strategic partnerships to drive cost savings and efficiency gains. Designed to equip municipal IT leaders with practical tools and insights, this article aims to help modernize IT processes.

Wearable Hazard Detection System For The Visually Impaired, Nolan Daly, Sergio Diaz, Brandon Ng

Computer Science and Engineering Senior Theses

This project presents a wearable assistive system designed to help blind or visually impaired people navigate their surroundings more safely. The system uses a Raspberry Pi 5 connected to Camera Module 3 (NoIR Wide) sensors to capture a wide field of view. Real-time object detection is performed using a lightweight YOLOv8 model, and a redundancy-based merging algorithm combines detections across cameras to improve reliability. By requiring agreement between multiple cameras, the system reduces false positives and increases confidence in identifying obstacles.

The device is designed to operate in real time and provide reliable feedback about nearby hazards, helping users make …

A Wideband Omnidirectional Dual E-Shaped Microstrip Patch Antenna Based On Partial Ground Plane, Fengyu Du, Boning Ren

Warith Scientific Journal of Engineering and Technology

To address the problems of narrow impedance bandwidth in conventional microstrip patch antennas at the 2.4 GHz Bluetooth band and the strong dependence of port matching and radiation efficiency on structural dimensions, this paper investigates the structural design, equivalent-circuit modeling, and test-result analysis of a wideband omnidirectional dual E-shaped microstrip patch antenna based on a partial ground plane. The antenna is fabricated on an F4B dielectric substrate with a relative permittivity of 2.2, a loss tangent of 0.0009, and overall dimensions of 30 mm × 22.5 mm × 1.575 mm. The radiating patch adopts a dual E-shaped slotted configuration, and …

Government Documents For All, Tim Dodge

The Southeastern Librarian

The Government Documents for All column for the Spring 2026 issue of The Southeastern Librarian

Member Spotlight, Blair Jones

The Southeastern Librarian

Member Spotlight no. 4 for the Spring 2026 issue of the Southeastern Librarian. The spotlight shines on Crystal R. Gates, Chief Executive Officer of the North Little Rock (Arkansas) Public Library System.

Character Demographic Assessment In An Academic Library's Graphic Novel Collection: Implications For Collection Development, Bridgette L. Whitt

The Southeastern Librarian

This article presents an analysis of the main character demographics across a graphic novel collection housed at the Paul Meek Library, University of Tennessee at Martin. The study evaluates the presence of specific identified character traits such as race, ethnicity, ability, emotional or psychological themes, and the settings of the 451 evaluated titles. The assessment also evaluates the genre distribution of fiction, nonfiction, and biographical content and how often the novels were set outside of the United States. The goal of this study was to better understand the narrative scope and representation within the graphic novel collection, with a focus …

The President's Column, Laura Slavin

The Southeastern Librarian

SELA President Laura Slavin's column for the Spring 2026 issue of the Southeastern Librarian

Mob Rule In The Ozarks: The Missouri And North Arkansas Railroad Strike, 1921-1923, Kristine Stilwell

The Southeastern Librarian

Author: Kenneth C. Barnes

Fayetteville: University of Arkansas Press, 2025

ISBN: 9781682262627

304 pp., $24.95 (Pbk)

Building Community At An Academic Library With Bilingual Story Trails, Laura Bright, Janice S. Lewis

The Southeastern Librarian

A story trail is an activity that combines exercise and literacy as visitors read sequentially displayed book pages while walking. Story trails are often set up outdoors along existing paths and feature rotating selections of children’s picture books. Many story trails are set up and maintained by community groups, public libraries, or schools. Academic libraries can use story trails as opportunities to promote literacy, foster a sense of local community, support families, and encourage healthy habits. The authors of this article use City of Greenville (North Carolina) StoryWalks® created by staff at East Carolina University’s Joyner Library as an example …

Chet Atkins: Mr. Guitar, David W. Young

The Southeastern Librarian

Author: Don Cusic

Athens: University of Georgia Press, 2025

ISBN: 9780820373393

464 pp. $24.13 (Hbk)

Cultural Humility In Libraries: A Call To Action And Strategies For Success, Megan Callaghan

The Southeastern Librarian

Authors: Shannon D. Jones & Beverly Murphy, eds.

Lanham: Rowman & Littlefield, 2024

ISBN: 9781538162156

196 pp. $39.95 (Pbk)

News From The States, Blake Denton

The Southeastern Librarian

Library news reports from SELA member states

From Print To Pixels: Preserving Alabama’S Historic Newspapers Through Digitization, David Ferrara, Melissa Young

The Southeastern Librarian

This article presents a case study of the Alabama Digital Newspaper Project (ALDNP), a grant-funded initiative to digitize Alabama’s historic newspapers. It outlines the establishment and history of ALDNP, including its accomplishments, and the challenges faced and overcome by University of Alabama Libraries Special Collections (UALSC) staff. This case study details ALDNP’s workflows, including title selection, metadata creation, technical standards, and microfilm digitization. This article also highlights outreach efforts, including collaborations with regional archives, student workers, and community educators. In addition to providing details on the accomplishments of ALDNP, it also outlines potential areas for growth and expansion. Detailing a …

Editor's Notes, John H. Barnett

The Southeastern Librarian

The Southeastern Librarian editor's column for the Spring 2026 issue

Sela Leadership: Officers, Executive Committee, State Representatives, Committees, Sections, Round Tables, And Ad Hoc Committees, John H. Barnett

The Southeastern Librarian

List of SELA Officers, Executive Committee, State Representatives, Committees, Sections, Round Tables, and Ad Hoc Committees for the Spring 2026 issue

Genetic Architecture Of White Matter Microstructure Captured By Unsupervised Deep Representation Learning Of Fractional Anisotropy Maps, Xingzhong Zhao, Ziqian Xie, Wei He, Hyun Yong Koh, Bohong Guo, Han Chen, Myriam Fornage, Degui Zhi

The Brown Foundation: Institute of Molecular Medicine

Fractional anisotropy (FA) from diffusion MRI is a widely used marker of white matter (WM) integrity, but conventional FA-based genetic studies typically rely on tract- or atlas-defined averages that may obscure spatially distributed WM variation and limit genetic discovery. Here, we propose a deep learning framework, termed unsupervised deep representation of WM (UDR-WM), which uses voxel-wise FA maps to derive brain-wide unsupervised deep imaging phenotypes (UDIP-FA) without prior anatomical assumptions. Compared with traditional FA phenotypes, UDIP-FA shows greater sensitivity to aging and substantially higher SNP-based heritability. Multivariate GWAS identified 939 lead SNPs across 586 loci, mapping to 3,480 UDIP-FA-associated genes. …

Stomp (The Student Organization Management Portal), Lindsey Leong, Madeline Follosco, Noelle Evanich, Irene Chang

Computer Science and Engineering Senior Theses

At Santa Clara University, the Center for Student Involvement (CSI) leads to support hundreds of student-led organizations with different audiences and ambitions, but all aim to bring students together nonetheless. However, such development regarding student organization management proves to be much harder when administrative processes are decentralized and cumbersome, often involving numerous layers of manual work and departmental bottlenecks. Restructuring and optimizing administrative workflows would entail more energy towards the growth of student life at Santa Clara University.

The Student Organization Management Portal, or StOMP, is a web application that aims to centralize and optimize student organization-related processes, as well …

Real-Time Corridor Counting, Erick Sun, Jacob Lin, Jayden Malhotra, Joseph Hissen

Computer Science and Engineering Senior Theses

Identifying traffic trends is a critical step in urban planning and design for the purpose of creating safer and more efficient roads. One such problem in the field of traffic data is corridor counting, which is the process of counting the unique number of vehicles that pass through a set of predefined intersections in a given time. In this paper, we develop an automated solution to perform corridor counting in real-time using camera footage and computer vision. We build upon the architecture of a previous Senior Design project, replacing and refining key components and architectural choices to improve accuracy and …

A Provable Semi-Infinite Programming Approach For Solving Constrained Dynamic Games, Tyler C. Gardner, Matthew W. Harris, Logan Lancaster

Mechanical and Aerospace Engineering Student Publications and Presentations

Many engineering problems must account for the non-cooperative decisions and actions of multiple players. These problems can be modeled within a game-theoretic framework. The approach herein is to model such problems as mathematical games, convert them to semi-infinite programs, and utilize a semi-infinite program solver whose output is provably an ϵ-optimal Nash equilibrium. The approach is successfully benchmarked on two low-dimensional problems. Two types of higher-dimensional linear quadratic dynamic games are then investigated: ones where each player’s problem is convex and ones where at least one player’s problem is nonconvex. Within each type, variations based on information structure, control …