Physical Sciences and Mathematics Commons^™

Chemnetworks: New Capabilities For High-Throughput, Real-Time Chemical Graph Construction And Analysis, Daniel J. Pope, Jackson Elowitt, Bo Zhang, Manish Parashar, Aurora E. Clark

Michigan Tech Publications

A major revision of the ChemNetworks software (originally published in the Journal of Computational Chemistry, 2014, 35, 495–505) is presented. While the original ChemNetworks provided foundational graph construction capabilities for chemical systems, it was limited to simple distance and 3-body angular edge criteria, was not designed for high-performance computing environments or real-time operation alongside running simulations. This release addresses these limitations through three core contributions. First, a recursive Z-matrix-based search algorithm is introduced that enables chemically intuitive, arbitrarily descriptive three-dimensional structure searches, supporting geometric, energetic, and logical criteria. Second, the DataSpaces data staging framework is incorporated as an optional I/O …

Online Multidimensional Multiple Choice Knapsack Path Planner For Uavs, Manisha Wadhwa, Neelima Gupta, Sanjay Madria

Computer Science Faculty Research & Creative Works

The rapid proliferation of Unmanned Aerial Vehicles (UAVs) in safety–critical and time-sensitive applications such as disaster management, battlefield reconnaissance, urban surveillance and infrastructure inspection demands online path planning strategies. A fundamental requirement in such missions is generating flight paths that pass through some pre-specified waypoints while servicing dynamically requested spatio-temporal task points arriving randomly such as capturing aerial imagery. Existing UAV path planning approaches, including A* and its variants, meta-heuristic algorithms, and dynamic programming, find the shortest distance path from source to destination, but they are predominantly offline and assume complete prior environmental knowledge, thus, incur significantly higher computational cost …

Ddor: Delta Debugging For Explainable Overrefusal Testing And Repair, Qinyan Zhou, Peixin Zhang, Jun Sun, Haonan Zhang, Dongxia Wang

Research Collection School Of Computing and Information Systems

While safety alignment and guardrails help large language models (LLMs) avoid harmful outputs, they can also induce overrefusal, i.e., unwarranted rejection of benign queries that merely appear risky. We present DDOR (Delta Debugging for OverRefusal), a fully automated and explainable framework for overrefusal testing and repair in a black-box setting, where only model inputs and outputs are accessible and internal safety mechanisms remain opaque. DDOR applies delta debugging to localize minimal refusal-triggering fragments (mRTFs) that provide phrase-level, explainable evidence for why a refusal occurs. Conditioned on these mRTFs, DDOR generates diverse, context-rich prompts and performs multi-oracle validation to filter intrinsically …

Mutation-Based Multi-Agent Test Case Update, Dawei Tian, Jiakun Liu, Yun Peng, Yichen Zhang, Jianlei Chi, Jun Sun, Xiaohong Su

Research Collection School Of Computing and Information Systems

Modern software systems evolve rapidly under CI/CD practices, where tests are critical for quality. However, substantial code changes often render existing test cases obsolete, causing pipeline disruptions, reduced productivity, and compromised quality. Recent automatic test update approaches leverage LLMs to refine test cases via execution feedback and exact-matching context retrieval, prioritizing executability and line coverage but suffering three limitations: (1) neglecting test assertion adequacy, weakening fault detection; (2) relying on coarse line coverage instead of specific uncovered lines/branches; (3) using exact-matching retrieval, which fails for LLM hallucinated queries. To address these, we propose MuMuTestUp, a mutation-guided multi-agent framework with three …

Kanmultisign: Multi-Scale Sequence-Based Pose Animation From Sign Language Notation With Kolmogorov-Arnold Networks, Guanyi Du, Lintao Wang, Kun Hu, Ziyang Wang

Research outputs 2022 to 2026

