Computer Sciences Commons^™

Unique Combinations Of Packing Integer Squares, Keith M. Dreiling, Austin Leanna, William Mooney

SACAD: Scholarly Activities

This research investigates a function, informally named WAK(x), that describes the number of ways to divide an integer square into integer subsquares counting only the list of parts. Previous research has shown values up to 28, though finding these values is computationally complex and requires a long runtime using computer algorithms. We attempt to find patterns in the values and many aspects of the values, hoping to find a general solution. We are unsure if a solution exists, but we have ideas for how to move forward in finding a solution.

Using Automotive Lidar To Reduce The Energy Consumption Of An Ego Autonomous Vehicle, Logan P. Schexnaydre

Dissertations, Master's Theses and Master's Reports

There is significant potential to reduce the energy consumption of the transportation sector through autonomous vehicles. Prior work on autonomous vehicle energy efficiency focuses on the whole system or the control subsystem. Yet, the sensing and processing components, which have direct and indirect effects on net energy use, are less explored. This dissertation fills this gap by modeling and evaluating these effects for lidar sensors, which provide high-resolution spatial data at the cost of high power and processing demands. I apply lidar to the energy-saving tasks of automated vehicle following and road surface profiling. For automated vehicle following, I model …

Wearable Sensor-Based Phase Segmentation Analysis Of Front Crawl Swimming: A Scoping Review, Jonathan Simoes, Samuel Aylward, Daniel Hamze, Daniel James Goble, Daniel M. Russell, Joshua Haworth

Exercise Science Faculty Publications

Front crawl swimming stroke phase segmentation has historically relied on video analysis, but the development of wearable sensor technology has created new opportunities for automated phase segmentation. This scoping review mapped the available evidence on wearable sensor-based stroke phase segmentation methods in front crawl swimming, following PRISMA-ScR guidelines. A systematic search of SPORTDiscus, Web of Science, and IEEE Xplore conducted from January to June 2026, identified 15 eligible peer-reviewed studies published between 2000 and 2024. The review revealed an emerging field of research that has converged methodologically around inertial measurement units (IMUs) and the Chollet phase segmentation framework while remaining …

Qubit Lattice Algorithm Simulations Of The Scattering Of A Bounded Two Dimensional Electromagnetic Pulse From The Infinite Planar Dielectric Interface, Min Soe, George Vahala, Linda Vahala, Efstratios Koukoutsis, Abhay K. Ram, Kyriakos Hizanidis

Electrical & Computer Engineering Faculty Publications

Qubit lattice algorithm (QLA) simulations are performed for a two-dimensional spatially bounded pulse propagating onto a plane interface between two dielectric slabs. QLA is an initial value scheme that consists of a sequence of unitary collision and streaming operators, with appropriate potential operators, that recover Maxwell equations in inhomogeneous dielectric media to the second order in the lattice discreteness. For the case of total internal reflection, there is transient energy transfer into the second medium due to the evanescent fields as the Poynting unit vector of the pulse is rotated from its incident to reflected direction. Because of the finite …

Markov Chain Wave Generative Adversarial Network For Bee Bioacoustic Signal Synthesis, Kumudu Samarappuli, Iman Ardekani, Mahsa Mohaghegh, Abdolhossein Sarrafzadeh

Electrical & Computer Engineering Faculty Publications

This paper presents a framework for synthesizing bee bioacoustic signals associated with hive events. While existing approaches like WaveGAN have shown promise in audio generation, they often fail to preserve the subtle temporal and spectral features of bioacoustic signals critical for event-specific classification. The proposed method, MCWaveGAN, extends WaveGAN with a Markov Chain refinement stage, producing synthetic signals that more closely match the distribution of real bioacoustic data. Experimental results show that this method captures signal characteristics more effectively than WaveGAN alone. Furthermore, when integrated into a classifier, synthesized signals improved hive status prediction accuracy. These results highlight the potential …

The Crucial Role Of Machine Learning Models In Predicting Current Childhood Asthma: Model Comparison, Calibration, And Shap-Based Interpretation, Aditya Chakraborty, A. K.M. Raquibul Bashar

