Computer Sciences Commons^™

Topodino: Self-Supervised Topological Representation Learning For Neuronal Morphologies, Yasser Binbisher

Master's Theses

Neuronal cell types are categorized by transcriptomic identity, yet their morphological heterogeneity defies this classification. In response, researchers have adopted unsupervised graph representation learning as a tool to reveal morphological variation within single-class transcriptomic types. However, the complex geometry of neuronal morphology—especially long axons and dense dendrites—challenges graph neural networks, which struggle with message propagation across extended structures. To mitigate this, current approaches enforce sub-sampling on neuronal graphs and omit axons entirely, sacrificing critical biological features for computational efficiency. To overcome this trade-off, this thesis introduces TopoDINO, a self-supervised, topology-aware representation learning model designed to preserve the full hierarchical organization …

Exploiting Compiler-Introduced Vulnerabilities In C: A Cross-Compiler And Cross-Architecture Analysis Of Undefined Behavior, Erik Mccutchen

Master's Theses

Compilers are a critical component in generating secure software across engineering disciplines. However, languages like C that permit undefined behavior introduce a fundamental tension between the compiler’s interpretation of undefined behavior and the security of the generated code. This tension can result in security vulnerabilities that, from the programmer's perspective, are ``created'' by the compiler. The widespread use of these languages, combined with the complexity of modern optimizations and limited developer visibility into compiler behavior, makes these vulnerabilities both pervasive and difficult to detect.

Building on prior work, this thesis refines a dataset of C code snippets that exhibit Compiler-Introduced …

Enhancing Energy Consumption Forecasting For Electric Vehicle Charging Stations With Time Series Dense Encoder (Tide), Amril Nazir, Abdul Khalique Shaikh, Aftab Ahmed Khan, Abdul Salam Shah, Nadia Khalique

All Works

The increasing adoption of electric vehicles has led to the installation of charging stations in various locations in major cities worldwide. This study focuses on energy consumption forecasting for Boulder, Nevada, United States electric vehicle charging stations. Efficient management of energy resources at these charging points is crucial for optimizing resource utilization and reducing charging time. While existing literature has focused on energy consumption prediction in smart homes and grids, the significance of electric charging points in smart cities must be considered. The transformers have handled time series forecasting better with larger datasets like the Temporal Fusion Transformer and the …

Adapting Teaching And Learning With Existing Generative Ai By Higher Education Students: Comparative Study Of Zayed University And King Abdulaziz University, Dina Tbaishat, Ghada Amoudi, Maha Elfadel

All Works

This study examines the role of higher education students’ perceptions in adapting Generative AI (GenAI) tools for teaching and learning, with a particular focus on the factors that influence student satisfaction and engagement. A comparative approach is adopted, exploring student experiences at Zayed University (ZU) in the UAE and King Abdulaziz University (KAU) in Saudi Arabia. The principal variables of interest, including Expected Benefits (EB), University Support (US), Ethical Awareness (EA), and Technology Self-Efficacy (TSE), are examined, with particular attention to their direct and mediated influences through Behavioral Intention (BI) on student satisfaction (SS). Data were collected through surveys and …

Glacial Lakes Segmentation Using Multispectral Remote Sensing Data And Deep Learning Models, Debankan Das

Master’s Dissertations

The identification and delineation of glacial lakes through segmentation is crucial for tracking glacial changes and evaluating potential dangers from sudden flood events (GLOFs). These floods can severely impact populated areas and man-made structures downstream. Recent advances in high-quality satellite imagery have sparked increased attention toward using advanced machine learning methods, particularly deep learning, to enable precise and automated glacial lake detection. In this study, we explore the effectiveness of deep learning-based pointwise semantic segmentation for glacial lake mapping using multisource remote sensing imagery, including both optical and synthetic aperture radar (SAR) data. We experiment with a novel stack combination …

Computerized Diagnostic Decision Support Systems-Isabel Pro Versus Chatgpt-4 Part Ii, Joe M Bridges, Xiaoqian Jiang, Michael Ige, Oluwatoniloba Toyobo

Faculty, Staff and Student Publications

Objective: Does a Tree-of-Thought prompt and reconsideration of Isabel Pro's differential improve ChatGPT-4's accuracy; does increasing expert panel size improve ChatGPT-4's accuracy; does ChatGPT-4 produce consistent outputs in sequential requests; what is the frequency of fabricated references?

