Computer Sciences Commons^™

Buffeted By Change, Researchers Seek Continuity And Investment: Results From The Ithaka S+R Us Researcher Survey, Chelsea Mccracken, Dylan Ruediger, Ruby Macdougall

Copyright, Fair Use, Scholarly Communication, etc.

Executive summary

The research enterprise in the United States, established after the second world war, is experiencing massive disruption. US colleges and universities are grappling with federal and state disinvestment and intervention at a time when AI and other technologies are reshaping how research is conducted and its findings are communicated. As a result, researchers at US higher education institutions are operating in an unstable environment. Against this backdrop, the findings from our survey of 4,003 researchers, fielded in late 2025, demonstrate that they remain committed to carrying out essential work and that they are doing so in innovative ways—through …

Ethos: A Computational Framework For Material Culture Research, Chelsea L. Grafe

Department of Textiles, Merchandising and Fashion Design: Dissertations, Theses, and Student Research

Museum catalog records make large collections searchable, but they do not always preserve the reasoning behind the claims they contain. A record may present a quilt's identity as settled while leaving the reasoning behind that claim invisible, making it difficult for later researchers to check, question, or reuse. This project asks whether museum catalog data can be analyzed in a way that keeps each analytical claim connected to the evidence that supports it. To test this question, the project applies a material-first computational framework named Ethos. Ethos formalizes an object-centered inquiry sequence in which material dependencies establish where analysis begins …

Shared Language For Responsible Ai Integration, Asa B. Stone, Mark C. Stone, Alisha Bevins, Jean Claude Niyomugabo, Irene Magara, Jacob Abaare, Derek M. Heeren, Mubarak Abu Zouriq

PRAIRIE: Pioneering Responsible AI for Research, Innovation, and Education

As AI rapidly reshapes how we work and learn, employers increasingly seek graduates who can think before they prompt, exercising judgment under pressure rather than merely producing output. Yet students are praised for AI use in one course and penalized for it in the next, and faculty are left to lead responsibly on shifting ground, with no shared language to guide them.

This paper introduces the PRAIRIE Framework for AI Integration, a shift from reactive gatekeeping toward proactive stewardship. It emerged from a qualitative sentiment analysis of three communities (students, faculty, and industry partners) whose concerns converged on one need: …

Online Legislation: Developments And Trends In Data Privacy And Software Development, Garrett J. Splinter

Honors Program: Senior Projects (Public)

The increasingly relevant interaction between the law and data privacy, as well as compliance requirements enforced by the United States, is currently in a state of transition. Various states, such as California, Colorado, Connecticut, Nebraska, and many others, all have passed legislation with varied requirements and definitions that make for a challenging framework in which software developers operate, as the universal nature of the internet renders their compliance with current legislation a challenge. Enforcement also tends to be relatively relaxed in most modern examples, though it has escalated after 2020, and this trend may continue in the future, lending credence …

Leveraging Code Embeddings To Identify And Address Blind Spots In Benchmark Creation, Charles Moloney

School of Computing: Dissertations, Theses, and Student Research

Formal software verification remains critical for early vulnerability detection, yet benchmarking these tools is costly and often reliant on centralized datasets such as SV-COMP. While such repositories enable standardized evaluation, they introduce risks of overfitting and bias, particularly due to first-party benchmark contributions. To address these limitations, we extend ARG-V, our tool for generating SV-COMP-compatible benchmarks from real-world Java code, with a novel approach of using code embedding techniques to selectively sample from mined code. By leveraging Nomic Embed Code and a cosine-based Minimum Hyperspherical Energy (MHE) objective, we systematically select and transform benchmarks from scraped GitHub code that …

Learning Technology Design And Prototyping In The Age Of Agentic Ai: The 10(D) 8(Re) Framework, Justin Olmanson, Jacques Safari Mwayaona, Sam Seim, Davey Stevens

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

Generative AI has changed what is possible in learning technology design and development. Early AI-supported prototyping made ideation, planning, code generation, and debugging more accessible through chat-based assistance. More recent AI-IDE integration as well as agentic and multi-agent development environments create new opportunities for educators to turn curricular and pedagogical insight into functioning learning technologies. However, these advances also introduce new risks: rapid feature accumulation, partially understood code, premature tool selection, and prototypes that appear functional before they are pedagogically coherent or technically legible. In this paper, we present 10(D) 8(Re), a design and development framework for learning technology design …

