Digital Commons Network^™

Polymorphism Crystal Structure Prediction With Adaptive Space Group Diversity Control, Sadman Saadeed Omee, Lai Wei, Jianjun Hu

Faculty Publications

Crystalline materials can form different structural arrangements (i.e., polymorphs) with the same chemical composition, exhibiting distinct physical properties depending on how they are synthesized or the conditions under which they operate. For example, carbon can exist as graphite (soft, conductive) or diamond (hard, insulating). Computational methods that can predict these polymorphs are vital in materials science, which help understand stability relationships, guide synthesis efforts, and discover new materials with desired properties without extensive trial-and-error experimentation. However, effective crystal structure prediction (CSP) algorithms for inorganic polymorph structures remain limited. ParetoCSP2 is proposed, a multi-objective genetic algorithm for polymorphism CSP that incorporates …

Non-Invasive Detection Of Choroidal Melanoma Via Tear-Derived Protein Corona On Gold Nanoparticles: A Machine Learning Approach, Hakimeh Rakhshandeh, Ahmad Nasiraei, Hamid Riazi-Esfahani, Babak Masoomian, Fariba Ghassemi, Mojtaba Arjmand, Saeed Heidari Keshel, Fatemeh Atyabi, Rassoul Dinarvand

Wills Eye Hospital Papers

This study investigates the feasibility of using tear sample analysis, based on protein corona formation on gold nanoparticles combined with electrospray ionization mass spectrometry (ESI-MS) and machine learning techniques, as a non-invasive approach for the detection of choroidal melanoma. The aim is to assess whether protein-nanoparticle interactions can support early and reliable identification of this ocular condition. Tear samples were collected using Schirmer strips from six healthy individuals and six patients diagnosed with choroidal melanoma, with subsequent augmentation to 18 samples per group. Gold nanoparticles (AuNPs, ~ 20 nm) were synthesized via citrate reduction and incubated with tear samples to …

Overcoming Variable Illumination In Photovoltaic Snow Monitoring: A Real-Time Robust Drone-Based Deep Learning Approach, Amna Mazen, Ashraf Saleem, Kamyab Yazdipaz, Ana Dyreson

Michigan Tech Publications

Snow accumulation on photovoltaic (PV) panels can cause significant energy losses in cold climates. While drone-based monitoring offers a scalable solution, real-world challenges like varying illumination can hinder accurate snow detection. We previously developed a YOLO-based drone system for snow coverage detection using a Fixed Thresholding segmentation method to discriminate snow from the solar panel; however, it struggled in challenging lighting conditions. This work addresses those limitations by presenting a reliable drone-based system to accurately estimate the Snow Coverage Percentage (SCP) over PV panels. The system combines a lightweight YOLOv11n-seg deep learning model for panel detection with an adaptive image …

Retracted: Idea Density And Grammatical Complexity As Neurocognitive Markers, Diego Iacono, Gloria Feltis

Department of Neurology Faculty Papers

Language, a uniquely human cognitive faculty, is fundamentally characterized by its capacity for complex thoughts and structured expressions. This review examines two critical measures of linguistic performance: idea density (ID) and grammatical complexity (GC). ID quantifies the richness of information conveyed per unit of language, reflecting semantic efficiency and conceptual processing. GC, conversely, measures the structural sophistication of syntax, indicative of hierarchical organization and rule-based operations. We explore the neurobiological underpinnings of these measures, identifying key brain regions and white matter pathways involved in their generation and comprehension. This includes linking ID to a distributed network of semantic hubs, like …

Exploring Students' Perceptions Of Genai Tools In Higher Education: A Case Study, Dina Mansour Tbaishat, Maha Waleed Elfadel

All Works

As artificial intelligence transforms the educational landscape, generative artificial intelligence (GenAI) tools have become influential in enhancing learning experiences. Despite their growing presence in higher education, limited research explores how university students, especially learners in non-Western contexts, perceive these tools. This study investigates students' perceptions at a university in the UAE, focusing on five dimensions: perceived benefits, institutional support, technological self-efficacy, ethical considerations and user satisfaction. The findings reveal that students generally expressed strong agreement regarding the benefits of GenAI, demonstrated a clear sense of ethical awareness and felt confident in their technological abilities. While satisfaction levels were generally high, …