Materials and methods: Isabel Pro, a computerized diagnostic decision support system, and ChatGPT-4, a large language model. Using 201 cases from the New England Journal of Medicine, each system produced a differential diagnosis ranked by likelihood. Statistics were Mean Reciprocal Rank, Recall at Rank, Average Rank, Number of Correct Diagnoses, and Rank Improvement. For reproducibility, the study compared the initial expert panel run …

Digital Resurrection Of Thonis-Heracleion: Technological Advances In Underwater Archaeology And A Speculative Ai-Driven Reconstruction Methodology, James Hutson, Passent Chahine

Faculty Scholarship

This article synthesizes past archaeological research on the submerged Egyptian city of Thonis-Heracleion, critically reviewing excavations and technological interventions deployed since its rediscovery by Franck Goddio and the IEASM team. Situated approximately 10 meters beneath Aboukir Bay near Alexandria, the city represents a significant nexus of Greek and Egyptian cultural heritage, vividly documented in classical sources such as Herodotus and Strabo. Prior excavations have recovered temple complexes, colossal statues, ritual artifacts, and an extensive array of ancient shipwrecks, mapping only a fraction of the extensive site. These investigations utilized pioneering geophysical methods, including multibeam sonar, side-scan sonar, and photogrammetry, establishing …

Coda: A Digital System For Generation Of Piano Practice Exercises From Symbolic Music Notation, Annie Tang

Computer Science Senior Theses

Effective practice remains one of the greatest challenges in music education, yet cur- rent digital music tools primarily support only passage engagement or surface-level feedback, failing to provide proactive guidance for overcoming technical challenges within piano repertoire. This thesis presents Coda, a digital system that generates custom piano practice exercises from symbolic music notation based on established piano pedagogy principles that have historically been taught orally.

Unlike existing tools that only provide a viewable symbolic music notation display or only an interface to take notes and record a practice session, Coda uses rule- based algorithmic transformations rooted in pedagogical logic …

Thriving In The Age Of Ai: Navigating Ai Identity Threat Through Ai Job Crafting, Yuming He

Theses and Dissertations in Business Administration

As artificial intelligence (AI) technologies like GenAI tools increasingly reshape the workplace, employees increasingly face threats to their work identity. Grounded in the identity threat response model and job crafting theory, this study investigates how AI identity threat influences employee AI job crafting behaviors and how these behaviors, in turn, affect vitality and learning. Using survey data from 521 full-time employees who actively engage with AI tools, the results indicate that AI identity threat stimulates both AI approach job crafting and AI avoidance job crafting. AI approach crafting enhances both vitality and learning, while AI avoidance crafting only supports vitality. …

Sla Evaluation And Composition In Reconfigurable Cloud-Based Services, Michael Iannelli

Dissertations, Theses, and Capstone Projects

Given the business model of offering data and computing services in a cloud setting, a major question arises: How do the services of one cloud provider compare to those of others? With the ubiquitous use of smartphones and tablets, the ability of a cloud provider to support QoS and client mobility becomes paramount. This research proposes a methodology for evaluating service-level agreements (SLAs) between cloud providers and their consumers, with a particular focus on dynamic SLA composition to adapt to changes in the application requirements and the external environment—such as traffic surges, security threats, or evolving business models.

In one …

Tracing My Roots: An Exploratory Data Visualization And Analysis Of Jewish Immigration And Assimilation To New York City, Jamie E. Gelberg

Dissertations, Theses, and Capstone Projects

As my Capstone, I explored the complex process of immigrant assimilation to New York City from the late 19th century and beyond through a personal lens, using my Ashkenazi Jewish family as a case study.

I outlined and analyzed relevant demographic data from the US Census Bureau, Berman Jewish DataBank, and other sources to understand New York City during this period and how Jewish immigrants fit into the story. I focused on my family history, immigration and settlement, social assimilation, and economic status. I also incorporated personal narratives from my family history from 3 generations. These narratives help provide context …

Advancing Academic Advising With Knowledge Graphs: Integrating Machine Learning And Llms For Personalized Course Planning, Sara Alshamsi

Theses

Academic advising plays a critical role in helping students make informed decisions, improve academic performance, and successfully navigate their university journey. However, with increasing university enrollment, traditional advising methods often struggle to scale, leading to student frustration and overburdened advisors. Additionally, designing course offerings that match student demand is a complex and error-prone process involving multiple stakeholders. To address these challenges, this thesis proposes an automated, data-driven system for generating personalized academic plans for students. The primary aim of this thesis is to develop a system that reduces students’ dependency on advisors while simultaneously providing accurate estimates of course demand …

