Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons

Open Access. Powered by Scholars. Published by Universities.®

Missouri University of Science and Technology

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 1 - 30 of 1938

Full-Text Articles in Computer Sciences

Long Range Battery-Free Wireless Power Transfer Testbed For Underground Mines Iot And Lpwan Devices, Anabi Hilary Kelechi, Samuel Frimpong, Sanjay Madria Dec 2026

Long Range Battery-Free Wireless Power Transfer Testbed For Underground Mines Iot And Lpwan Devices, Anabi Hilary Kelechi, Samuel Frimpong, Sanjay Madria

Mining Engineering Faculty Research & Creative Works

Underground mines are susceptible to occasional roof falls and cave-ins, temporarily destroying the existing wireless communications and telemetry infrastructure. During this temporary outage, intermittent provision of electrical energy wirelessly to the already deployed low-power wireless area networks (LPWAN) and Internet of Things (IoT) devices assumes a fundamental requirement. In this article, we propose and design a long-range far-field radio frequency (RF) wireless power transfer (WPT) testbed to power LPWAN and IoT devices at 35 m in an underground mines facility. Class AB external power amplifier (PA) was introduced to achieve a long-distance RF WPT, in the 880 MHz band. Thus, …


Online Multidimensional Multiple Choice Knapsack Path Planner For Uavs, Manisha Wadhwa, Neelima Gupta, Sanjay Madria Oct 2026

Online Multidimensional Multiple Choice Knapsack Path Planner For Uavs, Manisha Wadhwa, Neelima Gupta, Sanjay Madria

Computer Science Faculty Research & Creative Works

The rapid proliferation of Unmanned Aerial Vehicles (UAVs) in safety–critical and time-sensitive applications such as disaster management, battlefield reconnaissance, urban surveillance and infrastructure inspection demands online path planning strategies. A fundamental requirement in such missions is generating flight paths that pass through some pre-specified waypoints while servicing dynamically requested spatio-temporal task points arriving randomly such as capturing aerial imagery. Existing UAV path planning approaches, including A* and its variants, meta-heuristic algorithms, and dynamic programming, find the shortest distance path from source to destination, but they are predominantly offline and assume complete prior environmental knowledge, thus, incur significantly higher computational cost …


Individualized Bayesian Inference Identifies Novel Genetic Variants For Parkinson's Disease, Jin Ren, Yasaman J. Soofi, Md Asad Rahman, Qing Lu, Jinling Liu Sep 2026

Individualized Bayesian Inference Identifies Novel Genetic Variants For Parkinson's Disease, Jin Ren, Yasaman J. Soofi, Md Asad Rahman, Qing Lu, Jinling Liu

Engineering Management and Systems Engineering Faculty Research & Creative Works

Parkinson's disease (PD) is a complex neurodegenerative disorder with a significant genetic component. While genome-wide association studies (GWAS) have been instrumental in identifying genetic variants associated with PD, the reliance on large sample sizes and population-level analyses may overlook variants with lower minor allele frequencies or individual-specific relevance. Individualized Bayesian Inference (IBI) offers a promising method to complement GWAS by identifying and prioritizing candidate genetic markers at both the individual and patients-like-me subgroup levels. This study evaluates the application of IBI to PD genetics, using GWAS as a baseline for comparison. We analyzed genetic data from the Fox Insight online …


Non-Uniform Mixing Of Quantum Walks On The Symmetric Group, Avah Banerjee Aug 2026

Non-Uniform Mixing Of Quantum Walks On The Symmetric Group, Avah Banerjee

Computer Science Faculty Research & Creative Works

It is well-known that classical random walks on regular graphs converge to the uniform distribution. Quantum walks, in their various forms, are quantization's of their corresponding classical random walk processes. Gerhardt and Watrous (2003) demonstrated that continuous-time quantum walks do not converge to the uniform distribution on certain Cayley graphs of the Symmetric group, which by definition are all regular. In this paper, we demonstrate that discrete-time quantum walks, in the sense of quantized Markov chains as introduced by Szegedy (2004), also do not converge to the uniform distribution. We analyze the spectra of the Szegedy walk operators using the …


Where Do Ai Coding Agents Fail? An Empirical Study Of Failed Agentic Pull Requests In Github, Ramtin Ehsani, Sakshi Pathak, Shriya Rawal, Abdullah Al Mujahid, Mia Mohammad Imran, Preetha Chatterjee Jul 2026

