Digital Commons Network^™

Improved Vector Pruning For Partially Observable Markov Decision Processes, Thomas Jonathan Bowman

Theses and Dissertations

Exact dynamic programming algorithms for planning problems that are represented as partially observable Markov decision processes rely on a subroutine that removes, or ``prunes", dominated vectors from sets of vectors that represent piecewise-linear and convex value functions. The classic vector pruning subroutine solves one linear program per vector, where the number of variables is equal to the size of the state space and the number of constraints is equal to the number of vectors shown so far to be undominated. Thus, its scalability is limited not only by the number of linear programs it solves, but especially by their size. …

Tag-Based Security In C: Writing And Specifying Flexible Protection, Sean Noble Anderson

Dissertations and Theses

The C language is ubiquitous and insecure. Tag-based security policies offer a flexible toolkit for runtime protection, including policies that mitigate the effects of undetected programming bugs and those that enforce security properties of the program logic. But tag policies can be difficult to define, and the protection that they offer can be difficult to specify and to prove.

This dissertation builds from an assembly-level specification of stack safety, encompassing the essential control-flow structure of C and other high level languages, to a C source-level policy definition framework called Tagged C. Tagged C includes a variant C semantics parameterized by …

How Does Augmentation Affect Feature Space: A Study Using Various Augmentation Methods In Distributed Learning, Nikil Sharan Prabahar Balasubramanian

Computer Science Theses

This thesis examines the impact of data augmentation techniques on model performance within a distributed learning framework, focusing on enhancing feature diversity and improving representation for under-represented classes. Data augmentation, commonly used to address data imbalance, significantly influences the feature space learned by deep learning models, with varied effects in distributed settings where data is split across nodes. Our study reveals that inconsistencies in feature learning across nodes reduce the benefits of local augmentation in capturing complex patterns, leading to suboptimal model performance. To address this, we propose a coherent augmentation approach that embeds consistent transformations in the central server, …

Predicting Chaotic Systems With Quantum Echo-State Networks, Erik Connerty, Ethan N. Evans, Gerasimos Angelatos, Vignesh Narayanan

Publications

Recent advancements in artificial neural networks have enabled impressive tasks on classical computers, but they demand significant computational resources. While quantum computing offers potential beyond classical systems, the advantages of quantum neural networks (QNNs) remain largely unexplored. In this work, we present and examine a quantum circuit (QC) that implements and aims to improve upon the classical echo-state network (ESN), a type of reservoir-based recurrent neural networks (RNNs), using quantum computers. Typically, ESNs consist of an extremely large reservoir that learns high-dimensional embeddings, enabling prediction of complex system trajectories. Quantum echo-state networks (QESNs) aim to reduce this need for prohibitively …

Sd-Weat: Towards Robustly Measuring Bias In Input Embeddings For Artificial Intelligence Language Models, Magnus Gray

Theses and Dissertations

Artificial intelligence (AI) is rapidly transforming industries and markets, from healthcare to entertainment, revolutionizing decision-making processes. However, as AI grow more influential, they also risk amplifying existing biases, potentially leading to harmful consequences. Recent advancements in large language models (LLMs), such as GPT-4 and Llama, have heightened concerns about bias in natural language processing (NLP) tasks, driving the need for robust methods to detect and mitigate bias. Current approaches, such as the Word Embedding Association Test (WEAT) and its sentence-level extension the Sentence Encoder Association Test (SEAT) often fall short in capturing the nuances of biases in the input embeddings …

On The Benefits Of Directness In Virtual Characters For Motivational Interviews, Michael O'Mahony, Cathy Ennis, Robert Ross

Conference papers

Understanding the factors influencing successful engagement with Embodied Conversational Agents (ECAs) remains a significant challenge. This understanding could be used to personalise agents to users to improve interactions. Some studies have shown that simulating personalities in healthcare agents can improve effectiveness and engagement. However, it is not yet well understood how variations of agent personality can be leveraged to improve user engagement with Motivational Interviewing (MI) ECAs. Specifically how the balance between agent warmth and directness can be controlled in an MI agent to improve likeability and engagement. We conducted an online Wizard-of-Oz (WoZ) mediated study of two variants of …

A Summer Class Exploring Computer Science With Educators Of Deaf And Hard Of Hearing Students, Meghan L. Mcsherry, Becca A. Leininger, Maria L. Johnson, Annmarie P. Thomas, Susan Outlaw, Douglas C. Orzolek

Journal of Science Education for Students with Disabilities