Sign language production from symbolic notation offers a scalable route to accessible sign animation. We present KANMultiSign, a multi-scale sequence generator that translates HamNoSys notation into two-dimensional human pose sequences. Our framework makes two complementary contributions. First, we introduce a coarse-to-fine generation strategy with multi-scale supervision: the model is first guided by an intermediate body–hand–face scaffold to encourage global structural coherence, and then refines fine-grained hand articulation to improve finger-level detail. Second, we investigate integrating Kolmogorov–Arnold Network modules into a Transformer backbone, using learnable univariate function primitives to model the highly non-linear mapping from discrete phonological symbols to continuous body …

When Does Global Search Pay For Itself? A Measured Exploration Cost And Energy Break-Even Analysis Of A Metaheuristic Search Controller In Solar Energy Systems, Mohamed Ali Muammar Ezgour

Communications of the IIMA

Autonomous energy systems increasingly delegate the choice of operating point to embedded search algorithms, trading a fast local optimizer that can settle on a wrong point against a slower global search that guarantees the right one at a measurable cost. This paper reframes maximum power point tracking under partial shading as that decision and measures its economics on a fixed photovoltaic plant in MATLAB/Simulink. A Hippopotamus Optimization global search handed over to incremental conductance is compared with incremental conductance alone across seventeen initial duty cycles and thirty random seeds. The hybrid reached the global peak in all thirty seeds, whereas …

Cyberspace Collaborative Awareness: A Model For Unity Of Effort In Homeland Defense, Mike Knapp, Sean Atkins, Matthew Mclaughlin

Joint Force Quarterly

The increasing frequency and severity of cyberattacks against U.S. critical infrastructure continue to confound homeland defense efforts. Defending against state cyber campaigns that threaten the nation’s most critical systems requires a new awareness model that can enable unity of effort across public and private actors. Examining homeland defense awareness in other domains reveals principles and approaches that can inform the development of a collaborative awareness model in cyberspace. This new framework acknowledges the interconnectedness of government and commercial networks and the independent goals of each player in the domain. Doing so provides a viable path to achieving shared domain awareness …

From Data To Victory: The Race For Analytic Superiority In Warfare, Robert Grossman, Emily Goldman

Joint Force Quarterly

Artificial intelligence technologies have reached a tipping point after decades of development. They are diffusing widely across defense and national security applications. Twenty-first century warfighters rely on analytic models in all systems, at all echelons, and in all domains. As more powerful models built on ever larger data sets become ubiquitous, militaries are in a new competition to deploy artificial intelligence. Operational art must embrace “analytic superiority.” This is the operational advantage from collecting and ingesting data, building robust models and computing infrastructure, deploying the models into operational systems, and denying adversaries' ability to do the same

This article explains …

Bitseat: Reimagining The Financing For Airliners Using Nonfungible Tokens (Blockchain Technology), Edwin S. Ongola

Journal of Aviation Technology and Engineering

This essay describes how blockchain technology, particularly nonfungible tokens, can be used to raise funding for airliners. The essay begins with a brief overview on the costs, categories, and acquisition methods of airliners. After that, the essay introduces concepts on blockchain technology, tokens, and smart contracts. The essay then touches on how nonfungible tokens can be used to facilitate fractional ownership of airliners. From there, the essay discusses Bitseat, a conceptual nonfungible token for fractional ownership of airliners, covering its overall design, appeal, marketplace alternatives, and challenges. Finally, in the discussion, the essay summarizes the overall concept and outlines its …

From Data To Decision-Making: The Role Of Local Digital Twins In Cross-Domain Management Within Municipalities – A Research-In-Progress Study In Veenendaal, Diana M.E. Boekman, Koen Smit, Guido Ongena, Rob Peters

Communications of the IIMA

Municipalities are facing increasingly complex, interconnected challenges in areas like housing, climate adaptation, mobility, and social policy. Local Digital Twins (LDTs) are seen as a promising tool to make this complexity more understandable and support decision-making. At the same time, both literature and practice show that few initiatives get past the pilot phase, even though getting through that phase is essential for successful long-term adoption.

