Computer Sciences Commons^™

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Interpretable Machine Learning For Personalized Profiling Of Mild Cognitive Impairment From Daily Activities, Budhitama Subagdja, Ah-Hwee Tan, Kenneth Kwok, Iris Rawtaer

Research Collection School Of Computing and Information Systems

Continuous monitoring of individual daily activities is essential to detect mild cognitive impairment (MCI) wherein timely intervention can still be applied to prevent more severe mental decline. Recent approaches in predicting MCI are mostly considering digital biomarkers across individuals but often neglecting specific indicators from a single person over a long period of time. Making this personalized, dynamic, and highly noisy prediction model with irregular distribution of missing information to be explainable and actionable for clinical use, remains a challenge. This paper presents a study on a personalized MCI prediction and profiling from an in-home and mobile cognitive health monitoring …

Cylindformer: Image-To-Point Cloud Registration With Cylindrical Transformer, Jingtao Wang, Hao Tang, Yanpeng Sun, Shengfeng He, Zechao Li

Research Collection School Of Computing and Information Systems

Accurate correspondence extraction between distinctive pixel-wise and point-wise features is critical for image-to-point cloud (I2P) registration. Recent efforts leveraging Transformers for I2P feature representation have demonstrated potential, primarily by first capturing intra-modality global contextual dependencies via self-attention, and then learning cross-modality correlations via cross-attention. The strength of vanilla Transformers lies in modeling cross-modality global feature correlations. However, such mechanisms often struggle with the structural disparity between dense image pixels and sparse 3D points, hindering the establishment of fine-grained correspondences. Moreover, global attention may introduce ambiguity, as interactions with many inconsistent regions of intra-modality may degrade feature distinctiveness. To address these …

Hybrid Deep Learning For Anti-Money Laundering: Unsupervised Detection Of Emerging Schemes Via Feature Fusion And Explainable Artificial Intelligence, Cosmas Ochieng Kungu, Kennedy Senagi, Evans Omondi

All Peer-Reviewed Publications

Traditional rule-based anti-money laundering (AML) transaction monitoring systems suffer from high false-positive rates and rigidity in detecting complex emerging risk. This limitation has prompted changes to the Financial Action Task Force (FATF) recommendation 16, mandating the use of advanced systems for detecting money laundering schemes in cross-border payments. This study developed a hybrid framework integrating VAE-learned behavioural latent factors, GNN-captured relational network signals, and rule-based heuristics for enhanced anomaly detection. The model was evaluated on 54,258 real-world cross-border transaction records from an East African commercial bank. The One-Class SVM, optimised via a rigorous grid search proved superior compared to Isolation …

N-Dqn: Neutrosophic Deep Q-Network For Uncertainty-Aware Forecasting And Decision Optimization, Rania Lutfi

Neutrosophic Systems with Applications

Uncertainty remains a critical challenge in dynamic spatiotemporal forecasting. This study proposes the Neutrosophic Deep Q-Network (N-DQN), a framework that integrates neutrosophic logic with deep reinforcement learning to enhance decision optimization under uncertainty. Features are modeled through truth, indeterminacy, and falsity membership functions, enabling robust handling of ambiguous data. The framework incorporates attention-guided preprocessing and horizon-aware optimization to adapt predictions across short- and long-term intervals. Experiments on benchmark traffic datasets (METR-LA and PEMS-BAY) demonstrate improved forecasting accuracy and reduced error rates compared with established baselines. The results highlight the scalability and resilience of N-DQN, positioning it as a promising approach …

Single-Valued, Double-Valued, Triple-Valued, Quadruple-Valued, And Quintuple-Valued Neutrosophic Graph, Takaaki Fujita, Arif Mehmood, Arkan A. Ghaib

Neutrosophic Systems with Applications