Enhancing Fault Tolerance In Distributed Systems Using Shared Checkpoint Replica Mechanisms, Ameer A. Mousa, Mahdi S. Almhanna

Journal of Intelligent Informatics, Networking, and Cybersecurity

Fault tolerance is a critical requirement in distributed systems, as node and network failures can cause significant data loss, service disruption, and performance degradation. Traditional fault-tolerance methods often provide partial solutions, relying on separate recovery models for errors and delayed responses, while also incurring high resource costs. This paper aims to design and implement a more robust and efficient fault-tolerant architecture based on the concept of a shared checkpoint replica. In the proposed system, a master server and multiple slave servers collaboratively process client requests, share checkpoint replicas, and ensure seamless recovery in case of failures. To evaluate the approach, …

Design And Prediction Of Deep Fuzzy Neural Network, Chengbiao Wei, Taoyan Zhao, Jiangtao Cao, Ping Li

Journal of System Simulation

Abstract: A deep fuzzy neural network (DFNN) is proposed to solve the problem that the deep neural network has poor interpretability and the correction of the model is not targeted when dealing with the big data regression prediction problem. The proposed deep fuzzy neural network adopts an adaptive fuzzy Cmeans (AFCM) clustering algorithm in structural learning. The structure of the model, namely the number of rules and the antecedent parameters of the rules, is determined by calculating the introduced validity function. The identification of consequent parameters uses an improved grey wolf optimization (IGWO) algorithm. By replacing the linear decreasing strategy …

Anthem 2.0: Automated Reasoning For Answer Set Programming, Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmaan, Vladimire Lifschitz

Computer Science Faculty Publications

ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there and analyze properties of logic programs such as tightness. Most importantly, ANTHEM 2.0 can support program verification by invoking first-order theorem provers to confirm that a program adheres to a first-order specification or to establish strong and external equivalence of programs. This paper serves as an overview of the system’s capabilities. …

Research On Real-Time Cgf Maneuvering State Generation Method Based On Random Finite Set, Xiaoyan Zhang, Ge Li, Peng Wang

Journal of System Simulation

Abstract: With the rapid development of sensor networks and other technologies, the acquisition of measurement data in the real physical space has become easier. How to utilize the measurement data from the real battlefield space to improve the accuracy and credibility of CGF simulation is the key issue to realize the CGF simulation combining virtual and real. The method is studied of using real measurement data to generate CGF model maneuvering state data in real time, in order to realize the virtual-real synchronization and real-time mapping between the real battlefield and CGF simulation system, and to provide environmental inputs for …

Unveiling The Interplay Of Electronic And Phononic Excitations In Laser-Induced Oxygen Activation On Ru(0001), Xiangrui Wang, Jiamin Wang, Paul Spiering, Liping Liu, Jörg Meyer, Jerry L. Larue, Hongliang Xin

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Understanding laser-induced dynamics on metal surfaces poses significant challenges due to the intricate interplay between electronic and phononic degrees of freedom, which evolve on distinct timescales. In this study, we introduce a machine learning-accelerated approach to molecular dynamics simulations that incorporates anisotropic electronic friction, providing deeper insights into these complex processes. Our framework extends the accessible time and length scales for nonadiabatic dynamics simulations, enabling a detailed investigation of the laser-induced activation of oxygen on the Ru(0001) surface. Statistical analysis reveals that strong electronic excitation dominates the first 800 fs after laser exposure. Beyond this timescale, energy deposited by electronic …

Artificial Intelligence In Head And Neck Cancer: Towards Precision Medicine, Jacob Hagen, Logan Hornung, William Barham, Supratik Mukhopadhyay, Adam Bess, Kevin Contrera, Devraj Basu, Vlad Sandulache, Guillaume Spielmann, Sagar Kansara

School of Medicine Faculty Publications