The Impact Of Community On Professional Identity In Computer Science Education, Ian A. Kollipara

School of Computing: Dissertations, Theses, and Student Research

This thesis explores the application of Communities of Practice (CoPs) in Computer Science Education. The work consists of two qualitative studies examining related but distinct populations: (1) K–12 CS teachers and (2) undergraduate CS students. The first study presents a retrospective analysis of conneCTION, an online CoP for K–12 CS educators, identifying strengths, weaknesses, and design considerations that inform future platform development. The second study investigates how participation in a CoP can mitigate negative and exclusionary stereotypes in CS. This study was conducted in an under-explored context: a small, private, religious, Midwestern university, and examines an existing community, the Programming …

A Webcam Eye Tracking Infrastructure For Software Engineering Tasks, Zachary M. Kozak

School of Computing: Dissertations, Theses, and Student Research

Performing eye tracking utilizing commodity webcams has been explored for over a decade, but limited camera quality and sensitivity to head movements have hindered its adoption in research settings. Recent advances in consumer-grade webcams and machine learning methods present an opportunity to improve the accuracy of webcam eye tracking and extend the feasibility of studies beyond controlled laboratory environments.

Current popular webcam eye tracking methods restrict implementations to the browser and rely on continuous user interactions for calibration, limiting the kinds of studies that can be conducted. This thesis presents a feature-based gaze prediction system that incorporates eye geometry and …

Open Multi-Agent Systems: The Free-Range-Zoo Framework And Moasei Competition, Ceferino J. Patino Iv

School of Computing: Dissertations, Theses, and Student Research

The field of multi-agent reinforcement learning (MARL) has made significant strides in addressing sequential decision-making problems under uncertainty. However, traditional MARL frameworks assume closed-world settings with fixed agent sets, static task distributions, and unchanging environment dynamics. This thesis presents two complementary contributions that advance the state of open-world multi-agent systems research: (1) the free-range-zoo framework, an open-source environment suite for MARL in open environments featuring dynamic agent populations, evolving task sets, and changing operational frames; and (2) the MOASEI Competition, an international benchmarking event that leverages free-range-zoo to evaluate how artificial agents handle openness in complex, partially observable domains. The …

Histopathology Image Classification Using Machine Learning, Mohammed H. Alali

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Histopathology image classification is a critical component of cancer diagnosis. However, the gigapixel scale of Whole-Slide Images (WSIs) and the high variability in tissue staining and scanner quality across medical centers present significant computational challenges. This dissertation proposes a comprehensive machine learning framework to address these challenges, bridging the gap between theoretical models and practical clinical deployment.

First, to manage the massive dimensionality and noise inherent in WSIs, this research develops a robust feature extraction methodology. The pipeline implements a stringent tile filtering technique to eliminate physical artifacts and resolve severe class imbalances. It integrates ConvNeXt alongside an attention-based pooling …

Responsible Ai In Teaching And Learning, Asa B. Stone, Mark C. Stone, Derek M. Heeren, Santosh Pitla

PRAIRIE: Pioneering Responsible AI for Research, Innovation, and Education

The rapid adoption of generative artificial intelligence (AI) in higher education presents both transformative opportunities and significant pedagogical risks. While AI tools are becoming embedded in academic and professional environments, their integration into teaching and learning raises critical questions about cognitive engagement, academic integrity, equity, and skill development. This white paper proposes a principled framework for the responsible integration of AI in higher education, grounded in the dual commitment to AI literacy and the cultivation of durable skills.

The framework articulates six core principles: purposefulness; transparency; integrity and attribution; critical AI literacy; equity and access; and privacy and data protection. …

Teacher Culturally Sustaining Practices Supported By Generative Ai: Instrument Development, Guy Trainin, Azadeh Hassani, Shuling Yang

Research and Evaluation in Education, Technology, Art, and Design