The purpose of this research project was to design, deliver, and informally assess the content and methodology of an introductory course focused on the block-based coding language, Scratch, for educators of Deaf and Hard of Hearing students (N=20). Prior work by The Playful Learning Lab examined various STEM resources and their effect on student perception of STEM topics and content retention when utilized for Deaf and Hard of Hearing K-12 students. Previous research has shown that computer science and programming resources and curricula available today are not fully accessible for Deaf and Hard of Hearing K-12 students. Educators and teachers …

Applying Positive Unlabeled Learning Techniques And Using The Kullback-Leibler Divergence To Improve Geothermal Surveying Assessments, Martín Thomas Rodriguez

Dissertations and Theses

As we face the current climate crisis, the discovery of geothermal energy resources has the potential to greatly reduce our dependence on fossil fuels worldwide. However, the development of any new energy infrastructure is expensive and depends on the willingness of energy agencies and developers to make initial investments based on calculated risk measures. One such measure, called geothermal favorability, is the likelihood that a site has conditions favorable for geothermal systems containing recoverable energy potential. Its prediction from existing geophysical datasets proves to be a nontrivial task. The prediction of geothermal favorability can be framed as a binary classification …

Q-Learning In Starclash, Hanani Pankaj

2024 Fall Honors Capstone Projects - Archive

Developers create video games using Artificial Intelligence (AI) agents to provide a challenging opponent in a single-player game. However, studies show that when Reinforcement Learning (RL) agents are used, they outperform the AI agents. This project sought to test how RL agents would perform in StarClash, a video game without RL agents, using Q-Learning. This was done by creating two Q-Learning agents: a Simple agent and an Advanced (more complex) agent. These two agents were tested against each other and a Random AI agent. As expected, the Advanced agent did better than the Simple agent but only performed slightly better, …

Pixel: Ai Chatbot For Clear And Effective Senior Design Assistance, Asmin Pothula

2024 Fall Honors Capstone Projects - Archive

This research explores the development of an AI-driven chatbot named Pixel, specifically designed to assist Computer Science and Engineering Senior Design students by providing immediate, clear, and accurate responses to project-related queries. While my Senior Design project focuses on developing a "Senior Design Project Management Tool," my honors capstone project centers on developing Pixel and integrating it into both the project management tool and the CSE Senior Design Knowledge Base. Pixel leverages this knowledge base to offer guidance on tasks such as using lab equipment, performing technical procedures, and troubleshooting common issues, ensuring that students have swift access to relevant …

A Machine Learning Approach To Multifactorial Modeling Of Episodic Memory Performance, Evan Fletcher, Marianne Chanti-Ketterl, Emily Hokett, Yi Lor, Umesh Venkatesan, Paola Gilsanz, Rachel Whitmer, Ruijia Chen, Kristen George, Zvinka Zlatar

Moss-Magee Rehabilitation Papers

BACKGROUND: Neurocognitive health is influenced by multiple modifiable and non-modifiable lifestyle factors. Machine learning tools offer a promising approach to better understand complex models of cognitive function. We used extreme gradient boosting (XG Boost), an algorithm of decision-tree modeling, to analyze the association between 15 late-life lifestyle and demographic factors with episodic memory performance. METHOD: Our dataset consisted of 2247 participants from the KHANDLE and STAR cohorts. Participants included 841 men and 1406 women, an ethnoracial diversity of 413 Asian, 987 Black, 349 Latinx, and 496 White adults with age range 54-90 (mean = 74). XG Boost models of continuous …

Addressing Ethical Issues In Healthcare Artificial Intelligence Using A Lifecycle-Informed Process, Benjamin X Collins, Jean-Christophe Bélisle-Pipon, Barbara J Evans, Kadija Ferryman, Xiaoqian Jiang, Camille Nebeker, Laurie Novak, Kirk Roberts, Martin Were, Zhijun Yin, Vardit Ravitsky, Joseph Coco, Rachele Hendricks-Sturrup, Ishan Williams, Ellen W Clayton, Bradley A Malin, Bridge2ai Ethics And Trustworthy Ai Working Group

Faculty, Staff and Student Publications

OBJECTIVES: Artificial intelligence (AI) proceeds through an iterative and evaluative process of development, use, and refinement which may be characterized as a lifecycle. Within this context, stakeholders can vary in their interests and perceptions of the ethical issues associated with this rapidly evolving technology in ways that can fail to identify and avert adverse outcomes. Identifying issues throughout the AI lifecycle in a systematic manner can facilitate better-informed ethical deliberation.

MATERIALS AND METHODS: We analyzed existing lifecycles from within the current literature for ethical issues of AI in healthcare to identify themes, which we relied upon to create a lifecycle …