Over the past 20 years, the capabilities of artificial intelligence (AI) have gained significant interest. While AI has been implemented to various degrees in several disciplines, its unique applications in head and neck cancer (HNC) remain underdeveloped. This narrative review examines the existing body of literature regarding the use of AI in HNC. Studies to date have demonstrated AI’s utility across multiple phases of the HNC treatment continuum. Despite its promise, integrating AI into clinical practice faces several challenges, including concerns about system integrity, generalizability, privacy, and bias. In this review, we address these challenges and offer insights into future …

Improved Fpt Approximation For Sum Of Radii Clustering With Mergeable Constraints, Sayan Bandyapadhyay, Tainzhi Chen

Computer Science Faculty Publications and Presentations

In this work, we study k-min-sum-of-radii (k-MSR) clustering under mergeable constraints. k-MSR seeks to group data points using a set of up to k balls, such that the sum of the radii of the balls is minimized. A clustering constraint is called mergeable if merging two clusters satisfying the constraint, results in a cluster that also satisfies the constraint. Many popularly studied constraints are mergeable, including fairness constraints and lower bound constraints. In our work, we design a (4 + ϵ)-approximation for k-MSR under any given mergeable constraint with runtime 2 O( k ϵ ·log2 k ϵ )n 4 , …

Spectral–Spatial Transformer With Multiscale Convolutional Attention For Hyperspectral Image Classification, Junde Chen, Wenzhao Li, Hesham El-Askary

Mathematics, Physics, and Computer Science Faculty Articles and Research

Hyperspectral image (HSI) classification plays a vital role in remote sensing by leveraging rich spectral and spatial information for accurate material recognition. However, existing methods, particularly Transformer-based approaches, still face challenges in effectively modeling multiscale spatial–spectral features, preserving local details, and maintaining robustness to noise. To mitigate these limitations, we propose TMCANet, a spectral–spatial Transformer with multiscale convolutional attention, designed to effectively leverage both local and global contextual dependencies for HSI classification. Our design is guided by three core strategies: first, a convolutional feature extraction module, consisting of four convolutional layers, to learn hierarchical spectral multiscale representations and enhance local …

A Deep Learning Framework For Early Autism Detection Using Eeg Signals, Maha M. Hamzeh, Ali Y. Al-Sultan, Salah Al-Obaidi

Journal of Intelligent Informatics, Networking, and Cybersecurity

Autism spectrum disorder (ASD) is a complicated neurodevelopmental illness, affecting social interaction, communication, and cognitive function. To lower healthcare costs and facilitate prompt intervention, early and accurate detection is crucial. However, behavioral assessments—which are inherently subjective and can lead to delayed diagnoses—are a significant component of traditional diagnostic procedures. This paper presents a convolutional neural network (CNN) and time-frequency analysis-based early ASD screening using EEG signals. EEG data undergoes a preprocessing step to remove noise and power interference. After that, the signals were divided into 5-, 10-, and 20-second time frames. Each EEG time frame segment is represented in the …

Intelligence Architectures And Machine Learning Applications In Contemporary Spine Care, Rahul Kumar, Conor Dougherty, Kyle Sporn, Akshay Khanna, Puja Ravi, Pranay Prabhakar, Nasif Zaman

SKMC Student Presentations and Publications

The rapid evolution of artificial intelligence (AI) and machine learning (ML) technologies has initiated a paradigm shift in contemporary spine care. This narrative review synthesizes advances across imaging-based diagnostics, surgical planning, genomic risk stratification, and post-operative outcome prediction. We critically assess high-performing AI tools, such as convolutional neural networks for vertebral fracture detection, robotic guidance platforms like Mazor X and ExcelsiusGPS, and deep learning-based morphometric analysis systems. In parallel, we examine the emergence of ambient clinical intelligence and precision pharmacogenomics as enablers of personalized spine care. Notably, genome-wide association studies (GWAS) and polygenic risk scores are enabling a shift from …

Information Security Awareness And Behavior Of Smartphone Users In The Ibadan Metropolis, Nigeria, Funmilola Olubunmi Omotayo