Contested: Consistency-Aided Tested Code Generation With Llm, Jinhao Dong, Jun Sun, Wenjie Zhang, Jinsong Dong, Dan Hao

Research Collection School Of Computing and Information Systems

Recent advancements in large language models (LLMs) have significantly improved code generation, which generates code snippets automatically based on natural language requirements. Despite achieving state-of-the-art performance, LLMs often struggle to generate accurate and reliable code, requiring developers to spend substantial effort debugging and evaluating the generated output. Researchers have proposed leveraging Consistency to select code that passes more tests (inter-consistency) and demonstrates consistent behavior across more counterparts (intra-consistency). However, since the tests themselves are also generated by LLMs, relying on majority voting based on incorrect tests leads to unreliable results. To address this, we propose a lightweight interaction framework that …

De-Duplicating Silent Compiler Bugs Via Deep Semantic Representation, Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, Jun Sun

Research Collection School Of Computing and Information Systems

The compiler bug duplication problem (where many test failures are caused by the same compiler bug) can lead to huge waste of time and resource in diagnosing test failures produced by compiler testing. It is particularly challenging with regard to the silent compiler bugs that do not produce any error messages. To address this problem, multiple white-box techniques were proposed, but they are inapplicable in many practical scenarios. Black-box techniques are more practical, but the existing ones are less effective as they often rely on irrelevant syntactic information. To bridge this gap, we propose a novel black-box technique (BLADE), which …

Demystifying Memorization In Llm-Based Program Repair Via A General Hypothesis Testing Framework, Jiaolong Kong, Xiaofei Xie, Shangqing Liu

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) have achieved remarkable success in various applications, particularly in code-related tasks such as code generation and program repair, setting new performance benchmarks. However, the extensive use of large training corpora raises concerns about whether these achievements stem from genuine understanding or mere memorization of training data—a question often overlooked in current research. This paper aims to study the memorization issue within LLM-based program repair by investigating whether the correct patches generated by LLMs are the result of memorization. The key challenge lies in the absence of ground truth for confirming memorization, leading to various ad-hoc methods …

Large Language Model For Vulnerability Detection And Repair: Literature Review And The Road Ahead, Xin Zhou, Sicong Cao, Xiaobing Sun, David Lo

Research Collection School Of Computing and Information Systems

The significant advancements in Large Language Models (LLMs) have resulted in their widespread adoption across various tasks within Software Engineering (SE), including vulnerability detection and repair. Numerous studies have investigated the application of LLMs to enhance vulnerability detection and repair tasks. Despite the increasing research interest, there is currently no existing survey that focuses on the utilization of LLMs for vulnerability detection and repair. In this paper, we aim to bridge this gap by offering a systematic literature review of approaches aimed at improving vulnerability detection and repair through the utilization of LLMs. The review encompasses research work from leading …

Collaborative Tree Search For Enhancing Embodied Multi-Agent Collaboration, Lizheng Zu, Lin Lin, Song Fu, Na Zhao, Pan Zhou

Research Collection School Of Computing and Information Systems

Embodied agents based on large language models (LLMs) face significant challenges in collaborative tasks, requiring effective communication and reasonable division of labor to ensure efficient and correct task completion. Previous approaches with simple communication patterns carry erroneous or incoherent agent actions, which can lead to additional risks. To address these problems, we propose Cooperative Tree Search (CoTS), a framework designed to significantly improve collaborative planning and task execution efficiency among embodied agents. CoTS guides multi-agents to discuss long-term strategic plans within a modified Monte Carlo tree, searching along LLMdriven reward functions to provide a more thoughtful and promising approach to …

Ideal Query Expansion Using Reinforcement Learning, Madhuchchhanda Das

Master’s Dissertations

Information retrieval (IR) systems often struggle with short, ambiguous, or underspecified queries, leading to suboptimal document retrieval. Traditional query reformulation methods, such as those based on the Rocchio algorithm, rely on heuristic term selection and relevance feedback but typically apply fixed or manually tuned weights to expanded terms. This limits their adaptability and generalization across diverse query-document contexts. In this thesis, we propose a novel reinforcement learning (RL)-based framework to dynamically optimize term weighting in reformulated queries. We model the problem as a Markov Decision Process (MDP), where each state represents a query as a vector of term weights. An …

On The Deployment Of Ris-Mounted Uav Networks, Anupam Mondal

Master’s Dissertations