Where Do Ai Coding Agents Fail? An Empirical Study Of Failed Agentic Pull Requests In Github, Ramtin Ehsani, Sakshi Pathak, Shriya Rawal, Abdullah Al Mujahid, Mia Mohammad Imran, Preetha Chatterjee

Computer Science Faculty Research & Creative Works

AI coding agents are now submitting pull requests (PRs) to software projects, acting not just as assistants but as autonomous contributors. As these agentic contributions are rapidly increasing across real repositories, little is known about how they behave in practice and why many of them fail to be merged. In this paper, we conduct a large-scale study of 33k agent-authored PRs made by five coding agents across GitHub. (RQ1) We first quantitatively characterize merged and not-merged PRs along four broad dimensions: 1) merge outcomes across task types, 2) code changes, 3) CI build results, and 4) review dynamics. We observe …


Entity Labels Are Not Entity Signals: A Framework For Observable Relevance In Document Re-Ranking, Utshab Kumar Ghosh, Shubham Chatterjee Jul 2026

Entity Labels Are Not Entity Signals: A Framework For Observable Relevance In Document Re-Ranking, Utshab Kumar Ghosh, Shubham Chatterjee

Computer Science Faculty Research & Creative Works

Entity-aware document retrieval uses query-associated entities as ranking signals, assuming that semantically relevant entities are also useful retrieval signals. We show this assumption is insufficient - and explain why. Unlike terms, which are ground-truth observations, entity links are hypotheses produced by an imperfect linker: an entity can be topically central yet provide no discriminative signal if the linker fires indiscriminately across relevant and non-relevant documents. We formalize this as a distinction between Conceptual Entity Relevance (CER) - whether an entity is topically related to a query - and Observable Entity Relevance (OER) - whether its observed presence in a collection …


Reproduction Beyond Benchmarks: Constbert And Colbert-V2 Across Backends And Query Distributions, Utshab Kumar Ghosh, Ashish David, Shubham Chatterjee Jul 2026

Reproduction Beyond Benchmarks: Constbert And Colbert-V2 Across Backends And Query Distributions, Utshab Kumar Ghosh, Ashish David, Shubham Chatterjee

Computer Science Faculty Research & Creative Works

Reproducibility must validate architectural robustness, not just numerical accuracy. We evaluate ColBERT-v2 and ConstBERT across five dimensions, finding that while ConstBERT reproduces within 0.05% MRR@10 on MS-MARCO, both models show a drop of 86-97% on long, narrative queries (TREC ToT 2025). Ablations prove this failure is architectural: performance plateaus at 20 words because the MaxSim operator's uniform token weighting cannot distinguish signal from filler noise. Furthermore, undocumented backend parameters create an 8-point gap due to ConstBERT's sparse centroid coverage, and fine-tuning with 3x more data actually degrades performance by up to 29%. We conclude that architectural constraints in multi-vector retrieval …


Depro: Understanding The Role Of Llms In Debugging Competitive Programming Code, Nabiha Parvez, Md Tanvin Sarkar Pallab, Mia Mohammad Imran, Tarannum Shaila Zaman Jul 2026

Depro: Understanding The Role Of Llms In Debugging Competitive Programming Code, Nabiha Parvez, Md Tanvin Sarkar Pallab, Mia Mohammad Imran, Tarannum Shaila Zaman

Computer Science Faculty Research & Creative Works

Debugging consumes a substantial portion of the software development lifecycle, yet researchers do not yet understand well the effectiveness of Large Language Models (LLMs) in this task. Competitive programming offers a rich benchmark for such evaluation, given its diverse problem domains and strict efficiency requirements. We present an empirical study of LLM-based debugging on competitive programming problems and introduce DePro, a test-case-driven approach that assists programmers by correcting existing code rather than generating new solutions. DePro combines brute-force reference generation, stress testing, and iterative LLM-guided refinement to efficiently identify and resolve errors. Experiments on 13 faulty user submissions from Codeforces …


Llm-Enabled Open-Source Systems In The Wild: An Empirical Study Of Vulnerabilities In Github Security Advisories, Fariha Tanjim Shifat, Hariswar Baburaj, Ce Zhou, Jaydeb Sarker, Mia Mohammad Imran Jul 2026