This paper presents a research-in-progress study on the development and application of an implementation method for LDT technology within the municipality of Veenendaal, based on human values rather than driven by technological possibilities. Based on …

A Novel Entropy Based Maintainability Measurement Algorithm For Java Source Code., Remi M. Yusuf Mr, Md Shadab Mashuk, Julian Bass

Communications of the IIMA

Software metrics play a central role in assessing and managing the quality of software systems providing quantitative insights into attributes such as complexity, reliability, rigidity, modifiability and maintainability. Among these, maintainability is particularly critical, as it directly influences the ease of system evolution, long-term sustainability, and overall cost effectiveness. Despite the widespread use of metric-based maintainability measurement algorithms, capturing a value that reflects the maintainability situation of software source code remains a challenging task, especially in the presence of design deficiencies such as code smells. To measure changes in maintainability, this study experimentaly characterises the relationship between code smells and …

A Transformer-Based Approach With Data Augmentation For Multilabel Emotional Context Detection, Mohsin Hasan Hussein, Marem H. Abdulabas, Azha Talal Mohammed Ali, Homam Aziz Ghazi

Al-Bahir

Emotion identification in texts is becoming increasingly difficult because of the wide variety of ways emotions are represented. This study uses a fine-tuned Robustly Optimized Bidirectional Encoder Representations from Transformers Approach

(RoBERTa) to offer a Transformer-based model for identifying multilabel emotional context in textual data. To balance emotion categories and enhance the model's capacity for generalization, data augmentation is applied on two different datasets: Semantic Evaluation and Cross-lingual Emotion Dataset (SemEval and XED) English corpus. This stage is considered one of the most important steps in preprocessing as it greatly helps to improve the results. The RoBERTa model was then …

From Dissertation To Deployment: A Unified Software Platform Operationalizing Clinical-Prediction And Sequential-Security Ai For Healthcare, Olsi Shehu, Damiana Teliti, Jasmin Kevrić, Bekir Karlik

Communications of the IIMA

Advances in machine learning for healthcare are abundant, yet most validated models remain confined to research notebooks and never reach secure, usable clinical software. This paper addresses that deployment gap by presenting a unified, security-hardened software platform that operationalizes two complementary streams of doctoral research inside a single, role-based hospital information system. The first stream contributes a clinical-prediction capability: an ultra-hybrid ensemble that couples a quantum-inspired feature transformation, particle-swarm feature selection, and calibrated soft voting for cancer-outcome prediction (96.41% accuracy, AUC-ROC 0.983 on TCGA-BRCA), survival stratification, multi-cancer generalization, and pharmacogenomic drug-response classification (89.31% mean accuracy across 25 compounds). The second …

A Hybrid Rule-Based And Large Language Model Framework For Extracting Acronym–Definition Pairs From Scientific Literature, Petro Skrypnyk

Theses and Dissertations

Authors of scientific papers rely heavily on acronyms and often use them without defining them, making the literature harder to read and index. This thesis develops and evaluates a hybrid rule-based and large language model (LLM) framework that extracts acronym–definition pairs from scientific PDF documents. It extends an earlier Rowan University system that combined a regular-expression parser with a single LLM on 200 papers. That system showed that neither the parser nor the LLM alone is sufficient for accurate extraction of the pairs. The framework is a fully automated pipeline from PDF input to scored results. It compares four LLM …

Gc-Ms Profiling And Antibacterial Activity Of Cold-Macerated Garlic Extracts Against Multidrug-Resistant Uropathogens, Fatima A. Khalaf, Saeed A. Fayadh

Karbala International Journal of Modern Science

The growing number of cases of multidrug-resistant (MDR) urinary tract infections has made the clinical management of urinary tract diseases a significant challenge; therefore, the need for effective adjunctive therapies cannot be overemphasized. This study evaluated the bioactive components and antibacterial efficacy of cold-macerated garlic extracts obtained using distilled water, 70% ethanol and hexane solvents against antimicrobial-resistant urinary isolates. Out of 250 urine samples that were analyzed, 124 (49.6%) showed significant microbial growth, with Escherichia coli being the most frequently isolated organism. The results of the phytochemical screening and Gas Chromatography-Mass Spectrometry (GC-MS) analysis showed that the ethanolic extract had …

