Computer Sciences Commons^™

An Exposition Of "Probabilistic Polynomials And Hamming Nearest Neighbors", Vivek Srirama

University Honors Theses

This paper is an exposition of the paper Probabilistic Polynomials and Hamming Nearest Neighbors by Josh Alman and Ryan Williams. It presents the findings of this paper in a more accessible format for Computer Science students earlier in their career who may not be as familiar with Computational Theory and its concepts as their PhD counterparts are. The paper assumes that the reader has a basic understanding of Algorithms and Complexity, typically obtained in an introductory level Algorithms course.

The paper by Alman and Williams analyzes a specific problem known as the Hamming Nearest Neighbor problem. All known solutions for …

On The Design Of A Framework For Large-Scale Exploratory Graph Analytics, Oliver Andres Alvarado Rodriguez

Dissertations

Large-scale exploratory graph analytics merges data science with high-performance computing to extract critical insights from network-representable data. Data scientists routinely analyze data from the natural, social, and computing sciences by representing it as networks, or graphs, where objects become vertices and their relationships become edges. This representation allows data scientists to add graph analytics to their toolbox. However, designing tools for large-scale exploratory graph analytics is challenging due to the complexities of graph algorithms, such as high communication in distributed systems and large memory demands. These challenges can lead to overly complex software, which limits usability and development to a …

Machine Learning And Optimization For Intelligent Decision-Making, Elson Cibaku

Dissertations

This dissertation presents a series of innovative machine learning and optimization model designs that address complex operational challenges across logistics and power systems. By integrating advanced neural architectures with robust optimization techniques, the work delivers scalable solutions designed to improve efficiency, reliability, and decision-making in dynamic and real-world environments. The first study introduces a two-stage approach to effective vaccine distribution. This framework tackles the capacitated vehicle routing problem by combining adaptive clustering techniques with reinforcement learning and a simulated annealing pickup policy. Through extensive computational experiments, the approach demonstrates substantial improvements in routing efficiency, reducing both computational time and logistical …

Model-Based Reinforcement Learning And Deep Learning For Power Converter Circuit Design Automation, Shaoze Fan

Dissertations

This dissertation presents a comprehensive automated framework for power converter design, leveraging reinforcement learning (RL) and graph-transformer networks (GTN) to address critical inefficiencies in traditional manual topology optimization. Motivated by the combinatorial increase of circuit design spaces and the computational cost of iterative simulations, this work develops a robust framework for generating energy-efficient topologies requiring rapid and reliable circuit design.

The framework integrates three key components: (1) an upper-confidence-bound-tree-based (UCT-based) RL model for circuit topology space exploration, (2) parallelized UCT algorithms to accelerate exploration processes, (3) a Graph-Transformer-based Network enabling fast circuit performance evaluation. Experimental validation demonstrates the whole framework …

Adversarial Robustness In Advanced Machine Learning Models Integrating Graph Neural Networks And Large Language Models, Mahmoud Nazzal

Dissertations

Artificial intelligence (AI) has achieved remarkable performances across various domains. In most real-world applications, data often takes relational forms, such as graphs and networks, or sequential forms, such as text and time series. As AI evolves, specialized models have emerged to handle these structures; Graph Neural Networks (GNNs) for relational mining and Large Language Models (LLMs) for sequential understanding. Despite their success, these models face challenges in security, robustness, and interpretability. GNNs excel in relational reasoning but are vulnerable to adversarial manipulation and lack interpretability, while LLMs are strong in linguistic reasoning and generalization yet struggle with relational data and …

Fact-Checking As A Multi-Step Process: From Ambiguity Resolution To Claim Validation, Wenbo Wang

Dissertations

The spread of misinformation and disinformation has become a major concern, particularly with the rise of social media as a primary source of information for many people. Fact-checking—the process of verifying claims against credible evidence—has emerged as a critical safeguard against misinformation. Yet, the task is fraught with challenges: claims are often ambiguous, context-dependent, or composed of multiple intertwined assertions, while automated systems struggle to replicate the nuanced reasoning of human experts. This dissertation addresses these challenges by reimagining fact-checking as a multi-step, knowledge-guided process that systematically resolves ambiguity, decomposes complexity, and validates claims through structured reasoning. Additionally, the proposed …

Enriching Vision Representation By Deep Neural Networks And Self-Supervised Learning, Yucong Shen

Dissertations