Journal of Cybersecurity Education, Research and Practice

Today, there is a rapid increase in the number of people using the Internet via smartphones and relying on them for most of their daily activities. Consequently, smartphones are becoming the target of criminals for atrocious purposes. This study investigated the information security awareness and behavior of smartphone users in the Ibadan metropolis, Nigeria. The study adopted a descriptive survey design. Data was collected with a questionnaire from 400 respondents who were conveniently selected. Findings revealed that most smartphone users knew about the smartphone security features available on their phones. However, most also engaged in behaviors that threatened their information …

Learning Orientation Field For Osm-Guided Autonomous Navigation, Yuming Huang, Wei Gao, Zhiyuan Zhang, Maani Ghaffari, Dezhen Song, Cheng-Zhong Xu, Hui Kong

Research Collection School Of Computing and Information Systems

OpenStreetMap (OSM) has gained popularity recently in autonomous navigation due to its public accessibility, lower maintenance costs, and broader geographical coverage. However, existing methods often struggle with noisy OSM data and incomplete sensor observations, leading to inaccuracies in trajectory planning. These challenges are particularly evident in complex driving scenarios, such as at intersections or facing occlusions. To address these challenges, we propose a robust and explainable two-stage framework to learn an Orientation Field (OrField) for robot navigation by integrating LiDAR scans and OSM routes. In the first stage, we introduce a novel representation, OrField, which can provide orientations for each …

Boosting Symbolic Execution For Vulnerability Detection, Haoxin Tu

Dissertations and Theses Collection (Open Access)

Software systems written by humans tend to be unreliable and insecure, hence, bugs or vulnerabilities in them are inevitable. Symbolic execution has shown considerable potential in detecting diverse types of software bugs and also vulnerabilities that have severe security implications. However, existing symbolic execution engines still suffer from at least three fundamental limitations in memory modeling, path exploration, and structured input generation, which significantly impede existing engines from efficiently and effectively detecting software bugs and vulnerabilities.

The objective of this dissertation is to boost existing symbolic execution engines by designing a new memory model, two new path exploration strategies, and …

Memory-Efficient Graph Processing On Gpus: Reducing Intermediate Data Structure Overhead, Chang Ye

Dissertations and Theses Collection (Open Access)

The increasing scale of real-world graphs in domains such as fraud detection, community detection, and biological analysis demands high-throughput, memory-efficient graph processing solutions. GPUs offer massive parallelism for accelerating such workloads, and numerous frameworks have been developed to leverage their computational power. These frameworks primarily focus on optimizing scheduling to better align graph processing with GPU architectures. It performs well for algorithms with low memory demands, such as BFS, SSSP, and PageRank. However, for algorithms that require substantial memory, such as label propagation, and subgraph counting, the limited memory capacity of GPUs often becomes a significant bottleneck.

This dissertation addresses …

Storage Location Optimization In Automated Storage And Retrieval Systems: A Deep Reinforcement Learning Approach, Lingjun Wang, Aldy Gunawan, Pieter Vansteenwegen

Research Collection School Of Computing and Information Systems

This study investigates the optimization of storage location in automated storage and retrieval systems (AS/RS). We introduce an optimization approach based on the Deep Q-Network (DQN) algorithm to enhance warehouse task efficiency and minimize stacker travel during storage and retrieval. To accelerate the algorithm training process, we integrate a prioritized experience replay mechanism. Furthermore, we decouple action selection from value estimation within the DQN framework to address the issue of value overestimation. The proposed model is evaluated against three heuristic methods. The experimental results demonstrate that our approach significantly outperforms these baselines.

An Efficient Security-Enhanced Accountable Access Control For Named Data Networking, Jianfei Sun, Yuxian Li, Xuehuan Yang, Guomin Yang, Robert H. Deng

Research Collection School Of Computing and Information Systems

