Computer Sciences Commons^™

Globelly: The Travel App, Diana S. Alvarez

Honors Capstones

My honors capstone project, Globelly: The Travel App, began as a feature-rich Android application designed to simplify travel planning, enhance global exploration, and foster community-driven sharing among travelers. The app was envisioned to integrate real-time suggestions using APIs like Yelp and TripAdvisor, incorporate a badge-based gamification system, and support advanced customization and privacy controls. While not all of these features were implemented in the final version, the project achieved a solid and functional foundation focused on core travel-sharing experiences.

Developed using Java, XML, and the MVC architecture in Android Studio, the completed app allows users to pin locations they’ve …

Voice Interaction With Conversational Ai Could Facilitate Thoughtful Reflection And Substantive Revision In Writing, Jiho Kim, Philippe Laban, Xiang 'Anthony' Chen, Kenneth C. Arnold

University Faculty Publications and Creative Works

Writing well requires not only expressing ideas but also refining them through revision, a process facilitated by reflection. Prior research suggests that feedback delivered through dialogues, such as those in writing center tutoring sessions, can help writers reflect more thoughtfully on their work compared to static feedback. Recent advancements in multi-modal large language models (LLMs) now offer new possibilities for supporting interactive and expressive voice-based reflection in writing. In particular, we propose that LLM-generated static feedback can be repurposed as conversation starters, allowing writers to seek clarification, request examples, and ask follow-up questions, thereby fostering deeper reflection on their writing. …

Interaction-Required Suggestions For Control, Ownership, And Awareness In Human-Ai Co-Writing, Kenneth C. Arnold, Jiho Kim, Jason G. Chew, Jooha Yoo, Juyeong Kim, Ray Flanagan, Heonjae Kwon

University Faculty Publications and Creative Works

This paper explores interaction designs for gen-
erative AI interfaces that necessitate human in-
volvement throughout the generation process.
We argue that such interfaces can promote
cognitive engagement, agency, and thoughtful
decision-making. Through a case study in text
revision, we present and analyze two interac-
tion techniques: (1) using a predictive-text in-
teraction to type the assistant’s response to a
revision request, and (2) highlighting potential
edit opportunities in a document. Our imple-
mentations demonstrate how these approaches
reveal the landscape of writing possibilities and
enable fine-grained control. We discuss impli-
cations for human-AI writing partnerships and
future interaction design …

Unremarkable To Remarkable Ai Agent: Exploring Boundaries Of Agent Intervention For Adults With And Without Cognitive Impairment, Mai Lee Chang, Samantha Reig, Alicia (Hyun Jin) Lee, Anna Huang, Hugo Simão, Nara Han, Neeta M. Khanuja, Abdullah Ubed Mohammad Ali, Rebekah Martinez, John Zimmerman, Jodi Forlizzi, Aaron Steinfeld

Computer Science Faculty Publications and Presentations

As the population of older adults increases, there is a growing need for support for them to age in place. This is exacerbated by the growing number of individuals struggling with cognitive decline and shrinking number of youth who provide care for them. Artificially intelligent agents could provide cognitive support to older adults experiencing memory problems, and they could help informal caregivers with coordination tasks. To better understand this possible future, we conducted a speed dating with storyboards study to reveal invisible social boundaries that might keep older adults and their caregivers from accepting and using agents. We found that …

Dynamic Approaches To Missing Data In Healthcare: Evaluating Ensemble Models, Feature Selection, And Meta-Features, Dylan Dominguez Sulca

Theses and Dissertations

Missing data is pervasive in healthcare, where incomplete observations commonly arise from patient dropout, sensor failures, or privacy constraints. This research presents an investigation into handling such data, focusing on (1) Missingness-Aware Dynamic Ensemble Weighting (MDEW), (2) feature selection under varying missing rates, (3) autoencoder-based imputation (ODAE), and (4) a meta-feature analysis guiding pipeline selection. We evaluate our experiments on four diverse datasets, Cleveland Heart Disease, Diabetic Retinopathy, Breast Cancer Wisconsin, EEG Eye State. Our research shows that MDEW adaptively selects imputer classifier pipelines, outperforming single model and uniform averaging baselines at moderate to high missingness 10% to 50%. Filter …