Concepts such as fuzzy sets, neutrosophic sets, rough sets, and plithogenic sets have been extensively studied as formal tools for modeling uncertainty, and they have found broad applications across many disciplines. A Double-Valued Neutrosophic Set (DVNS) extends the classical neutrosophic framework by splitting indeterminacy into two distinct components: one leaning toward truth and the other leaning toward falsity. In recent years, further refinements—namely Triple-Valued, Quadruple-Valued, and Quintuple-Valued Neutrosophic Sets—have also been introduced and investigated. These uncertainty models have naturally been lifted to graph-theoretic settings, where vertices and edges represent entities and relationships under ambiguity. Although fuzzy graphs and neutrosophic graphs …

Evaluating Domains' Trustworthiness Based On Uncertainty-Driven Methodologies In The Era Of Sixth Generation, Zekra Sakr, Mona Mohamed

Neutrosophic Systems with Applications

The onset of today's innovations pledges to have a beneficial influence on contemporary civilization in an era of intelligent revolutions, setting a precedent for unrivaled efficiency, creativity, and connectedness. The integration between these technologies contributes to the mutual benefit of each one, wherein this relation is a so-called ``reciprocal partnership''. For instance, the sixth generation (6G) wireless networks permit blockchain nodes to coordinate huge volumes of transaction data in real-time. On the other hand, blockchain is considered a secure valve because spectrum sharing can be automated with blockchain and smart contracts. Accordingly, analyzing and evaluating the contribution of these technologies …

Neutrosophic Finsler–Cohomological Framework For Engineering Systems Under Uncertainty, Mona Gharib, Ghulam Muhammad, Muhammad Idrees, Zeeshan Gul

Neutrosophic Systems with Applications

This paper introduces a novel mathematical framework that combines Neutrosophic Finsler Geometry with Neutrosophic Cohomology for evaluating the performance of Brushless Direct Current (BLDC) motors under uncertain and indeterminate operating conditions. Classical motor performance models typically assume precise measurements of torque, current, and efficiency; however, in real-world settings, these parameters are often affected by noise, incomplete information, and conflicting observations. By embedding motor operating states into a neutrosophic Finsler space, the proposed approach captures variations not only in magnitude but also in direction, uncertainty, and conflict of performance metrics. In addition, neutrosophic Cohomology is employed to characterize global invariants of …

An Uncertainty-Aware Entropy-Oreste Framework For Big Data Platform Selection In Complex Multi-Sector Environments, Ahmed M. Ali, Ibrahim Alrashdi, Karam M. Sallam

Neutrosophic Systems with Applications

The increasing reliance on Big Data platforms across various industries has necessitated the development of systematic decision-support frameworks to guide their evaluation and selection. Given the diversity of available platforms, each offering different capabilities, scalability, and computational efficiency, choosing the optimal solution remains a complex challenge. This research proposes a novel analytical framework that integrates Spherical Fuzzy Sets (SFS) with the Entropy and ORESTE methods to address uncertainty and enhance the accuracy and robustness of Big Data platform evaluation. This hybrid integration, not previously applied to Big Data platform selection, enables objective criteria weighting through the Entropy method and comprehensive …

Client Feedback Effects On Enjoyment, Motivation And Self-Efficacy In A Project-Based Learning Course, Krista Stacey, David M. Bourrie

University Faculty and Staff Publications

This paper reports a mixed-methods evaluation of how feedback/project source (faculty-led versus client-led) shapes student outcomes in a two-course undergraduate game and simulation development sequence (N = 29 across two academic years). Quantitative measures (enjoyment, intrinsic motivation, self-efficacy) were collected with a six-point Likert survey and analyzed, but due to small sample sizes were not used to empirically evaluate the constructs. Instead, qualitative data comprised of de-identified focus-group transcripts and open-ended survey responses were analyzed with a keyword-assisted codebook and manual validation. Year 1 (faculty feedback) exhibited more consistent post-course gains, especially in self-efficacy, while Year 2 (client feedback) produced …

Bl(U)E Crab: Bluetooth Low Energy Connection Risk Assessment Benchmarking, Dylan Christopher Conklin

Dissertations and Theses