Intellectual Property Liability For Businesses In The Age Of Ai: What New Liabilities Businesses Using Ai Could Face And The Possible Methods Of Self-Protection, Elizabeth Anne Henderson

Michigan Business & Entrepreneurial Law Review

The invention of Artificial Intelligence (“AI”) has triggered a wave of copyright and trademark litigation that will likely shape the intellectual property laws governing AI for the foreseeable future. Lawsuits against AI giants like Meta and OpenAI stand to declare popular uses of AI as actionable infringement as well as possibly reshape how copyright and trademark law view concepts, such as fair use and derivative works in the age of technology. Meanwhile, businesses are pushing forward rapidly with adopting AI and implementing its use in everyday functions. For many of these businesses, AI is a highly desirable but poorly understood …

Exploring Secure Methods For Ensuring Data Integrity: A Theoretical Analysis Of Cryptographic And Detection Techniques, Haryam Garcia Martinez

Electronic Theses, Projects, and Dissertations

This study investigates cryptographic methods to ensure data integrity within cloud environments, with a particular focus on comparing the security, performance, and efficiency of MD5 and SHA-256 hash algorithms. Data integrity is critical for protecting sensitive information, especially in sectors like healthcare, where cloud storage solutions are increasingly prevalent. Through a theoretical analysis, the study evaluates the advantages and limitations of MD5 and SHA-256, emphasizing SHA-256’s stronger security capabilities in preventing collision attacks compared to MD5, albeit with higher resource consumption.

The literature review draws from recent advancements in cryptography, blockchain, and artificial intelligence (AI) technologies, presenting a comprehensive view …

Fortifying Ai-Iot Food Supply Chains: Addressing Third-Party Cybersecurity Vulnerabilities, Ashwin Chudasama

Electronic Theses, Projects, and Dissertations

The integration of Artificial Intelligence (AI) and the Internet of Things (IoT) technologies within food supply chains has led to significant operational efficiencies but has also introduced cybersecurity vulnerabilities, especially from third-party vendors supplying critical software and hardware. This study explores these vulnerabilities and evaluates multi-layered defense strategies to mitigate the cybersecurity risks they introduce. The research questions guiding this study are: (Q1) How do third-party vendors contribute to cybersecurity vulnerabilities within AI-IoT systems in the food industry? (Q2) How can multi-layered defense strategies effectively mitigate the cybersecurity risks introduced by these vendors?

Using a systematic literature review (SLR) approach …

Valorant's Interlinked To Theory Of Representation (Race And Culture) And Feminist Coflict Theory, Gerald Susanteo

ART 108: Introduction to Games Studies

A brief introduction to Valorant to new ears and eyes is that Valorant is a video game and what I will be calling a media that was released by Riot Games in 2020, Valorant is a tactical FPS (first person shooter) game that blends strategic gameplay with an immersive sci-fi narrative. The setting of the game takes place in a world destabilized by the mysterious "First Light" event which gives these agents called Radiants their powers and abilities. The game first introduces the organization called Kingdom Corporation as a central antagonist exploiting the Radiants who, like I explained earlier, are …

Reinforcement Learning Based Online Request Scheduling Framework For Workload-Adaptive Edge Deep Learning Inference, Xinrui Tan, Hongjia Li, Xiaofei Xie, Lu Guo, Nirwan Ansari, Xueqing Huang, Liming Wang, Zhen Xu, Yang Liu

Research Collection School Of Computing and Information Systems

The recent advances of deep learning in various mobile and Internet-of-Things applications, coupled with the emergence of edge computing, have led to a strong trend of performing deep learning inference on the edge servers located physically close to the end devices. This trend presents the challenge of how to meet the quality-of-service requirements of inference tasks at the resource-constrained network edge, especially under variable or even bursty inference workloads. Solutions to this challenge have not yet been reported in the related literature. In the present paper, we tackle this challenge by means of workload-adaptive inference request scheduling: in different workload …

Gotcha ! This Model Uses My Code ! Evaluating Membership Leakage Risks In Code Models, Zhou Yang, Zhipeng Zhao, Chenyu Wang, Jieke Shi, Dongsum Kim, Donggyun Han, David Lo

Research Collection School Of Computing and Information Systems

Leveraging large-scale datasets from open-source projects and advances in large language models, recent progress has led to sophisticated code models for key software engineering tasks, such as program repair and code completion. These models are trained on data from various sources, including public open-source projects like GitHub and private, confidential code from companies, raising significant privacy concerns. This paper investigates a crucial but unexplored question: What is the risk of membership information leakage in code models? Membership leakage refers to the vulnerability where an attacker can infer whether a specific data point was part of the training dataset. We present …

