Other Computer Sciences Commons^™

Bitseat: Reimagining The Financing For Airliners Using Nonfungible Tokens (Blockchain Technology), Edwin S. Ongola

Journal of Aviation Technology and Engineering

This essay describes how blockchain technology, particularly nonfungible tokens, can be used to raise funding for airliners. The essay begins with a brief overview on the costs, categories, and acquisition methods of airliners. After that, the essay introduces concepts on blockchain technology, tokens, and smart contracts. The essay then touches on how nonfungible tokens can be used to facilitate fractional ownership of airliners. From there, the essay discusses Bitseat, a conceptual nonfungible token for fractional ownership of airliners, covering its overall design, appeal, marketplace alternatives, and challenges. Finally, in the discussion, the essay summarizes the overall concept and outlines its …

A Novel Entropy Based Maintainability Measurement Algorithm For Java Source Code., Remi M. Yusuf Mr, Md Shadab Mashuk, Julian Bass

Communications of the IIMA

Software metrics play a central role in assessing and managing the quality of software systems providing quantitative insights into attributes such as complexity, reliability, rigidity, modifiability and maintainability. Among these, maintainability is particularly critical, as it directly influences the ease of system evolution, long-term sustainability, and overall cost effectiveness. Despite the widespread use of metric-based maintainability measurement algorithms, capturing a value that reflects the maintainability situation of software source code remains a challenging task, especially in the presence of design deficiencies such as code smells. To measure changes in maintainability, this study experimentaly characterises the relationship between code smells and …

A Transformer-Based Approach With Data Augmentation For Multilabel Emotional Context Detection, Mohsin Hasan Hussein, Marem H. Abdulabas, Azha Talal Mohammed Ali, Homam Aziz Ghazi

Al-Bahir

Emotion identification in texts is becoming increasingly difficult because of the wide variety of ways emotions are represented. This study uses a fine-tuned Robustly Optimized Bidirectional Encoder Representations from Transformers Approach

(RoBERTa) to offer a Transformer-based model for identifying multilabel emotional context in textual data. To balance emotion categories and enhance the model's capacity for generalization, data augmentation is applied on two different datasets: Semantic Evaluation and Cross-lingual Emotion Dataset (SemEval and XED) English corpus. This stage is considered one of the most important steps in preprocessing as it greatly helps to improve the results. The RoBERTa model was then …

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 …