Nowadays, more and more interesting computer vision tasks are tackled by deep learning approaches. However, the increasing model complexity imposes significant computational and storage costs. To address this challenge, this dissertation explores efficient deep learning techniques, proposing morphological layer, an efficient feature extraction layer. It achieves competitive image classification accuracy with significantly decreased model parameters. Another attempt at efficient deep learning is a proposed channel pruning approach that compresses deep neural networks by identifying and removing redundant channels using optimal transport theory. This approach achieves significant reductions in model size and computational cost while maintaining or even improving performance across …

From Neural Networks To Large Language Models: Innovations In Financial Ai, Mathematical Reasoning, And Structured Data Representation, Junyi Ye

Dissertations

This dissertation explores the evolution and application of artificial intelligence techniques across three critical domains: financial modeling, mathematical reasoning, and structured data analysis. The dissertation presents seven research projects that chart a progression from specialized neural architectures to sophisticated large language models (LLMs), contributing novel methodologies and frameworks at each stage.

In the financial domain, the research first introduces TS-Mixer, a MLP-based architecture for time-series forecasting that captures both feature relationships and temporal dependencies through a simple yet effective design, outperforming more complex models in S&P500 index prediction. The dissertation then presents DySTAGE, a dynamic graph representation learning framework that …

Towards Explainable Ai On Graph Neural Networks: Xaig, Jiaxing Zhang

Dissertations

In the evolving landscape of artificial intelligence (AI), Graph Neural Networks (GNNs) have garnered growing prominence for their adeptness in processing graph-structured data. Despite this, the interpretability of their predictions often remains elusive. The demand for transparency and explainability in complex prediction models has reached unprecedented levels. To address this, post-hoc instance-level explanation techniques have emerged, aiming to unveil the rationale behind GNN predictions. These techniques endeavor to unearth substructures that elucidate the predictive behavior of trained GNNs.

This dissertation embarks on an exploration of Explainable AI (XAI) technologies within the realm of GNNs. Amid the challenges posed by the …

Gamified Gait Rehabilitation Via Real-Time Biofeedback And Adaptive Hip-Exoskeleton Control, Mariya Huzaifa Tohfafarosh

Theses

Gait impairments arise from systemic diseases, age-related degeneration, musculoskeletal dysfunctions, or neurological conditions. While traditional rehabilitation can be effective, they often face challenges such as high costs, inaccessibility, and low patient engagement. To address these challenges, my work introduces a virtual reality-based rehabilitation (VRBR) system, integrating real-time motion and electromyographic (EMG) muscle activation feedback with a gamified virtual environment for enhanced adaptability and engagement. The system includes a custom-designed hip-exoskeleton that provides adaptive spring-like assistance or resistance, supporting both mobility-impaired users and strength training. Assistance levels can be tuned to match the user's progress. Additionally, a custom pressure insole was …

Tree Story, Jia Hu

Masters Theses

What is Nature?

Nature is a system of intelligence. It means designing for efficiency—often by learning from strategies that have evolved over time. In my research, I use patterns to interpret and decode nature.

To explore nature, I began with the red cedar tree, aiming to simulate and predict its growth patterns—forms shaped by both internal biology and external forces. By analyzing its geometry, I sought to understand how trees embody the dynamic relationship between organism and environment. These patterns reveal the adaptive logic of life.

Patterns are central to understanding nature. While tree geometry may appear chaotic, it follows …

Quantum-Enhanced Training Of Large Language Models: A Hybrid Approach, Nan Wu, Fangmin Song, Xiangdong Li

Publications and Research

The training of large language models (LLMs) presents significant computational challenges, particularly regarding efficient convergence. This paper presents a hybrid quantum-classical framework designed to address the significant computational challenges associated with training large language models (LLMs). By integrating quantum computing principles superposition, entanglement, and tunneling with classical deep learning methods, we propose an approach to accelerate convergence, enhance optimization efficiency, and improve model generalization. Specifically, quantum feature mapping is employed to project classical data into high-dimensional Hilbert spaces, facilitating more expressive data representations. Quantum-assisted optimization algorithms, such as Quantum Approximate Optimization Algorithm (QAOA) and Variational Quantum Eigensolver (VQE), efficiently navigate …

Plm-Dbps: Enhancing Plant Dna-Binding Protein Prediction By Integrating Sequence-Based And Structure-Aware Protein Language Models, Suresh Pokharel, Kepha Barasa, Pawel Pratyush, Dukka B. Kc

