Computer Sciences Commons^™

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 …

On-Demand Heterogeneous Drone Delivery Problem, Xupeng Wen, Zhiguang Cao, Shu Xu, Dapeng Ren, Guohua Wu, Yaoxin Wu

Research Collection School Of Computing and Information Systems

In the on-demand problem domain, actual demand frequently deviates from the expected demand. This paper intricately delves into the exploration of on-demand heterogeneous multi-drone routing problem (ODHDRP), in which a transport drone carries multiple terminal drones to subregions in the first echelon, and the terminal drones deliver parcels during a flight trip to customers with demands in subregions to maintain economies of scale in the second echelon. We formulate the customer demands using a normal distribution, and exploit a reliability model of customer demands with chance constraints. To solve the ODHDRP efficiently, we propose a hybrid iterative optimisation heuristic (HIOH) …

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 …

Regtrieve: Reducing System-Level Regression Errors For Machine Learning Systems Via Retrieval-Enhanced Ensemble, Junming Cao, Xuwen Xiang, Mingfei Cheng, Bihuan Chen, Xinyan Wang, You Lu, Chaofeng Sha, Xiaofei Xie, Xin Peng

Research Collection School Of Computing and Information Systems

Multiple machine learning (ML) models are often incorporated into real-world ML systems. However, updating an individual model in these ML systems frequently results in regression errors, where the new model performs worse than the old model for some inputs. While model-level regression errors have been widely studied, little is known about how regression errors propagate at system level. To address this gap, we propose RegTrieve, a novel retrieval-enhanced ensemble approach to reduce regression errors at both model and system level. Our evaluation across various model update scenarios shows that RegTrieve reduces system-level regression errors with almost no impact on system …

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 …

Ntire 2025 Challenge On Event-Based Image Deblurring: Methods And Results, Lei Sun, Et. Al.

Research Collection School Of Computing and Information Systems

This paper presents an overview of NTIRE 2025, the First Challenge on Event-Based Image Deblurring, detailing the proposed methodologies and corresponding results. The primary goal of the challenge is to design an event-based method that achieves high-quality image deblurring, with performance quantitatively assessed using Peak Signal-toNoise Ratio (PSNR). Notably, there are no restrictions on computational complexity or model size. The task focuses on leveraging both events and images as inputs for singleimage deblurring. A total of 199 participants registered, among whom 15 teams successfully submitted valid results, offering valuable insights into the current state of eventbased image deblurring. We anticipate …

Efficient And Green Large Language Models For Software Engineering: Literature Review, Vision, And The Road Ahead, Jieke Shi, Zhou Yang, David Lo

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) have recently shown remarkable capabilities in various software engineering tasks, spurring the rapid growth of the Large Language Models for Software Engineering (LLM4SE) area. However, limited attention has been paid to developing efficient LLM4SE techniques that demand minimal computational cost, time, and memory resources, as well as green LLM4SE solutions that reduce energy consumption, water usage, and carbon emissions. This article aims to redirect the focus of the research community toward the efficiency and greenness of LLM4SE, while also sharing potential research directions to achieve this goal. It commences with a brief overview of the significance …

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 …

Evaluating Disaster Relief In Supply Chains Using A Neutrosophic Mcdm Approach, Nada A. Nabeeh

Neutrosophic Systems with Applications

Disaster-prone regions and affected areas encounter persistent challenges in maintaining supply chain continuity due to environmental uncertainties and infrastructure disruptions. Effective supply chain disaster management (SCDM) is essential for relief disaster disruptions, specifically in upstream processes and functions within the humanitarian supply chain. The integration of advanced technologies like the metaverse and Multiple-Criteria Decision-Making (MCDM) methods supports strategic planning and enhances resilience. This study presents a multi-criteria decision-making (MCDM) proposed approach for disaster relief evaluation in supply chain management. The proposed model integrates Interval-Valued Neutrosophic Numbers (IVNNs) to manage uncertainty and ambiguity inherent in disaster various criteria which are often …

Cutting Through The Infodemic Efficiently: News Claims Surveillance And Llm-Based Lightweight Fact Verification, Xuan Zhang

Dissertations and Theses Collection (Open Access)

In the context of the current infodemic, the rapid spread of misinformation poses a severe threat to social stability and public health. Recently, the rise of deep learning technologies has offered the potential for accelerating the development of automated misinformation detection and verification. However, current technological capabilities and computational resources often prove inadequate for the exhaustive scrutiny required, rendering the enhancement of processing efficiency a critical imperative. Given the vast amount of data on the internet, current technology and computational power often fall short in timely and accurate scrutiny of each piece of information, making the improvement of processing efficiency …

Rich Models And Methods For On-Demand Same Day Deliveries, Zhiqin Zhang

Dissertations and Theses Collection (Open Access)

Same-day delivery has brought numerous conveniences to people’s lives, but it has also presented challenges in terms of service management. To effectively optimize on-demand same-day delivery operations within urban logistics, intelligent decision-making strategies capable of adapting to rapidly changing circumstances are essential. Employing effective decisionmaking strategies that account for order allocation, route planning, courier scheduling, and other relevant factors, is pivotal in advancing logistics operations, enhancing efficiency, customer satisfaction, and resource utilization in the context of dynamic same-day delivery problems.

The focus of this thesis revolves around different emerging challenges presented by on-demand same-day delivery problems, with a particular emphasis …

Interactive Generative Modeling: A Pathway For Improved Simulation And Decision Making, Changyu Chen

Dissertations and Theses Collection (Open Access)

This dissertation presents Interactive Generative Modeling (IGM), a unified perspective that integrates interactive paradigm and generative modeling to advance the development of general-purpose intelligent systems. IGM is motivated by the observation that while reinforcement learning (RL) has mastered a wide range of complex simulated tasks, it struggles to generalize in high-dimensional, open-ended tasks. In contrast, generative models excel in such settings due to their expressivity and their ability to serve as powerful priors (e.g., LLMs pretrained on massive corpora). By bridging these two paradigms, IGM offers a promising path forward.

The first direction explored in this dissertation is IGM for …