Digital Commons Network^™

Shipnavisim: Data-Driven Simulation For Real-World Maritime Navigation, Quang Anh Pham, Janaka Chathuranga Brahmanage, Akshat Kumar

Research Collection School Of Computing and Information Systems

Maritime traffic management in busy ports faces growing challenges due to increased vessel traffic and complex waterway interactions. Strategies such as e-navigation by the International Maritime Organization aim to enhance navigation safety through traffic digitization. Maritime traffic simulation is essential for these systems, offering a virtual environment to model, analyze, and optimize traffic flows. Unlike road traffic, there are few simulators for maritime traffic, and they often lack realism and multi-ship interactions. In this paper, we (a) present ShipNaviSim, a data-driven maritime traffic simulator that utilizes a large-scale dataset over 2 years and electronic navigation charts to model vessel movements …

Few-Shot Learning On Graphs: From Meta-Learning To Llm-Empowered Pre-Training And Beyond, Yuan Fang, Yuxia Wu, Xingtong Yu, Shirui Pan

Research Collection School Of Computing and Information Systems

Graph representation learning has become central to many graph-based tasks, driving advancements in various domains such as web search, recommendation systems, and social network analysis. Traditionally, these methods rely on end-to-end supervised learning paradigms that require abundant labeled data, which can be costly and difficult to obtain. To address this limitation, few-shot learning on graphs has emerged as a promising approach, allowing models to generalize with minimal supervision and overcome data scarcity in real-world applications. This tutorial offers an in-depth exploration of recent advancements in few-shot learning for graphs, providing a comparative analysis of state-of-the-art methods and identifying future research …

“I Can Run At Night!”: Using Augmented Reality To Support Nighttime Guided Running For Low-Vision Runners, Yuki Abe, Keisuke Matsushima, Kotaro Hara, Daisuke Sakamoto, Tetsuo Ono

Research Collection School Of Computing and Information Systems

Dark environment challenges low-vision (LV) individuals to engage in running by following sighted guide—a Caller-style guided running—due to insufficient illumination, because it prevents them from using their residual vision to follow the guide and be aware about their environment. We design, develop, and evaluate RunSight, an augmented reality (AR)-based assistive tool to support LV individuals to run at night. RunSight combines see-through HMD and image processing to enhance one’s visual awareness of the surrounding environment (e.g., potential hazard) and visualize the guide’s position with AR-based visualization. To demonstrate RunSight’s efficacy, we conducted a user study with 8 LV runners. The …

Unlocking The Planning Capabilities Of Llms Through Maximum Diversity Fine-Tuning, Wenjun Li, Changyu Chen, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

Large language models (LLMs) have demonstrated impressive task-solving capabilities through prompting techniques and system designs, including solving planning tasks (e.g., math proofs, basic travel planning) when sufficient data is available online and used during pre-training. However, for planning tasks with limited prior data (e.g., blocks world, advanced travel planning), the performance of LLMs, including proprietary models like GPT and Gemini, is poor. This paper investigates the impact of fine-tuning on the planning capabilities of LLMs, revealing that LLMs can achieve strong performance in planning through substantial (tens of thousands of specific examples) fine-tuning. Yet, this process incurs high economic, time, …

Eduqate: Generating Adaptive Curricula Through Rmabs In Education Settings, Sidney Tio, Dexun Li, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

There has been significant interest in the development of personalized and adaptive educational tools that cater to a student's individual learning progress. A crucial aspect in developing such tools is in exploring how mastery can be achieved across a diverse yet related range of content in an efficient manner. While Reinforcement Learning and Multi-armed Bandits have shown promise in educational settings, existing works often assume the independence of learning content, neglecting the prevalent interdependencies between such content. In response, we introduce Education Network Restless Multi-armed Bandits (EdNetRMABs), utilizing a network to represent the relationships between interdependent arms. Subsequently, we propose …

Ai Governance: Overcoming Policy Barriers To Fairness And Privacy, Michael Akinwumi

Connecticut Law Review