Epidemiology, Biostatistics, & Environmental Health Faculty Publications

Background: Asthma is one of the most prominent chronic diseases in children and one of the most challenging ailments to diagnose in infants and preschoolers in the United States. Predictive models can be instrumental in improving early diagnosis, personalized treatment strategies, and disease progression. By utilizing nationalized data, this study focuses on building and comparing high-performing analytical predictive models based on the relevant risk factors and identifying the most influential predictors.

Methods: We analyzed cross-sectional BRFSS Asthma Call-Back Survey data (2011-2020; N = 9,813) and randomly split participants into training and testing sets. An XGBoost model (hyperparameters tuned via grid …

Maxgrnet: A Multi-Axis Vision Transformer With Improved Generalization For Eye Disease Classification Using Explainable Ai With Insertion-Deletion Operations On Fundus Images, Md Mehedi Hasan Santo, Fuyad Hasan Bhoyan, Fuad Ibne Jashim Farhad, Fahmid Al Farid, Sovon Chakraborty, Md Humaion Kabir Mehedi, Jia Uddin, Hezerul Bin Abdul Karim

Computer Science Faculty Publications

Eye diseases, including diabetic retinopathy (DR), glaucoma, and cataracts, represent a major global health concern and can lead to severe visual impairment or blindness if not identified in a timely manner. This study proposes a novel eye disease classification framework based on a multi-axis vision transformer (MaxViT) applied to color fundus images with Explainable Artificial Intelligence (XAI) techniques to enhance model transparency. The proposed architecture integrates transformer-based attention mechanisms with Global Response Normalization (GRN)-based multi-layer perceptron (MLP) layers to capture complex spatial and contextual relationships within fundus images effectively. The model was evaluated on a publicly available eye disease classification …

Pure And Strong Nash Equilibrium Computation In Compactly Representable Aggregate Games, Jared Soundy, Mohammad T. Irfan, Hau Chan

Research & Publications

Aggregate games model interdependent decision making when an agent’s utility depends on their own choice and the aggregation of everyone's choices. We define a compactly representable subclass of aggregate games we call additive aggregate games, which encompasses popular games like congestion games, anonymous games, Schelling games, etc. We study computational questions on pure Nash equilibrium (PNE) and pure strong Nash equilibrium (SNE). We show that PNE existence is NP-complete for very simple cases of additive aggregate games. We devise an efficient algorithmic scheme for deciding the existence of a PNE and computing one (if it exists) for bounded aggregate space. …

K-Mshc: Unmasking Minimally Sufficient Head Circuits In Large Language Models With Experiments On Syntactic Classification Tasks, Pratim Chowdhary, Peter Chin, Deepernab Chakrabarty

Computer Science Senior Theses

Understanding which neural components drive specific capabilities in mid-sized language models ($\leq$10B parameters) remains a key challenge. We introduce the $(\bm{K}, \epsilon)$-Minimum Sufficient Head Circuit ($K$-MSHC), a methodology to identify minimal sets of attention heads crucial for classification tasks as well as Search-K-MSHC, an efficient algorithm for discovering these circuits. Applying our Search-K-MSHC algorithm to Gemma-9B, we analyze three syntactic task families: grammar acceptability, arithmetic verification, and arithmetic word problems. Our findings reveal distinct task-specific head circuits, with grammar tasks predominantly utilizing early layers, word problems showing pronounced activity in both shallow and deep regions, and arithmetic verification demonstrating a …

Pure Nash Equilibrium And Strong Nash Equilibrium Computation In Additive Aggregate Games, Jared Soundy, Mohammad T. Irfan, Hau Chan

Research & Publications

Aggregate games, first conceptualized by Nobel laureate Reinhard Selten in 1970, model the decision-making of interdependent agents where each agent’s utility depends on their own action and the aggregation of everyone’s actions. We consider computational questions on pure Nash equilibrium (PNE) and pure strong Nash equilibrium (SNE) for aggregate games. On the way, we define a new subclass of aggregate games we call additive aggregate games, which encompasses popular games like congestion games, anonymous games, Schelling games, etc. We show that PNE existence is NPcomplete for very simple cases of additive aggregate games. We devise an efficient aggregate-space algorithm for …

Algorithms For Order Statistics In Farey Sequences: A Computational Study, Connor Weyers

School of Computing: Dissertations, Theses, and Student Research

Farey sequences are the sets of irreducible fractions in increasing order with denominator less or equal to some integer n. They are a well-known concept in number theory problems and are related to many other concepts in number theory including integer factoring, Fibonacci sequences, and Riemann’s Zeta function. In this paper, we investigate some known algorithms to solve certain problems in Farey sequences from a computational perspective. In particular, we implement established algorithms that have not been previously implemented with the goal of creating a package that can be used more broadly. We also develop a new algorithm for rational …

Review Of Algorithms Of Resistance: The Everyday Fight Against Platform Power, John G. Mcnutt

The Journal of Social Encounters

No abstract provided.

Abolition By Algorithm, Peter N. Salib

Michigan Law Review

In one sense, America’s newest abolitionist movement—advocating the elimination of policing and prison—has been a success. Following the 2020 Black Lives Matter protests, a small group of self-described radicals convinced a wide swath of ordinary liberals to accept a sweeping claim: Mere reforms cannot meaningfully reduce prison and policing’s serious harms. Only elimination can. On the other hand, abolitionists have failed to secure lasting policy change. The difficulty is crime. In 2021, following a nationwide uptick in homicides, liberal support for abolitionist proposals collapsed. Despite being newly “abolition curious,” left-leaning voters consistently rejected concrete abolitionist policies. Faced with the difficult …

A Review Of Artificial Intelligence, Algorithms, And Robots Through The Lens Of Stakeholder Theory, Michael J. Matthews, Su Runkun, Lindsey Yonish, Shawn Mcclean, Joel Koopman, Kai Chi Yam

Management Faculty Publications

With the arrival of the Fourth Industrial Revolution, intelligent machines are affecting the daily lives of multiple organizational stakeholders. However, despite the continued expansion of intelligent machines in society, management scholarship has generally lagged, and current frameworks are under-equipped to offer meaningful guidance regarding the intersection of intelligent machines and organizations. We address this issue via a multidisciplinary review and a novel framework of intelligent machines and value creation. First, we discuss the characteristics of intelligent machines (i.e., autonomy, learning, inscrutability, and materiality) and how variation in these characteristics impacts their affordances and, subsequently, the value offered to stakeholders. We …

Deep Learning-Based Auto-Segmentation For Liver Yttrium-90 Selective Internal Radiation Therapy, Jun Li, Wookjin Choi, Rani Anne

Department of Radiation Oncology Faculty Papers

The aim was to evaluate a deep learning-based auto-segmentation method for liver delineation in Y-90 selective internal radiation therapy (SIRT). A deep learning (DL)-based liver segmentation model using the U-Net3D architecture was built. Auto-segmentation of the liver was tested in CT images of SIRT patients. DL auto-segmented liver contours were evaluated against physician manually-delineated contours. Dice similarity coefficient (DSC) and mean distance to agreement (MDA) were calculated. The DL-model-generated contours were compared with the contours generated using an Atlas-based method. Ratio of volume (RV, the ratio of DL-model auto-segmented liver volume to manually-delineated liver volume), and ratio of activity (RA, …

Motion Artifacts (Ma) At-Rest In Measured Arterial Pulse Signals: Time-Varying Amplitude In Each Harmonic And Non-Flat Harmonic-Ma Coupled Baseline, Md Mahfuzur Rahman, Mamun Hasan, Zhili Hao

Mechanical & Aerospace Engineering Faculty Publications

Motion artifacts (MA) cause great variability in a measured arterial pulse signal, and treatment of MA solely as a baseline drift (BD) fails to eliminate its effect on the measured signal. This paper presents a study on the effect of MA at rest (< 0.7 Hz) on measured arterial pulse signals using a microfluidic-based tactile sensor. By taking full account of the dynamic behavior of the transmission path from the true pulse signal in an artery to a measured pulse signal at the sensor, the tissue-contact-sensor (TCS) stack, an analytical model of MA in a measured pulse signal is developed. In this model, the TCS stack is treated as a 1DOF system for its dynamic behavior; MA is quantified as the displacement (i.e., BD) and time-varying system parameters (TVSP) of the TCS stack. The mathematical expression of MA in a measured pulse signal reveals that while BD remains as low-frequency additive noise, TVSP causes time-varying harmonics in a measured pulse signal. Further time-frequency analysis (TFA) of measured pulse signals validates the existence of TVSP and, for the first time, reveals its effect on a measured pulse signal: time-varying amplitude in each harmonic and non-flat harmonic-MA-coupled baseline.

Long-Term Traffic Prediction Using Deep Learning Long Short-Term Memory, Ange-Lionel Toba, Sameer Kulkarni, Wael Khallouli, Timothy Pennington

School of Cybersecurity Faculty Publications

Traffic conditions are a key factor in our society, contributing to quality of life and the economy, as well as access to professional, educational, and health resources. This emphasizes the need for a reliable road network to facilitate traffic fluidity across the nation and improve mobility. Reaching these characteristics demands good traffic volume prediction methods, not only in the short term but also in the long term, which helps design transportation strategies and road planning. However, most of the research has focused on short-term prediction, applied mostly to short-trip distances, while effective long-term forecasting, which has become a challenging issue …

An Analytical Model Of Motion Artifacts In A Measured Arterial Pulse Signal—Part I: Accelerometers And Ppg Sensors, Md Mahfuzur Rahman, Subodh Toraskar, Mamun Hasan, Zhili Hao

Mechanical & Aerospace Engineering Faculty Publications

This paper, the first of two parts, presents an analytical model of motion artifacts (MAs) in measured pulse signals by accelerometers and photoplethysmography (PPG) sensors. As the transmission path from the true pulse signal in an artery to the sensor output (measured pulse signal), the tissue-contact-sensor (TCS) stack is modeled as a 1DOF (degree-of-freedom) system. MAs cause baseline drift of the mass and simultaneously time-varying system parameters (TVSPs) of the TCS stack. With arterial wall displacement and pulsatile pressure serving separately as the true pulse signal, an analytical model is developed to mathematically relate baseline drift and TVSP to a …

Motion Artifacts Removal From Measured Arterial Pulse Signals At Rest: A Generalized Sdof-Model-Based Time-Frequency Method, Zhili Hao

Mechanical & Aerospace Engineering Faculty Publications

Motion artifacts (MA) are a key factor affecting the accuracy of a measured arterial pulse signal at rest. This paper presents a generalized time–frequency method for MA removal that is built upon a single-degree-of-freedom (SDOF) model of MA, where MA is manifested as time-varying system parameters (TVSPs) of the SDOF system for the tissue–contact-sensor (TCS) stack between an artery and a sensor. This model distinguishes the effects of MA and respiration on the instant parameters of harmonics in a measured pulse signal. Accordingly, a generalized SDOF-model-based time–frequency (SDOF-TF) method is developed to obtain the instant parameters of each harmonic in …

Faithful Narratives From Complex Conceptual Models: Should Modelers Or Large Language Models Simplify Causal Maps, Tyler J. Gandee, Philippe J. Giabbanelli

VMASC Publications

(1) Background: Comprehensive conceptual models can result in complex artifacts, consisting of many concepts that interact through multiple mechanisms. This complexity can be acceptable and even expected when generating rich models, for instance to support ensuing analyses that find central concepts or decompose models into parts that can be managed by different actors. However, complexity can become a barrier when the conceptual model is used directly by individuals. A ‘transparent’ model can support learning among stakeholders (e.g., in group model building) and it can motivate the adoption of specific interventions (i.e., using a model as evidence base). Although advances in …

Automating The Amino Acid Identification In Elliptical Dichroism Spectrometer With Machine Learning, Ridhanya Sree Balamurugan, Yusuf Asad, Tommy Gao, Dharmakeerthi Nawarathna, Umamaheswara Rao Tida, Dali Sun

Electrical & Computer Engineering Faculty Publications

Amino acid identification is crucial across various scientific disciplines, including biochemistry, pharmaceutical research, and medical diagnostics. However, traditional methods such as mass spectrometry require extensive sample preparation and are time-consuming, complex and costly. Therefore, this study presents a pioneering Machine Learning (ML) approach for automatic amino acid identification by utilizing the unique absorption profiles from an Elliptical Dichroism (ED) spectrometer. Advanced data preprocessing techniques and ML algorithms to learn patterns from the absorption profiles that distinguish different amino acids were investigated to prove the feasibility of this approach. The results show that ML can potentially revolutionize the amino acid analysis …

Differentiating Opioid Use Disorder From Healthy Controls Via Ml Analysis Of Rs-Fmri Networks, Ahmed Temtam, Megan A. Witherow, Liangsuo Ma, M. Shibly Sadique, F. Gerard Moeller, C. Kenneth, Dianne Wright, Khan M. Iftekharuddin

Electrical & Computer Engineering Faculty Publications

Objectives/Goals: This work aims to identify functional brain networks that differentiate opioid use disorder (OUD) subjects from healthy controls (HC) using machine learning (ML) analysis of resting-state fMRI (rs-fMRI). We investigate the default mode network (DMN), salience network (SN), and executive control network (ECN), as well as demographic features. Methods/Study Population: This work uses high-resolution rs-fMRI data from a National Institute on Drug Abuse study (IRB #HM20023630) with 31 OUD and 45 HC subjects. We extract rs-fMRI blood oxygenation level-dependent (BOLD) features from the DMN, SN, and ECN. The Boruta ML algorithm identifies statistically significant features and brain activity mapping …

A Fast Framework For Generating Radioactive Mixture Spectra And Its Application To Remote High-Performance Mixture Identification, Chiman Kwan, Bulent Ayhan, Adam Stavola, Kazi Aminul Islam, Hongfang Zhang, Jiang Li

Electrical & Computer Engineering Faculty Publications

Remote detection of radioactive materials in mixtures using handheld or portal detectors remains a challenge because of factors such as low concentration, environmental interference, sensor noise, and other complications. This work introduces a fast framework for generating realistic mixture spectra. Moreover, we present mixture isotope identification using data generated by the fast framework. Researchers have examined a range of conventional and recent algorithms within the fields of machine learning and deep learning. An application to uranium enrichment-level prediction has been included. Extensive simulation experiments validated the efficacy of the proposed framework.

Time-Marching Quantum Algorithm For Simulation Of Nonlinear Lorenz Dynamics, Efstratios Koukoutsis, George Vahala, Min Soe, Kyriakos Hizanidis, Linda Vahala, Abhay K. Ram

Electrical & Computer Engineering Faculty Publications

Simulating nonlinear classical dynamics on a quantum computer is an inherently challenging task due to the linear operator formulation of quantum mechanics. In this work, we provide a systematic approach to alleviate this difficulty by developing an explicit quantum algorithm that implements the time evolution of a second-order time-discretized version of the Lorenz model. The Lorenz model is a celebrated system of nonlinear ordinary differential equations that has been extensively studied in the contexts of climate science, fluid dynamics, and chaos theory. Our algorithm possesses a recursive structure and requires only a linear number of copies of the initial state …

Flux-Weakening Control Methods For Permanent Magnet Synchronous Machines In Electric Vehicles At High Speed, Samer Alwaqfi, Mohamad Alzayed, Hicham Chaoui

Electrical & Computer Engineering Faculty Publications

Permanent magnet synchronous motors (PMSMs) are widely favored by manufacturers for use in electric vehicles (EVs) because of their many benefits, which include high power density at high speeds, ruggedness, potential for high efficiency, and reduced control complexity. However, since the Back Electromotive Force (EMF) increases proportionally with the motor’s rotational speed, it must be carefully controlled at high speeds. Flux-weakening (FW) control is required to avoid excessive electromagnetic flux beyond the power source and inverter’s voltage restrictions. This paper aims to compare various FW control strategies and analyze their effectiveness in maximizing the speed of PMSMs in EV applications …

Land Target Detection Algorithm In Remote Sensing Images Based On Deep Learning, Wenyi Hu, Xiaomeng Jiang, Jiawei Tian, Shitong Ye, Shan Liu

Electrical & Computer Engineering Faculty Publications

Remote sensing technology plays a crucial role across various sectors, such as meteorological monitoring, city planning, and natural resource exploration. A critical aspect of remote sensing image analysis is land target detection, which involves identifying and classifying land-based objects within satellite or aerial imagery. However, despite advancements in both traditional detection methods and deep-learning-based approaches, detecting land targets remains challenging, especially when dealing with small and rotated objects that are difficult to distinguish. To address these challenges, this study introduces an enhanced model, YOLOv5s-CACSD, which builds upon the YOLOv5s framework. Our model integrates the channel attention (CA) mechanism, CARAFE, and …

Optiselect And Enshap: Integrating Machine Learning And Game Theory For Ischemic Stroke Prediction, Pritam Chakraborty, Anjan Bandyopadhyay, Sricheta Parul, Sujata Swain, Partha Sarathy Banerjee, Tapas Si, Hong Qin, Saurav Mallik

Computer Science Faculty Publications

Stroke analysis using game theory and machine learning techniques. The study investigates the use of the Shapley value in predictive ischemic brain stroke analysis. Initially, preference algorithms identify the most important features in various machine learning models, including logistic regression, K-nearest neighbor, decision tree, support vector machine (linear kernel), support vector machine ( RBF kernel), neural networks, etc. For each sample, the top 3, 4, and 5 features are evaluated and selected to evaluate their performance. The Shapley value method was used to rank the models using their best four features based on their predictive capabilities. As a result, better-performing …

Algotric: Symmetric And Asymmetric Encryption Algorithms For Cryptography – A Comparative Analysis In Ai Era, Naresh Kshetri, Mir Mehedi Rahman, Md Masud Rana, Omar Faruq Osama, James Hutson

Faculty Scholarship

The increasing integration of artificial intelligence (AI) within cybersecurity has necessitated stronger encryption methods to ensure data security. This paper presents a comparative analysis of symmetric (SE) and asymmetric encryption (AE) algorithms, focusing on their role in securing sensitive information in AI-driven environments. Through an in-depth study of various encryption algorithms such as AES, RSA, and others, this research evaluates the efficiency, complexity, and security of these algorithms within modern cybersecurity frameworks. Utilizing both qualitative and quantitative analysis, this research explores the historical evolution of encryption algorithms and their growing relevance in AI applications. The comparison of SE and AE …

Comparing And Evaluating Models Of Tile-Assembly Using Intrinsic Simulation, Daniel Hader

Graduate Theses and Dissertations

Tile-assembly studies abstract models of computation inspired by advancements in the emerging field of DNA-nanotechnology, where synthetic strands of DNA are used as building blocks for microscopic structures. These DNA strands can be made to combine into structural units with selectively sticky sides that abstractly resemble Wang tiles. However, unlike Wang tiles, an assembly process is modeled where tiles combine one-by-one to form larger assemblies according to matching rules based on their sticky sides. While in practice, these tile-assembly models have seen use in designing DNA nano-structures, the mathematical study of their theory has revealed an exciting interplay between geometric …

De-Identification Is Not Enough: A Comparison Between De-Identified And Synthetic Clinical Notes, Atiquer Rahman Sarkar, Yao-Shun Chuang, Noman Mohammed, Xiaoqian Jiang

Faculty, Staff and Student Publications

For sharing privacy-sensitive data, de-identification is commonly regarded as adequate for safeguarding privacy. Synthetic data is also being considered as a privacy-preserving alternative. Recent successes with numerical and tabular data generative models and the breakthroughs in large generative language models raise the question of whether synthetically generated clinical notes could be a viable alternative to real notes for research purposes. In this work, we demonstrated that (i) de-identification of real clinical notes does not protect records against a membership inference attack, (ii) proposed a novel approach to generate synthetic clinical notes using the current state-of-the-art large language models, (iii) evaluated …