Michigan Tech Publications

DNA-binding proteins (DBPs) play a crucial role in gene regulation, development, and environmental responses across plants, animals, and microorganisms. Existing DBP prediction methods are largely limited to sequence information, whether through handcrafted features or sequence-based protein language models (PLMs), overlooking structural cues critical to protein function. In addition, most existing tools are trained for general DBP predictions, which are often not accurate for plant-specific DBPs due to the unique structural and functional properties of plant proteins. Our work introduces PLM-DBPs, a deep learning framework that integrates both sequence-based and structure-aware representations to enhance DBP prediction in plants. We evaluated several …

Advanced Machine Learning Techniques For Social Support Detection On Social Media, Olga Kolesnikova, Moein Shahiki Tash, Zahra Ahani, Ameeta Agrawal, Raúl Monroy, Grigori Sidorov

Computer Science Faculty Publications and Presentations

The widespread use of social media highlights the need to understand its impact, particularly the role of online social support. In this study, we present a dataset of YouTube comments, initially comprising 66,272 entries, which was refined to 42,695, with a subset of 10,000 comments selected for detailed analysis without additional filtering. The dataset is annotated for three classification tasks: (1) distinguishing supportive from non-supportive comments, (2) determining whether the support is directed at an individual or a group, and (3) further categorizing group support into six subtypes (Nation, LGBTQ, Black Community, Women, Religion, and Other). To address data imbalances …

Photojournalism In The Age Of Deepfakes: The Role Of Media Literacy And Ethical Standards In Restoring Trust In Visual Reporting, Ionnnis Kontos, Katerina Chryssanthopoulou, Ioannis Galanopoulos-Papavasileiou

All Works

This article explores the impact of deepfake technology on photojournalism, highlighting its role in undermining trust in visual media. As deepfakes allow for the creation of highly realistic manipulated content, they pose significant challenges regarding the authenticity of journalistic imagery and erode the authority of visual truthfulness. The widespread use of deepfakes has led to a decline in public confidence in the credibility of news, raising concerns about the future of photojournalism in an era of digital deception. As a solution to regaining viewers’ trust, this article suggests a twofold approach: First, it emphasizes the importance of media literacy in …

Artificial Intelligence Use In Medical Education: Best Practices And Future Directions, Rasheed A. M. Thompson, Yash B. Shah, Francisco Aguirre, Courtney Stewart, Costas D. Lallas, Mihir S. Shah

Department of Urology Faculty Papers

PURPOSEOF REVIEW: This review examines the various ways artificial intelligence (AI) has been utilized in medical education (MedEd)and presents ideas that will ethically and effectively leverage AI in enhancing the learning experience of medical trainees.

RECENT FINDINGS: AI has improved accessibility to learning material in a manner that engages the wider population. It has utility as a reference tool and can assist academic writing by generating outlines, summaries and identifying relevant reference articles. As AI is increasingly integrated into MedEd and practice, its regulation should become a priority to prevent drawbacks to the education of trainees. By involving physicians in …

Surface Characterization Of Asian Lacquers Using Surface Metrology And Data Science: Introducing The Roughness Spectrum, Ravines Patrick, H. David Sheets, Marianne Webb, Joy Mazurek, Michael R. Schilling, Herant Khanjian

Computer and Data Science Faculty Publications

No abstract provided.

Are Cycles Of Neural Activity The Algorithm Of The Brain?, Edwin Omondi Onyango

Computer Science Senior Theses

We propose that precisely timed neural activity cycles can serve as structural primitives for memory and computation in a system that exhibits associative learning like the brain. Inspired by biologically grounded mechanisms such as calcium-dependent plasticity, spike-timing-dependent learning, and phase-sensitive excitability, we construct a spiking neural network model in which repeated temporal coincidences drive the formation of self-sustaining activity loops. These cycles, once formed, persist as dynamic memory traces: not stored as static weights, but as reverberating patterns that replay in time when these loops are restarted. We show that noise alone fails to induce stable structure, but even sparse, …

Some Studies On Information Set Decoding Algorithms And Universal Hash Functions, Sreyosi Bhattacharyya

Doctoral Theses