Generative AI (GenAI) carries the dual potential to reproduce educational inequities and to expand opportunities for multilingual support, critical evaluation, and personalized learning. This paper reports the development and initial validation of an instrument measuring K-12 literacy teachers' perceptions of GenAI's capacity to support culturally sustaining pedagogy. Grounded in culturally sustaining pedagogy (CSP) and its asset-based commitments, the instrument operationalizes three constructs, namely academic success, cultural competence, and critical consciousness, across both teacher and student use. Items were drawn from the CSP literature and refined through cognitive interviews, then administered to 109 PK-12 language arts educators. Reliability was strong for …

Pymelt-Px: A Python Script For Modeling Melting Of A Pyroxenite-Peridotite Bilithological Mantle, Ana L. Jimenez Bustos

Department of Earth and Atmospheric Sciences: Dissertations, Theses, and Student Research

The study of oceanic crust formation is a fundamental building block in our understanding of the processes of planetary formation, necessitating an understanding of the melt generation processes that help form oceanic crust. To aid in this purpose, we present pyMeltPX: a bilithological pyroxenite-peridotite mantle modeling script. Although the mantle is primarily comprised of peridotite, pyroxenite is a minor but ubiquitous feature of the mantle and can contribute a disproportionate amount of melt to crustal generation in mid-ocean ridge and ocean island basalt settings. Our model, pyMeltPX, is a python coded, extensible tool based on the Excel calculator by Lambart …

Llm-Assisted Cwe Identification, Severity Assessment, And Vulnerability Description Generation, Mohammad Jalili Torkamani

School of Computing: Dissertations, Theses, and Student Research

Identifying the underlying weakness types and assessing their severity using CWE and CVSS standards are critical steps in software vulnerability management. While timely assessment of vulnerabilities mitigates the impact of severe security incidents, automating joint CWE identification and severity assessment remains challenging due to the heterogeneity of vulnerabilities across different code granularities and programming languages. In addition, generating vulnerability descriptions is often time-consuming, as it requires extensive manual review, validation, and writing by security experts.

In this thesis, we leverage the capabilities of Large Language Models (LLMs) to automate the identification of CWE identifiers and the assessment of their severity …

Securing Connected And Autonomous Vehicles, Owana Marzia Moushi

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

A vehicular network is susceptible to various security flaws and attacks. Cryptographic techniques are used in vehicular networks but these alone cannot provide proper security to the network. Identifying various types of attacks is necessary to secure vehicular communication networks. In this dissertation, we focused on detecting various insider attacks in vehicular networks to enhance the security of the network.

Our first contribution in this dissertation is the detection of both binary and multi-class data replay and data replay Sybil attacks in vehicular networks. A publicly available dataset, VeReMi-Extension is used to detect these attacks. This dataset has been reformulated …

Investigating Programming Behaviors To Understand Student Engagement And Experience In Introductory Programming Courses, Marcus Eugene Gubanyi

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Introductory programming courses are foundational to developing students’ problem-solving abilities and shaping their persistence in computing pathways. Engagement with programming tasks plays a central role in student learning and experience. Many research measures, including self-reports and code submissions, offer only a limited view of student engagement with programming tasks. This dissertation leverages programming process data, consisting of keystrokes and compilation events, to capture the programming process as it unfolds and to investigate observable programming behaviors. Guided by educational theories, three studies examine how students’ programming behaviors vary across instructional and assessment contexts, how they relate to motivational profiles, and how …

Making Deep Neural Networks Trustworthy: Intelligibility And Safety Through Symbolic Methods, Eleanor Catherine Quint

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

The rapid adoption of deep learning has come at the cost of properties long valued in artificial intelligence: intelligibility and safety. This dissertation develops methods that restore these properties by coupling neural networks with symbolic structure.

First, for supervised classification, I propose a differentiable decision tree integrated with a supervised variational autoencoder. The resulting model maintains competitive accuracy and generative performance while exposing clear macro-features in its latent space, improving interpretability.

Second, for reinforcement learning, I extend constrained Markov decision processes by specifying constraints in formal languages. This formal language constrained MDP enables the use of automata for state augmentation, …