Reconfigurable intelligent surfaces (RIS) enable smart wireless environments by dynamically controlling signal propagation to enhance communication and localization. Unmanned aerial vehicles (UAVs) can act as flying base stations and thus, improve system performance by avoiding signal blockages. In this paper, we propose a gradient ascent and coordinate search based method to determine the optimal location for a system that consists of a UAV and a RIS, where the UAV serves cellular users (CUs) and the RIS serves device-to-device (D2D) pairs. In particular, by optimizing the net throughput for both the D2D pairs and the CUs, the suggested method establishes the …

Modeling And Verification Of Sigma Delta Neural Networks, Sirshendu Das

Master’s Dissertations

In the context of modern day embedded safety-critical systems and low-resource edge devices in particular, Sigma-Delta Neural Networks (SDNNs) offer a promising alternative to traditional Artificial Neural Networks (ANNs) by leveraging eventdriven, sparse computations inspired by biological neural processing. This energyefficient paradigm makes SDNNs well-suited for neuromorphic hardware and realtime applications, particularly in scenarios with temporal redundancy, such as video processing. However, as neural networks become integral to safety-critical systems, ensuring their robustness against adversarial perturbations is an absolute necessity. In this work, we propose an end-to-end framework for formal modeling and verification of SDNNs using Satisfiability Modulo Theory (SMT). …

Addressing Class Imbalance Problems To Improve Animal Detection Through Aerial Image Data, Suryang Koushal

Master’s Dissertations

Monitoring animal populations in wildlife reserves is essential for conservation, especially for endangered species, but manual censuses are costly, risky, and logistically challenging due to vast, inaccessible terrains. Unmanned Aerial Vehicles (UAVs) with digital cameras provide a safer, scalable solution for collecting aerial imagery to estimate animal populations. However, semi-automated processing of these images faces significant challenges due to class imbalance in datasets, including foreground-background disparities, where background terrain dominates over sparse animal instances, and inter-class imbalances from uneven species representation and varied visual appearances (e.g., species, sizes, fur patterns) against diverse backgrounds like deserts or forests. These imbalances hinder …

Energy-Efficient Uav Movement And User-Uav Association In Multi-Uav Networks, Subhadip Ghosh

Master’s Dissertations

These days, unmanned aerial vehicle (UAV)-based millimeter wave (mmWave) communication systems have drawn a lot of attention due to the increasing demand for faster data rates. Given the susceptibility of mmWave signals to obstacles and high propagation loss of mmWaves, ensuring line-of-sight (LoS) connectivity is critical for maintaining robust and efficient communication. Furthermore, UAVs have limited power resource and limited capacity in terms of number of users it can serve. Most significantly di↵erent users have di↵erent delay requirements and they keep moving while interacting with the UAVs. In this paper, first, we have provided an efficient solution for the optimal …

Enhancing Expressive Power Of Graph Neural Networks Using Geometric Transformations, Suranjan Dey

Master’s Dissertations

Graph Neural Networks (GNNs) are highly effective in many real-world tasks, such as molecular property prediction, modeling protein structures, analyzing user-item relationships, and making link predictions. What sets them apart is their ability to learn meaningful representations by capturing not just the features of individual nodes, but also the overall structure of the graph they belong to. This expressive strength allows GNNs to model complex relationships more accurately. In this work, we take a step further by introducing geometric transformations aimed at improving how GNNs handle spatial information. In particular, we focus on angular aggregation methods that maintain rotational consistency, …

Application Of Deep Learning In Analysis Of Stellar Spectra, Piyush Yayati

Master’s Dissertations

In recent years, the analysis of high-resolution stellar spectra has become increasingly important for estimating key stellar parameters such as effective temperature (Teff ), surface gravity (log g), metallicity ([M/H]), and rotational velocity (v sin i). Traditional methods often rely on manual calibration or spectrum synthesis, which can be time-consuming and error-prone, especially for M dwarfs whose spectra are dense with molecular features. In this study, we investigate the use of convolutional neural networks (CNNs) to automate the estimation of stellar parameters using synthetic and observed data.We adopt a StarNet-like CNN architecture trained on synthetic spectra generated from the PHOENIX-ACES …

Causal Explanations In Deep Learning Systems, Dhruv Vansraj Rathore

Master’s Dissertations

Deep learning models often deliver high predictive accuracy; however, their lack of interpretability can hinder their adoption in critical fields such as healthcare and finance. This thesis explores the concept of Intrinsic Causal Contribution (ICC), a novel method for explaining neural network predictions by quantifying each input feature’s intrinsic causal influence on the output, independent of correlated effects. ICC models the network as a Structural Causal Model and employs Causal Normalizing Flows to handle complex dependencies, with efficient estimation via the Jansen Estimator. Analysis on both synthetic and real data sets provides evidence that ICC produces faithful, interpretable attributions, often …

