Artificial Intelligence and Robotics Commons^™

Simulation Platform Based On Soc-Fpga Clusters For Cxl-Ethernet Heterogeneous Interconnection, Xu Zhang, Ke Liu, Mingyu Chen

Journal of System Simulation

Abstract: To address the difficulty of balancing simulation speed and topology flexibility when simulating large-scale, CXL-Ethernet heterogeneous interconnect datacenter scenarios with existing CXL simulation platforms, this paper presents CNetSim, a semi-physical simulation platform based on an SoC-FPGA cluster. The platform employs SoC-FPGA hardware to emulate endpoint nodes, leveraging their real processors and memory devices as well as FPGA-implemented CXL. mem protocol to support high-speed execution of standard Linux systems and real distributed applications. Meanwhile, it utilizes the flexible topology configuration capability of software simulation to implement CXL switched networks and inter-rack Ethernet interconnects based on DPDK on simulation servers. Simulation …

Optimization Of Convective Heat Transfer Parameters For Spindles Based On Finite Element Thermal Analysis, Jiali Zhang, Haiping Liu, Qinsheng Jiang, Sina Dang

Journal of System Simulation

Abstract: In view of the low simulation accuracy of existing finite element models for thermal characteristics of spindles caused by ignoring the influences of geometric characteristics of convective surfaces and fluid flow patterns and often adopting constant temperature loading in the setting of convective heat transfer boundary conditions, this paper proposed an optimization method for convective heat transfer parameters of spindles based on finite element thermal analysis. Combined with the geometric shapes and spatial positions of various convective surfaces of the spindle system, the calculation criterion of the convective heat transfer coefficient was determined through dimensional analysis according to the …

Simulation And Optimization Of Task Offloading In Mine Edge Computing For Low-Concurrency Devices, Zhaolu Guo, Qianhui Liu

Journal of System Simulation

Abstract: With the advancement of mine intelligence, task offloading technology has become a core technology of mine edge computing (MEC). For edge computing systems deployed with mine low-concurrency devices (MLCD), a discrete-event simulation model for MEC task offloading oriented to MLCD was constructed to solve the collaborative optimization problem of task processing latency and load balancing of mine edge servers (MES). By dynamically simulating the queuing, transmission, and computation processes of tasks, the objective of minimizing task processing latency was achieved. An improved evolutionary algorithm, ISBT-EA, was proposed, which integrated a task-characteristic-driven initialization strategy and local search operators, enhancing the …

Prediction Of Industrial Concentration Parameters Based On Caudformer Model, Kaipeng Xu, Yan Wang, Xin Zhang, Yang Liu, Zhenzhong Wang, Xiang Liu, Zhicheng Ji

Journal of System Simulation

Abstract: To solve the problems in the industrial concentration process of traditional Chinese medicine that traditional prediction methods are difficult to deal with complex characteristics such as nonlinearity, high-dimensional coupling, and highly skewed distribution and that existing deep learning models insufficiently consider causal relationships among variables, ignore frequency-domain periodic characteristics, and lack long-range dependency modeling capabilities, an improved multivariate time series prediction model CauDformer was proposed in this paper. Based on the iTransformer architecture, a causal multi-head self-attention mechanism (C-MHSA) was introduced to compulsorily constrain the dependency direction among variables by utilizing a lower triangular causal mask, guiding the model …

Cdt-1d Cnn Integration With Simpson-Sobolev Regularization For High-Frequency Options Trading: With Fem-Based Heston Option Pricing, Daniel M. Margolis, Johannes Tausch, Arthur K. Selender

Mathematics Theses and Dissertations

This dissertation presents a computational framework for high-frequency options trading that combines Cross-Data-Type 1-D Convolutional Neural Networks (CDT-1D CNN) with Simpson-Sobolev regularization for directional prediction, and finite element methods (FEM) for realistic option pricing during backtesting. The core innovation lies in developing a mathematically rigorous regularization approach that maintains the adaptability of modern deep learning while enabling accurate evaluation through stochastic volatility models. The primary contribution is the Simpson-Sobolev regularization scheme, which extends traditional Sobolev regularization by incorporating Simpson’s rule for numerical integration. This approach achieves higher-order accuracy in approximating the Sobolev norms that control function smoothness. Simpson’s rule attains …

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.

Improving Urban Search And Rescue Team Coordination Through Adaptive Context Awareness, Daniel Reyes Duran

Doctoral Dissertations and Master's Theses

Modern multi-agent Urban Search and Rescue (USAR) operations heavily rely on mobile geospatial Common Operating Pictures (COPs) to maintain team coordination and Situational Awareness (SA). However, the proliferation of high-frequency sensor telemetry at the tactical edge has introduced a data saturation paradox challenge: while information theoretically drives informed decision-making, unmanaged data surges induce increased operator cognitive overload and alert fatigue on mobile End-User Devices (EUDs), while downstream data-broadcasting models inherently strain edge processing and viewport environments.