The usage of Bluetooth Low Energy (BLE)-based tracker devices for stalking has become a salient privacy concern. Detecting unwanted or suspicious trackers is challenging due to their cross-platform compatibility issues, inconsistent detection methods, and lack of an industry-wide standard for detecting malicious devices. BL(u)E CRAB, Bluetooth Low Energy Connection Risk Assessment Benchmarking, scans data and generates risk factors about nearby devices to classify them as suspicious or not. These risk factors include the number of encounters the user had with a device, the duration of time a device has been near the user, the distance a device has traveled …

Ai Transformation In Education: Examining Teachers’ Perceptions Using An Integrated Tam-Tpack-Genai Framework, Areej Elsayary, Ghadah Al Murshidi, Karim Ragab, Ahmed Al Zaabi

All Works

Artificial intelligence (AI) is transforming educational systems by enhancing teaching, assessment, and learning personalization. This study investigated teachers’ perceptions of AI integration using an integrated technology acceptance model (TAM), technological pedagogical content knowledge (TPACK), and generative artificial intelligence (GenAI) framework. The main constructs used are perceived usefulness (PU), attitudes toward use (ATU), and behavioral intention (BI), with GenAI dimensions (agency, amplification, adaptivity, and authenticity) embedded within them. The study employed a cross-sectional design with 332 teachers in the emirate of Al Ain, United Arab Emirates. Results showed that PU was the strongest predictor of both ATU and BI, while ATU …

Algorithmic Opacity In Opioid Risk Scoring And The Need For Transparent Ai Regulation, Sherry Yun Wang, Ryan Stofer, Zhouzhou Chu, Xiao Huang, Ang Li

Pharmacy Faculty Articles and Research

NarxCare®, a proprietary opioid risk scoring system embedded in Prescription Drug Monitoring Programs (PDMPs), has generated significant patient complaints. We adhered to the technical specifications and applied them to PDMP and IQVIA PharMetrics® Plus Closed Health Plan claims database. Despite adding socioeconomic covariates, precision (0.01–0.32) was far below the reported benchmark of 0.75, and F1 scores (0.02–0.39) were also substantially lower than the benchmark value of 0.65, across all our reconstructed models.

Unraveling Patch Size Effects In Vision Transformers: Adversarial Robustness In Hyperspectral Image Classification, Shashi Kiran Chandrappa, Sidike Paheding, Abel A. Reyes-Angulo

Michigan Tech Publications

Highlights: This work investigates the effect of spatial patch size on the classification accuracy and adversarial robustness of Vision Transformer-based architectures for hyperspectral image analysis. What are the main findings? Smaller patch sizes generally exhibit stronger adversarial robustness while maintaining comparable clean classification performance. Larger patch sizes tend to reduce robustness by increasing sensitivity to localized adversarial perturbations, with some dataset-dependent variations. What are the implications of the main findings? Spatial patch size is an important design consideration when applying Vision Transformers to hyperspectral image classification tasks. The findings provide practical guidance for informed patch-size selection in robust, deployment-aware transformer-based …

Artificial Intelligence-Driven Materials Science: Evolution, Framework, Dilemmas, And Breakthroughs, Yanglili Zhou, Weihua Wang, Ziwei Zhao

Bulletin of Chinese Academy of Sciences (Chinese Version)

Artificial intelligence-driven materials science (AIMS) represents a revolutionary and disruptive paradigm in materials research, promising to fundamentally break through the traditional bottlenecks of research cycles and efficiency. Historically, the evolution of materials science research paradigms from empirical trial and error, theoretical modeling, and computational simulation to the new data-driven stage has been driven by innovations in cognitive tools and methods. Currently, artificial intelligence, as a disruptive cognitive tool, is fundamentally reconstructing the core elements and interaction logic of materials science: the research process achieves intelligent iteration and full-process closed-loop; the capabilities of researchers are reshaped and teams are organized; and …