Artificial intelligence (“AI”) is increasingly influencing critical sectors such as housing and finance, and raising concerns about fairness, bias, and regulatory compliance. This Essay explores the policy considerations essential for operationalizing AI fairness, particularly in regulated industries. It examines the interplay between algorithmic transparency, privacy, and the responsible use of protected class data under existing legal frameworks such as the Equal Credit Opportunity Act (“ECOA”) and the Fair Housing Act (“FHA”). The Essay identifies key policy gaps and challenges in implementing fairness-enhancing techniques, offering actionable recommendations for policymakers, regulators, and AI practitioners. These recommendations propose a holistic framework that integrates …

Compiling Haskell Into Lean: A Common Abstract Syntax For Haskell And Interactive Theorem Provers, Talitha Holcombe

Electrical Engineering and Computer Science (MS) Theses

In this work, we introduce a program conversion tool, HS-TO-LEAN, that uses GHC's ghc-lib-parser API to translate Haskell programs into Lean code, which is then validated by the Lean compiler. The repo can be found at https://github.com/holcombet/hs-to-lean/tree/main. The result is a successful compilation of a fragment of Haskell into correct and executable Lean code that users can prove theorems about. We conducted a case study using a heap sort algorithm to support our claim that HS-TO-LEAN produces verifiable Lean code. Our approach is inspired by recent advances in formal verification of Haskell programs in Coq, and we currently restrict our …

Butterfly Effects: Women And Criminal Law, Pavithra Rajendran

Washington International Law Journal

Through a comparative analysis of the criminal laws of Sri Lanka and the United States, this paper examines how Sri Lanka’s legal framework on sexual offenses often hinders women’s access to justice and reinforces systemic gender discrimination. Recognizing the structural constraints inherited from older common law traditions, it underscores the potential for reform through targeted, gradual changes, drawing on developments in modern common law in the United States and relevant international legal standards. The discussion unfolds in three parts: first, a feminist critique of exiting criminal laws in postcolonial; common law systems such as Sri Lanka’s; second, a comparative analysis …

China's Experiment Of Dual-Class Equity Structures: Regulatory Frameworks And Investor Protection, Sang Yop Kang, Terry Ling

Washington International Law Journal

