Artificial Intelligence and Robotics Commons^™

Observations On Recurrent Loss In The Neural Network Model Of A Partial Differential Equation: The Advection–Diffusion Equation, Jonah A. Reeger

Faculty Publications

A growing body of literature has been leveraging techniques of machine learning (ML) to build novel approaches to approximating the solutions to partial differential equations. Noticeably absent from the literature is a systematic exploration of the stability of the solutions generated by these ML approaches. Here, a recurrent network is introduced that matches precisely the evaluation of a multi-step method paired with a collocation method for approximating spatial derivatives in the advection–diffusion equation. This allows for two things: (1) the use of traditional tools for analyzing the stability of a numerical method for solving PDEs and (2) bringing to bear …

Assessing Flaws In Captcha Security Through Progress In Ai, Jaydon Stanislowski

Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal

Protecting the internet from the threat of malicious bot activity is an important problem as AI tools become more powerful and commonplace over time. To that end, security measures are employed across websites in the form of CAPTCHAs, short challenges designed to identify and block fake web traffic. Yet, they become less effective over time as AI becomes more powerful, and thus more capable of solving them. This paper examines recent research on the threat to CAPTCHA security posed by current AI models and how this security can be reinforced over time, focusing primarily on Google’s reCAPTCHA v3.

Decoding The Allosteric Grammar Of Protein Kinases: A Dual-Stream Framework Integrating Protein Language Models And Energy Landscape Frustration Analysis, Will Gatlin, Max Ludwick, Lucas Turano, Brandon Foley, Kamila Riedlova, Vít Škrhák, Marian Novotný, David Hoksza, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