Study On Strategies And Measures And Insights For Introducing Artificial Intelligence Talents In Japan, Fangxin Hu, Ru Ma, Yujun Su

Bulletin of Chinese Academy of Sciences (Chinese Version)

In response to the aging population and the need for innovation in science and technology development, Japan regards AI as a key technology to solve social problems. In addition to accelerating the training of domestic AI talents, Japan is also vigorously introducing overseas AI talents. This study sorts out and analyzes Japan’s long-term, annual, and AI-specific strategic planning for the introduction of AI talents, including Basic Plan for Science, Technology and Innovation, Comprehensive Innovation Strategy, Strategic Plan for Artificial Intelligence Technology, and AI Strategy, and explores Japan’s specific implementation measures such as updating the national residence management system, improving the …

Cerebral Documents And Algorithmic Sensemaking: Searching For Expressions In Human And Artificial Cognitive Collaborations, Rebekah L. Cowell

Proceedings from the Document Academy

Generative Artificial Intelligences (AIs) and current advanced large language models (LLMs) are algorithmically designed to generate text-based conversations as conversational agents (CAs), by replicating human language and conversational communication. Pairing human cognition with generative computationally coded cognition. We have never been here before: cerebral and artificial information collaborations and processing producing expressions that may or may not become visible as second-hand/secondary source documents.

Sensemaking or sense(un)making is a unique autonomous human drive cognitively, our information processing is sensemaking in action and expressions and articulations are evidence of the sensemaking cycle. Documentation [expressed or articulated through various mediums] are a product …

Ueof, Nick Truong, Pritam P. Karkomar, William J. Beksi

Event-Based Vision - Archive

UEOF is the first synthetic underwater event-based optical flow dataset derived from physically-based ray-traced RGBD sequences. It was constructed using a modern video-to-event pipeline applied to rendered underwater videos. It consists of realistic event data streams with dense ground-truth flow, depth, and camera motion. The dataset is composed of 12 minutes and 51 seconds of data across 13,714 RGB frames. This results in a total of 4.94 billion events across all scenes. UEOF exhibits a high dynamic range of motion with a mean flow magnitude of 6.1 px and a median of 3.6 px. The motion distribution is heavy-tailed. While …

Ai-Guided Binding Mechanisms And Molecular Dynamics For Mers-Cov, Pradyumna Kumar, Lingtao Chen, Rachel Yuanbao Chen, Yin Chen, Seyedamin Pouriyeh, Progyateg Chakma, Abdur Rahman Mohd Abul Basher, Yixin Xie

Faculty Articles

The MERS-CoV (Middle East respiratory syndrome coronavirus) is a zoonotic virus with a high mortality rate and a lack of antiviral drugs, underscoring the need for effective therapeutic methods. Viral entry depends on interactions between viral surface proteins and human receptors, with Dipeptidyl Peptidase-4 (DPP4), a transmembrane glycoprotein, acting as the receptor for MERS-CoV. We employed Molecular Dynamics (MD) Simulations to identify critical interface residues under a high-performance computing (HPC) workflow for accelerated results. Target residue pairs were identified through analysis of salt bridge and hydrogen bond occupancy. The stability of these residues was confirmed through three independent MD Simulations …

Research On System And Application Framework Of Tactical Wargaming Simulation Driven By Ai4s, Dayong Liu, Qisheng Guo, Zhiming Dong, Xuehuan Qiu, Zhuoli Liu

Journal of System Simulation

Abstract: Tactical wargaming simulation, as a crucial tool for combat analysis, simulation training, and equipment demonstration and test, has become a significant means for generating combat effectiveness. Integrating AI into simulation not only enhances simulation efficiency but also diminishes reliance on humans. To assist professionals engaged in tactical wargaming simulation in mastering AI application methods, fostering a systematic mindset, and understanding evolving trends, this paper provided a concise overview of the principles behind AI for science (AI4S). Subsequently, it conducted an analysis of AI4S's application effectiveness in tactical wargaming simulation, established an AI4S-driven wargaming simulation system, and elucidated its composition, …

