Digital Commons Network^™

Exposing And Addressing Machine Learning Brittleness Through Constraint Solving, Muyeed Ahmed

Dissertations

Machine Learning (ML) implementations are fundamentally brittle: nondeterministic, inconsistent, and prone to overfitting; however, constraint solving can be used to systematically expose, quantify, and address this brittleness.

This dissertation first establishes that widely-used implementations of popular ML algorithms are nondeterministic (producing different outputs on the same input, across different runs) and inconsistent (different implementations of the same algorithm producing different outputs on the same input). This is more prevalent in Unsupervised Learning (UL) implementations where, due to the lack of a ground truth, subtle execution errors can go unnoticed and are difficult to verify. Nondeterminism and inconsistency also introduce security …

Development Of Ultrafast Protein Digestion And Standards Free Quantitation Methods For Mass Spectrometric Analysis, Praneeth Ivan Joel Fnu

Dissertations

A wide variety of biologically important molecules, such as enzymes, antibodies, hormones, transporters and receptors are proteins by composition and they play key roles in biological functions such as cellular regulation, communication, metabolism and physiological function. Protein dysfunctions and abnormalities are associated with numerous diseases, making proteins critical targets for understanding disease mechanisms and developing therapeutic interventions. Protein-based therapeutics such as monoclonal antibodies, hormones and vaccines gained popularity due to their high specificity, efficacy, and ability to treat complex diseases that are often difficult to address with small-molecule drugs.

Given the important role of proteins in a variety of biological …

The Inverse Elasto-Acoustic Problem, Patrick Grice

Dissertations

A stable and numerically efficient boundary integral method formulation of the elasto-acoustic problem is presented, based on Fourier analysis. The method generalizes well to multiple scattering. The Frechet derivative of the elasto-acoustic problem with respect to shape perturbations is derived, and geometric flow theory is used to design stable numerical methods for the simulation of moving boundaries. The shape derivative is used to define a regularized Gauss-Newton algorithm for shape fitting of elasto-acoustic scatterers.

Geometric Convergence And State-Space Decompositions For Stochastic Gradient Descent Markov Chains, Philip Zaleski

Dissertations

No abstract provided.

Solar Wind - Magnetosphere - Ionosphere Coupling Processes Through Small-Scale Magnetic Flux Ropes, Youra Shin

Dissertations

Small-scale magnetic flux ropes (SMFRs) in the solar wind are examined to determine their properties in the near-Earth upstream region and their effects on geospace. Although SMFRs are observed frequently in the solar wind, their statistical behavior near Earth and their role in solar wind-magnetosphere-ionosphere coupling remain insufficiently constrained. In this dissertation, an automated Grad-Shafranov reconstruction technique is applied to magnetic field and plasma measurements from MMS and Wind, and ionospheric responses are investigated using geomagnetic indices and SuperDARN observations. During the survey period, MMS has an apogee of approximately 25-29 R_E. This orbital configuration allows the near-Earth …

D2.02 Game Demonstration: Adventures With Emmy, W. Brian Lane, Patrick Morgan, Cristo Leon

10mo Coloquio Internacional de Estudios sobre Juegos de Rol

Demo of Adventures with Emmy, a STEM tabletop RPG supporting inquiry, collaboration, and interdisciplinary learning through structured play. This demo will be presented in English in a pressential format.

Game development, playtesting, and research supported by NSF 251702.

Edge Co-Occurrence Regularization For Node Classification, Kadir Altunel

Theses

We propose a simple yet effective regularization technique for node classification on graphs that leverages edge-based label co-occurrence patterns. We first train an MLP on node features to produce class probability distributions, then compute a fixed penalty matrix from edge-based co-occurrence statistics of these predictions. This penalty matrix, which captures unlikely class combinations on connected nodes, is then used to regularize GNN training without further updates. We evaluate this approach across multiple homophilic datasets (Cora, CiteSeer, PubMed, ogbn-arxiv) and heterophilic benchmarks (Chameleon, Squirrel, Actor, Roman-Empire) using three GNN architectures: GCN, GraphSAGE, and H2GCN. Results show consistent improvements on homophilic graphs, …

Polarimetric Terahertz Imaging For The Measurement Of Birefringence In Plastic, Rachel Cohen