Fast Discovery Of Motivic Patterns In Symbolic Music Via Lossy Compression, Adam James Wilson

Publications and Research

Generative systems that react to live musicians require rapid analysis of musical data, which rules out deep learning models: they cannot be trained within the time constraints of live performance. But because analysis results are often transformed before use, we are free to reduce the parameters that undergo transformation to a small set of primitive states. We address this coincidence of constraint and opportunity with an algorithm for online discovery of maximal musical motives that achieves speed through lossy compression: the pitch and inter-onset-interval deltas for all pairs of events in a potential motive are reduced to two-bit values, conceptualized …

Geographical Pattern Analysis Of Gis Images With Deep Learning And Voronoi Network, Nidaa Kareem, Tawfiq A. Al-Assadi

Journal of Intelligent Informatics, Networking, and Cybersecurity

Localization is not enough for the analysis of spatial patterns; a principled geometric and statistical framework is required. This paper proposes an integrated spatial intelligence system combining deep learning, computational geometry, and spatial statistics, which is a unified and interpretable system. It is based on segmentation localization that accurately localizes the centroid of each object without the disadvantages of the bounding box. These centroids form a natural Voronoi tessellation of regions of spatial influence intrinsic to the data instead of imposing any artificial restrictions. A geometry-based density formulation is used to improve representation, which includes Voronoi cell areas and neighborhood …

Individualized Bayesian Inference Identifies Novel Genetic Variants For Parkinson's Disease, Jin Ren, Yasaman J. Soofi, Md Asad Rahman, Qing Lu, Jinling Liu

Engineering Management and Systems Engineering Faculty Research & Creative Works

Parkinson's disease (PD) is a complex neurodegenerative disorder with a significant genetic component. While genome-wide association studies (GWAS) have been instrumental in identifying genetic variants associated with PD, the reliance on large sample sizes and population-level analyses may overlook variants with lower minor allele frequencies or individual-specific relevance. Individualized Bayesian Inference (IBI) offers a promising method to complement GWAS by identifying and prioritizing candidate genetic markers at both the individual and patients-like-me subgroup levels. This study evaluates the application of IBI to PD genetics, using GWAS as a baseline for comparison. We analyzed genetic data from the Fox Insight online …

The Application Of Machine Learning And Deep Learning On Demand Forecasting Across Time-Critical Industries: A Systematic Review, Asmaa Seyam, Sujith Samuel Mathew, May El Barachi, Cheng Zhang, Jun Shen

All Works

The applications of machine learning and deep learning in demand forecasting have attracted increasing attention, as they offer remarkable predictive capabilities that help automate forecasting processes and achieve higher accuracy. While numerous review studies have examined solutions within specific industries, there is a lack of comprehensive literature review investigating these solutions across different sectors. Therefore, this study overviews machine learning and deep learning applications in demand forecasting across time-critical industries, including power, tourism, water, transportation, and food. A two-tier classification framework is proposed to categorize demand forecasting studies by both application industry and methodological architecture. In addition, the most popular …

Neural Symphony Of Flow Experience: Evidence For High-Dimensional Metastable Dynamics, Abdelrahman B. M. Eldaly, Kris Zhangguang Kang, Fiona Fui-Hoon Nah, Leanne Lai-Hang Chan, Keng Siau, Xiao Fan Liu, Richard Huskey, Langtao Chen, Tejaswini Yelamanchili, Rene Weber

Research Collection School Of Computing and Information Systems