Universally Consistent Hyperbolic Deep Neural Networks, Sagar Ghosh

Master’s Dissertations

The ubiquitous pertinence of Deep Neural Networks has made it pivotal in modern Computer Science Applications, ranging from Computer Vision to Pattern Recognition and Machine Translation. Although these deep architectures are primarily based on Euclidean Spaces, Hyperbolic Neural Networks (HNN) gained traction in recent times to tackle more complex non-Euclidean data having inherent hierarchical structures. These HNN architectures have shown commendable improvements in test results on tree or graph-like data by exploiting the inherent exponential metric distances of hyperbolic spaces, making them more suitable to embed non-Euclidean data. Although HNNs surpass their conventional Euclidean counterparts by commendable margins, little to …

Alayadb: The Data Foundation For Efficient And Effective Long-Context Llm Inference, Yangshen Deng, Zhengxin You, Long Xiang, Qilong Li, Peiqi Yuan, Zhaoyang Hong, Yitao Zheng, Wanting Li, Runzhong Li, Haotian Liu, Kyriakos Mouratidis, Man Lung Yiu, Huan Li, Qiaomu Shen, Rui Mao, Bo Tang

Research Collection School Of Computing and Information Systems

AlayaDB is a cutting-edge vector database system natively architected for efficient and effective long-context inference for Large Language Models (LLMs) at AlayaDB AI. Specifically, it decouples the KV cache and attention computation from the LLM inference systems, and encapsulates them into a novel vector database system. For the Model as a Service providers (MaaS), AlayaDB consumes fewer hardware resources and offers higher generation quality for various workloads with different kinds of Service Level Objectives (SLOs), when compared with the existing alternative solutions (e.g., KV cache disaggregation, retrieval-based sparse attention). The crux of AlayaDB is that it abstracts the attention computation …

On-Demand Scenario Generation For Testing Automated Driving Systems, Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, Jucheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang

Research Collection School Of Computing and Information Systems

The safety and reliability of Automated Driving Systems (ADS) are paramount, necessitating rigorous testing methodologies to uncover potential failures before deployment. Traditional testing approaches often prioritize either natural scenario sampling or safety-critical scenario generation, resulting in overly simplistic or unrealistic hazardous tests. In practice, the demand for natural scenarios (e.g., when evaluating the ADS's reliability in real-world conditions), critical scenarios (e.g., when evaluating safety in critical situations), or somewhere in between (e.g., when testing the ADS in regions with less civilized drivers) varies depending on the testing objectives. To address this issue, we propose the On-demand Scenario Generation (OSG) Framework, …

Learning Spatio-Temporal Dynamics For Trajectory Recovery Via Time-Aware Transformer, Tian Sun, Yuqi Chen, Baihua Zheng, Weiwei Sun

Research Collection School Of Computing and Information Systems

In real-world applications, GPS trajectories often suffer from low sampling rates, with large and irregular intervals between consecutive GPS points. This sparse characteristic presents challenges for their direct use in GPS-based systems. This paper addresses the task of map-constrained trajectory recovery, aiming to enhance trajectory sampling rates of GPS trajectories. Previous studies commonly adopt a sequence-to-sequence framework, where an encoder captures the trajectory patterns and a decoder reconstructs the target trajectory. Within this framework, effectively representing the road network and extracting relevant trajectory features are crucial for overall performance. Despite advancements in these models, they fail to fully leverage the …

Linear Systems Over Pura Vida Neutrosophic Algebra, Rayyanu Abdullahi Muhammad, Abdulhadi Aminu

Neutrosophic Systems with Applications

Neutrosophic numbers offers a strong foundation for representing uncertainty, indeterminacy, and imprecision within mathematical systems. Pura Vida Neutrosophic Algebra (PVNA) expands upon max-plus algebra (also known as tropical algebra or path algebra) using neutrosophic numbers. In this study, we propose a novel extension of the Pura Vida Neutrosophic Algebra (PVNA) by formulating and analyzing linear systems within this algebraic context–an area that, to the best of our knowledge, has not been previously examined. Specifically, we introduce the concept of Neutrosophic Max-Plus Linear Systems, develop an algebraic methodology for their representation, and establish the necessary and sufficient conditions for the existence …