Llm-Enabled Open-Source Systems In The Wild: An Empirical Study Of Vulnerabilities In Github Security Advisories, Fariha Tanjim Shifat, Hariswar Baburaj, Ce Zhou, Jaydeb Sarker, Mia Mohammad Imran

Computer Science Faculty Research & Creative Works

Large language models (LLMs) are increasingly embedded in open-source software (OSS) ecosystems, creating complex interactions among natural language prompts, probabilistic model outputs, and execution-capable components. However, it remains unclear whether traditional vulnerability disclosure frameworks adequately capture these model-mediated risks. To investigate this, we analyze 295 GitHub Security Advisories published between January 2025 and January 2026 that reference LLM-related components, and we manually annotate a sample of 100 advisories using the OWASP Top 10 for LLM Applications 2025.We find no evidence of new implementation-level weakness classes specific to LLM systems. Most advisories map to established CWEs, particularly injection and deserialization weaknesses. …


"Todo: Fix The Mess Gemini Created": Towards Understanding Genai-Induced Self-Admitted Technical Debt, Abdullah Al Mujahid, Mia Mohammad Imran Jul 2026

"Todo: Fix The Mess Gemini Created": Towards Understanding Genai-Induced Self-Admitted Technical Debt, Abdullah Al Mujahid, Mia Mohammad Imran

Computer Science Faculty Research & Creative Works

As large language models (LLMs) such as ChatGPT, Copilot, Claude, and Gemini become integrated into software development workflows, developers increasingly leave traces of AI involvement in their code comments. Among these, some comments explicitly acknowledge both the use of generative AI and the presence of technical shortcomings. Analyzing 6,540 LLM-referencing code comments from public Python and JavaScript-based GitHub repositories (November 2022-July 2025), we identified 81 that also self-admit technical debt (SATD). Developers most often describe postponed testing, incomplete adaptation, and limited understanding of AI-generated code, suggesting that AI assistance affects both when and why technical debt emerges. We term GenAI-Induced …


Challenges In Scaling R-Tree Spatial Search On Processing-In-Memory, Tasmia Jannat, Michael Gowanlock, Satish Puri Jul 2026

Challenges In Scaling R-Tree Spatial Search On Processing-In-Memory, Tasmia Jannat, Michael Gowanlock, Satish Puri

Computer Science Faculty Research & Creative Works

Spatial query processing is important in scientific, geospatial, and data-intensive applications. R-trees are widely used to index spatial objects, but their query-dependent traversal creates irregular work across different regions. This poster studies the challenges of scaling R-tree spatial search on a commercial Processing-in-Memory (PIM) system. Although PIM reduces CPU to memory data movement by executing search near memory, it does not remove full-pipeline overheads: the host still manages data placement, query batching, kernel launches, result retrieval, and aggregation. Our results show strong DPU-side search acceleration, with PIM kernel speedup ranging from about 20 x to 73 x, but end-to-end speedup …


Performance Evaluation Of Approximate Nearest Neighbor Search On Nvidia Bluefield-3 Dpu, Sophia Bhoria, Nathan Tibbetts, Arjun Kirubakaran, Alima Subedi, Satish Puri Jul 2026

Performance Evaluation Of Approximate Nearest Neighbor Search On Nvidia Bluefield-3 Dpu, Sophia Bhoria, Nathan Tibbetts, Arjun Kirubakaran, Alima Subedi, Satish Puri

Computer Science Faculty Research & Creative Works

Advanced SmartNICs known as Data Processing Units (DPU) enable in-network data analytics, being equipped with standard processors and accelerators capable of doing custom computation on-NIC. These SmartNICs are advantageous because the host CPU can delegate simpler data analytics tasks, like filtering, to the NIC where the data first arrives. Only data needing further refinement must be passed on to the host CPU. Our benchmarks focus on NVIDIA's commercially available Bluefield-3 DPU. Similarity search, particularly Approximate Nearest Neighbor (ANN) search, is an important domain with wide usage across numerous applications. We explore ANN search on SmartNICs, providing insight into the performance …


Learning Programming In Informal Spaces: Using Emotion As A Lens To Understand Novice Struggles On R/Learnprogramming, Alif Al Hasan, Subarna Saha, Mia Mohammad Imran Jul 2026

Learning Programming In Informal Spaces: Using Emotion As A Lens To Understand Novice Struggles On R/Learnprogramming, Alif Al Hasan, Subarna Saha, Mia Mohammad Imran