Flow, an optimal experience characterized by deep immersion and engagement in an activity, has been extensively studied in behavioral research. However, its neural dynamic mechanism remains poorly understood. In a within-subject video gaming experiment, we captured neural activity underlying flow, boredom, and anxiety using a 64-channel electroencephalogram (EEG) system. Compared to boredom and anxiety, flow exhibits the highest global functional connectivity, metastability, and dimensionality of dynamic functional connectivity patterns, suggesting that flow is a highly adaptable process that is supported by high-dimensional neural dynamics. Unlike previous studies that focused on identifying static or localized brain activity, we examine the neural …

Prune: A Patching Based Repair Framework For Certifiable And Privacy-Robust Unlearning Of Neural Networks, Xuran Li, Jingyi Wang, Xiaohan Yuan, Peixin Zhang

Research Collection School Of Computing and Information Systems

Machine unlearning has emerged as a key mechanism for enabling the “right to be forgotten” in neural network models, allowing the selective removal of specific training data upon request. Existing approaches typically rely on retraining models with the remaining data, which is computationally expensive and difficult to verify, especially when deployed models are distributed or resource-constrained. To address this challenge, our prior conference work introduced PRUNE, a patching-based framework that formulates unlearning as a neural network repair problem. PRUNE achieves targeted forgetting by learning lightweight patch networks that redirect model predictions on the data to be unlearned while preserving performance …

Enhancing Programming Productivity For Individuals With Adhd Through Generative Artificial Intelligence: An Inductive Analysis, Lionel Mew

School of Professional and Continuing Studies Faculty Publications

Attention-deficit/hyperactivity disorder (ADHD) significantly impacts computer programmers through challenges in sustained attention, executive functioning, and organizational skills. While traditional intervention strategies have shown varying degrees of success, the emergence of generative artificial intelligence (AI) presents novel opportunities to address ADHD-related programming challenges. This paper presents an inductive analysis synthesizing current research on ADHD's effects on programming, traditional productivity enhancement techniques, and the potential of generative AI tools. Through examination of recent literature and field studies, we propose that generative AI can serve as a transformative intervention by providing personalized cognitive support, reducing executive function demands, and enhancing code generation efficiency. …

Trustworthy And Explainable Malware Threat Intelligence Through Social Media Analytics And Nature-Inspired Optimization, Feras Al-Obeidat, Muhammad Saad Rashad, Muhammad Amin, Waqas Ali, Bilal Khan, Sajid Anwar

All Works

The convergence of media analytics, Cyber threat Intelligence (CTI) and trustworthy artificial intelligence has become essential for modern cybersecurity systems operating over large-scale, heterogenous data sources. In particular, Social Media Intelligence (SOCMINT) and Open Source Intelligence (OSINT) provide high-volume, real-time signals that complement structured CTI frameworks for early-stage malware and adversarial threat detection. However, integrating these unstructured and dynamic sources with Structured Threat Information Expression (STIX) remains challenging due to its hierarchical complexity, semantic redundancy, and computational overhead in resource-constrained environments. This paper proposes an explainable and optimized intelligence pipeline (BERT-STIX) that unifies SOCMINT, OSINT, and STIX-based CTI using deep …

Restoring Linguistic Grounding In Vla Models Via Train-Free Attention Recalibration, Ninghao Zhang, Bin Zhu, Shijie Zhou, Jingjing Chen

Research Collection School Of Computing and Information Systems

Vision-Language-Action (VLA) models enable robots to perform manipulation tasks directly from natural language instructions and are increasingly viewed as a foundation for generalist robotic policies. However, their reliability under Out-Of-Distribution (OOD) instructions remains underexplored. In this paper, we reveal a critical failure mode in which VLA policies continue executing visually plausible actions even when the language instruction contradicts the scene. We refer to this phenomenon as linguistic blindness, where VLA policies prioritize visual priors over instruction semantics during action generation. To systematically analyze this issue, we introduce ICBench, a diagnostic benchmark constructed from the LIBERO dataset that probes language–action coupling …

Guardians Of The Record (Cs2 Edition): Heaps, Queues, And A Scarce Oracle, Ilan Goodman