Theses

Birefringence offers a promising way to observe stress concentration in materials such as glass and plastic, and thereby to identify weaknesses. Polarimetric imaging can be used to measure the birefringence of material, so long as the material is transparent to the light being used for the imaging. In this research, 2D Terahertz imaging was investigated as a means of measuring the birefringence of plastics that are opaque to visible light but transparent to THz radiation, for the eventual purpose of analyzing the residual stress present. In order to do so, two separate terahertz cameras were characterized for potential use in …

Pypitfall: Dependency Chaos And Supply Chain Vulnerabilities In Python, Jacob Mahon

Theses

Python software development heavily relies on third-party packages. Direct and transitive dependencies create a labyrinth of software supply chains. While it is convenient to reuse code, vulnerabilities within these dependency chains can propagate through dependencies, potentially affecting downstream packages and applications. PyPI, the official Python package repository, hosts many packages and lacks a comprehensive analysis of the prevalence of vulnerable dependencies. PyPitfall, a quantitative analysis of vulnerable dependencies across the PyPI ecosystem, is introduced. The dependency metadata of 378,573 PyPI packages is analyzed. 4,655 packages that explicitly require a known vulnerable package version and 141,044 packages that permit a vulnerable …

Adaptive Multimodal Smart Home Control On A Raspberry Pi 5 Using Hand Gestures, Voice Cues, And User Feedback, Vaibhav Bora

Theses

A real time multimodal smart home control system deployed on a Raspberry Pi 5 is presented. The system combines hand gestures, short voice cues, and proximity aware interaction to execute household commands such as light brightness control, fan speed adjustment, and stop or kill switch actions. Lightweight gesture and keyword spotting voice classifiers were trained offline and exported to TensorFlow Lite for efficient on device inference. For more natural spoken phrases, the system additionally integrates a locally deployed pretrained offline ASR component rather than a speech recognizer trained from scratch. Using a USB camera and microphone, the system operates fully …

Robustness Of Ai-Driven Histopathology Under Real-World Adversarial Examples, Ruchik N. Yajnik

Theses

This robustness of histopathology classification models under adversarial and real-world perturbations resembling clinical artifacts is being investigated.

Using whole-slide images from the CAMELYON17 cohort, four representative architectures—ResNet-18, ResNet-50, HIPT-2MLP, and ViT-B/16 —are benchmarked across controlled pixel-level distortions and artifact-like transformations. Adversarial methods include iterative Fast Gradient Sign, Projected Gradient Descent, Salt-and-Pepper noise, and the Adversarial Watermark—Stain Shift (AWSS). Three defense strategies—Randomized Smoothing, Adversarial Training, and an Artifact Detector—are evaluated for their ability to preserve diagnostic accuracy and model reliability. Structured perturbations consistently degrade performance, with transformer-based models showing the greatest sensitivity. The benchmark developed here offers a reproducible framework for …

Sound Detection Of Memory Leaks In Llvm Ir Programs Using Accumulation Analysis, Robert Blacha

Theses

Resource leaks occur when a limited resource such as memory is allocated by a program and needlessly held past the point of use. Leaks can lead to a degradation of services which can be specifically triggered with malicious behavior, for example abusing a memory leak in a program to cause a server to slow down and crash for a denial-of-service attack.

Prior work has demonstrated that accumulation analysis provides a sound detection of resource leaks with a working implementation for programs written in Java. While useful, current implementations are limited to programs written in Java, which has a garbage collector, …

Perceptual And Geometric Advances In Crowd Simulation, Bilas Talukdar

Dissertations

Simulating realistic crowd motion remains a fundamental challenge in computer graphics and multi-agent systems, as it requires modeling both physically plausible interactions and perceptually natural behaviors. Existing crowd simulation methods typically employ simplified geometric abstractions, most commonly circular agent representations, and model navigation using either analytical interaction formulations (e.g., force, velocity, or constraint-based methods) or learned policies derived through reinforcement learning. Despite their effectiveness, these approaches often overlook detailed geometric structure and do not explicitly account for perceptual realism. This dissertation addresses these challenges by improving the realism of virtual crowd simulation through two key advancements: perceptual preference learning and …