Computer Science Faculty Research & Creative Works

Novice programmers experience emotional difficulties in informal online learning environments, where Confusion and Frustration can hinder motivation and learning outcomes. This study investigates novice programmers' emotional experiences in informal settings, identifies causes of emotional struggle, and explores design opportunities for affect-aware support systems. We manually annotated 1,500 posts from r/learnprogramming using the Learning-Centered Emotions framework, applying clustering, and axial coding. Confusion, Curiosity, and Frustration dominated emotional experiences, sometimes co-occurring and linked to early learning stages. Positive emotions were infrequent. The primary emotional triggers included ambiguous errors, unclear learning pathways, and misaligned resources. We identify five key areas where novice programmers …


Dynlp: Parallel Dynamic Batch Update For Label Propagation In Graph-Based Semi-Supervised Learning, S. M. Shovan, Arindam Khanda, S. M. Ferdous, Sajal K. Das, Mahantesh Halappanavar Jul 2026

Dynlp: Parallel Dynamic Batch Update For Label Propagation In Graph-Based Semi-Supervised Learning, S. M. Shovan, Arindam Khanda, S. M. Ferdous, Sajal K. Das, Mahantesh Halappanavar

Computer Science Faculty Research & Creative Works

Semi-supervised learning aims to infer class labels using only a small fraction of labeled data. In graph-based semi-supervised learning, this is typically achieved through label propagation to predict labels of unlabeled nodes. However, in real-world applications, new data often arrives in batches, and stale data often becomes irrelevant. Each time a new batch appears, reapplying the traditional label propagation algorithm to recompute all labels is redundant, computationally intensive, and inefficient. To address the absence of an efficient label propagation update method, we propose DynLP, a novel GPU-centric Dynamic Batched Parallel Label Propagation algorithm that performs only the necessary updates, propagating …


Digital Twin-Assisted Optimization Of 6g Wireless Networks: Ensuring Deterministic Communication, Yingpu Nian, Bo Yi, Xingwei Wang, Sajal K. Das Jul 2026

Digital Twin-Assisted Optimization Of 6g Wireless Networks: Ensuring Deterministic Communication, Yingpu Nian, Bo Yi, Xingwei Wang, Sajal K. Das

Computer Science Faculty Research & Creative Works

With the rapid advancement of 6G technology and the increasing use of smart devices, Deterministic 6G Wireless Networks (D6WN) have emerged to meet the growing network transmission demands. In particular, applications such as autonomous vehicles, remote surgery, and industrial automation require extremely low transmission latency to function effectively, highlighting the critical need for D6WN in supporting these time-sensitive use cases. Yet, the conventional TCP/IP framework lacks effective unified traffic and congestion control scheduling, aggravating latency and uncertainty, posing a challenge to ensuring reliable real-time critical applications. To address the challenges of deterministic transmission in D6WN, this paper integrates Digital Twin …


Hsv-1 Us3 Hijacks Conserved Actin Regulatory Complexes To Drive F-Actin Remodeling, Md Imran Hossain, Md Arifuzzaman, Md Mehedi Hasan, Seung Jong Park, Leila Rahimian, Ojasvi Dutta, Vladimir Chouljenko, Harikrishnan Mohan, Reza Ghavimi, Konstantin G. Kousoulas Jul 2026

Hsv-1 Us3 Hijacks Conserved Actin Regulatory Complexes To Drive F-Actin Remodeling, Md Imran Hossain, Md Arifuzzaman, Md Mehedi Hasan, Seung Jong Park, Leila Rahimian, Ojasvi Dutta, Vladimir Chouljenko, Harikrishnan Mohan, Reza Ghavimi, Konstantin G. Kousoulas

Computer Science Faculty Research & Creative Works

The herpes simplex virus 1 (HSV-1) US3 is a multifunctional serine/threonine kinase that promotes HSV-1 replication and spread. But its role and the mechanisms by which US3 regulates actin cytoskeletal remodeling remain poorly defined. We combined flow cytometry, confocal microscopy, immunoprecipitation-mass spectrometry (IP-MS), protein complex mapping, and machine learning to characterize US3-mediated F-actin dynamics. Flow cytometry and confocal microscopy showed that wild-type HSV-1 induces significant F-actin remodeling, while the ΔUS3 mutant displays F-actin levels comparable to uninfected cells, identifying US3 as a key regulator. IP-MS identified 47 high-confidence US3 interactors enriched in conserved actin regulatory complexes, including Arp2/3 nucleation machinery, …