Learn To Fly: Enabling Deep Learning Based Perception And Control In Aerial Robotics, Krishna Muvva

School of Computing: Dissertations, Theses, and Student Research

Uncrewed Aerial Vehicles (UAVs) are increasingly deployed in dynamic, GPS degraded, and cluttered environments, yet their autonomy remains fundamentally constrained by limitations in onboard perception and real-time control. This dissertation addresses these challenges by proposing a unified framework that co-designs deep learning-based perception and model-based control, organized around three core thrusts: Learn to Track, Learn to Localize, and Learn to Evade.

Learn to Track develops dynamic and adaptive perception control mechanisms that optimize CNN inference for target tracking. A control-aware CNN framework dynamically adjusts inference frequency based on UAV motion, reducing latency while maintaining visual lock. An adaptive CNN with …

Futurescape Libraries Ai Toolkit, Keith Webster

Copyright, Fair Use, Scholarly Communication, etc.

A toolkit developed to explore scenario-specific strategies and activities that research libraries can undertake to prepare for various possible AI-influenced futures. The toolkit integrates the ARL/CNI AI Scenarios published in spring 2024 along with priorities trialed and refined by strategic thinkers working directly in, or adjacent to, the research library field during a Strategic Implications forum held December 7–8, 2024, in Washington, DC.

Traffic Prediction For Research And Education Networks: Anomaly-Aware Deep Learning And Benchmarking, Mohammad Arafath Uddin Shariff

School of Computing: Dissertations, Theses, and Student Research

Research and Education Networks (RENs) and High-Performance Computing (HPC) environments are critical infrastructures for modern scientific discovery, demanding sustained high-throughput and low-latency data transfers. Unlike commercial networks, RENs exhibit unique traffic characteristics, including predominant “elephant flows,” inherent burstiness, and complex temporal-spatial dynamics often decoupled from human-driven cycles. Traditional traffic forecasting methods, tailored for commercial Wide Area Networks (WANs), consistently fail to capture these distinct REN dynamics, leading to inefficient resource management and potential impediments to scientific progress.

This thesis addresses this critical gap by developing and validating a robust, scalable, and anomaly-aware traffic forecasting framework specifically tailored for REN/HPC networks. …

Online Prediction Of Streaming Data, Aleena Chanda

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

We present two new approaches for point prediction with streaming data based on a) the Count-Min sketch and b) Gaussian Process Priors with random bias. The methods are intended for the most general case where no true model can be usefully formulated for the data stream. In statistical contexts, this is often called the M open problem class. For the Count Min Sketch method we show that the predicted distribution function ^F converges to F under the assumption that the data consists of i.i.d samples from a fixed distribution function F. To implement the Gaussian Process Prior methods, we used …

How Developers Use Type-System Related Programming Language Features, Samuel W. Flint

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Optional type annotations are a popular feature of programming languages that allow developers to omit explicit type information in code while, in some cases, retaining many of the benefits of static typing, such as in-code documentation, improved detection of type errors, or enforcement of code properties. However, how developers use and understand optional type annotations is not clear. The focus of this dissertation is to understand the use and comprehension of optional type annotations.

