Other Computer Sciences Commons^™

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

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

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 …

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 …

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 …

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 …

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 …

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 …

Enhancing Traffic Safety Through Ai-Driven, Privacy-Preserving, And Secure Impaired Driving Detection Systems, Razan Alsulieman

Dissertations

Drunk driving remains a major threat to road safety worldwide, contributing significantly to traffic injuries and fatalities each year. Traditional detection approaches are largely reactive and vehicle-centric, relying on in-vehicle sensors, breathalyzers, or post-incident enforcement. These methods often depend on driver cooperation, intrusive hardware installations, or limited monitoring environments, restricting their scalability and effectiveness in large transportation systems. At the same time, modern cities increasingly deploy roadside cameras, surveillance networks, and drone- based monitoring systems, creating new opportunities for proactive intoxication detection at the infrastructure level. However, leveraging such external monitoring introduces challenges related to secure data collection, reliable AI-based …

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 …

Classification Of Land Cover In Sentinel-2 Imagery Using Machine Learning Models, Ehsan Ali Al-Zubaidi, Mohammed Ridha Hammoodi, Ahmed Naser Alzurfi

Al-Bahir

Remote sensing data of medium resolution are commonly used to classify land cover, and machine learning (ML) models have taken on a central aspect in the necessary data analysis. Ordinarily, land cover is coded on a pixel basis on the basis of Digital Number (DN) values, which in turn are computed across several spectral bands. This paper is concerned with land cover mapping in Mosul, Iraq, based on satellite images captured by Sentinel-2. Two platforms featuring unsupervised classification algorithms were used, Google Earth Engine and ArcMap, making it possible to use K-means and X-means in Google Earth Engine and ISO …

Recovery And Validation Of Fragmented Rar Files Through The Scalpel3 Application, Thomas L. Landaiche Iii

LSU Master's Theses

A core component of filesystems includes an address table or other means of tracking metadata on where a given file resides within a disk image. This is crucial for regular operation of a computer, or disk analysis in digital forensics. When filesystem information is missing or corrupted, locating saved files on a disk becomes challenging. Whether the disk was accidentally wiped or intentionally tampered with, data still present on the disk, even while untracked, can possibly be recovered beyond what the filesystem registers. File carving in digital forensics is important for these scenarios when data recovery is necessary but address …

Automating Cardiff Model Data Capture In Emergency Departments: Ambient Nlp Integration With Oracle-Cerner Fhir Systems, Simi Augustine, Marco A. Lopez, Jacquelyn Cheun, Chris Papesh

SMU Data Science Review

Violence and overdose events in Las Vegas occur at rates above the national average, with fewer than half of violent injuries reported to law enforcement [2,7]. The Cardiff Model offers a proven framework for standardized data collection and sharing between hospitals and public safety partners, yet many implementations still rely on manual entry. We propose an ambient triage pipeline integrated with Oracle-Cerner electronic health record systems to listen to nurse–patient dialogue, convert speech to text, extract Cardiff fields, and write standards-based FHIR Bundles for analytics. Using SMART on FHIR standards and Cerner Millennium APIs, the study evaluates whether ambient capture …

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

Text Corpus Combined Method And Tools For Music Textual Analysis, Yuwei Lu

Shelby Hall Graduate Research Forum Posters

While there has been a great deal of research conducted on how to search images and video using text, there has been less focus on how to retrieve music using multiple facets such as mood and lyrical content. or its features This is due in part to the historical lack of available musical corpuses. A musical corpus is a specialized text corpus specifically designed to capture information about music. Recently, several musical corpora for music information retrieval have been built and made available. However, these corpora and the tools designed to exploit them are typically designed to facilitate only one …

Integrating Nonlinear Phase Space Analysis And Image-Based Representation For Network Intrusion Detection, Chakriya Suon

Shelby Hall Graduate Research Forum Posters

With the rise of cyber threats, cybersecurity continues to play a critical role in the ever-changing landscape of technology by protecting and defending against threat agents. Our research applies novel machine learning (ML)techniques to detect network intrusions effectively. Our primary focus is to extend prior research, which has used network flows that are processed by a nonlinear phase space algorithm (NLPSA). The NLSPA approach has proven extremely effective in detecting anomalous or malicious traffic patterns on representative data but requires extensive training time.

Our contribution integrates deep learning into the anomaly detection approach by creating image-based representations of the adjacency …