Principles Of Privacy And Security In Artificial Intelligence And Applications, Khang Tran

Dissertations

Modern artificial intelligence (AI) systems have transformed critical domains such as healthcare, software engineering, finance, and the legal system. Despite their broad impact, concerns about trustworthiness, especially regarding privacy and security, remain major obstacles to wider adoption. Addressing these concerns requires both a systematic understanding of the privacy and security risks inherent in AI systems and the development of principled foundations for trustworthy AI that safeguard client privacy and security. This goal is particularly challenging because of the complexity of modern large-scale AI systems, the trade-offs between privacy and model utility, and the need to simultaneously ensure other important properties …

Mechanics And Physical Attributes Of Nature-Based Alterations: Rock Reinforcement And Urban Heat Island Assessment, Mary Chikondi Ngoma

Dissertations

Ground improvement is critical to geotechnical and geo-engineering systems, where modification of the properties of geomaterials (rocks and soils) is required to maintain stability and prevent failure of infrastructure installed within and around them. This need has become increasingly important with rapid urbanization and population growth, which intensify demands on surface and subsurface systems and further challenge the performance of supporting geomaterials. As a result, there is growing interest in nature-based solutions, particularly biologically mediated processes such as biocementation, which can enhance the physical, hydraulic, and mechanical properties of geomaterials while offering environmentally sustainable alternatives to conventional ground improvement techniques. …

Enabling Ml/Ai In 6g And Future Wireless Communication With Privacy Preservation, Mec Offloading And Quantum Computing, Changshi Zhou

Dissertations

The forthcoming sixth-generation (6G) and future wireless networks are envisioned to support an unprecedented range of services, delivering ultra-low latency, massive connectivity, and intelligent real-time responsiveness. These capabilities will enable emerging applications such as extended reality (XR), autonomous vehicles (AVs), industrial robotics, and the Internet of Things (IoT) to reach their full potential. Achieving this vision requires the integration of enabling technologies such as artificial intelligence and machine learning (AI/ML) and quantum computing, which are poised to play central roles in shaping the landscape of wireless communication systems.

In AI-native, data-driven, and computing-centric 6G networks, ML models will be deeply …

Differential-Geometric Methods For Neural Signed Distance Fields: Parameterized Surface Extraction And Curvature Regularization For Cad Models, Haotian Yin

Dissertations

Neural signed distance fields have emerged as a powerful framework for representing three-dimensional geometry through continuous and differentiable neural functions. Their flexibility, resolution independence, and compatibility with gradient-based optimization make them especially attractive for surface reconstruction and geometric learning. However, despite these advantages, two fundamental challenges remain for engineering-grade applications. First, higher-order geometric properties such as curvature are difficult to model reliably during training and often require computationally expensive second-order differentiation. Second, while neural signed distance fields provide implicit surface representations, they do not directly yield a globally consistent forward map or parameterization for downstream geometric processing.

This dissertation addresses …

Holistic Dram Enhancements: From Intrinsic In-Memory Operations To Robust Security Mechanisms, Ranyang Zhou

Dissertations

Dynamic Random-Access Memory (DRAM) is both the performance bottleneck and a critical security boundary of modern computing systems. Its physical properties make it an attractive substrate for near-data computation—yet those same properties expose it to disturbance-based hardware attacks. This dissertation argues that these two dimensions are not independent: the architectural choices that make DRAM efficient also reshape its threat landscape. Addressing both requires a unified approach to memory architecture and security co-design.

The first part of this dissertation attacks the memory wall through four processing-in-DRAM (PIM) frameworks. ReD-LUT and LT-PIM unify lookup-table arithmetic with charge-sharing logic, achieving up to 37.8x …

Disentangling Non-Thermal Electron Injection And Decay In Solar Flares Using Multi-Wavelength Radio Observations, Brian Eugene O’Donnell

Dissertations

The broadband microwave imaging spectroscopy capability provided by the Expanded Owens Valley Solar Array (EOVSA) allows new diagnostics of high-energy processes in solar flares, providing spatially and temporally resolved spectra rich in information about the acceleration and transport of energetic electrons.