Generative AI Teaching Activities

Students defend Wikipedia from vandals with data structures instead of infrastructure: a sliding-window edit-velocity tracker (hash map of queues), a hand-built binary min-heap, and a budget-bounded top-K selection decide which few suspicious edits earn a question to an expensive, rate-limited Oracle — a stand-in for a real LLM.

Guardians Of The Record: A Two-Tiered Streaming Cascade With Kafka, Flink, And A Real Llm, Ilan Goodman

Generative AI Teaching Activities

Students build a streaming vandalism detector for live Wikipedia edits in which a fast rule-based tier decides which few of ~1,500 edits per minute are worth escalating to a slow, rate-limited real LLM (Gemini) — confronting the cost, latency, and failure modes of putting AI inside a production data pipeline.

Clinic-In-A-Box: A Portable, Software-Defined Cyber Range For Realistic, Scenario-Based Cybersecurity Training, Ethan Chumley, Aaron Nair, Royce Yaezenko, Joshua Payne, Veronika Kyles, Paul Wagner, Robert J. Honomichl, Ryan Straight, Shengjie Xu

Journal of Cybersecurity Education, Research and Practice

Realistic, hands-on cybersecurity training has traditionally depended on fixed infrastructure such as dedicated lab hardware, cloud subscriptions, or permanent network connectivity, limiting where and how often it can be delivered. This paper presents the design and implementation of a portable, scenario-based cybersecurity training platform housed in a single travel case and built from commodity hardware, type-1 hypervisor virtualization, containerized service orchestration, and software-defined networking. The platform clones, isolates, and resets complete lab environments on demand, allowing the same physical system to support repeated classroom, workshop, or field deployments with minimal manual reconfiguration. Training scenarios are grounded in generated organizational profiles …

Between Digital Transformation And Regulatory Vacuum: Cybersecurity Of Public Services In Mozambique, Faztudo Languisse Eng.

Journal of Cybersecurity Education, Research and Practice

The rapid expansion of digital public services in Mozambique—including e-government platforms, digital health systems, and electronic tax administration—has outpaced the development of a coherent legal framework for cybersecurity. While Law No. 3/2017 (Electronic Transactions Law) of 9 January 2017 introduced foundational data-protection principles, Mozambique long lacked a dedicated cybersecurity regulatory authority, mandatory security standards, and formal incident-notification mechanisms. This regulatory vacuum exposed critical public services to escalating cyber risks as digital transformation was actively promoted as a development priority. This article examines the legal and institutional gaps in Mozambique's cybersecurity governance framework prior to the 2026 Cybersecurity and Cybercrime Laws, …

Exposing And Addressing Machine Learning Brittleness Through Constraint Solving, Muyeed Ahmed

Dissertations

Machine Learning (ML) implementations are fundamentally brittle: nondeterministic, inconsistent, and prone to overfitting; however, constraint solving can be used to systematically expose, quantify, and address this brittleness.

This dissertation first establishes that widely-used implementations of popular ML algorithms are nondeterministic (producing different outputs on the same input, across different runs) and inconsistent (different implementations of the same algorithm producing different outputs on the same input). This is more prevalent in Unsupervised Learning (UL) implementations where, due to the lack of a ground truth, subtle execution errors can go unnoticed and are difficult to verify. Nondeterminism and inconsistency also introduce security …

A Statistical Mechanics Approach To Reinforcement Learning, Jacob Adamczyk

Graduate Doctoral Dissertations

Reinforcement learning (RL), the study of optimal decision-making over long timescales in stochastic systems, has recently seen remarkable advances due in large part to the efforts of the deep learning community. RL has witnessed great success in solving problems in video games, robotics, biological control, and language modeling. However, a unified statistical mechanics framework to understand and develop the corresponding algorithms is lacking. To address this issue, we begin by showing that the reinforcement learning problem can be formulated and solved using the tools of statistical mechanics. Drawing on physical principles of free energy minimization and invariance, we address important …