Digital Commons Network^™

Private Set Intersection: A Systematic Review, Yunbo Yang, Defan Zhu, Jianting Ning, Qi Feng, Xiaoguo Li, Yuejia Cheng, Guomin Yang, Kui Ren

Research Collection School Of Computing and Information Systems

Various services, such as search engines, are increasingly deployed in cloud-based and distributed systems. However, data are typically managed by trusted servers, making user privacy and data security critical concerns. Private set intersection (PSI) is a powerful cryptographic primitive that enables multiple parties to compute the intersection of their datasets without revealing private inputs. It has been extensively studied over the past two decades, leading to significant gains in computational and communication efficiency. Yet, in many real-world scenarios, revealing the raw intersection may still leak sensitive information. To address this, numerous PSI variants have been developed to meet different application …

Identifying And Mitigating Api Misuse In Large Language Models, Terry Yue Zhuo, Junda He, Jiamou Sun, Zhenchang Xing, David Lo, John Grundy, Xiaoning Du

Research Collection School Of Computing and Information Systems

API misuse in code generated by large language models (LLMs) presents a serious and growing challenge in software development. While LLMs demonstrate impressive code generation capabilities, their interactions with complex library APIs are often error-prone, potentially leading to software failures and vulnerabilities. In this paper, we conduct a large-scale study of API misuse patterns in LLM-generated code, analyzing both method selection and parameter usage across Python and Java, using three representative LLMs (StarCoder-7B, Qwen2.5-Coder-7B, and GitHub Copilot). Based on extensive manual annotation of 3,209 method-level and 3,492 parameter-level misuses, we identify and categorize four recurring misuse types by building on …

Addressing Graph Heterogeneity And Heterophily From A Spectral Perspective, Kangkang Lu, Yanhua Yu, Ruopei Guo, Nan Cheng, Zhiyong Huang, Yunshan Ma, Meiyu Liang, Yuling Wang, Xiting Qin, Yimeng Ren, Tat-Seng Chua

Research Collection School Of Computing and Information Systems

Graph Neural Networks (GNNs) face two key challenges, heterogeneity and heterophily, which often degrade performance. Existing approaches either focus narrowly on specific meta-paths, limiting their expressiveness, or are expressive but cannot effectively leverage higher-order neighbors. In this paper, we propose the Heterogeneous Heterophilic Spectral Graph Neural Network (H2SGNN), which combines local independent filtering to adaptively handle meta-path subgraphs with varying homophily ratios, and global hybrid filtering to capture high-order neighbor interactions with linear computational complexity. On five heterogeneous graph benchmarks—DBLP, ACM, IMDB, AMiner, and Yelp—H2SGNN consistently outperforms strong baselines, for example, achieving +1.0% Macro-F1 and +1.3% Micro-F1 on IMDB. It …

Comprehensively Evaluating The Perception Systems Of Autonomous Vehicles Against Hazards, Xiaodong Zhang, Jie Bao, Jianlei Chi, Jun Sun, Zijiang Yang

Research Collection School Of Computing and Information Systems

Perception systems are vital for the safety of autonomous driving. In complex autonomous driving scenarios, autonomous vehicles must overcome various natural hazards, such as heavy rain or raindrops on the camera lens. Therefore, it is essential to conduct comprehensive testing of the perception systems in autonomous vehicles against these hazards, as demanded by the regulatory agencies of many countries for human drivers. Since there are many hazard scenarios, each of which has multiple configurable parameters, the challenges are (1) how do we systematically and adequately test an autonomous vehicle against these hazard scenarios, with measurable outcome; and (2) how do …

Transfer Learning Neural Networks For Nuclear Forensic Image Morphology Using Image Splitting Techniques, Niko A. Petrocelli, Lee C. Lambert, Brett J. Borghetti, Abigail A. Bickley

Faculty Publications

Manual morphological analysis of actinide particles from scanning electron microscope (SEM) imagery is a critical component of nuclear forensics but is prone to significant inter-analyst variability. To address this challenge, this work develops and evaluates an automated classification method using deep learning. We introduce a methodology based on partitioning 1906 SEM images, representing 13 classes of uranium compounds, into smaller patches for analysis. Three convolutional neural network (CNN) architectures of increasing complexity were compared: a custom baseline CNN, a simple transfer learning model using ResNet50v1, and a complex model featuring hierarchical feature extraction and a spatial attention mechanism built upon …

The Application, Construction, And Validation Of Hidden Markov Model Profiles For Carbonic Anhydrase Enzymes, Samuel F. Kaplan