Social Cognition Simulation With Large Language Model-Driven Agents, Mingxin Zhang, Jinxuan Wu, Rui Zhu, Yunlong Wang, Wenjuan Meng, Zhe Liu, Xu Li, Xiaolei Chen, Yuxuan Liang, Yi Zheng, Xiangyang Xue

Journal of System Simulation

Abstract: With the continuous evolution of the capabilities of generative LLMs, their application in social cognition simulation is demonstrating paradigm-shifting potential. Traditional social simulation methods predominantly rely on static rules and simplified behavioral models, making it difficult to capture the dynamic evolution and cultural complexity of human social behavior. LLM-driven agents, equipped with contextual understanding and natural language generation capabilities, are emerging as novel tools for modeling social cognitive mechanisms, enabling the simulation of complex sociopsychological processes such as identity construction, value judgment, and intentional reasoning. This paper briefly introduced the technical foundations of LLMs and highlighted their suitability for …

Integrated Development Environment For Digital Test Applications Based On Cloud-Edge-End Architecture, Wenguang Yu, Qun Li, Hongjie Dang, Hao Chen, Ping Yang

Journal of System Simulation

Abstract: Digital test applications need to be constructed using the unified digital test development tool. After analyzing the features of digital test applications such as large-sample autonomous run, high computational efficiency requirement, and diverse task scenarios, this paper proposes the integrated development environment (IDE) for digital test applications based on cloud-edge-end architecture. The layered expandable architecture, the hybrid integration framework of multi-source heterogeneous models, and the cloud-edge-end collaborative deployment architecture are designed for the IDE of digital test applications. The IDE supports the rapid development, integration, and execution of digital test models and enables development of digital test applications on …

Research On Chain-Of-Thought Technology For Situational Awareness Based On Modular Reasoning, Hongyuan Ji, Duzheng Qing

Journal of System Simulation

Abstract: To address issues such as insufficient intelligence of situational understanding in traditional simulation systems, a situational visual question answering dataset was constructed, and a modular reasoning framework was proposed. The SACoT was built, which, under a zero-shot setting, employed expert prompts to guide the model in task decomposition and multimodal information fusion, generating reasoning chains to enhance semantic cognition and interpretability and offering a scalable solution with low computation cost. Experimental results indicate that SACoT improves task allocation, enables models to focus on query-relevant image details, mitigates the fragmentation of chain-of-thought induced by multi-step reasoning, and reduces long-form …

Simulation Of Robotic Arm Ball-Catching Strategy Based On Curriculum Rl Of Transformer, Ziyao Zhang, Yunfeng Ji

Journal of System Simulation

Abstract: Method integrating the PPO algorithm with Transformer network architecture is proposed, and curriculum learning strategy is introduced to solve the difficult training convergence and low efficiency of traditional RL methods in complex and dynamic high-degree-of-freedom tasks such as robotic arm ball catching. The Transformer is employed to effectively capture the complex high-dimensional dependency between the robotic arm's state space, ball trajectory, and environmental physical parameters. Curriculum learning progressively increases catching difficulty by designing training tasks from simple to complex objectives. The experimental results show this method increases the ball-catching success rate by over 60% compared to the traditional …

Research On Uav Target Tracking Algorithm For Simulation Scenarios, Xinyi Li, Zhenfei Wang, Han Wu

Journal of System Simulation

Abstract: To address the need for automatic UAV tracking of moving targets in simulated experiments, this paper proposed a long-term automatic tracking method based on an improved channel and spatial reliability-aware tracker (CSRT) algorithm. The target edge features were detected using the Laplacian of guided filter (LOGF) through guided filtering and then fused with the histogram of oriented gradient (HOG) and color names (CN) features to enhance the algorithm's discriminative ability for the target. To evaluate the target state, the paper used average peak correlation energy and perceptual hash Hamming distance. When the target was occluded, the paper employed YOLOv8 …