Label-Flip Attack Detection Via Trust-Weighted Aggregation In Federated Learning For Underground Mine Security, Md Sazedur Rahman, Sanjay Madria, Samuel Frimpong Jun 2026

Label-Flip Attack Detection Via Trust-Weighted Aggregation In Federated Learning For Underground Mine Security, Md Sazedur Rahman, Sanjay Madria, Samuel Frimpong

Computer Science Faculty Research & Creative Works

Underground mining operations are increasingly dependent on autonomous vehicles, robotic drilling systems, and intelligent inspection platforms operating in confined, GPS-denied tunnel environments. These systems rely on distributed perception models to interpret navigation cues, hazard warnings, and environmental signals in real time. While centralized deep learning can enhance model performance, transferring raw operational data across mining sites introduces serious confidentiality and security risks. Federated Learning (FL) offers a privacy-preserving alternative by enabling collaborative model training without sharing local datasets. However, deploying FL in underground mining introduces several critical challenges: (i) Training labels may be modified either maliciously by compromised clients or …


Enhanced Uav Surveillance With Rf-Based Drone Identification Using Transfer Learning, Prajoy Podder, Maciej Jan Zawodniok, Sanjay Madria Jun 2026

Enhanced Uav Surveillance With Rf-Based Drone Identification Using Transfer Learning, Prajoy Podder, Maciej Jan Zawodniok, Sanjay Madria

Electrical and Computer Engineering Faculty Research & Creative Works

With the development of technology and the decrease in costs, drones are now becoming easily accessible to the public. As the accessibility of this technology continues to grow, the concerns of security and surveillance increase, and to ensure a sense of security, the need to have reliable drone detection and identification systems is more urgent than ever. Besides, many civilian applications have been found for drones, which play a huge role in modern security and warfare. Unauthorized drones can be very dangerous regarding security issues, as they can be used for spying, smuggling, or even attacks against critical infrastructure. We …


Olaf: Towards Robust Llm-Based Annotation Framework In Empirical Software Engineering, Mia Mohammad Imran, Tarannum Shaila Zaman Jun 2026

Olaf: Towards Robust Llm-Based Annotation Framework In Empirical Software Engineering, Mia Mohammad Imran, Tarannum Shaila Zaman

Computer Science Faculty Research & Creative Works

Large Language Models (LLMs) are increasingly used in empirical software engineering (ESE) to automate or assist annotation tasks such as labeling commits, issues, and qualitative artifacts. Yet the reliability and reproducibility of such annotations remain underexplored. Existing studies often lack standardized measures for reliability, calibration, and drift, and frequently omit essential configuration details. We argue that LLM-based annotation should be treated as a measurement process rather than a purely automated activity. In this position paper, we outline the Operationalization for LLM-based Annotation Framework (OLAF), a conceptual framework that organizes key constructs: reliability, calibration, drift, consensus, aggregation, and transparency. The paper …


Pso-Style Social Influence In An Ant Colony Algorithm For Continuous-Domain Optimization, Ashraf M. Abdelbar, Donald C. Wunsch Jun 2026

Pso-Style Social Influence In An Ant Colony Algorithm For Continuous-Domain Optimization, Ashraf M. Abdelbar, Donald C. Wunsch

Electrical and Computer Engineering Faculty Research & Creative Works

ACOR is a well-established Ant Colony Optimization (ACO) algorithm for continuous-domain optimization. In this paper, we propose an extension (which we call ACOR∗) in which several fundamental modifications are made to ACOR's solution construction process, including the incorporation of a social influence mechanism borrowed from Particle Swarm Optimization (PSO). Our modifications to the ACOR algorithm are intended to promote search diversity and combat premature convergence. We experimentally evaluate our proposal in the context of training feedforward neural networks for classification using 65 widely used datasets from the University of California Irvine (UCI) repository, as well as the optimization of several …


Smart-Charge: Stable Matching Algorithm For Electric Vehicle Charging In Subscription-Based Models, Arindam Khanda, Anurag Satpathy, Sajal K. Das May 2026

Smart-Charge: Stable Matching Algorithm For Electric Vehicle Charging In Subscription-Based Models, Arindam Khanda, Anurag Satpathy, Sajal K. Das