Optional type annotations are examined through four lenses: first, by examining the evolution of usage in a statically typed programming language (Kotlin, the default language for …

Non-Blackbox Robust Design Of Machine Learning In Networks, Venkat Sai Suman Lamba Karanam

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

Networked systems have become increasingly complex, with newer communication technologies and standards being added every day. Machine Learning (ML) and Artificial Intelligence (AI) paradigms have been adopted in networks to not only solve many fundamental problems, but also to allow seamless integration of components comprising them. The saying “let’s not reinvent the wheel” in ML/AI adoption implies that model architecture design be left for pure ML/AI researchers, while network researchers focus on input preprocessing (e.g. formatting the packet data to be fed to a model), hyperparameter fine-tuning and a trial-and-error approach to find the “best” result. …

Authentication And Message Integrity Verification For Emerging Wireless Networks, Ebuka Philip Oguchi

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

This dissertation presents a comprehensive body of research on authentication and message integrity verification for emerging wireless networks, focusing on secret-free and physical layer security techniques across diverse, challenging, and unconventional environments.

It comprises four first-author contributions that span underground wireless systems, over-the-air (OTA) channels, vehicular communications, and nanoscale molecular networks.

The first contribution, Soil-Assisted Trust Establishment for Underground Wireless Networks (STUN), introduces a physical-layer trust bootstrapping protocol that achieves authentication and message integrity without pre-shared secrets. Leveraging underground-to-air propagation laws and trusted relay nodes, STUN resists active signal injection attacks and demonstrates security comparable to the unbalanced oil and …

Study Of Ai Applications In Biomedical Data Acquisition, Communication, And Analysis: Cest Mri Acceleration And Ecg Transmissions, Adarsha Bhattarai

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

This dissertation investigates the application of artificial intelligence in biomedical data acquisition, communication, and analysis to advance neurological research and to enable the early detection of cardiovascular conditions. Despite significant advances in imaging and physiological modalities, challenges persist. Imaging modalities, such as the chemical exchange saturation transfer magnetic resonance imaging (CEST MRI) technique are challenged by a prolonged data acquisition time and high operational costs. In addition, physiological modalities such as electrocardiogram (ECG) sensors face constraints in providing uninterrupted signal monitoring which is crucial for the timely detection of premature cardiac abnormalities. The primary goal of this work is to …

How Developers Use Type-System Related Programming Language Features, Samuel W. Flint

School of Computing: Dissertations, Theses, and Student Research

Optional type annotations are a popular feature of programming languages that allow developers to omit explicit type information in code while, in some cases, retaining many of the benefits of static typing, such as in-code documentation, improved detection of type errors, or enforcement of code properties. However, how developers use and understand optional type annotations is not clear. The focus of this dissertation is to understand the use and comprehension of optional type annotations.

Optional type annotations are examined through four lenses: first, by examining the evolution of usage in a statically typed programming language (Kotlin, the default language for …

Investigating The Impact Of Agent Openness On Planning In Multi-Agent Systems, Bala Subramanyam Duggirala

School of Computing: Dissertations, Theses, and Student Research

Multi-agent systems (MAS) possess significant potential for modeling real-world scenarios requiring coordinated actions (like wildfire fighting or ridesharing) among autonomous entities or agents (e.g., wildfire fighting agents) in complex, dynamic environments. Effective decision-theoretic planning (where each agent must carefully consider both the immediate and the future situations or states, and coordinate with the other agents (neighbors) to evaluate what needs to be done at present) within MAS, especially multiagent planning, where the planning agent directly models its neighbors in order to estimate their optimal actions, is critical, yet challenged by factors like partial observability, openness, and diverse agent types with …

Biocomputing Approach To Modeling And Modulating Calcium Signaling, Sehee Sun

School of Computing: Dissertations, Theses, and Student Research

Biocomputing is an emerging field that seeks to perform computational tasks using biological substrates and processes. Unlike conventional computing systems based on silicon hardware, biocomputing leverages the parallelism, energy efficiency, and complex dynamics of living systems. Among various cellular mechanisms, calcium (Ca2+) signaling stands out as a central regulator of diverse biological functions, offering a promising basis for programmable logic and control in living cells.

This thesis introduces a novel framework for modeling and modulating Ca2+ dynamics using biologically inspired Boolean logic circuits. Specifically, we propose the Ca2+ Boolean Logic (CaBL) model, in which Ca2+ fluxes and interactions are abstracted …

Analysis Of Vision Transformers And Domain Adaptation In Long-Range Facial Recognition, Zachary Michael Swanson

Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research

Atmospheric turbulence presents a significant barrier to long-range facial recognition, introducing severe geometric distortions and blur that degrade image quality. This thesis investigates deep learning approaches for mitigating these effects, with a focus on transformer based architectures and domain adaptation strategies.

An in-depth benchmarking study was performed using convolutional neural networks (CNNs) and vision transformers (ViTs) on the Husker BRIAR Research Collection from up to 500m (HBRC-500) face dataset. The results demonstrated that vision transformers, particularly hierarchical vision transformers like the shifted-window (Swin) transformer, outperform CNN-based models at long distances due to their ability to model global spatial relationships and …

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 …