To resolve these constraints, this dissertation presents a context-aware Value of Information (VoI) data-management framework integrated directly with a custom, event-driven Android Team Awareness …

Improved Pbs Algorithm For Multi-Agent Path Planning Based On Conflict Guidance And Punishment Mechanism, Jinbao Zhang, Jianlin Mao, Chengze Qian, Guimi Sun, Kaixin Tong

Journal of System Simulation

Abstract: To address the bottleneck in which the priority-based search (priority-based search, PBS) algorithm for multi-agent path planning easily falls into conflict loops and generates invalid node expansions in complex scenarios, an improved algorithm based on conflict guidance and a punishment mechanism (improved PBS multi-agent path finding algorithm based on conflict guidance and punishment mechanism, CGP-PBS) was proposed. A conflict-guided node expansion mechanism was constructed; in high-level search, it comprehensively evaluated path cost and the number of conflicts, preferentially expanded child nodes with high potential for conflict resolution, and delayed the expansion of high-conflict nodes, thereby effectively compressing the search …

Operational Agency: A Permeable Legal Fiction For Tracing Culpability In Ai Systems, Anirban Mukherjee, Hannah H. Chang

Research Collection Lee Kong Chian School Of Business

Modern artificial intelligence (AI) systems act with a high degree of independence yet lack legal personhood—a paradox that fractures doctrines grounded in human-centric notions of mens rea and actus reus. This Article introduces Operational Agency (OA)—a permeable legal fiction structured as an ex post evidentiary framework—and Operational Agency Graph (OAG)—a tool for mapping causal interactions among human actors, organizations, and AI systems. OA evaluates an AI’s observable operational characteristics: its goal-directedness (as a proxy for intent), predictive processing (as a proxy for foresight), and safety architecture (as a proxy for standard of care). OAG operationalizes that analysis by embedding these …

Impartial Intelligence? Evidence Of Country-Label Sensitivity In Ai Financial Analysis, Fabio Motoki, Jedson Pinto

School of Accountancy Faculty Publications

This study examines whether large language models exhibit systematic country-contingent differential treatment in financial fraud detection. Analyzing 30,000 synthetic transactions with identical statistical properties across three country attributions (United States, Great Britain, and China), we find LLMs assign significantly higher fraud probabilities to Chinese-attributed transactions (36.2%) compared to Western countries (≈30–31%), resulting in accuracy disparities of 67% versus 74%. The gap remains stable across five independent experimental replications and persists when using Chinese language prompts, ruling out linguistic effects. Bias mitigation strategies, such as requiring explanations or explicit country neutrality instructions, reduce but fail to eliminate these disparities. Testing across …

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 …

Deep Learning For Video Anomaly Detection: A Review, Peng Wu, Chengyu Pan, Yuting Yan, Guansong Pang, Qingsen Yan, Peng Wang, Yanning Zhang

Research Collection School Of Computing and Information Systems

Video anomaly detection (VAD) aims to discover behaviors or events deviating from the normality in videos. As a long-standing task in the field of computer vision, VAD has witnessed much good progress. In the era of deep learning, with the explosion of architectures of continuously growing capability and capacity, a great variety of deep learning-based methods are constantly emerging for the VAD task, greatly improving the generalization ability of detection algorithms and broadening the application scenarios. Therefore, such a multitude of methods and a large body of literature make a comprehensive survey a pressing necessity. In this article, we present …

Multimodal Contrastive Spatiotemporal Self-Organizing Neural Networks For In-Home Activity Learning Of Mild Cognitive Impairment, Seng Khoon Teh, Ah-Hwee Tan, Kar Way Tan, Iris Rawtaer

Research Collection School Of Computing and Information Systems

In-home spatiotemporal data, such as the movement trajectory data and the spatial time series data, contains potential predictive utility for detection of geriatric conditions including Mild Cognitive Impairment (MCI), frailty, and cognitive frailty. However, few have explored spatiotemporal learning models for learning and fusion of such disparate spatiotemporal data, owing to the lack of a generalized machine learning model that can jointly model these different spatiotemporal data types. This work reports a multimodal spatiotemporal machine learning model based on a class of self-organizing neural networks that can integrate different spatiotemporal data types for MCI detection. Specifically, Episodic Memory Adaptive Resonance …

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 …

Configuring Agentic Ai Coding Tools: An Exploratory Study, Matthias Galster, Seyedmoein Mohsenimofidi, Jai Lal Lulla, Muhammad Auwal Abubakar, Christoph Treude, Sebastian Baltes

Research Collection School Of Computing and Information Systems