Named Data Networking (NDN) is embraced as the crucial implementation of Information-Centric Networking (ICN), enhancing content distribution and caching efficiency through edge routers. However, existing NDN architectures face significant security and privacy challenges, including: (a) a lack of secure and efficient access control; (b) inadequate support for flexible and selective content management by content publishers; (c) insufficient implementation of accountability and privilege revocation mechanisms. To handle these challenges, we propose ESAS, the first-ever Efficient Security-enhanced Accountable Access Control Scheme for NDN. Specifically, our ESAS incorporates anonymous authentication using group signatures at network routers to prevent unauthorized access, employs key-aggregation-based access …

Educator Perceptions Of Devops Teaching Recommendations And Their Alignment With Common Challenges, Marcelo Romulo Fernandes, Pablo Paiva, Samuel Lucas De Moura Ferino, Roberta Coelho, Christoph Treude, Eduardo Aranha, Uirá Kulesza

Research Collection School Of Computing and Information Systems

DevOps education presents unique pedagogical challenges due to the diversity of tools, rapid technological change, and the multidisciplinary nature of the field. Although previous work has proposed recommendations to address these challenges, it is unclear how educators perceive these recommendations and whether they align with the challenges encountered in practice. In this paper, we present a quantitative and qualitative methods study involving 11 DevOps educators who interacted with Improve, a tool that presents a curated set of educational challenges and recommendations derived from previous literature. Educators indicated which recommendations they already use, which they intend to use, and which challenges …

Rethinking Cognitive Complexity For Unit Tests: Toward A Readability-Aware Metric Grounded In Developer Perception, Wendkûuni C. Ouédraogo, Yinghua Li, Xueqi Dang, Xin Zhou, Anil Koyuncu, Jacques Klein, David Lo, Tegawendé F. Bissyandé

Research Collection School Of Computing and Information Systems

Automatically generated unit tests-from searchbased tools like EvoSuite or LLMs-vary significantly in structure and readability. Yet most evaluations rely on metrics like Cyclomatic Complexity and Cognitive Complexity, designed for functional code rather than test code. Recent studies have shown that SonarSource's Cognitive Complexity metric assigns nearzero scores to LLM-generated tests, yet its behavior on EvoSuitegenerated tests and its applicability to test-specific code structures remain unexplored. We introduce CCTR, a Test-Aware Cognitive Complexity metric tailored for unit tests. CCTR integrates structural and semantic features like assertion density, annotation roles, and test composition patterns-dimensions ignored by traditional complexity models but critical for …

Improving Co-Decoding Based Security Hardening Of Code Llms Leveraging Knowledge Distillation, Dong Li, Shanfu Shu, Meng Yan, Zhongxin Liu, Chao Liu, Xiaohong Zhang, David Lo

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) have been widely adopted by developers in software development. However, the massive pretraining code data is not rigorously filtered, allowing LLMs to learn unsafe coding patterns. Several prior studies have demonstrated that code LLMs tend to generate code with potential vulnerabilities. The widespread adoption of intelligent programming assistants poses a significant threat to the software development process. Existing approaches to mitigating this risk primarily involve constructing secure data that are free of vulnerabilities and then retraining or fine-tuning the models. However, such an effort is resource intensive and requires significant manual supervision. When the model parameters …

Exploring Parameter-Efficient Fine-Tuning Techniques For Code Generation With Large Language Models, Martin Weyssow, Xin Zhou, Kisub Kim, David Lo, Houari A. Sahraoui

Research Collection School Of Computing and Information Systems

Large language models (LLMs) demonstrate impressive capabilities to generate accurate code snippets given natural language intents in a zero-shot manner, i.e., without the need for specific fine-tuning. While prior studies have highlighted the advantages of fine-tuning LLMs, this process incurs high computational costs, making it impractical in resource-scarce environments, particularly for models with billions of parameters. To address these challenges, previous research explored in-context learning (ICL) and retrieval-augmented generation (RAG) as strategies to guide the LLM generative process with task-specific prompt examples. However, ICL and RAG introduce inconveniences, such as the need for designing contextually relevant prompts and the absence …