In this work, injections and transport of energy and particles into the solar corona during flares are studied. This is accomplished through the development and use of the PIP_Decomp Fitter, an automated fitting tool made by the author to fit injection and precipitation/decay parameters using the spatially resolved radio spectra obtained by EOVSA. These tools are used to study …

A Generative Ai-Driven Computational Framework For Industry-Scale Discovery Of Novel Battery Materials, Joy Datta

Dissertations

The growing demand for sustainable, high-energy-density electrochemical storage has motivated the exploration of multivalent-ion batteries based on earth-abundant elements such as aluminum, calcium, magnesium, and zinc. While multivalent charge carriers offer higher theoretical energy density than lithium, their practical deployment is hindered by sluggish ion transport, strong ion-host interactions, and structural degradation of electrode materials. Identifying host materials that can reversibly accommodate multivalent ions while maintaining structural integrity remains a fundamental challenge. The dissertation develops a scalable, end-to-end computational framework that integrates density functional theory (DFT), machine learning (ML), and generative artificial intelligence (GenAI) to accelerate the discovery of next-generation …

Toward Learning-Based Reconstruction And Part Decomposition Of Man-Made 3d Geometry: Neural Implicit Representations And Scalable Supervision, Shen Fan

Dissertations

Digital three-dimensional (3D) models are central to engineering design, analysis, and manufacturing, but learning pipelines for man-made geometry often operate on sampled carriers that do not preserve all of the structure present in exact CAD representations. This dissertation studies learning-based reconstruction and part decomposition for structured man-made 3D geometry, from general object benchmarks to CAD-derived datasets, with a focus on neural implicit representations trained from signed-distance samples, point clouds, and tessellated meshes. The goal is to make these models more accurate, more part-aware, and more consistently supervised.

First, signed distance function (SDF) reconstruction with implicit neural representations is improved through …

Anonymity And Accountability In Secure Messaging, Erin Kenney

Dissertations

Encypted messaging has become more and more prevalent as time moves on, and its benefits in assuring privacy cannot be overstated, but it also brings along with it concerns on how to moderate platforms where all messages are hidden. Message Franking, followed by Traceback systems, addressed these concerns by allowing the sender of a message to be proven when reported, even for forwarded messages in the case of Traceback, however these systems damage the privacy guarantees that originally motivated encrypted messaging to begin with.

In practice, even without those concerns encrypted messaging alone is not enough to prevent the most …

Glass Transition Temperature Of Plga Nanoparticles And The Application In Drug Delivery, Guangliang Liu

Dissertations

The glass transition temperature (T_g) of poly(D,L-lactic-co-glycolic acid) (PLGA) nanoparticles plays a crucial role in governing molecular mobility, diffusion, and consequently, drug release kinetics. However, the interaction among residual surfactant, drug effect, nanoscale confinement, and release medium on T_g remains insufficiently characterized. This study aims to bridge this gap by correlating the thermal behavior of PLGA nanoparticles with their drug release behavior under physiologically relevant conditions.

In the present study, PLGA nanoparticles were synthesized using both nano-emulsion and surfactant-free nano-precipitation approaches. The influence of residual surfactants - poly(vinyl alcohol) (PVA) and didodecyldimethylammonium bromide (DMAB) - was systematically …

Parameter Density Estimation For Cardiac Electrophysiology Models Using Data Consistent Deep Learning, Michael Luo

Dissertations

Mathematical models of biological rhythms and excitable systems can provide insights into mechanisms underlying cardiac electrical dynamics. However, estimating the parameters of these models from experimental observations is often difficult due to noise, heterogeneity, and unobserved variables. For example, in an electrocardiogram (ECG) recording, information about the electrical properties of different regions of the heart is compressed into a single voltage trace. Additionally, variability within these signals may contain important information about population heterogeneity, regional differences in electrophysiology, and time-dependent modulation.

This dissertation develops, explores, and evaluates methods that perform feature-based distributional inference for complex nonlinear dynamical systems. The objective …

Engineering Design And Analysis Using Creo® Cad, Cae, And Manufacturing Applications, Swapnil Moon

Open and Affordable Textbooks