Agentic AI coding tools increasingly automate software development tasks. Developers can configure these tools through versioned repository-level artifacts such as Markdown and JSON files. We present a systematic analysis of configuration mechanisms for agentic AI coding tools, covering Claude Code, GitHub Copilot, Cursor, Gemini, and Codex. We identify eight configuration mechanisms spanning from static context to executable and external integrations and, in an empirical study of 2,853 GitHub repositories, examine whether and how they are adopted, with a detailed analysis of Context Files, Skills, and Subagents. First, Context Files dominate the configuration landscape and are often the sole mechanism in …

Operationalizing Ethics For Ai Agents: How Developers Encode Values Into Repository Context Files, Christoph Treude, Sebastian Baltes, Marc Cheong

Research Collection School Of Computing and Information Systems

As AI coding agents become embedded in software development workflows, developers are beginning to operationalize ethical principles by encoding behavioral rules into repository-level context files for AI agents, such as AGENTS.md files. Rather than examining the ethics of AI agents in the abstract, this vision paper investigates how ethics and values are already being translated for AI agents into actionable instructions that shape agent behavior. Through a preliminary investigation, we find that developers are already embedding guidance related to fairness, accessibility, sustainability, tone, and privacy. These artifacts function as a developer-authored governance layer, translating abstract principles into situated, natural-language directives …

A Dataset Of Agentic Ai Coding Tool Configurations, Matthias Galster, Seyedmoein Mohsenimofidi, Levi Böhme, Jai Lal Lulla, Muhammad Auwal Abubakar, Christoph Treude, Sebastian Baltes

Research Collection School Of Computing and Information Systems

Agentic AI coding tools such as Claude Code and OpenAI Codex execute multi-step coding tasks with limited human oversight. To steer these tools, developers create repository-level configuration artifacts (e.g., Markdown files) for configuration mechanisms such as Context Files, Skills, Rules, and Hooks. There is no curated dataset yet that captures these configurations at scale. This dataset, collected from open-source GitHub repositories, fills that gap. We selected 40,585 actively maintained repositories through metadata filtering, classified them using GPT-5.2 to identify 36,710 as belonging to engineered software projects, and systematically detected configuration artifacts in these repositories. The dataset covers 4,738 repositories across …

Spatiotemporal Sycophancy: Negation-Based Gaslighting In Video Large Language Models, Ziyao Tang, Pengkun Jiao, Bin Zhu, Huiyan Qi, Jingjing Chen, Yu-Gang Jiang

Research Collection School Of Computing and Information Systems

Video Large Language Models (Vid-LLMs) have demonstrated remarkable performance in video understanding tasks, yet their robustness under conversational interaction remains largely underexplored. In this paper, we identify spatiotemporal sycophancy, a failure mode in which Vid-LLMs retract initially correct, visually grounded judgments and conform to misleading user feedback under negation-based gaslighting. Rather than merely changing their answers, the models often fabricate unsupported temporal or spatial explanations to justify incorrect revisions. To systematically investigate this phenomenon, we propose a negation-based gaslighting evaluation framework and introduce GasVideo-1000, a curated benchmark designed to probe spatiotemporal sycophancy with clear visual grounding and temporal reasoning requirements. …

Oscbench: Benchmarking Object State Change In Text-To-Video Generation, Xianjing Han, Bin Zhu, Shiqi Hu, Franklin Mingzhe Li, Patrick Carrington, Roger Zimmermann, Jingjing Chen

Research Collection School Of Computing and Information Systems

Text-to-video (T2V) generation models have made rapid progress in producing visually high-quality and temporally coherent videos. However, existing benchmarks primarily focus on perceptual quality, text–video alignment, or physical plausibility, leaving a critical aspect of action understanding largely unexplored: object state change (OSC) explicitly specified in the text prompt. OSC refers to the transformation of an object’s state induced by an action, such as peeling a potato or slicing a lemon. In this paper, we introduce OSCBench, a benchmark specifically designed to assess OSC performance in T2V models. OSCBench is constructed from instructional cooking data and systematically organizes action–object interactions into …

Tranx-Adapter: Bridging Artifacts And Semantics Within Mllms For Robust Ai-Generated Image Detection, Wenbin Wang, Yuge Huang, Jianqing Xu, Yue Yu, Jiangtao Yan, Shouhong Ding, Pan Zhou, Yong Luo

Research Collection School Of Computing and Information Systems

Rapid advances in AI-generated image (AIGI) technology enable highly realistic synthesis, threatening public information integrity and security. Recent studies have demonstrated that incorporating texture-level artifact features alongside semantic features into multimodal large language models (MLLMs) can enhance their AIGI detection capability. However, our preliminary analyses reveal that artifact features exhibit high intra-feature similarity, leading to an almost uniform attention map after the softmax operation. This phenomenon causes attention dilution, thereby hindering effective fusion between semantic and artifact features. To overcome this limitation, we propose a lightweight fusion adapter, TranX-Adapter, which integrates a Task-aware Optimal-Transport Fusion that leverages the Jensen-Shannon divergence …

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 …