Unpaired Virtual Histological Staining Of Tissue From Autofluorescence Using Regularized Cycle-Consistent Adversarial Networks, Zhesi Wen

Theses and Dissertations

We present a regularized CycleGAN with a Dense Residual U-Net to virtually stain autofluorescence images of tissue into H&E-like images. Our method outperforms standard architectures, reduces artifacts, and achieves superior FID scores, enabling efficient, label-free, and accurate digital pathology for unpaired datasets using multi-channel fluorescence inputs.

Intuiting Interaction: Meta-Reasoning And Meta-Learning As Foundations For Intelligent User Interfaces, Jeffrey Hsu

Theses and Dissertations

This research presents MARCO—a cognitive framework for Intelligent User Interfaces that uses meta-reasoning for context-aware adaptation across diverse tasks. It integrates multiple reasoning modules coordinated by a Meta-Cognitive Unit that selects strategies based on evolving demands. Evaluations show MARCO outperforms baselines in reasoning accuracy and computational efficiency.

Optimizing Small Ai Models For Biomedical Tasks Through Efficient Knowledge Transfer From Large Domain Models, Girish Sundaram

Theses and Dissertations

The PICO (Population, Intervention, Comparison, Outcome) framework is a widely adopted methodology for structuring clinical research questions and extracting relevant information from unstructured medical texts. However, traditional approaches for PICO classification demand computationally expensive domain-specific language models, such as BioBERT and ClinicalBERT, which require extensive training and large annotated datasets. This dissertation introduces Distilled Rapid Embedding Transfer (DRET), a novel knowledge transfer method designed to enable resource-constrained domain adaptation. DRET aims to efficiently transfer biomedical domain knowledge from large, specialized models to a compact, general-purpose model, DistilBERT, thereby enhancing its ability to perform domain-specific tasks without access to the original …

Designing Ai-Driven Dining: A Ux Approach To Enhancing The Self-Service Experience, Kaylin Joung, Yuki Hayashi, Dailuaine Esguerra

Undergraduate Research Symposium Posters

Artificial intelligence has transformed many industries, yet its integration into self-dining experiences is still emerging. This research explores how AI can enhance self-dining by introducing technology like interactive kiosks and robot servers to improve efficiency, personalization, and customer convenience. By addressing current gaps, we aim to create a more seamless and engaging dining experience.

Artificial Intelligence In Higher Education: A Case Study Of Faculty Teaching Methodologies At A Private University, Ellen Ramsey, George Antoniou, Matteo Peroni, Karima Lanfranco, Brent Muckridge, Raouf Ghattas, Philip L. Fazio, Wendy Wallberg, Saidi Porta, Mary Smith, Gary Solomon, Kristen Migliano, David G. Wolf

Faculty and Staff Publications & Presentations

This research study examined the integration of artificial intelligence (AI) in higher education from the perspective of the faculty of a private university. It inquired into the impact of AI on pedagogical methods, administrative procedures, and ethical values. Qualitative case study methodology and in-depth semi-structured interviews were designed and conducted with faculty from four academic departments. Responses related to impressions, challenges, and opportunities for AI integration were gathered. The study findings from qualitative and quantitative data analysis indicated that AI is perceived to help improve educational outcomes with student-personalized learning pathways through streamlined administrative processes. The study revealed that participating …

Harnessing Neurodiversity And Artificial Intelligence In Education To Bridge The Cybersecurity Workforce Gap, George Antoniou

Faculty and Staff Publications & Presentations

This perspective paper examines how neurodiversity and artificial intelligence (AI) can jointly address the critical workforce shortage in cybersecurity. Drawing on peer-reviewed research, industry reports, and case studies, it explores how neurodivergent individuals—such as those with autism spectrum disorders, ADHD, and dyslexia—possess strengths in pattern recognition, logical reasoning, and attention to detail that align with cybersecurity demands. AI-based educational tools, including adaptive tutoring systems, scenario-based simulations, and real-time analytics, can personalize learning for neurodiverse students, enhancing engagement and skill mastery. The paper discusses how these targeted interventions not only accelerate knowledge retention and practical competence but also foster greater inclusion …

