Other Computer Sciences Commons^™

Machine Learning For Predictive Energy And Emissions Modeling Of Vehicles And Power Grids In The United States, S M Tanvir Faysal Alam Chowdhoury

Dissertations

The environmental benefits of electric vehicle (EV) adoption depend on more than replacing internal combustion engine vehicles with electric powertrains. EV adoption reshapes electricity demand, interacts with regional generation mixes, and influences travel behavior and congestion, creating a coupled transportation-energy system in which vehicle and power-plant emissions must be evaluated together. This dissertation develops machine-learning frameworks for predicting energy consumption and emissions from vehicles and power grids under rising EV adoption. The first component forecasts grid emissions from EV charging. Using simulation data from NREL's Cambium database, a Prophet-based time-series framework predicts carbon dioxide, nitrous oxide, and methane emission rates …

Stop Blaming My Users: Illumination Of The Technocentric Mythos Bias, Ervin H. Frenzel, Richard Lightcap

Journal of Cybersecurity Education, Research and Practice

 Abstract -This conceptual essay addresses the need for systemic and systematic transdisciplinary analytical techniques within cybersecurity and technical security. This conceptual essay is contingent upon recognition that cybersecurity is not simply technical in nature, it does not need an adversary, and more importantly it is based upon systems engineering and systems thinking.  The essay contributes a socio-technical attribution chain and field-specific ontology/taxonomy which distinguish user-triggered events from root causes, latent conditions, technical debt, validation failures, governance failures, and attribution bias before assigning responsibility to end users. It systematically defines an ontology inclusive of developer technical debt, organizational debt arising from …

A Machine-Learning-Based Systematic Framework For Modeling Compression And Recompression Indices For Florida Soils, Michael Morales

Doctoral Dissertations and Master's Theses

This thesis develops a machine-learning framework for estimating the compression index and the recompression index of Florida soils from routinely measured index properties, and reports two studies that build it. Consolidation settlement design requires both indices, and both are obtained from the incremental-loading oedometer test, which occupies a specimen for one to two weeks; the index tests that accompany it are complete within hours. Empirical correlations have filled that interval since the 1950s, but their coefficients are calibrated on specific soil populations and transfer poorly between regions. The first study analyzes 376 consolidation tests compiled for the Florida Department of …

(R2077) Enhancing Queue Management: Dynamic Server Allocation And Optional Services In Stochastic Modeling, G. Ayyappan, S. Sankeetha

Applications and Applied Mathematics: An International Journal (AAM)

Consider a queueing system with a single server, where customer arrivals follow a Markovian arrival process and service times follow a phase-type distribution. The main server has the capability to recruit an additional server when the number of customers in the system exceeds a certain threshold, denoted as L. Both servers provide normal service to customers, and optional service is provided upon request. The main server takes multiple vacations, with the durations following an exponential distribution with rate parameter η, until there is at least one customer in the system. This system can be represented as a Markov chain process, …

Algorithmic Monocultures In Hiring, Rishi Bommasani, Sarah H. Bana, Kathleen A. Creel, Dan Saul Jurafsky, Percy Liang

Economics Faculty Articles and Research

Many employers screen job applicants with algorithms built by the same few algorithm vendors. We hypothesize that algorithmic monoculture leads to the same individuals and members of the same racial groups facing rejection. We acquire and analyze a novel dataset of 3 million applicants submitting 4 million applications where all the applications are screened by algorithms built by the same vendor. We find clear racial disparities in applicant outcomes. Of all applications submitted by Asian and Black applicants, 14.74% and 25.87% are submitted to positions that adversely impact Asian and Black applicants, respectively, according to U.S. employment discrimination standards. Individuals …

Parent Cultural Wealth: How Beliefs, Curriculum Familiarity, And Community Awareness Facilitate Home-Based Cs Conversations, Nicol Howard, Leiny Y. Garcia, Jean Ryoo, Julie Flapan, Michelle Choi, Paula Nazario, Wei Wei

Mathematics, Physics, and Computer Science Faculty Articles and Research