Mainland China traditionally upheld the one-share-one-vote (OSOV) principle. Since 2019, however, Chinese authorities have introduced the dual-class equity structure (DCES) for innovative enterprises. Due to investor-protection concerns, China’s DCES operates on a “stringent approval system,” with only eight corporations listed under DCES as of December 31, 2024. This Article provides a comprehensive policy analysis of the Chinese DCES system, including empirical analyses of the eight existing cases. It explores legal and economic aspects of investor protection within China’s DCES, examining “three sets of investor safeguard measures”: (1) “three numerically specified rules” (e.g., 10% equity rule, 10-time voting-right rule, and 2/3 …

Generative Artificial Intelligence Dependency: Scale Development, Validation, And Its Motivational, Behavioral, And Psychological Correlates, Adalia Yin Hui Goh

Dissertations and Theses Collection (Open Access)

The growing integration of generative artificial intelligence (AI) into everyday life has raised questions about its potential psychological and behavioral consequences. The present research develops and validates the Generative AI Dependency Scale, a multidimensional tool developed to assess individual differences in dependency on generative AI systems. Across six studies involving 1,223 participants from the United States and Singapore, the Generative AI Dependency Scale demonstrated strong psychometric properties, including a stable three-factor structure (cognitive preoccupation, negative consequences, withdrawal) and good test-retest reliability (ICC = .85). Confirmatory factor analysis supported a higher-order dependency construct, and scalar measurement invariance was established across sex …

Current Wind Simulation Techniques, Keegan J. Sims

Theses/Capstones/Creative Projects

Not much exists in the realm of wind simulation. For what does exist involves tornadoes, and even then that is stretched far and few between. Due to this we have a lot of room to explore, and figure things out. How do we simulate real time wind? My capstone project involves a simple wind algorithm, how does it compare to what does currently exist? This paper covers the papers about wind and how it it interacts with objects and itself.

On The Hexgame, Corwin Jones

Mathematical Sciences Technical Reports (MSTR)

The SOMA Cube has been studied by mathematicians for a number of decades, but so far methods for solving three-dimensional space-filling puzzles like the SOMA cube remain numerical; we do not have a means to predict the number of solutions to SOMA-like puzzles. We present a two-dimensional puzzle that shares certain features of the SOMA Cube, with the hope that it will be a more convenient object of study for future research into space-filling/space-covering puzzles.

Procedural Generated World With History Simulation And 3d Map, Xuanchen Shen

Programming Theses and Dissertations

The procedurally generated world with history simulation tool dynamically generates customizable, seed-driven virtual worlds through algorithmic processes. Using Voronoi diagrams (constructed via Fortune’s algorithm) for spatial partitioning, it creates diverse geographic features such as lands, oceans, and heights. Climate systems, hydrology (rivers, precipitation), and temperature data are procedurally derived from the terrain data. The tool further simulates sociopolitical dynamics, including population distribution, cultural evolution, religious spread, and diplomatic interactions between procedurally generated nations. Cities, towns, roads, and products emerge organically based on province data.

Users can interactively modify generated worlds—adjusting province geographic data, reshaping cultural or religious distribution, or changing …

Voxel-Based Physically Simulated Particle System For Realistic Smoke Effects With Responsive Interaction To Dynamic Objects, Qixuan Liang

Programming Theses and Dissertations

The Voxel-Based Physically Simulated Particle System is designed to provide a high-performance, interactive, and visually realistic smoke simulation for real-time applications. This system replicates the dynamic smoke effects seen in Counter-Strike 2, ensuring high visual fidelity and interactivity through advanced rendering and simulation techniques.

The system leverages compute shader-based ray marching for volumetric rendering, enabling physically-based lighting simulation with realistic shading and soft shadowing effects. To achieve efficient and scalable smoke propagation, it employs Intel SIMD-optimized flood fill algorithm, significantly accelerating the expansion calculations. With over 10,000+ dynamically interacting particles, the system maintains a stable 60FPS across a …

The Impact Of Maternal Age On The Expression Of Transgenerational Plasticity In Daphnia Pulicaria, Calvin Nguyen

2025 Spring Honors Capstone Projects - Archive

Transgenerational plasticity refers to heritable, non-genetic changes in phenotype that persist across multiple generations and can enhance offspring survivability in variable environments. In Daphnia, increasing maternal age has been associated with maladaptive plasticity. To investigate this relationship, six clones were collected from two Wisconsin lakes and acclimated to laboratory conditions through a common garden rearing process. For each clone, ten replicates were generated and evenly divided between young (clutches 2–4) and old (clutches 5–8) maternal age groups. Offspring were exposed to three dietary treatments for three experimental generations: one fed only green algae, one fed only cyanobacteria (a nutritionally …

Cuegen: Customizing Sensor Captions For Neon Bending Tutorials, Gunnika Kapoor

2025 Spring Honors Capstone Projects - Archive

Methods of knowledge transfer that rely primarily on visual and/or auditory formats do not effectively convey context-specific or implicit skills, known as tacit skills. This limits knowledge transfer. In this work, the use of customizable pitch captions and spatial audio vibration captions is proposed to aid in conveying this tacit knowledge for neon glass bending video tutorials. Such a system is designed to provide users with greater control and support, which may maximize the information they obtain from, improve the autonomy they have with, and experience they have with a learning tool. As such, a system interface was developed that …

Controlling A Mobile Inverted Pendulum And Optimizing Leaning Angle To Apply Force Using Reinforcement Learning, Aryan Mediratta

2025 Spring Honors Capstone Projects - Archive

Reinforcement Learning is a Machine Learning paradigm that involves simulating learning through rewards and penalties in intelligent systems. This technique is often employed in robotics when traditional control methods are insufficient or when human intuition does not provide a good solution on how to control robot systems, This project involves training a Segway-style Mobile Inverted Pendulum (MIP) robot to balance and push a box forward. The BeagleBone Blue board is used that includes a built-in Inertial Measurement Unit (IMU) and encoder ports. These sensors enable the system to measure its current state. The goal is to find the optimal leaning …

Good Bassoon Reeds: Where And How To Find Them, Mads A. Barajas

2025 Spring Honors Capstone Projects - Archive

Among bassoonists, it is understood that store-bought bassoon reeds are not manufactured to meet the needs of bassoonists. This study identifies commercial reed brands which permit school age bassoonists to play without unnecessary resistance and response issues, thus increasing awareness of reed selection to reduce formation of bad habits such as biting, improve tone, and reduce reed costs. Three reeds from four of the most common commercial bassoon reed brands were tested, accounting for variability in agricultural goods and handmade products across brands. Crowing, stability and intonation, high note responses, and low note responses were tested on each reed. These …

Bismuth-207 For Purity Monitoring System For Lartpc: Dune And Proto-Dune, Rohit Raut

2025 Spring Honors Capstone Projects - Archive

The Deep Underground Neutrino Experiment (DUNE), the U.S. flagship neutrino experiment, relies on high purity liquid argon (LAr) for optimal detector performance. Ensuring and monitoring LAr purity is crucial, as electronegative impurities can degrade signal quality in detectors. As part of Proto-DUNE, a prototype detector at CERN for DUNE, this study explores the use of Bismuth-207 (Bi-207) as a novel tool for real-time LAr purity monitoring and calibration. Bi-207 emits monochromatic internal conversion electrons, allowing precise impurity assessment without interfering with standard detector operations. By simulating the behavior of radioactive Bi-207 and analyzing data from the Proto-DUNE Vertical Drift detector, …

Tutortech: A Web App For A Smarter And More Efficient Tutoring System, Smarika Pathak

2025 Spring Honors Capstone Projects - Archive

The Computer Science and Engineering (CSE) department faces challenges with managing its tutoring services, especially tracking attendance, booking sessions, and overall management of the tutoring system - all of which severely limits the ability for tutors to connect and engage with students. To help overcome these issues, TutorTech, a web-based application that provides improved management of the tutoring system and supports more engaging learning experiences between students and tutors was designed. Through this project, the aim was to optimize the TutorTech search capabilities - assisting students to find tutors based on skills, while also considering the effect of user interface …

Generating Motivational Messages For Behavior Change: Encouraging Users To Be More Physically Active, Hananeel Pankaj

2025 Spring Honors Capstone Projects - Archive

High levels of sedentary lifestyles can cause adverse effects in individuals’ health. This has prompted researchers to analyze ways to increase physical activity, including the use of Large Language Models (LLMs) to generate motivational messages. While research has found LLMs to be feasible for this task, the findings are limited in availability and scope given that the research focuses on a conversational, chatbot setting—which is not ideal in the real world. This research assesses OpenAI’s GPT-4o mini’s (one of several models powering ChatGPT) ability to tailor messages towards a user. This is done by passing user health data to the …

The Golden Ratio In Classical And Contemporary Design Merges: Transitions In User Experience Through Architectural Styles, Shreya Bandi

2025 Spring Honors Capstone Projects - Archive

The Golden Ratio, often called the “divine proportion,” is a mathematical phenomenon found in nature that has significantly influenced artistic and architectural aesthetics. It notably altered the Greek Classical Period, where it advanced the idea of structural harmony. This research examines how the ratio evolves through Contemporary and Post- Modern Architecture as it merges classical style design elements with user-centric adaptations. By analyzing Cullinan Hall and Sainsbury Wing, which represent the convergence of old and modern styles, this study explores the Golden Ratio through golden rectangle identification and proportional sectioning techniques. The results indicate that the ratio evolves through user …

Development Of A Cost-Effective Daq For Measuring Brake Performance In Race Cars, Adrin Alias

2025 Spring Honors Capstone Projects - Archive

This project explores the feasibility of creating a cost-effective data acquisition (DAQ) system for high-speed, real-time brake performance testing of Formula SAE racecars. The research addresses the limitations of the current MoTeC DAQ system currently employed by the team, which is costly and time-consuming to set up for on-car testing. The team will use a brake dynamometer for steady-state comparisons of different brake pad compounds (senior design project), but evaluating real-world performance requires on-car testing. By systematically comparing various hardware platforms, sensors, communication protocols, and storage solutions, this project aims to balance cost-efficiency with reliability and performance. The research evaluates …

When 'Weird' Means 'Dangerous': Viruses And Firewalls In Affective Polarization, Nathan J. Locke

All Theses

As traditional sources of epistemic authority face declining trust, alternative narratives have gained prominence - often leveraging the emotional and cultural resonance of seemingly simple terms. In the 2024 election cycle, the term “weird” emerged as a potent meme in American political discourse. Using a memetic perspective that incorporates elements of framing theory and Social Judgment Theory, this thesis investigates the use and reaction to “weird” and its role in shaping perception of Donald Trump, his political allies, his followers, and his opposition during and immediately after the 2024 Presidential election. The memetic perspective, which views ideas as units of …

Dr. Olga Poliakova Earns First ‘Student Advocate Of The Year’ Award From Division Of Student Success, Office Of University Communications

Gardner-Webb NewsCenter Archive

The Gardner-Webb University Division of Student Success has created a new award, “Student Advocate of the Year.” Given annually, this award will recognize the contributions of faculty and staff toward helping to support students. The recipient personifies the mission of Student Success, which is to provide resources and support to educate, equip, and empower all students to succeed academically and personally in their unique college journeys.

Investigations Of Musical Constructs: An Analysis Of Graphic Scores And Their Spatial Relationships, Garrett J. Henderson

2025 Spring Honors Capstone Projects - Archive

This project seeks to understand, through creative production, how graphic scores and their purpose as a medium can be applied to architectural design. Graphic scores are an abstract representation of musical notation; they utilize unfamiliar concepts and shapes to illustrate musical ideas through unconventional means. Discovering how one can reverse-engineer these works of notation can allow architectural designers to rethink the representation of spaces and the underlying inspirations that form them. Research into broader artistic overlap, historical context, and precedent analysis culminated into a set of drawings that illustrate such concepts through an architectural lens. The production of these drawings …

Computational Modeling Of Torque Arm And Load Cell Interactions In Uta Racing Brake Dynamometer, Anthony A. Aiyedun

2025 Spring Honors Capstone Projects - Archive

The UTA Racing Team is developing a brake dynamometer to measure the coefficients of friction of various brake pads and calipers under controlled conditions. The dynamometer simulates on-track braking scenarios, testing brake pads at temperatures up to 1300ºF and pressures similar to racing environments. Its primary goal is to generate accurate friction vs. temperature graphs for various brake pad and rotor combinations, addressing the need for dedicated testing equipment. This project creates an ANSYS simulation of the torque arm and load cell interaction. The computational model accurately represents the relationship between applied torque and measured load cell force, incorporating precise …

Affordable Architecture: Promoting Mental Health Through Cost-Effective Design In Underfunded High Schools In Dallas-Fort Worth, Raphaella Malicay

2025 Spring Honors Capstone Projects - Archive

Mental health awareness has increased over the years as well as numerous strategies to support mental health. Some of these strategies include addressing the built environment. This paper explores the intersection between mental health and the built environment through the lens of affordable architectural methods that would be effective in underfunded secondary schools. This study examines how architecture influences students’ well-being and how certain design strategies can be implemented even in schools that lack the financial resources for adequate infrastructure. Here the focus is on investigating affordable solutions such as improving ventilation, optimizing natural light, having flexible learning spaces, and …

A Data Driven Approach To Student Success: Visualizing Engagement And Performance Metrics, Araohat Kokate

2025 Spring Honors Capstone Projects - Archive

Many tutoring centers lack tools to analyze and visualize key performance metrics, limiting data driven decision making. This study develops a data visualization feature for the CSE Student Success Center App at the University of Texas at Arlington, enabling administrators to track student engagement, tutor performance and session trends. Using the data of students and tutors, the feature provides interactive dashboards for real-time insights. Administrators can monitor attendance patterns, tutor workloads and booking trends, optimizing resource allocation. Findings indicate that real-time data visualization enhances decision-making, reducing manual effort while improving operational efficiency. This can further help improve student support services. …

Navigation Of Unmanned Aerial Vehicle Using Computer Vision In Raytheon Drone Competition, Joseph R. Pavlik Iii

2025 Spring Honors Capstone Projects - Archive

A major problem with using GPS to navigate an unmanned aerial vehicle is that GPS signals do not accurately work while inside a building. This work presents the usage of the Simultaneous Localization and Mapping library, ORB-SLAM2, in C++ to solve this issue. By using the camera attached to the unmanned aerial vehicle, a map of the area covered by the drone will be created, and landmarks in area will be utilized to navigate throughout the interior of the building without the GPS. Based on previous studies, this navigation method should be viable. Preliminary tests show that this method will …