Distributed Optimization For Integrated Energy Based On Multi-Agent Reinforcement Learning, Caixia Tao, Naikun Chen, Fengyang Gao, Jiangang Zhang

Journal of System Simulation

Abstract: To address the energy management and privacy preservation problems faced by the coordinated optimization of distributed integrated energy systems, a distributed coordinated optimization strategy based on the multi-agent proximal policy optimization algorithm was proposed. An energy management model was established under the MDP framework; the electrical and thermal heterogeneous energy characteristics were considered; a multi-region two-layer interaction mechanism was constructed. Under the framework of centralized training and decentralized execution, homomorphic encryption was utilized to avoid privacy leakage during the coordination process, while accurately quantifying individual contributions to mitigate the problem of variance explosion in multi-agent policy evaluation. In the …

Prediction Of Inflow Wind Field For Large-Scale Wind Turbines Based On Multimodal Hybrid Deep Learning, Jiheng Wang, Yang Hu, Ziqiu Song, Fang Fang, Jizhen Liu

Journal of System Simulation

Abstract: To address the demand for high-precision inflow wind field prediction in large-scale wind turbines, traditional CFD methods suffer from high computational costs and poor real-time applicability. This paper proposed a multimodal hybrid deep learning-based wind field prediction method. The proposed method took turbine operating parameters and far-range wind field images as inputs and generated short-range wind field images as outputs. By employing a U-Net-Transformer-GAN hybrid architecture, the model achieved multi-scale feature extraction, temporal dependency modeling, and highresolution wind field image generation. The vorticity transport equation and Kármán-Howarth turbulence statistics were incorporated as weak constraints to enhance physical consistency, while …

Llm-Driven Multi-Agent Social Network Simulation: Interdisciplinary Integration And Cutting-Edge Development, Jiting Li, Yi Sun, Yirong Wang, Yiqin Lin, Jun Jia, Gangsong Ding

Journal of System Simulation

Abstract: The breakthrough of LLMs has provided powerful tools for social network research, advancing multi-agent social network simulation into a new era. This review systematically examined recent progress in LLM-driven multi-agent social network simulation research through a integrated perspective of multi-disciplines such as artificial intelligence, psychology, communication studies, and sociology. A three-tiered research system, which has gradually formed in this field and encompassed micro-level individual behaviors, meso-level interactive relations, and macro-level system emergence, was summarized. At the micro-level, research focuses on individual human behavior simulation, and numerous studies are dedicated to developing human-like agents with complex cognitive and affective architectures …

An Adaptive Robot Path Planning Based On Improved Rea* Algorithm, Ling Zhu, Jing Li, Zhaohui Zhang

Journal of System Simulation

Abstract: In order to improve the computational efficiency and path smoothness in a robot's global path planning, an adaptive robot path planning strategy based on an improved unilateral rectangle expansion A*(REA*) algorithm was proposed. The robot's operational safety was ensured by setting a buffer around obstacles. A passable interval formed by unilateral rectangle expansion was used as the operation unit, and bidirectional alternating search was combined to enhance the path planning efficiency. Inspired by potential field theory, the evaluation function was optimized by introducing a vector form to achieve fast adaptive obstacle avoidance. A new path planning strategy was proposed …

Evolutionary Game-Based Analysis Of Responses To Hallucinations In Generative Artificial Intelligence, Qiang Yan, Qianyu Zhang, Na Wei

Journal of System Simulation

Abstract: The accelerated deployment of generative artificial intelligence, particularly large language models, has amplified the social risks of hallucinations, posing systemic threats to the credibility of the information ecosystem, the effectiveness of users’ cognitive decision-making, and the governance security in the public domain. Research primarily focuses on hallucination mitigation mechanisms at the technical level or the design of regulatory frameworks at the policy level, lacking a systematic theoretical analysis of the evolutionary logic of strategic interactions among the “large language models, users, and regulators” under conditions of bounded rationality. By introducing evolutionary game theory into the field of generative artificial …