Delidar: Decoupling Lidars For Pervasive Spatial Computing, Kanatta Gamage Ramesh Darshana Rathnayake, Razat Sutradhar, Abbaas A. M. Nishar, Weerakoon Dulaj S., Ashwin Ashok, Archan Misra

Research Collection School Of Computing and Information Systems

Unbounded proliferation of LiDAR-equipped pervasive devices generates two challenges: (a) mutual interference among emitters and (b) significantly higher sensing energy overhead. We propose a fundamentally different approach for LiDAR sensing, in indoor spaces, that decouples the sensor’s emitter and receiver components. Our proposed approach, called DeLiDAR, centralizes the emitter functionality in one or more stationary nodes that continually emit pulses; this decoupling allows each mobile LiDAR sensor to be an ultra-low power, pure receiver unit consisting solely of passive multiple photodiodes. We explain how the emitter can utilize VLC-based encoding of its pulses to convey parameter settings that allow a …

Shield-U: Safeguarding Traffic Sign Recognition Against Perturbation Attacks, Shengmin Xu, Jianfei Sun, Hangcheng Cao, Yulan Gao, Ziyang He, Cong Wu

Research Collection School Of Computing and Information Systems

Traffic sign recognition systems are crucial for the navigation and situation awareness of autonomous vehicles. They leverage deep learning technologies to swiftly and accurately identify traffic signs, even in the most challenging traffic environments. However, security researchers have uncovered a critical vulnerability in these systems: learning-based TSRs are particularly susceptible to physical-world perturbation attacks. Through subtle modifications (i.e., attaching well-designed patches on traffic signs), attackers can deceive the recognition system into making erroneous judgments, which can further lead to serious traffic accidents. Although several defense mechanisms have been proposed to enhance the security of sign recognition systems, these solutions generally …

A Comprehensive Study On Static Application Security Testing (Sast) Tools For Android, Jingyun Zhu, Kaixuan Li, Sen Chen, Lingling Fan, Junjie Wang, Xiaofei Xie

Research Collection School Of Computing and Information Systems

To identify security vulnerabilities in Android applications, numerous static application security testing (SAST) tools have been proposed. However, it poses significant challenges to assess their overall performance on diverse vulnerability types. The task is non-trivial and poses considerable challenges. Firstly, the absence of a unified evaluation platform for defining and describing tools’ supported vulnerability types, coupled with the lack of normalization for the intricate and varied reports generated by different tools, significantly adds to the complexity. Secondly, there is a scarcity of adequate benchmarks, particularly those derived from real-world scenarios. To address these problems, we are the first to propose …

Lilac: Log Parsing Using Llms With Adaptive Parsing Cache, Zhihan Jiang, Jinyang Liu, Zhuangbin Chen, Yichen Li, Junjie Huang, Yintong Huo, Pinjia He, Jiazhen Gu, R. Michael Lyu

Research Collection School Of Computing and Information Systems

Log parsing transforms log messages into structured formats, serving as the prerequisite step for various log analysis tasks. Although a variety of log parsing approaches have been proposed, their performance on complicated log data remains compromised due to the use of human-crafted rules or learning-based models with limited training data. The recent emergence of powerful large language models (LLMs) demonstrates their vast pre-trained knowledge related to code and logging, making it promising to apply LLMs for log parsing. However, their lack of specialized log parsing capabilities currently hinders their parsing accuracy. Moreover, the inherent inconsistent answers, as well as the …

Automating Maritime Risk Data Collection And Identification Leveraging Large Language Models, Donghao Huang, Xiuju Fu, Xiaofeng Yin, Haibo Pen, Zhaoxia Wang

Research Collection School Of Computing and Information Systems

Maritime risk research is crucial yet challenging for improving safety, efficiency, and sustainability in maritime operations. This paper presents an innovative method for automating the collection and identification of risk data related to global maritime risks from news sources, addressing the limitations of traditional manual methods. To evaluate the proposed method, different learning-based models, including conventional machine learning approaches and advanced Large Language Models (LLMs) such as GPT-4 and LLaMA-3.1, are comprehensively studied for comparison. In addition, not only do we use popular evaluation metrics to assess the proposed method, but we also introduce a new evaluation metric, called the …

Divlog: Log Parsing With Prompt Enhanced In-Context Learning, Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He

Research Collection School Of Computing and Information Systems