Parents are critical influences on children's computer science (CS) pathways, yet families’ involvement remains understudied. Guided by parental involvement and community cultural wealth frameworks, this work-in-progress examined survey data from 53 parents representing families historically underrepresented in computing within California (71% women; 54% Hispanic/Latin/x/e). Findings revealed that CS school curriculum familiarity and awareness of CS community events significantly predicted parent-child CS conversations, while parent CS confidence and attitudes did not, suggesting that curriculum transparency and community connections can promote equitable involvement. Future work will integrate qualitative interviews to examine how families draw upon their cultural wealth.

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.

(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 …

A Symbolic Model Of Proof Acquisition In Act-R, Beckett Morris, Kerstin Haring

DU Undergraduate Research Journal Archive

Learning to construct mathematical proofs—formal arguments demonstrating the truth of a mathematical statement using logical deductions and previously established facts—is one of the most challenging skills in STEM education. This research aims to build the foundations for a symbolic cognitive model, using the ACT-R cognitive architecture and implementing in Python with the pyactr package, to explore how different proof strategies can be thought through with only symbols and rules. The model observes simple proofs, and its abilities are assessed based on its generalization capabilities, efficiency, and error patterns. By developing and analyzing such a model, this research provides new insights …

An Analytical Framework For Quantifying Urban And Community Resilience To Natural Hazards From Cell-Phone Gps-Location And Traffic-Flow Data, Georgios Chatzikyriakidis

Civil and Environmental Engineering Theses and Dissertations

Urban areas are increasingly exposed to natural hazards while accommodating a growing share of the global population, yet a consistent science-based framework for quantifying urban and community resilience remains lacking. This dissertation develops a physics-based analytical framework grounded in statistical mechanics and the quantitative theory of Brownian motion. A city is conceptualized as a complex medium in which citizens move analogously to Brownian particles within a viscoelastic environment, influenced by socioeconomic interactions and infrastructure functionality.

A central premise is that urban resilience, interpreted as engineering resilience (an outcome), can be quantified through a single metric: the mean-square displacement MSD=⟨r²(t)⟩, of …

Iterative Silver-Label Refinement For Temporal Information Extraction In Biomedical Literature, Chan Lee

UNLV Theses, Dissertations, Professional Papers, and Capstones

Temporal information extraction plays a critical role in the biomedical domain, where the ability to identify events and their temporal relationships is central to interpreting research findings. However, annotated corpora for this task remain scarce and costly to produce and the existing models developed for clinical text do not transfer well. This work bridges that gap through iterative silver-label refinement. A temporal model originally trained on news-domain data is adapted to biomedical text through cycles of automatic labeling, targeted correction, and retraining without the need for comprehensive manual annotation.

Key contributions include a practical iterative refinement methodology demonstrating that the …

Phase-Preserving Machine Learning Forecasting Of Nonlinear Predator–Prey Dynamics, Saira Batool, Muhammad Imran, Brett Mckinney

Biology and Medicine Through Mathematics Conference

No abstract provided.

Developing A Comprehensive Resource Guide For Caregivers Within The Area Agency On Aging, Aiden R. Murphy

Public Health Capstone Projects

This project developed a new universal caregiver resource guide for caregivers within the Area Agency on Aging, in order to improve resource navigation and workflow efficiency. Resources were collected, verified, and organized into a new, streamlined guide via the ARIA chatbot, covering multiple needs. Caregiver resources were collected and verified by the capstone student and mentor, Michael Kroeker, and organized into a centralized knowledge base within the ARIA chatbot. A mixed methods evaluation was conducted utilizing a 5-point Likert scale with three quantitative questions and one open-ended qualitative question. The data was given to the SeniorLine staff, who wanted to …

Improving Semantic Precision In Text-To-Image Diffusion Models Via Latent-Space Optimization And Semantically-Parsed Evaluation, Mohammad Rouie Miab

McKelvey School of Engineering Graduate Student Theses & Dissertations

Text-to-image diffusion models can produce visually impressive images from natural-language prompts, but they often fail to satisfy the detailed semantic constraints expressed in compositional prompts. Typical failure modes include omitted objects, merged entities, incorrect quantities, incorrect attribute binding, and leakage of one entity's attributes onto another. This thesis studies the problem of semantic precision in text-to-image generation: how faithfully a generated image satisfies the structured meaning of its prompt.   The thesis makes two linked contributions. First, it presents a training-free inference-time refinement method for diffusion-based image generation. The method operates directly in latent space during denoising and uses noun-phrase-aware cross-attention …

Predicting And Decoding Allosteric Binding Sites Using Protein Language Models And Structure-Based Machine Learning: An Energy Landscape-Guided Explainable Ai Framework, Kamila Riedlová, Vít Skrhák, William G. Gatlin, Max Ludwick, Lucas Turano, Marian Novotný, David Hoksza, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

Computational prediction of allosteric binding sites in protein structures remains a persistent challenge, as these regulatory pockets evade detection by both sequence-based and structure-based algorithms. Both computational and physical origins of this predictive asymmetry remain insufficiently understood. In this study, we systematically examine the determinants of binding site predictability using a dual framework that integrates a fine-tuned protein language model and the structure-based method P2Rank as complementary tools probing a diverse data set of 453 human kinases, together with a physics-based interpretability layer derived from energy landscape frustration analysis. Both predictors exhibit a sharp and reproducible dichotomy on protein kinases, …

Designing Enhanced Nonlinearity In Plasmonic Devices With Epsilon-Near-Zero Films, Kevin Tran Le

Electrical Engineering and Computer Science (MS) Theses

The growing demand for energy-efficient optical information processing motivates compact nonlinear photonic devices that can operate at low power. Silicon photonics is a mature platform for linear optical functions, but nonlinear operation remains challenging because of its weak Kerr response, two-photon absorption at telecommunication wavelengths, and limited compatibility with deeply subwavelength plasmonic confinement. This thesis computationally investigates epsilon-near-zero thin films integrated into plasmonic waveguide architectures as a route toward stronger light–matter interaction in compact nonlinear devices.

Two waveguide geometries are examined: a hybrid metal-insulator-metal plasmonic slab waveguide incorporating an ultrathin indium tin oxide epsilon-near-zero layer (5–50 nm), and a dielectric-loaded …

A Case Study On Using Large Language Models To Drive Convergence-Oriented Literature Discovery In Critical Infrastructure Security, Caden J. Williamson

Electrical Engineering and Computer Science Undergraduate Honors Theses

In the world of cybersecurity, the rapid development of artificial intelligence proposes a constant challenge for researchers to defend critical infrastructure. Attacks on critical infrastructure can be catastrophic, and emerging strategies of cyber-adversaries that implement leading AI models can expose vulnerabilities in critical infrastructure much faster than previous tools. To defend against this emerging threat, the Cybersecurity Research Working Group at the University of Arkansas is aiming to develop a cross-domain and cross-discipline center of excellence. To support this effort, the group is writing a literature review on the topics of AI and critical systems security. Literature review is an …

Search For Slow-Moving Magnetic Monopoles With An Improved High-Energy Event Removal Algorithm, Reeshi N. Gihosal

Honors Theses

Fermilab’s NOvA (NuMI Off-axis 𝑣𝑒 Appearance) experiment focuses on understanding the behavior of neutrinos and how they affect the cosmos. A sub-focus of the NOvA experiment is the search for magnetic monopoles. These elusive particles have not yet been observed in nature, leaving their behavior to be mysterious. The Far Detector, located in Ash River, MN, is integral in the search for these particles. This project is on simulated magnetic monopoles with speeds thousandths the speed of light, with focus on the role of slicing algorithms in event reconstruction using the NOvA experiment’s reconstruction algorithm. Using sample data, analysis occurred …

Analyzing The Writing Style Of Generative Ai When Prompted With Writing Samples, Samuel Mcdowell

Senior Honors Theses

Authorship attribution is an important topic in today’s world of Large Language Models (LLMs). It is the technology that helps to verify the author of a written work. This study explores whether LLMs can successfully mimic an individual’s writing style if they are given a text sample. A dataset of human-written texts was collected and used to prompt several LLMs to generate new texts that attempt to replicate the original author’s stylistic characteristics. The generated texts were then tested with modern authorship attribution models to determine whether they would be identified as being written by the original author. The results …

Using Siamese Neural Networks To Effectively Detect Trojans In Fpgas When Trojans Manipulate Encryption Operations At The Bitstream Level, Kylie Arnett

Graduate Theses and Dissertations (2019 - present)

This research investigates security vulnerabilities in Field-Programmable Gate Arrays (FPGAs) at the bitstream level, focusing on hardware trojans (HTs) that manipulate encryption operations. This study addresses two critical questions: (1) The feasibility of exploiting FPGA bitstreams to selectively bypass encryption operations when a predefined input pattern is observed (all ones), thereby exposing sensitive data, and (2) the efficacy of Siamese Neural Networks (SNNs) in detecting such trojans with high accuracy. FPGAs are vulnerable to malicious modifications during manufacturing or deployment, posing risks to data integrity and system functionality. In this work, a trojan is inserted into a Xilinx series-7 FPGA …

Polyglot File Detection For Forensic Investigations, Chase Stevens

Graduate Theses and Dissertations (2019 - present)

As technology has become far more ubiquitous over the years, so too has the amount of digital evidence that can and needs to be collected and processed. Forensic tools are developed in response to the growing need, but are limited to what they are programmed to do. One such forensic tool is Autopsy, one of the most widely used open-source tools. Autopsy uses known file-type signatures (e.g., headers, trailers) to identify and recover files from forensic images. Polyglot files introduce a unique problem to both these forensic tools and investigators alike. In the context of the research conducted, polyglot files …

Detecting Sophisticated Cyberattacks On Public Water Infrastructure, Ayrton Purdy

Graduate Theses and Dissertations (2019 - present)

In recent years there has been an increasing number of cyberattacks on public water generation and distribution systems. Advanced persistent attackers could usurp sensors and control systems to contaminate public drinking water. In order to conceal their malicious activity, they can manipulate sensor data flows to give the appearance of normal activity. The compromised sensors would report normal chemical levels even though unsafe water is entering the distribution system. In response, this research proposes a multi-sensor, cross-comparison approach to anomaly detection. The proposed approach is designed to detect sophisticated cyberattacks which are not easily detectable using traditional cyber tools. The …

Developing A Framework For Microchip Design Recovery, Eric Diep

Graduate Theses and Dissertations (2019 - present)

Due to the increase in diverse chip production over the past decade, reverse engineering has become a difficult and daunting task. This research develops a methodology for microchip design recovery, seeking to validate and reproduce prior approaches to physical reverse engineering using low-cost tools and techniques. We used mechanical hardware abrasion tools and techniques to delayer and capture silicon integrated chip (IC) layout. We focused on the Mifare Classic EVl microchip, commonly implemented in public transit/transportation cards, to extract information for design recovery. The research explores limitations and advantages of mechanical abrasion and optical microscopy in context to modem chip …

Ai Literacy: An Annotated Oer Bibliography, Houy Yvonne

UNLV Best Teaching Practices Expo

"Scalable, discipline-agnostic AI literacy instruction can be implemented incrementally without requiring full course redesign in higher education, supporting both technical understanding and critical engagement with the social and ethical dimensions of AI: The curated list of open educational resources (OER) on this poster enable a flexible, modular approach to teaching foundational AI literacy. The annotated list includes self-paced, hands-on projects with complementary educator-guided activities and discussion to support conceptual understanding of machine learning, training data, and algorithmic bias, drawing on OER such as Code.org’s AI curriculum, MIT RAISE’s Day of AI, and the multi-lingual Elements of AI course. Many resources …

Deconstructing The Black Box: An Explainability Analysis Of Deep Learning Architectures In Cytopathology, Chase A. Garrett

SACAD: Scholarly Activities

Deep learning shows strong potential in medical-image analysis, yet adoption in cyptopathology

remains limited. Cytopathology could benefit from deep learning applications by improving

diagnostic efficiency and accuracy. However deep learning comes with a notorious “black box”

that keeps the models from being transparent and trustworthy for widespread clinical adoption.

We conducted a comprehensive and comparative analysis of several deep learning architectures

for multi-class classification of acute leukemia types, ALL, AML, and normal healthy cells from

peripheral blood smear images. The models in this research include a Vision Transformer (ViT)

and a diverse selection of Convolutional Neural Network (CNN) models. The …

Escaping Isolation: An Analysis Of Virtual Machine And Container Breakout Vulnerabilities, Felix Iov

Cybersecurity Undergraduate Research Showcase

Cloud computing providers rely on multi-tenant architectures to maximize resource efficiency. This infrastructure depends on virtualization, which provides isolation between clients. This comes primarily in the form of Virtual Machines (VMs) and Containers. However, “breakout attacks” or “escapes” are a critical threat where attackers bypass these isolation layers to gain unauthorized access to the host system and neighboring environments. This paper surveys virtualization escape threats and analyzes three case studies: a runc container escape (Leaky Vessels), a VMware ESXi VM escape (VSOCKPuppet), and an NVIDIA GPU container escape (NVIDIAScape). Each demonstrates different attack surfaces, including file descriptor misuse, kernel driver …

Roomiq, Po Kya, Eh Paw, Nicole Holt, Riley Lindsay

ATU Scholars Symposium

1. RoomIQ is a smart room scheduling system designed to replace the current booking process for Corley Room 230 at Arkansas Tech University (ATU). The existing system presents challenges in efficiency, accessibility, and real-time coordination. Our goal is to deliver a user-friendly, real- time coordinated reservation solution that improves both functionality and overall user experience. The system will operate on an iPad Mini mounted outside the room, allowing users to instantly check availability and reserve the space on-site. This provides a convenient solution for immediate scheduling needs. In addition, a QR code displayed at the entrance will allow users to access …

The Cake Is A Lie: Hid Wireless Adapter*, Andrew J. Patton, Benjamin Chant

Campus Research Month

This project explores converting wired Human Interface Devices (HID) into wireless devices by creating an adapter. Devices without wireless chips or dongles are hindered when flexibility is required, creating electrical waste. Our solution consists of a Transmitter (TX) and Receiver (RX) device pair and is designed to wirelessly bridge USB input from an HID device to a target host.

Scenarioxp: A Complete Scenario-Based Testing Framework For The Exploration And Exploitation Of Autonomous Vehicle Validation Scenarios, Quentin Goss

Doctoral Dissertations and Master's Theses

Today is an age of exciting emerging technology where cutting-edge research in autonomous vehicles (AVs) reduces the active human participation in driving and extends awareness beyond human limitations of perception and reaction, improving driving safety and quality of the user experience as a result. The ever-increasing complexity of these autonomous systems poses many challenges towards the validation and verification (V\&V) of these complex systems under time and resource constraints, as the use of artificial intelligence and also the intricacy of the operating environment means that these systems are also black-box and non-deterministic. Scenario-based V\&V testing of such systems, which involves …

Evaluating Predictive Structure In Penny Stocks Using Machine Learning And Statistical Methods, Susom Hait

Honors Theses

Market prediction attempts have primarily focused on large-cap stocks due to their stability and market consistency. As such, studies that use time-series techniques to predict large-cap stocks have produced consistent results. Despite the success of large-cap predictions, penny stocks have remained unexplored in modern academia due to their high volatility, low liquidity, and structural instability. Regardless, unexplored market potential and technological advancements underscore the need for preliminary research into penny stock forecasting. This study aims to determine whether meaningful predictive structures exist in time-series penny stock data. This study utilizes an incremental approach. Various penny stocks were selected, pooled, and …