Master's Theses

Carbonic anhydrases (CAs) catalyze the reversible hydration of CO2 and have evolved independently at least eight times, resulting in structurally distinct enzyme families (α, β, γ, δ, ζ, η, θ, ι). Traditional sequence alignment methods struggle to classify these convergently evolved proteins because their sequential similarity does not reliably indicate functional or evolutionary relationships. Many CA sequences in public databases are annotated generically without family assignments, and prior computational approaches have focused predominantly on the three well characterized families (α, β, γ), leaving the five recently discovered classes without robust classification tools. Family level assignment is often a prerequisite for …

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, …

Designing For Trust In Chat-Based Question Answering Systems: An Exchange-Based Retrieval Approach, Nathan Mccutchen

Master's Theses

Community chat platforms such as Discord and Slack support spontaneous, collaborative communication but make it difficult to retrieve previously discussed information. As conversations accumulate, valuable exchanges become buried, leading to repeated questions and sustained burden on experienced community members.

This work contributes a set of design requirements for question-answering systems operating over unstructured chat data, a Discord bot prototype implementing those requirements named Echo, and an empirical evaluation of how such a system affects user trust. Rather than encoding discrete question-answer pairs or generating synthetic responses with a language model, Echo indexes conversation topics for semantic retrieval and presents results …

A High-Fidelity Multimodal Synthetic Dataset Generation Framework For Off-Road Unstructured Terrain Navigation Training Of Autonomous Robots, Liyana Wijayathunga, Dulitha Dabare, Alexander Rassau, Douglas Chai, Syed Mohammed Shamsul Islam

Research outputs 2022 to 2026

The success of deep learning methods in a wide range of application areas has inspired many recent developments in the urban and off-road autonomous navigation domain. In particular, techniques for semantic scene understanding, a key aspect of the navigation pipeline, have been researched extensively, resulting in many real-world and synthetic datasets. However, in comparison to urban semantic segmentation datasets, the availability of datasets for off-road environments remains sparse. In this paper, we aim to overcome this challenge by introducing a methodology capable of efficiently generating photorealistic synthetic datasets for off-road environments with support for multiple sensor modalities. The developed approach …

An Explainable Transformer-Based Model For Phishing Email Detection: A Large Language Model Approach, Mohammad Amaz Uddin, Md Mahiuddin, Iqbal H. Sarker

Research outputs 2022 to 2026

Phishing email is a serious cyber threat that tries to deceive users by sending false emails with the intention of stealing confidential information or causing financial harm. Attackers, often posing as trustworthy entities, exploit technological advancements and sophistication to make the detection and prevention of phishing more challenging. Despite extensive academic research, phishing detection remains an ongoing and formidable challenge in the cybersecurity landscape. In this research paper, we present a fine-tuned transformer-based masked language model, RoBERTa (Robustly Optimized BERT Pretraining Approach), for phishing email detection. In the detection process, we employ a phishing email dataset and apply the preprocessing …

Explainable Artificial Intelligence Models For Detecting Suspicious Bank Transactions, Narasimha Kumar Narasapuram, Syed Afaq Ali Shah, Mohd Fairuz Shiratuddin, Ferdous Sohel

Research outputs 2022 to 2026

Detecting financial crime is a complex challenge due to evolving criminal strategies and fragmented detection systems, particularly in the areas of money laundering and fraud. While it is easy to implement, traditional rule-based approaches lack adaptability to new threats, and machine learning models, though more effective, often function as opaque "black boxes," limiting their practical use in regulated domains like banking, where interpretability and accountability are essential. This research presents a novel framework that combines intrinsic and post-hoc XAI techniques to detect suspicious bank transactions. Intrinsic methods provide model-inherent transparency, while post-hoc methods offer behavior-level explanations, enabling robust cross-verification of …

How Agile Became The Design Philosophy Of Ai Fishbowl Under Real-World Constraints, Jad Saad

University Honors Theses

This capstone review examines the development of AI Fishbowl, a public-facing, interactive artificial intelligence system, as a case study in how Agile methods evolve from a project management tool into a design philosophy under real-world constraints. Although the project adopted an Agile workflow early on through a Kanban-style task management approach, the initial system design and architecture were still shaped by a largely plan-first mindset. This created a mismatch between flexible process and rigid design assumptions, which became increasingly apparent as the team moved from high-level architecture into implementation.

A critical turning point occurred when early architectural plans proved difficult …

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 …

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 …

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 …

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 …