Air: Improving Agent Safety Through Incident Response, Zibo Xiao, Jun Sun, Junjie Chen

Research Collection School Of Computing and Information Systems

Large Language Model (LLM) agents are increasingly deployed in practice across a wide range of autonomous applications. Yet current safety mechanisms for LLM agents focus almost exclusively on preventing failures in advance, providing limited capabilities for responding to, containing, or recovering from incidents after they inevitably arise. In this work, we introduce AIR, the first incident response framework for LLM agent systems. AIR defines a domain-specific language for managing the incident response lifecycle autonomously in LLM agent systems, and integrates it into the agent's execution loop to (1) detect incidents via semantic checks grounded in the current environment state and …

Rendering Data Unlearnable By Exploiting Llm Alignment Mechanisms, Ruihan Zhang, Jun Sun

Research Collection School Of Computing and Information Systems

Large language models (LLMs) are increasingly trained on massive, heterogeneous text corpora, raising serious concerns about the unauthorised use of proprietary or personal data during model training. In this work, we address the problem of data protection against unwanted model learning in a realistic blackbox setting. We propose Disclaimer Injection, a novel data-level defence that renders text unlearnable to LLMs. Rather than relying on model-side controls or explicit data removal, our approach exploits the models’ own alignment mechanisms: injecting carefully designed alignment-triggers to prevent effective learning. Through layer-wise analysis, we find that finetuning on such protected data induces persistent activation …

Train In Vain: Functionality-Preserving Poisoning To Prevent Unauthorized Use Of Code Datasets, Yuan Xiao, Yuchen Chen, Jiaming Wang, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen

Research Collection School Of Computing and Information Systems

The widespread availability of large-scale code datasets has accelerated the development of code large language models (CodeLLMs), raising concerns about unauthorized dataset usage. Dataset poisoning offers a proactive defense by reducing the utility of such unauthorized training. However, existing poisoning methods often require full-dataset poisoning and introduce transformations that break code compilability. In this paper, we introduce FunPoison, a functionality-preserving poisoning approach that injects short, compilable weak-use fragments into executed code paths. FunPoison leverages reusable statement-level templates with automatic repair and conservative safety checking to ensure side-effect freedom, while a type-aware synthesis module preserves type correctness, suppresses static-analysis warnings, and …

Knowledge-State Generative Agents For Pre-Assessment Question Evaluation, Ping Fan Ke, Yi Meng Lau, Siaw Ling Lo

Research Collection School Of Computing and Information Systems

This paper introduces a Knowledge‑State Generative Agent framework for evaluating the quality of pre‑assessment questions. The framework employs large language model (LLM)–based agents prompted to adopt a teacher persona to simulate the responses of students with and without mastery of targeted knowledge components. A preliminary empirical study using archival data from 424 students enrolled in an Information Systems Management course indicates that the proposed approach yields interpretable metrics under Classical Test Theory. Results further show that agents instantiated with the relevant mastered knowledge components exhibit systematically higher performance than agents lacking such mastery. In addition, the study suggests that teacher-persona …

Itimo: An Llm-Empowered Synthesis Dataset For Travel Itinerary Modification, Zhuoxuan Huang, Yunshan Ma, Hongyu Zhang, Hua Ma, Zhu Sun

Research Collection School Of Computing and Information Systems

Addressing itinerary modification is crucial for enhancing the travel experience as it is a frequent requirement during traveling. However, existing research mainly focuses on fixed itinerary planning, leaving modification underexplored due to the scarcity of shape need-to-modify itinerary data. To bridge this gap, we formally define the itinerary modification task and propose a general pipeline to construct the corresponding dataset, namely iTIMO. This pipeline frames the generation of shape need-to-modify itinerary data as an intent-driven perturbation task. It instructs large language models to perturb real-world itineraries using three operations: REPLACE, ADD, and DELETE. Each perturbation is grounded in three intents: …

Dual-Diffusional Generative Fashion Recommendation, Mingzhe Yu, Lei Wu, Qianru Sun, Yunshan Ma

Research Collection School Of Computing and Information Systems

Personalized generative recommender systems have emerged as a promising solution for fashion recommendation. However, existing methods primarily rely on implicit visual embeddings from historical interactions, which often contain preference-irrelevant information and result in insufficient user behavior modeling. Moreover, these models typically generate only item images, providing limited interpretability. To address these limitations, we propose DualFashion, a Dual-Diffusional Generative Fashion Recommendation Architecture that jointly models image and text modalities for personalized and explainable recommendation. DualFashion adopts a dual-diffusion Transformer with image and text branches, where structured attribute-level captions and visual outfit information are jointly used as conditioning signals to model user …