Computer Science Faculty Research & Creative Works

The transition from internal combustion engine (ICE) to electric vehicles (EVs) introduces several challenges, including limited charging infrastructure, unpredictable charging wait times, and inefficient selection of charging points (CPs). To address these issues, we propose SMART-CHARGE, a framework that efficiently assigns EVs to CPs through an edge-level coordination mechanism within each service region, enforced by roadside units (RSUs). Operating under a novel subscription-based charging model, SMART-CHARGE enforces predefined charging time limits via service-level agreements (SLAs). The EV-CP assignment problem is formulated as a one-to-many matching game that captures EV user preferences. To construct bounded yet efficient EV coalitions at each …


Safepass: Efficient Emergency Vehicle Passage With Minimal Disruption To Traffic Flow, Osho Osho, Suchetana Chakraborty, Sajal K. Das May 2026

Safepass: Efficient Emergency Vehicle Passage With Minimal Disruption To Traffic Flow, Osho Osho, Suchetana Chakraborty, Sajal K. Das

Computer Science Faculty Research & Creative Works

Emergency vehicle passage in congested urban networks poses a dual challenge: ensuring rapid response while minimizing disruption to surrounding traffic. This study addresses this challenge in the context of Connected Autonomous Emergency Vehicles (CA-EVs), proposing SafePass , a lightweight distributed framework for seamless CA-EV passage through decentralized, cooperative maneuvering of surrounding Connected Autonomous Non-Emergency Vehicles (CA-NEVs). At its core, SafePass employs the Target Lane Potential (TLP), a novel utility-based metric combining lane-choice utility with probabilistic gap acceptance, augmented by a cascade-aware penalty that suppresses upstream shockwaves triggered by gap-creation maneuvers. Evaluated in Simulation of Urban Mobility (SUMO) using synthetic traffic …


Characterizing User-Reported Risks Across Llm Chatbots, Lingyao Li, Renkai Ma, Zhaoqian Xue, Junjie Xiong Apr 2026

Characterizing User-Reported Risks Across Llm Chatbots, Lingyao Li, Renkai Ma, Zhaoqian Xue, Junjie Xiong

Computer Science Faculty Research & Creative Works

As Large Language Models (LLMs) become increasingly integral to daily life, users are engaging with multiple LLM chatbots for various needs; however, prior research on LLM risks often remains lab-based or focuses on single LLMs like ChatGPT or singular risks like privacy. To gain a multi-risk, cross-chatbot understanding of user experiences, we analyze Reddit discussions around seven major LLM chatbots using the NIST AI Risk Management Framework. We find that user-reported risks are unevenly distributed and chatbot-specific: ChatGPT is associated with safety and fairness concerns, Gemini with privacy, and Claude with security and resilience. Less frequent risks, such as explainability …


Adaptive Parallel Downloader For Large Genomic Datasets, Rasman Mubtasim Swargo Apr 2026

Adaptive Parallel Downloader For Large Genomic Datasets, Rasman Mubtasim Swargo

Miners Solving for Tomorrow Research Conference

Modern next-generation sequencing (NGS) projects routinely generate terabytes of data that researchers download from public repositories such as SRA and ENA. Existing download tools typically employ static concurrency settings, leading to inefficient bandwidth utilization and prolonged download times under dynamic network conditions. We introduce FastBioDL, a parallel downloader for large biological datasets with an adaptive concurrency controller. FastBioDL frames downloading as an online optimization problem, using a utility function and gradient descent to adjust the number of concurrent socket streams during runtime. This approach maximizes throughput while minimizing resource overhead. Evaluations on public genomic datasets show that FastBioDL achieves up …


Introducing Gridtrees For Streaming, Scalable Hierarchical Data Visualization, Nathan Tibbetts Apr 2026

Introducing Gridtrees For Streaming, Scalable Hierarchical Data Visualization, Nathan Tibbetts

Miners Solving for Tomorrow Research Conference

File browsing in the consumer sphere has seen very little advancement in recent years, although attempts have been made to improve upon it. With the goal of multi-level visual file browsing in mind, we present a prototype GridTree, a dynamic, recursive, stable, spatial layout data structure based on subdividing grids, represented as a hierarchy of maps whose granularity increases with depth. We motivate this work with characteristics we have identified as important for viability of a multi-level file-browser, which have become our design goals. We touch on the underlying logic of a GridTree and identify its complexity. We briefly discuss …