This textbook presents a structured approach to computer-aided design using Creo, integrating CAD, CAE, and CAM workflows within a unified engineering framework. The material emphasizes parametric modeling, design intent, and feature-based modeling as foundations for creating robust and adaptable engineering models. Through progressively structured tutorials, students develop skills in part modeling, assemblies, engineering drawings, mechanism design, simulation, and manufacturing. The text incorporates real-world engineering components and workflows, including structural and thermal analysis, motion simulation, and toolpath generation, reflecting modern engineering practice. Designed for upper-division undergraduate and graduate students, this open educational resource supports hands-on learning and prepares students for industry-relevant …

Los Juegos De Rol Como Una Herramienta Psicoeducativa, Víctor E. Quintana Villarreal

Journal of Roleplaying Studies and STEAM

Los juegos de rol han funcionado durante mucho tiempo como un medio para compartir y crear historias en conjunto con colegas y amigos. De ellos, se desprenden también habilidades y herramientas fundamentales para la vida, por lo que un método para sistematizar estos juegos de tablero y dados a funciones educativas es necesario para potenciarlos como herramientas psicoeducativas.

La siguiente, es una propuesta planteada desde el marco constructivista para generar espacios con los juegos de rol como eje central del aprendizaje, y se relatan a través de un marco teórico, seguido de una proposición metodológica, una serie de pasos para …

Journal Of Roleplaying Studies And Steam (Jrpssteam) Vol. 5 [2026], Número 1 (Issue 1), Romano Ponce-Díaz Phd, Cristo Leon, Ivan Avila, Sarah Lynne Bowman, Kjell Hedgard Hugaas, Alexandra Schreiber Ma, Jaime Eduardo García Maya, Víctor Emmanuel Quintana Villarreal Vic Emma, Francisco Gonzalez Ing., Daniel Romero Benguigui, Antonio Roda-Martínez

Journal of Roleplaying Studies and STEAM

El presente número del Journal of Roleplaying Studies and STEAM examina la convergencia entre las prácticas lúdicas, el diseño narrativo y los procesos de mediación sociocultural en la investigación contemporánea. Las contribuciones reunidas en este número abordan el juego de rol como un dispositivo de producción de conocimiento, intervención psicoeducativa y reelaboración de representaciones culturales. Nos podemos atrever a señalar que la educación es la convergencia entre la ludología, las ciencias sociales, los estudios visuales y el análisis cultural; entendiendo a la educación como la actividad consciente e intencionada de transmitir información y conocimientos a las siguientes generaciones.

Martin Heidegger …

Editorial: El Juego De Rol Como Instrucción Para La Inmortalidad, Romano Ponce Díaz

Journal of Roleplaying Studies and STEAM

El presente número del Journal of Roleplaying Studies and STEAM examina la convergencia entre las prácticas lúdicas, el diseño narrativo y los procesos de mediación sociocultural en la investigación contemporánea. Las contribuciones reunidas en este número abordan el juego de rol como un dispositivo de producción de conocimiento, intervención psicoeducativa y reelaboración de representaciones culturales. Nos podemos atrever a señalar que la educación es la convergencia entre la ludología, las ciencias sociales, los estudios visuales y el análisis cultural; entendiendo a la educación como la actividad consciente e intencionada de transmitir información y conocimientos a las siguientes generaciones.

Practicing Conflict Transformation Skills Through Role-Playing Games For Diversity, Equity, And Inclusion In Higher Education, Alexandra Schreiber, Kjell H. Hugaas, Sarah L. Bowman

Journal of Roleplaying Studies and STEAM

No abstract provided.

3d: Dragones, Dados Y Deseos. Rituales En Las Comunidades Roleras De Bogotá, Francisco Gonzalez Buitrago

Journal of Roleplaying Studies and STEAM

¿Qué ocurre cuando la ficción deja de ser solo entretenimiento y se transforma en refugio, ritual y espacio de transgresión? Este artículo analiza los hallazgos de una etnografía y un ejercicio de cartografía social en torno a comunidades roleras de Bogotá, mostrando cómo jóvenes y adultos reconfiguran sus vidas cotidianas a través del juego de rol.

Lejos de limitarse al escapismo, las partidas se convierten en escenarios simbólicos donde caben la negociación, la crítica y la catarsis. En una ciudad marcada por la incertidumbre generacional y las tensiones entre género, clase y territorio, las campañas de rol permiten reimaginarse a …