Pure Nash Equilibrium And Strong Nash Equilibrium Computation In Additive Aggregate Games, Jared Soundy, Mohammad T. Irfan, Hau Chan

Research & Publications

Aggregate games, first conceptualized by Nobel laureate Reinhard Selten in 1970, model the decision-making of interdependent agents where each agent’s utility depends on their own action and the aggregation of everyone’s actions. We consider computational questions on pure Nash equilibrium (PNE) and pure strong Nash equilibrium (SNE) for aggregate games. On the way, we define a new subclass of aggregate games we call additive aggregate games, which encompasses popular games like congestion games, anonymous games, Schelling games, etc. We show that PNE existence is NPcomplete for very simple cases of additive aggregate games. We devise an efficient aggregate-space algorithm for …

Under Pressure: A Quantitative Approach To Measuring Clutch Performance In The Nba, Jack Dell'isola

Honors Projects in Information Systems and Analytics

This research investigates the existence and relevance of clutch performance in the 2023-2024 NBA regular season. Players are analyzed both individually and against league averages to determine their clutch performance levels using an original "clutch score formula". This research aims to answer the questions of whether clutch performance is a real phenomenon, how individual player performance is affected in clutch time, and to determine a formula that can effectively predict the winner of the Clutch Player of the Year Award. The findings and formulas developed in this research help to shed light on the complexities of clutch performance, which has …

A Hierarchical Soft Computational Model For Optimizing Agricultural Uavs: Recruiting Neutrosophic Theory And Tree Soft Sets, Mona Mohamed, Nurhan Alaa, Bilal Arain, Karam M. Sallam

Neutrosophic Systems with Applications

Precision agriculture is being transformed by Unmanned Aerial Vehicles (UAVs), which make it possible for yield optimization, targeted spraying, and sophisticated crop monitoring. With an emphasis on their operational capabilities, economic feasibility, and environmental implications, this research explores the revolutionary potential of UAV technology in contemporary farming systems. Practically speaking, the procedure of opting UAVs for agricultural applications is complicated by several competing aspects, inherent uncertainties, and differing stakeholder agendas. This paper suggests a new hybrid decision framework that combines Tree Soft Sets (TrSS), Neutrosophic theory, and Multi-Criteria Decision-Making (MCDM) to methodically handle these issues. Hence, the robust hybrid model …

Towards Explainable And Robust Nlp: Neutrosophic Probability Augmentation In Text Classification, Nabil M. Abdel-Aziz, Mahmoud Ibrahim, Khalid A. Eldrandaly

Neutrosophic Systems with Applications

The rapid growth of textual data necessitates advanced text classification models. However, traditional methods struggle with ambiguity and uncertainty in natural language, reducing classification reliability. To address this, we integrate neutrosophic logic, which explicitly models truth, indeterminacy, and falsity, into a DistilBERT-based text classification framework. Additionally, we employ data augmentation using synonym replacement to enhance generalization. Our approach is evaluated on the AG News dataset, classifying articles into four categories: World, Sports, Business, and Science/Technology. By incorporating neutrosophic attributes, the proposed framework assesses text quality, mitigates uncertainty, and improves robustness against ambiguous inputs. Experimental results demonstrate an accuracy of 94.10%, …

Abel Inversion Comparison Of Geant4 Simulation And Ozone Production Using Cavity Ringdown Spectroscopy In Nitrogen/Oxygen Mixtures In The Presence Of Alpha Radiation, Sidney John Gautrau

Dissertations

The effects of radioactive materials on atmospheric gases have been a topic of interest for years. Radioactive materials ionize the surrounding air, and subsequent reactions lead to molecules such as ozone and nitrogen oxides. The presence of these species above background levels can be used as a marker for radioactive materials which has desirable defense applications like remote detection of radioactive materials. The molecules created in the presence of radioactive materials have been quantified in literature using G-values, which is the number of molecules of a product produced per 100 eV of deposited energy. In this work, Cavity Ringdown Spectroscopy …

Designing An Interactive Exit Ticket System To Enhance Learning In Engineering Education, Tapanga Witt