This thesis presents some studies on Information Set Decoding algorithms and Universal Hash Functions. In the context of Information Set Decoding (ISD) the thesis studies time/memory trade-off of ISD algorithms and in the context of universal hash functions, the thesis studies design and efficient implementations of polynomial hash functions defined over prime order fields. A cornerstone of ISD algorithms is the algorithm proposed by Stern and it introduced the meet-in-the-middle collision search approach to ISD algorithms. Though this algorithm is more efficient in terms of asymptotic time complex- ity than the preceding algorithms proposed by Prange, Lee and Brickell and …

Mat 301 - Applied Statistics And Data Analysis, Eric Aragundi

Open Educational Resources

Data analysis using standard statistical methods and relevant computer software. Emphasis on real-world data, interpretation, and misinterpretation of computer output.

This syllabus contains open source notebook about data analysis content.

Discovery Of Drug Transporter Inhibitors Tied To Long Noncoding Rna In Resistant Cancer Cells; A Computational Model -In Silico- Study, Mohanad Diab, Amel Hamdi, Feras Al-Obeidat, Wael Hafez, Ivan Cherrez-Ojeda, Muneir Gador, Gowhar Rashid, Sana F. Elkhazin, Mahmad Anwar Ibrahim, Tarek Farag Ismail, Samar Sami Alkafaas

All Works

Chemotherapeutic resistance is a major obstacle to chemotherapeutic failure. Cancer cell resistance involves several mechanisms, including epithelial-to-mesenchymal transition (EMT), signaling pathway bypass, drug efflux activation, and impairment of drug entry. P-glycoproteins (P-gp) are an efflux transporter that pumps chemotherapeutic drugs out of cancer cells, resulting in chemotherapeutic resistance. Several types of long noncoding RNA (lncRNAs) have been identified in resistant cancer cells, including ODRUL, MALAT1, and ANRIL. The high expression level of ODRUL is related to the induction of ATP-binding cassette (ABC) gene expression, resulting in the emergence of doxorubicin resistance in osteosarcoma. lncRNAs are observed to be regulators of …

Detection And Mitigation Of Out-Of-Band Channel Wormhole Attack In Wireless Network Using Propagation Delay, Harry May

Doctoral Dissertations

Wireless networks, susceptible to a range of attacks due to their simplicity and ease of evasion, face a significant threat from control data attacks, notably the elusive wormhole attack. Detecting and mitigating such attacks poses challenges, particularly in the absence of a digital signature. This dissertation introduces an innovative approach that utilizes the propagation delay associated with malicious nodes’ timing characteristics for detection, employing the Ad-hoc On-Demand Distance Vector (AODV) algorithm as its foundation. The inherent propagation delay in the AODV protocol is calculated for each node link along the entire communication path, offering a distinctive timing method that provides …

Dsa-Api: Data Standardization Automation Using Ai-Powered Apis, Andrew Asher Turner

Master's Theses

The common factor with current implementations of Artificial Intelligence (AI) is data. Companies are constantly looking for new ways to analyze data, but it comes in various formats: Text, Comma Separated Value (CVE), JavaScript Object Notation (JSON), Extensible Markup Language (XML), and Excel. How can AI be adapted to standardize formats for data analysis, integration, and digestion efficiently? Published research acknowledged that Machine Learning (ML) and AI can provide an automated method to speed up this process and limit the human decision-making error. With the advancement in AI, Application Programming Interfaces (APIs) prompt the idea that they can take in …

Who Should Take Responsibility For Artificial Intelligence Actions And Outcomes? Perception Of Auditors As Users Of Ai Systems, Hanh Hoang Le

Doctoral Dissertations

As artificial intelligence (AI) systems become increasingly embedded in auditing processes, questions arise regarding how professional auditors perceive and allocate responsibility for AI-assisted decisions. This study investigates the effects of AI explainability and auditors’ perceived autonomy on perceived responsibility in the context of audit decision-making. Drawing on theories of moral responsibility and professional judgment, the study employs a 2x2 experimental design using hypothetical audit scenarios to manipulate levels of AI explainability and auditors’ autonomy. Hierarchical regression analysis reveals that perceived autonomy statistically significantly increases auditors’ perception of responsibility for AI-assisted decisionmaking, whereas AI explainability is not a significant predictor. Additionally, …

Characterization Of Sars-Cov-2 Replication And Transcription Complexes Via Structural And Evolutionary Approaches, Amelie Ghirardo, Ben Shabatian, Avishai Aghelian, Kyle Tau, Eleonora Gianti