Log parsing, which involves log template extraction from semistructured logs to produce structured logs, is the first and the most critical step in automated log analysis. However, current log parsers suffer from limited effectiveness for two reasons. First, traditional data-driven log parsers solely rely on heuristics or handcrafted features designed by domain experts, which may not consistently perform well on logs from diverse systems. Second, existing supervised log parsers require model tuning, which is often limited to fixed training samples and causes sub-optimal performance across the entire log source. To address this limitation, we propose DivLog, an effective log parsing …

Learning To Handle Complex Constraints For Vehicle Routing Problems, Jieyi Bi, Yining Ma, Jianan Zhou, Wen Song, Zhiguang Cao, Yaoxin Wu, Jie Zhang

Research Collection School Of Computing and Information Systems

Vehicle Routing Problems (VRPs) can model many real-world scenarios and often involve complex constraints. While recent neural methods excel in constructing solutions based on feasibility masking, they struggle with handling complex constraints, especially when obtaining the masking itself is NP-hard. In this paper, we propose a novel Proactive Infeasibility Prevention (PIP) framework to advance the capabilities of neural methods towards more complex VRPs. Our PIP integrates the Lagrangian multiplier as a basis to enhance constraint awareness and introduces preventative infeasibility masking to proactively steer the solution construction process. Moreover, we present PIP-D, which employs an auxiliary decoder and two adaptive …

Sprinql : Sub-Optimal Demonstrations Driven Offline Imitation Learning, Minh Huy Hoang, Tien Mai, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

We focus on offline imitation learning (IL), which aims to mimic an expert's behavior using demonstrations without any interaction with the environment. One of the main challenges in offline IL is the limited support of expert demonstrations, which typically cover only a small fraction of the state-action space. While it may not be feasible to obtain numerous expert demonstrations, it is often possible to gather a larger set of sub-optimal demonstrations. For example, in treatment optimization problems, there are varying levels of doctor treatments available for different chronic conditions. These range from treatment specialists and experienced general practitioners to less …

Trustworthy Web3 Domains: A Framework For Digital Identity Verification, Yi Meng Lau, Ping Fan Ke

Research Collection School Of Computing and Information Systems

As decentralized applications evolve, digital identities represented through Web3 domain names gained prominence. This study addresses the challenges of establishing trust in Web3 domain names. The decentralized nature of Web3 introduces complexities in verifying domain name authenticity, making them targets for malicious activities such as cybersquatting and phishing. We propose a comprehensive framework that enhances traditional identification, authentication, and authorization processes by incorporating technological and social trust elements. This framework enables organizations and users to systematically assess the trustworthiness of Web3 domain names, offering a structured approach to managing digital identities in decentralized environments.

Custom Permission Misconfigurations In Android: A Large-Scale Security Analysis, Rui Li, Wenrui Diao, Debin Gao

Research Collection School Of Computing and Information Systems

Android’s popularity is due to its openness and vast app ecosystem. Global developers can use Android Studio and rich Android APIs to create their apps. Within this ecosystem, Android permissions play a crucial role in managing access to resources, with system permissions controlled by system apps and custom permissions declared by third-party apps. However, the security of custom permissions has not received enough attention from the mobile security community, resulting in a lack of thorough evaluation of security practices for app developers using custom permissions. This study systematically evaluated the misconfiguration of custom permissions by Android app developers. It is …

Self-Supervised Fine-Tuning For Neural Expert Finding, Budhitama Subagdja, Dan Sanchari, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Expert finding systems allow ones to find individuals who have expertise in specific fields or domains. Traditional expert finding are mostly based on topic modeling or keyword search methods that are limited in their capability to encode contextual knowledge from natural language. To address the limitation, this paper presents Neural Expert Finder (NEF), a novel method that takes a transfer learning approach based on transformer encoder networks to leverage the rich seman-tic and syntactic patterns of language encoded in pre-trained language models (PLMs). We propose a self-supervised learning approach utilizing contrastive training using both positive and automatically generated negative samples …

Chain Of Preference Optimization: Improving Chain-Of-Thought Reasoning In Llms, Xuan Zhang, Chao Du, Tianyu Pang, Qian Liu, Wei Gao, Min Lin

Research Collection School Of Computing and Information Systems

The recent development of chain-of-thought (CoT) decoding has enabled large language models (LLMs) to generate explicit logical reasoning paths for complex problem-solving. However, research indicates that these paths are not always deliberate and optimal. The tree-of-thought (ToT) method employs tree-searching to extensively explore the reasoning space and find better reasoning paths that CoT decoding might overlook. This deliberation, however, comes at the cost of significantly increased inference complexity. In this work, we demonstrate that fine-tuning LLMs leveraging the search tree constructed by ToT allows CoT to achieve similar or better performance, thereby avoiding the substantial inference burden. This is achieved …