McNair Scholars Manuscripts

Within Grand Valley State University's (GVSU) Padnos College of Engineering, many first-year Engineering courses consistently see pass rates below 70%, signaling a need for stronger academic support. This is an issue across many universities; students are underprepared and face a lot of challenges with workload, pace, and independence due to the transition from high school to college (Flanigan, 2024). For this project, I designed and developed a website-based exit ticket system to support student reflection and instructor feedback. Using UX design principles, the platform offers a weekly self-reflection form that recommends resources like tutoring, office hours, or study groups. Gamification …

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 …

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.

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 …

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 …

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 …

Supporting Novice Programmers With Scaffolded And Open-Ended Generative Ai Interfaces: Insights From A Design-Based Research Study, Justin Olmanson, Azadeh Hassani, Gretchen K. Larsen

Department of Teaching, Learning, and Teacher Education: Faculty Publications

In this study, we explore student experiences in coding and learning programming with scaffolded and unscaffolded generative AI interfaces. Specifically, we supported higher education students in using ChatGPT, an open ended interface for interacting with generative AI; and Giuseppe, a specialized interface with an OpenAI backend service that offers personalized supports specifically for helping students overcome early-stage challenges in learning to code, and working on education technology prototyping projects. This study contributes to the field by offering design insights for scaffolding initial learning interactions between generative AI interfaces and novice programmers. Our findings suggest that those new to coding welcome …

Air And Missile Defense Threat Scenario Variation To Reduce Pretest Sensitization, Video Games As A Case Study, Julie Renee Szekerczes

All-Inclusive List of Electronic Theses and Dissertations

This study uses fixed and variable video game types to measure pretest sensitization as a proxy for repeated and varied threat test scenarios in system performance testing of air and missile defense systems. The pretest sensitization phenomenon exists when repeated exposure to a test condition influences the participant's response. Research shows air and missile defense development correlates with video games, resulting in similar interfaces and computer operating environments. Department of Defense acquisition test and evaluation results must reflect system performance without prior knowledge of the threat scenarios confounding the results. System performance results inform acquisition decisions, such as further funding …

Usage Of Natural Language Processing And Deep-Learning Techniques On Thematic Apperception Tests To Predict Big Five Personality Traits, Blayten Jones

Electrical Engineering and Computer Science Undergraduate Honors Theses

The usage of personality as a method of behavioral prediction and outcomes of success has grown considerably over the last few decades. This project explores predicting user personality profiles via the Big Five personality index through the integration of advanced natural language processing techniques as well as neural networks. Using a dataset provided by Dr. James W. Pennebaker, participants analyze an image—formally referred to as a thematic apperception test—and write a thorough paragraph describing the details. This free-form text, along with their personality test results, is captured in a structured dataset. Many deep-learning and machine learning models have been used …

A Novel Approach To Attention-Based Models In Image Completion: Weighted Spatial-Attention Using Radial Distance, Tyler D. Kuper

Electrical Engineering and Computer Science Undergraduate Honors Theses

Humans infer missing visual information by focusing on spatial relationships in the context of their surroundings. Machine learning aims to replicate this skill through image completion, a fundamental task in current computer vision research. While advances in self-attention layers have recently enhanced generative machine learning models for text, these mechanisms still currently lack the capability to handle sparse image completion efficiently. We introduce a distance-based attention mechanism that uses radial-based weights to efficiently reconstruct an image. We compare this attention mechanism with self-attention and a fully connected network on an image completion task using the MNIST dataset. Our results show …

Fairness In Recommender Systems: Balancing Bias In Academic Paper Selection, Zachary Bergin

Electrical Engineering and Computer Science Undergraduate Honors Theses

Bias in academic paper selection remains a consistent issue, even within processes designed to promote fairness, such as double-blind peer review, bias stays persistent. In this paper we investigate demographic bias while particularly focusing on racial bias in the process of selecting academic papers and explore the impact of fairness aware recommender systems on the demographic parity. To build an effective system our focus is on the Special Interest Group on Computer Human Interaction (SIGCHI) a pillar in the community, we develop a neural network-based recommender system that uses real demographic data collected by other systems withing the context of …