Building A Novel Question-Answering System Using Retrieval-Augmented Generation For The California Fair Political Practices Commission, Saanvi Dua

Master's Theses

The California Fair Political Practices Commission (FPPC) receives a high volume of inquiries via email from public officials, the general public, and other agencies, which currently requires staff to manually search through informational documents and manuals to provide timely responses. This process is both labor- and time-intensive.

To address this challenge, we design a question-answering (QA) system that drafts responses to emailed questions by retrieving relevant information from the FPPC’s manuals using a retrieval-augmented generation (RAG) framework. Although the current implementation focuses on a single manual, the system is designed to be adaptable to the broader set of FPPC documents. …

A Dynamic Hierarchical Attention Framework For Multimodal Malware Detection, Tamanna Nazmin

Graduate Theses and Dissertations

The increasing use of Android in the worldwide mobile ecosystem has come along with a significant increase in advanced malware, highlighting the critical necessity for efficient, scalable, and adaptable detection systems. Despite recent advancements in machine learning improving malware detection, the majority of current solutions are limited to one, two, or three data modalities, hence neglecting the comprehensive behavioral spectrum of contemporary multi-vector threats. This thesis presents the first comprehensive multimodal framework for Android malware detection, which combines textual, time-series (temporal), graph-based (structural), and visual information using an innovative hierarchical attention mechanism and Dynamic Fusion Controller(DFC). Our methodology consistently classifies …

Gti: Graph-Based Tree Index With Logarithm Updates For Nearest Neighbor Search In High-Dimensional Spaces, Ruoyao Ma, Yifan Zhu, Baihua Zheng, Lu Chen, Congcong Ge, Yunjun Gao

Research Collection School Of Computing and Information Systems

Nearest neighbor search (NNS) is fundamental for high-dimensional space retrieval and impacts various fields, such as pattern recognition, information retrieval, recommendation systems, and vector database management. Among existing NNS methods, graph-based methods often excel in query accuracy and efficiency. However, these methods face significant challenges, including high construction costs and difficulties with dynamic data updates. Recent efforts have focused on combining graph methods with hashing, quantization, and tree-based approaches to address these issues, but problems with large index sizes and update performance remain unresolved. In response, this paper proposes GTI, a novel, lightweight, and dynamic graph-based tree index for high-dimensional …

Static Analysis As A Feedback Loop: Enhancing Llm-Generated Code Beyond Correctness, Scott Blyth, Sherlock Licorish, Christoph Treude, Markus Wagner

Research Collection School Of Computing and Information Systems

Large language models (LLMs) have demonstrated impressive capabilities in code generation, achieving high scores on benchmarks such as HumanEval and MBPP. However, these benchmarks primarily assess functional correctness and neglect broader dimensions of code quality, including security, reliability, readability, and maintainability. In this work, we systematically evaluate the ability of LLMs to generate high-quality code across multiple dimensions using the PythonSecurityEval benchmark. We introduce an iterative static analysis-driven prompting algorithm that leverages Bandit and Pylint to identify and resolve code quality issues. Our experiments with GPT-4o show substantial improvements: security issues reduced from >40% to 13%, readability violations from >80% …

Detecting Defi Fraud With A Graph-Transformer Language Model, Wei Ma, Junjie Shi, Jiaxi Qiu, Cong Wu, Jing Chen, Lingxiao Jiang, Shangqing Liu, Yang Liu, Yang Xiang

Research Collection School Of Computing and Information Systems

With the rapid development of blockchain technology, the widespread adoption of smart contracts—particularly in decentralized finance (DeFi) applications—has introduced significant security challenges, such as reentrancy attacks, phishing, and Sybil attacks. To address these issues, we propose a novel model called TrxGNNBERT, which combines Graph Neural Network (GNN) and the Transformer architecture to effectively handle both graph-structured and textual data. This combination enhances the detection of suspicious transactions and accounts on blockchain platforms like Ethereum. TrxGNNBERT was pre-trained using a masked language model (MLM) on a dataset of 60,000 Ethereum transactions by randomly masking the attributes of nodes and edges, thereby …