The spatial and energetic encoding of allosteric regulatory sites remains a major challenge in structural biology, frequently representing a “blind spot” for sequence-based artificial intelligence (AI) models. We present a protein language model (PLM)-guided approach complemented by the energy landscape frustration analysis as a dual-stream framework to investigate the relationship between AI prediction of binding sites and biophysical organization of regulatory pockets across the human kinome. By probing a fine-tuned residue-level PLM classifier across 453 kinase structures, a clear performance gap is discovered between highly predictable orthosteric pockets (Types I, I.5, and II) and poorly resolved distal allosteric sites (Type …

Expert Interview: "The Mirror Of Ai" In The Domain Of Scientifc Information Research, Taitian Mao, Yulai Bao, Jianxiang Wei, Peng Wu, Chuanming Yu, Gan Tang, Dongyan Wei, Yifei Ma, Wei Wang, Yu Ma

Journal of Scientific Information Research

Professor Mao Taitian and colleagues argues elucidates the adaptation logic, practical pathways, and prerequisites of intelligent agents to empower the high-quality development of scientific information. Professor Bao Yulai and colleagues advocate that integrating the perceptual elasticity of domain-specific large models with the cognitive rigidity of ontology can establish a new paradigm for intelligence services in complex scenarios. The synergy between the two can not only expand the theoretical boundaries of information science and serve national strategies, but also advance intelligence services from assisted analysis to intelligent decision-making. Professor Wei Jianxiang and colleagues point out that generative artificial intelligence has triggered …

Religious Bias In Llms Is Significantly Understudied, Sheryl Carty, Nancy Fulda, Walter Reade

Faculty Publications

In the earlier years of development of LLMs, it was relatively easy to prompt an LLM to respond with toxic or biased statements about religion. Subsequent improvements in frontier models addressed many of the issues of bias and toxicity in general, including against religion. At the same time, the adoption and usage of these models has grown exponentially. Small and implicit biases, therefore, have a magnified overall impact. In this paper, we (1) briefly review previous efforts to measure religious bias in LLMs, (2) show, by reviewing over 12,000 papers dealing with bias in LLMs, that religious bias has been …

Heterogeneous Graph-Augmented Contrastive Learning For Extreme Multi-Class Fiqh Classification, Ali A. Jalil

Al-Bahir

• Background/Introduction: Fine-grained text classification in the field of Islamic Jurisprudence (Fiqh) is difficult because of the structural interdependence of the legal concepts and the extremely multi-class long-tail data distribution (667 classes with 5,979 samples, 52.2% of which contain less than 5 samples). The main problem with traditional flat classifiers is that they assume that target classes are independent and orthogonal output neurons which discards very important relational semantics.
• Objectives: This paper seeks to remediate this extreme imbalance and maintain structural taxonomy by modeling the structural space of classification label space itself as an object to be learned, while giving a …

Chi Meta-Project Ecosystem Overview - Spring 2026, David B. Smith

Publications and Research

This paper offers a high-level account of the Center for Holistic Integration’s (CHI) meta-project ecosystem as visualized in the included system map. CHI provides an organizational structure framed around persistent meta-projects that support and extend individual initiatives across curriculum, scholarly and applied research, infrastructure, artistic production, AI development, cultural inquiry, and external partnerships. Rather than presenting the map as a static inventory of projects, the paper examines how its core domains function as living systems through which knowledge, tools, documentation, participants, and collaborations can accumulate over time. It also considers how CHI-mediated connectivity, institutional integration, and external funding allow the …

Smart Atm, Majid Hakeem

Systems Manuals - 2026

The Smart ATM is a new system that goal is to create a new experience for ATMs users by creating a different way of using the ATM. It would protect users from germs and bacteria. Instead of using buttons and touch screens, the main input for this system will be the motion sensor. To specify, the system uses Microsoft Kinect, which is the motion sensor for the Xbox One.

This document is a user guide, which is intended to give assistance to users for using the Smart ATM. This document contains an application overview, list of user requirements, the design …

Solving Rubik's Cube By Using Artificial Intelligence, Polat Coban, Seth Reed

Systems Manuals - 2026

This document will detail a proposal to build a Rubik’s cube simulator, and a Rubik’s cube solver. It is broken into several sections which in turn are broken into subsections.

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 …

Towards Uniformity And Alignment For Multimodal Representation Learning, Wenzhe Yin, Pan Zhou, Zehao Xiao, Jie Liu, Shujian Yu, Jan-Jakob Sonke, Efstratios Gavves

Research Collection School Of Computing and Information Systems

Multimodal representation learning aims to construct a shared embedding space in which heterogeneous modalities are semantically aligned. Despite strong empirical results, InfoNCE-based objectives introduce inherent conflicts that yield distribution gaps across modalities. In this work, we identify two conflicts in the multimodal regime, both exacerbated as the number of modalities increases: (i) an alignment–uniformity conflict, whereby the repulsion of uniformity undermines pairwise alignment, and (ii) an intra-alignment conflict, where aligning multiple modalities induces competing alignment directions. To address these issues, we propose a principled decoupling of alignment and uniformity for multimodal representations, providing a conflict-free recipe for multimodal learning that …

Variational Speculative Decoding: Rethinking Draft Training From Token Likelihood To Sequence Acceptance, Xiandong Zou, Jianshu Li, Jing Huang, Pan Zhou

Research Collection School Of Computing and Information Systems

Speculative decoding accelerates inference for (M)LLMs, yet a training-decoding discrepancy persists: while existing methods optimize single greedy trajectories, decoding involves verifying and ranking multiple sampled draft paths. We propose Variational Speculative Decoding (VSD), formulating draft training as variational inference over latent proposals (draft paths). VSD maximizes the marginal probability of target-model acceptance, yielding an ELBO that promotes high-quality latent proposals while minimizing divergence from the target distribution. To enhance quality and reduce variance, we incorporate a path-level utility and optimize via an Expectation-Maximization procedure. The E-step draws MCMC samples from an oracle-filtered posterior, while the M-step maximizes weighted likelihood using …

Resilience Modeling Method For Combat System-Of-Systems Based On Hypernetwork And Game Theory, Yuxian Duan, Hanqiang Deng, Jiarui Zhang, Jian Huang, Shijia Zhang

Journal of System Simulation

Abstract: In view of the difficulties in dynamic reconfiguration and resilience evaluation faced by modern combat system-of-systems in a highly adversarial environment, and the deficiencies of existing studies in depicting high-order interaction relationships and cluster evolution mechanisms, this paper proposed a resilience modeling method for combat system-of-systems integrating hypernetwork and game theory, aiming to analyze the resilience mechanism of the system-of-systems in all dimensions from micro, mesoscopic, to macro levels. At the micro level, a high-order motif structure was introduced to represent the complex interaction modes among combat units, which overcame the information loss of traditional binary relationships in depicting …

Online Ppo-Based Multi-Hop Task Offloading Strategy For Vehicular Edge Computing, Wenzhu Zhang, Yuewei Bian, Fuli Xiong, Siqi Cai

Journal of System Simulation

Abstract: To address the problems of frequent communication link interruptions caused by dynamic network topologies and the sharp increase in computational complexity triggered by high-dimensional decision spaces in the vehicular edge computing (VEC) environment, a multi-hop task offloading strategy for VEC based on an online PPO algorithm was proposed. A multi-hop task offloading optimization model simultaneously considering link effective time, transmission rate, and computing resource constraints was constructed; a multi-hop A* path search algorithm integrating link stability and end-to-end delay was designed; an online offloading decision framework based on PPO was proposed, which transformed the 0-1 mixed integer nonlinear programming …

Simulation Study Of Elevator Group Control Scheduling Based On Real-Time Occupancy Perception, Yiyong Han, Shiyu Wang, Yang Ye, Zhen Zhang, Fengque Pei, Minghai Yuan

Journal of System Simulation

Abstract: To address the conflict between car space allocation and peak passenger flow response efficiency in elevator group control scheduling, a multi-objective scheduling method based on proximal policy optimization (PPO) with real-time occupancy perception was proposed. A simulation environment considering car capacity constraints was constructed, and a reward-penalty mechanism with average passenger waiting time, system energy consumption, and car congestion as optimization objectives was designed. Based on this, state and action spaces were defined to form a PPO-based scheduling framework; a simulation platform integrating traffic flow visualization, policy scheduling, and performance evaluation was developed. Simulation results show that this method …

Adaptive Spatiotemporal Graph Neural Network-Based Net Load Forecasting For Residential Areas, Yongqi Yang, Cong Wang, Hongli Zhang, Ping Ma, Yue Meng, Tianhao Zhou

Journal of System Simulation

Abstract: To address the issue that traditional residential overall power load forecasting methods fail to fully consider the differences in users' electricity consumption habits, making it difficult to improve prediction accuracy, a residential net load forecasting method combining representation learning clustering and an AGCN-Transformer was proposed. The representation learning method was utilized to fully extract the latent features of users' net load data, and users were divided into different groups based on the similarity of electricity consumption behaviors; the net load data of the same group were aggregated, and a graph structure suitable for this task was constructed by comprehensively …

Research On Temporal Action Localization Methods For Cross-Modal Understanding, Jinwei Li, Xiaoyang Liu, Rusheng Ju

Journal of System Simulation

Abstract: To address the problems of insufficient localization accuracy and high model complexity in the temporal action localization (TAL) task for video-text cross-modal understanding, an anchor-free action transformer (AFAT) model was proposed. Based on the anchor-free framework, the local self-attention mechanism of Transformer was introduced to enhance the global modeling capability of temporal features. A multi-scale feature pyramid structure was combined to strengthen the representation of actions with different durations, and a lightweight predictor was adopted to reduce computational redundancy. Experimental results show that the average precision of this model on the THUMOS14 dataset is significantly improved compared with the …

Survey On Learning-Based Dynamic Fault Localization: From Traditional Machine Learning To Large Language Models, Chunyan Liu, Yan Lei, Huan Xie, Jinping Wang, Yue Yu, David Lo

Research Collection School Of Computing and Information Systems

Learning-based dynamic fault localization techniques play a crucial role in the field of software engineering. These techniques dynamically execute test cases to meticulously extract useful knowledge from the execution information in the program, with the aim of identifying fault locations by leveraging machine learning, deep learning, and large language models. Currently, there is already a flourishing body of research that is intensely focused on learning-based dynamic fault localization. Research literature can be categorized into two main aspects for learning-based dynamic fault localization: data-based enhancements (i.e., the datasets) and model-based enhancements (i.e., the suspiciousness algorithms). Thus, we conduct an extensive literature …

Beyond Hard Constraints: Budget-Conditioned Reachability For Safe Offline Reinforcement Learning, Brahmanage Janaka Chathuranga Thilakarathna, Akshat Kumar

Research Collection School Of Computing and Information Systems

Sequential decision-making using Markov Decision Process underpins many real-world applications. Both model-based and model-free methods have achieved strong results in these settings. However, real-world tasks must balance reward maximization with safety constraints, often conflicting objectives, that can lead to unstable min–max, adversarial optimization. A promising alternative is safety reachability analysis, which precomputes a forward-invariant safe state–action set, ensuring that an agent starting inside this set remains safe indefinitely. Yet, most reachability-based methods address only hard safety constraints, and little work extends reachability to cumulative cost constraints. To address this, first, we define a safety-conditioned reachability set that decouples reward maximization …

Accountable Agents In Software Engineering: An Analysis Of Terms Of Service And A Research Roadmap, Christoph Treude

Research Collection School Of Computing and Information Systems

AI coding assistants and autonomous agents are becoming integral to software development workflows, reshaping how code is produced, reviewed, and maintained. While recent research has focused mainly on the capabilities and impacts of productivity of these systems, much less attention has been paid to accountability: who is responsible when agents generate, modify, or recommend code? In practice, accountability is defined through the Terms of Service (ToS) and related policy documents that govern the use of AI-powered development tools.In this vision paper, we present a comparative analysis of the Terms of Service for widely used AI coding assistants and agent-enabled development …