Thermal Mirage: Towards Robust Thermal Perception Via Gan-Guided Diffusion, Nuzaer Omar Apr 2026

Thermal Mirage: Towards Robust Thermal Perception Via Gan-Guided Diffusion, Nuzaer Omar

Miners Solving for Tomorrow Research Conference

Thermal object detection systems are critical for safety sensitive applications due to their reliability under adverse conditions. However, existing robustness evaluations in thermal domain primarily focuses on physical or sensor-level perturbations, overlooking vulnerabilities from semantically realistic scene and object manipulations. We introduce Thermal Mirage, a generative framework that leverages GAN-guided diffusion to expose weaknesses in thermal detectors through controlled object and context level perturbations. Our approach learns class-conditional thermal priors via a GAN and uses diffusion to transform object appearances into ambiguous or low-saliency patterns. Simultaneously, a context module degrades scene conditions by simulating harsher night environments. Integrated with a …


Robust Federated Learning With Strategic Adversaries, Manoj Twarakavi Apr 2026

Robust Federated Learning With Strategic Adversaries, Manoj Twarakavi

Miners Solving for Tomorrow Research Conference

Federated Learning (FL) leverages the intelligence of untrusted distributed devices through collaborative training. This makes the training process susceptible to malicious behavior. Existing defense mechanisms largely consider an adversary who attacks a proactive FL server without any adaptability. However, they overlook the presence of a strategic adversary. To address this challenge, our work proposes a Robust Game-theoretic framework where the adversary is both strategic and is equipped with the capability of performing large-scale poisoning attacks.


Distributed Control Plane For Cross-Silo Federated Learning, Rabin Pandey Apr 2026

Distributed Control Plane For Cross-Silo Federated Learning, Rabin Pandey

Miners Solving for Tomorrow Research Conference

Cross-silo federated learning (FL) trains shared models across geographically distributed institutions without centralizing raw data, but its reliance on wide-area networks makes round completion time highly sensitive to heterogeneous link conditions, congestion, and straggler clients. Existing SDN-based FL frameworks address this through centralized traffic engineering, an approach that breaks down when silos span independent administrative domains where no single entity can maintain complete, timely network knowledge. We replace the centralized control plane with a fully distributed overlay in which each silo gateway operates as an equal peer, continuously probing local links, exchanging EWMA-smoothed metrics via bounded gossip, and computing least-cost …


Robustness Of Fuzzy Artmap To Adversarial Attacks And Progressive Adversarial Training For Streaming Learning, Shane Cairns Apr 2026

Robustness Of Fuzzy Artmap To Adversarial Attacks And Progressive Adversarial Training For Streaming Learning, Shane Cairns

Miners Solving for Tomorrow Research Conference

Incremental learners deployed on streaming data must remain robust to evolving adversarial perturbations, yet most adversarial-robustness studies assume offline multi-epoch training with repeated access to historical data. We investigate adversarial robustness in Fuzzy ARTMAP, a prototype-based Adaptive Resonance Theory model that supports single-pass learning without replay. We propose WB-Softmax, a differentiable relaxation that aggregates category-level activations into class-level scores for gradient-based attacks. WB-Softmax PGD achieves 89–100% attack success on vanilla models, exceeding transfer and query-based baselines. We then study adversarial training under true streaming constraints by comparing offline versus online adversarial example generation and standard versus selective updates. Offline adversarial …


Elucidating Complex H Behavior In Amorphous Oxide Semiconductors By Machine Learning, Lucas Ethington Apr 2026

Elucidating Complex H Behavior In Amorphous Oxide Semiconductors By Machine Learning, Lucas Ethington

Miners Solving for Tomorrow Research Conference

In this project, the disordered oxide structures will be mapped by a machine-learning algorithm (e.g., HDBSCAN) to identify characteristic behaviors of the proton across different material densities and defect types. This should help identify the under-coordinated, highly distorted, weakly-bonded, and dynamically unstable atoms to predict the most probable H locations. This fast and accurate prediction of energetically favorable H distribution will enable a reliable and fast screening of a large number of AOSs with variable cation and/or anion compositions. The approach will help find AOSs with suppressed numbers of M-OH defects (that form deep electron traps, limiting the number of …