Undergraduate Research

Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) caused around 700M cases and over 7M COVID-19-related deaths recorded worldwide (World Health Organization, March 2025). Aiming to effectively combat this and other disease-causing Coronaviruses (CoV), unprecedented research efforts led to the development of new vaccines and antiviral therapies. Due to emergence of variants of concern (VOCs) with increased transmissibility, immune evasion from vaccination, and potential to resist the available treatments, SARS-CoV-2 continues to represent a major threat to global health. Hence, there is a pressing need to discover new antivirals with broad-spectrum efficacy against multiple SARS-CoV-2 variants and related CoVs. This project …

Blockchain-Enabled Master Data Management, Shakhawat Hossain

Theses and Dissertations

Master Data Management (MDM) is essential for maintaining data quality, accuracy, consistency, and governance within organizations. However, traditional centralized MDM systems continue to face challenges related to data integrity, security, and scalability. This research presents a blockchain-enabled MDM framework designed to overcome these limitations by leveraging blockchain’s decentralized, immutable, and secure architecture. The study aims to identify and address the shortcomings of conventional MDM practices, examine the applicability of blockchain technology in enhancing these systems, and develop a functional prototype to validate the proposed model. The framework incorporates decentralized review mechanisms that improve auditability and ensure trusted data verification by …

Hotlangbench, A Tiny Benchmark Suite For Higher-Order Statically Typed Languages, Konstantin Laufer

Computer Science: Faculty Publications and Other Works

This work in progress aims to compare various HOT (higher-order and statically typed, a term coined by Phil Wadler) through reproducible course-grained, wall-time benchmarks. Our overall goals include simplicity, agility, and reproducibility.

There is currently only one benchmark, but it brings out substantial performance differences among the various languages and platforms. It uses function composition and other higher-order constructs to build a pipeline of transformations, along with a brute-force iteration that is computationally expensive for input files specifying large ranges as function domains. We currently include versions in Modern C++, C#, Go, Haskell, Kotlin, Modern (stream-based) Java (24), OCaml, Scala …

Design And Optimization Of Low-Loss, High-Gain Metamaterial-Based Log-Periodic Dipole Array Antenna For Full Ka-Band Coverage, Mohamed El Moniar, Ahmed Abd El Hady, Yasser Ismail, Nihal Areed

Turkish Journal of Electrical Engineering and Computer Sciences

This work describes a microstrip log-periodic dipole array (MLPDA) antenna that uses metamaterials and operates across the whole Ka-band. The suggested MLPDA antenna layout provides a wide bandwidth with fewer dipole elements than traditional MLPDA antennas while maintaining the same resonance frequencies. To reduce size while covering a wide operational spectrum, the antenna design includes bending dipoles as radiating elements, as well as an incomplete ground plane. Furthermore, the proposed MLPDA antenna’s energy loss has been reduced while boosting its signal strength (gain) by inserting a metamaterial-based structure in front of it at a certain distance and on the same …

Helmholtz Cage: Software Development And Implementation For Cubesat Testing, Gustavo A. Cotom Lopez

University Honors Theses

This paper details the successful development and deployment of a Helmholtz cage system, designed to produce precisely controlled magnetic fields for testing and calibration purposes. The core focus was on creating a robust, modular software architecture enabling independent current modulation on each axis, comprehensive serial communication between multiple microcontrollers, and real-time data acquisition from the MR3 magnetometer. All software components, including the serial communication drivers, control algorithms, command line interface, and calibration routines, were developed from the ground up. The system was fully operational upon completion: all hardware components functioned as intended, serial communication with each subsystem was reliable, and …

Transformer Decoder-Enhanced Swin Unetr For Multi-Organ Semantic Segmentation On Openkbp: Improving Radiotherapy Planning Accuracy, Zainab Adnan Jwad, Israa Hadi Ali

Karbala International Journal of Modern Science

Accurate segmentation of organs-at-risk (OARs) in head and neck CT scans is crucial for radiotherapy planning. The CNN-based decoder limitation of Swin UNETR hinders its capacity to process meaningful information from multiple organ positions essential for accurate medical segmentation. The proposed Transformer Decoder-enhanced Swin UNETR model targets the OpenKBP dataset multi-organ segmentation through its dedicated design for this purpose. The model utilizes transformers along with cross-attention approaches in its decoder to improve segmentation mask outputs through analysis of extensive global information. The model gets additional feature representation power through the addition of squeeze-and-excitation (SE) blocks linked with spatial attention mechanisms …