Digital Commons Network^™

Tensorjsfuzz: Effective Testing Of Web-Based Deep Learning Frameworks Via Input-Constraint Extraction, Lili Quan, Xiaofei Xie, Qianyu Guo, Lingxiao Jiang, Sen Chen, Junjie Wang, Xiaohong Li

Research Collection School Of Computing and Information Systems

The 2025 ACM Web Conference (WWW '25) took place from April 28 to May 2, 2025, in the Sydney Convention & Exhibition Centre, Australia. Its logo, featuring the Sydney Harbour Bridge, symbolizes the core "connecting" function of the Web. Formerly known as the International World Wide Web Conference (WWW), this event originated at CERN in 1994 and has long served as the premier venue for presenting and discussing research, development, standards, and applications related to the Web.The 2025 ACM Web Conference (WWW'25) took place from April 28 to May 2, 2025, in the Sydney Convention & Exhibition Centre, Australia. Its …

Specgen: Automated Generation Of Formal Program Specifications Via Large Language Models, Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

Research Collection School Of Computing and Information Systems

In the software development process, formal program specifications play a crucial role in various stages, including requirement analysis, software testing, and verification. However, manually crafting formal program specifications is rather difficult, making the job time-consuming and labor-intensive. Moreover, it is even more challenging to write specifications that correctly and comprehensively describe the semantics of complex programs. To reduce the burden on software developers, automated specification generation methods have emerged. However, existing methods usually rely on predefined templates or grammar, making them struggle to accurately describe the behavior and functionality of complex real-world programs. To tackle this challenge, we introduce SpecGen, …

Query Understanding In Llm-Based Conversational Information Seeking, Yifei Yuan, Zahra Abbasiantaeb, Yang Deng, Mohammad Aliannejadi

Research Collection School Of Computing and Information Systems

Query understanding in Conversational Information Seeking (CIS) involves accurately interpreting user intent through context-aware interactions. This includes resolving ambiguities, refining queries, and adapting to evolving information needs. Large Language Models (LLMs) enhance this process by interpreting nuanced language and adapting dynamically, improving the relevance and precision of search results in real-time. In this tutorial, we explore advanced techniques to enhance query understanding in LLM-based CIS systems. We delve into LLM-driven methods for developing robust evaluation metrics to assess query understanding quality in multiturn interactions, strategies for building more interactive systems, and applications like proactive query management and query reformulation. We …

Sans: Efficient Densest Subgraph Discovery Over Relational Graphs Without Materialization, Yudong Niu, Yuchen Li, Jiaxin Jiang, Laks V. S. Lakshmanan

Research Collection School Of Computing and Information Systems

How can we efficiently identify the densest subgraph over relational graphs? Existing dense subgraph discovery (DSD) approaches assume that a relational graph H is already derived from a heterogeneous data source and they focus on efficient discovery of the densest subgraph on the materialized H. Unfortunately, materializing relational graphs can be resource-intensive, which thus limits the practical usefulness of existing algorithms over large datasets. To mitigate this, we propose a novel Summary-bAsed deNsest Subgraph discovery (SANS) system. Our unique summary-based peeling algorithm forms the core of SANS. Following the peeling paradigm, it utilizes summaries of each node's neighborhood to efficiently …

Building Bridges Across Papua New Guinea’S Digital Divide In Growing The Ict Industry, Marc Cheong, Sankwi Abuzo, Hideaki Hata, Priscilla Kevin, Winifred Kula, Benson Mirou, Christoph Treude, Dong Wang, Raula Gaikovina Kula

Research Collection School Of Computing and Information Systems

Papua New Guinea (PNG) is an emerging tech society with an opportunity to overcome geographic and social boundaries, in order to engage with the global market. However, the current tech landscape, dominated by Big Tech in Silicon Valley and other multinational companies in the Global North, tends to overlook the requirements of emerging economies such as PNG. This is becoming more obvious as issues such as algorithmic bias (in tech product deployments) and the digital divide (as in the case of non-affordable commercial software) are affecting PNG users. The Open Source Software (OSS) movement, based on extant research, is seen …

Exploring The Potential Of Large Language Models For Heterophilic Graphs, Yuxia Wu, Shujie Li, Yuan Fang, Chuan Shi

Research Collection School Of Computing and Information Systems

Large language models (LLMs) have presented significant opportunities to enhance various machine learning applications, including graph neural networks (GNNs). By leveraging the vast open-world knowledge within LLMs, we can more effectively interpret and utilize textual data to better characterize heterophilic graphs, where neighboring nodes often have different labels. However, existing approaches for heterophilic graphs overlook the rich textual data associated with nodes, which could unlock deeper insights into their heterophilic contexts. In this work, we explore the potential of LLMs for modeling heterophilic graphs and propose a novel two-stage framework: LLM-enhanced edge discriminator and LLM-guided edge reweighting. In the first …

“Ronaldo’S A Poser!”: How The Use Of Generative Ai Shapes Debates In Online Forums, Yuhan Zeng, Yingxuan Shi, Xuehan Huang, Fiona Fui-Hoon Nah, Ray Lc

Research Collection School Of Computing and Information Systems

Online debates can enhance critical thinking but may escalate into hostile attacks. As humans are increasingly reliant on Generative AI (GenAI) in writing tasks, we need to understand how people utilize GenAI in online debates. To examine the patterns of writing behavior while making arguments with GenAI, we created an online forum for soccer fans to engage in turn-based and free debates in a post format with the assistance of ChatGPT, arguing on the topic of "Messi vs Ronaldo". After 13 sessions of two-part study and semi-structured interviews with 39 participants, we conducted content and thematic analyses to integrate insights …

Flexfl: Flexible And Effective Fault Localization With Open-Source Large Language Models, Chuyang Xu, Zhongxin Liu, Xiaoxue Ren, Gehao Zhang, Ming Liang, David Lo

Research Collection School Of Computing and Information Systems

Fault localization (FL) targets identifying bug locations within a software system, which can enhance debugging efficiency and improve software quality. Due to the impressive code comprehension ability of Large Language Models (LLMs), a few studies have proposed to leverage LLMs to locate bugs, i.e., LLM-based FL, and demonstrated promising performance. However, first, these methods are limited in flexibility. They rely on bug-triggering test cases to perform FL and cannot make use of other available bug-related information, e.g., bug reports. Second, they are built upon proprietary LLMs, which are, although powerful, confronted with risks in data privacy. To address these limitations, …

Sigscope: Detecting And Understanding Off‑Chain Message Signing‑Related Vulnerabilities In Decentralized Applications, Sajad Meisami, Hugo Dabadie, Song Li, Yuzhe Tang, Yue Duan

Research Collection School Of Computing and Information Systems

In Web 3.0, an emerging paradigm of building decentralized applications or DApps is off-chain message signing, which has advantages in performance, cost efficiency, and usability compared to conventional transaction-signing schemes. However, message signing burdens DApp developers with extra coding complexity and message designing, leading to new security risks.This paper presents the first systematic study to uncover and characterize the security issues in off-chain message signing schemes and the DApps built atop them. We present a holistic static-analysis framework, SigScope, that uniquely combines the insights extracted from DApp front-end code (HTML and Javascript) off-chain and back-end smart contracts on-chain. We evaluate …

Real-Time Rectifying Flight Control Misconfiguration Using Intelligent Agent, Ruidong Han, Shangzhi Xu, Juanru Li, Elisa Bertino, David Lo, Jianfeng Ma, Siqi Ma

Research Collection School Of Computing and Information Systems

Configurations are supported by most flight control systems, allowing users to control a flying drone adapted to complexities such as environmental changes or mission alterations. Such an advanced functionality also introduces a significant problem—misconfiguration settings. It may cause drone instability, threaten drone safety, and potentially lead to substantial financial loss. However, detecting and rectifying misconfigurations across different flight control systems is challenging because (1) (mis)configuration-related code snippets might be syntactically correct and thus hard to identify through traditional code analysis; (2) the response to each configuration varies under different flying scenarios.In this article, we propose and implement a novel rectification …

Toward Better Comprehension Of Breaking Changes In The Npm Ecosystem, Dezhen Kong, Jiakun Liu, Lingfeng Bao, David Lo

Research Collection School Of Computing and Information Systems

Code evolution is prevalent in software ecosystems, which can provide many benefits, such as new features, bug fixes, security patches, while still introducing breaking changes that make downstream projects fail to work. Breaking changes cause a lot of effort to both downstream and upstream developers: downstream developers need to adapt to breaking changes and upstream developers are responsible for identifying and documenting them. In the NPM ecosystem, characterized by frequent code changes and a high tolerance for making breaking changes, the effort is larger.For better comprehension of breaking changes in the NPM ecosystem and to enhance breaking change detection tools, …

May 2025 News Releases, University Of Montana--Missoula. Office Of University Relations

University of Montana News Releases, 1928, 1956-present

No abstract provided.

Utilization Of Imidazolium Ionic Liquids For Enhanced Oil Recovery In Harsh Emirati Tight Carbonate Oil Reservoirs, Noran Hussein Mousa

Dissertations

In response to the increasing global demand for energy and the limitations of traditional chemical oil recovery methods, this study explores the potential of imidazolium-based ionic liquids (ILs) as enhanced oil recovery (EOR) agents for Emirati tight oil reservoirs. Four ILs—C10mimCl, C12mimCl, C12mimBF4, and C16mimBr—were evaluated for their effects on the interfacial tension (IFT), wettability, emulsification, and rheological properties under reservoir conditions. Experiments conducted at varying salinities, temperatures (up to 110°C), and IL concentrations (500–3000 ppm) demonstrated that longer alkyl chain ILs, particularly C16mimBr, effectively reduced IFT by >99% and improved wettability by lowering contact angles down to 15.37°. Statistical …

Tracing Wave Induced Flow Field Surrounding Reef Balls, Alexis Scheele

Theses and Dissertations

This study aims to explore the wave-induced flow dynamics around Reef Ball models using dye tracing techniques. Reef Balls are hemispherical artificial reefs with a hollow center and cavities throughout each face, they are designed in this manner to enhance coral reef restoration. Reef Balls rely on wave energy and current motion to facilitate water circulation and nutrient exchange within and surrounding their structure. To understand how wave action influences flow patterns around these artificial reefs, a scaled model experiment was designed to simulate real-world conditions. The experiments were conducted in the wave flume at Florida Institute of Technology’s Surf …

C-Band Air To Ground Communication System For Uav, Mubark Alghamdi

Theses and Dissertations

C band spectrum 5030-5091 MHz is allocated for command-and-control communication services with unmanned aircraft systems. This document evaluates the possibility of using 3GPP 5G standards for provisioning of such services. Channelization of the spectrum and major system parameters are proposed. The performance of the proposed system in channel fading environment is evaluated using MATLAB based simulations. The evaluations examine SINR, and average throughput of the proposed system at different altitudes of the unmanned aircraft system. MATLAB simulations are used to evaluate system performance in free-space environments. Signal-to-Interference-plus-Noise Ratio (SINR) and Reference Signal Received Power (RSRP) are predicted at different UAS …

The Impact Of System Transparency On Perceived System Reliability, Perceived System Usability, And Information Clarity In Self-Driving Car Systems, Uditkumar Nair

Theses and Dissertations

In human-computer interaction (HCI), the development of autonomous vehicle (AV) technology has created new difficulties, especially in building user confidence as well as understanding of system functioning. The effect of system transparency on user- centered outcomes, such as perceived usability, perceived system reliability, and information clarity, is examined in this thesis. In order to evaluate their experiences in both ordinary and high-stakes driving situations, participants engaged with both system- transparent user interfaces (TUIs) and non-transparent user interfaces (NTUIs) across a number of experimental scenarios. In order to assess how well each interface conveyed system logic and actions, the study included …

Developing End-To-End Imitation Learning For Asteroid Proximity Operations, Patrick David Quinn

Theses and Dissertations

Asteroid exploration remains a popular topic in the scientific community, however hurdles still exist for controlling spacecraft within the asteroid environment. Communication delays often require the usage of limited onboard computing hardware for navigation. Additionally, long mission timelines must be accommodated with highly efficient fuel use. Considering these issues, it is apparent that any guidance, navigation, and control (GNC) system in these spacecraft should emphasize both computational and fuel efficiency in its design. Furthermore, the integration of a robust state estimation system is necessary for the successful deployment of such systems. The development of a controller aiming to address these …

Cross-Dataset Fairness Evaluation Of Transformer-Based Sentiment Models, Sara Zuiran

Theses and Dissertations

With the growing exploration of Natural Language Processing (NLP) systems in decision-making environments, it is essential to evaluate technical and ethical aspects of the dataset and the NLP model to improve fairness. To assess fairness, the thesis examines demographic imbalances in sentiment classification models by evaluating transformer-based models fine-tuned on the Stanford Sentiment Treebank version 2 dataset (SST-2) against the demographically annotated Comprehensive Assessment of Language Model dataset (CALM). This work identifies performance disparities in sentiment prediction across demographic groups by examining sensitive attributes such as gender and race. The study evaluates both the RoBERTa and MentalBERT transformer models using …

Developing A Small Molecule To Inhibit Hsf1 Expression In Cancer And Evaluating Natural Genetic Variation In Small Molecule Toxicity., Michaela Kendal Foley

Theses and Dissertations

Each year cancer affects nearly 20 million people worldwide and genetic differences across populations can impact cancer onset and progression. Specifically, tumors with high levels of HSF1, the master regulator of the cytoprotective heat shock response (HSR), are correlated with poor patient outcomes in multiple cancers such as prostate, breast, and melanoma. Subsequently, the development of pharmacological inhibitors of HSF1 represents a promising strategy for anticancer therapeutics. Using a luciferase-based transcriptional reporter, two small molecule libraries were screened for inhibitors of HSF1 expression in human embryonic kidney cells, yielding ten compounds that decrease HSF1 expression. To identify if cancer lines …

Bridging The Gap: Enhancing Devops Security Through Comprehensive Threat Modeling, Ashutosh Jagdish Sonar

Theses and Dissertations

Today, security is an essential component of software development, especially in DevOps environments where rapid and continuous product release cycles are common. Systems are vulnerable to new attacks because traditional security approaches often cannot keep up with the pace of change. The threat modeling approaches used in DevOps are examined in this thesis, along with their advantages, disadvantages, and suitability for use in current software development processes. Well-known frameworks including STRIDE (Spoofing, Tampering, Repudiation, Information Disclosure, Denial of Service (DoS), and Elevation of Privilege), Attack Trees, LINDDUN (Linking, Identifying, Non-Repudiation, Detecting, Data Disclosure, Unawareness, and Non-Compliance.), Practical Threat Analysis (PTA), …

Stochastic Analysis With Operational Calculus In Reliability, Hend Hamdan Al-Jahani

Theses and Dissertations

Our dissertation models several reliability systems subject to occasional random shocks of random magnitudes W1,W2,..occurring at times tau0, tau2,..In Model 1, the underlying system becomes inoperational if it wears out due to aging specified by a monotone increasing continuous function Delta identifying system's wear at any time t>=0 . The system is deemed inoperational if delta crosses a sustainability threshold at some moment T=(delta )^-1(D). The precise time T is difficult to identify making the realistic failure time randomly delayed and thus identified at some opportune observation epoch. The system can also fail due to damages by external shocks, …

Exploration, Exploitation, And Financial Performance: The Long-Term Advantages Of Ambidextrous Companies, Georgi Aleksandrov Kirov

Theses and Dissertations

Researchers have advanced ambidexterity as an effective organizational strategy to cope with environmental and technological change. The use of divergent and incompatible core construct conceptualizations, overreliance on cross-sectional and perceptual performance measures, and persistent scarcity of longitudinal examinations have undermined empirical conclusions that ambidexterity works. This study seeks to ascertain whether ambidexterity enhances long-term financial performance under environmental conditions of munificence, dynamism, and external potential slack.

The study deploys a novel operationalization of the ambidexterity concept and develops company portfolios to compare the financial results of ambidextrous firms and their rivals. Based on a 25-year data set, the research finds …

Trends In And Factors Associated With Science Achievement Among Eighth Graders In Saudi Arabia: A Secondary Analysis Of Timss Data, Roba Alzahrani

Theses and Dissertations

This secondary analysis examined trends in and factors influencing science achievement among eighth-grade students in Saudi Arabia, using data from the Trends in International Mathematics and Science Study (TIMSS). However, Saudi Arabia's performance on the TIMSS science assessments fell below the international average, from 2003 through 2019. In addition, gender differences in science achievement have been observed, with female students outperforming male students by 30 or more points. This study addresses two problems: factors associated with the lower performance of Saudi students on TIMSS science assessments compared to global standards, and the small number of studies which explored factors which …

Effects & Buffering Of Ai-Induced Career Insecurity Among University Students, Skyler Grunberg

Theses and Dissertations

This research examines how artificial intelligence (AI) development psychologically impacts students' perception of their future careers. Adopting a cross-sectional design, 137 university students were surveyed to investigate the relationship between AI-induced future career insecurity, well-being, work engagement, and career decision-making self- efficacy (CDMSE). AI-induced career insecurity (AICI) was found to be significantly below the neutral midpoint in university students. Confirmatory factor analysis was used to assess the item structure of AICI, finding a hierarchical model incorporating both core and wording factors was best fit. Findings indicate AICI is significantly negatively related to well-being, work engagement, and CDMSE. Though insignificant, resilience …

Blink-Related Brainwaves As Digital Biomarkers For Cognition Assessment During Complex Tasks, Lexine Carmlixa Sibert-Jolissaint

Theses and Dissertations

Blink-related oscillations (BROs) are neurophysiological responses observed in electroencephalography (EEG) following spontaneous blinking, reflecting the brain processing of new visual information. Prior research has demonstrated BRO responses across various cognitive states, such as resting, cognitive loading, and sensory stimulation, highlighting their potential as a non-invasive biomarker of brain function. We conducted the first investigation of BRO responses during a verbal fluency (VF) task, which is a complex, dynamic task state combining memory, visual perception, executive function, and language processing. Using publicly available EEG data from 22 healthy adults, we measured BRO responses over the left anterior frontal region corresponding to …

Analytics Insights From Text: Machine Learning, Ai, And Sentiment Analysis On Beige Books, Charlie Smith

Graduate Theses and Dissertations (2019 - present)

Business analytics is about drawing actionable insights from data. These distinct but connected essays represent a novel approach to explore how natural language processing (NLP) advances and machine learning can transform unstructured text data into actionable conclusions. Essay 1 provides a broad framework. Essay 2 strengthens the sentiment analysis with the most recent artificial intelligence methodologies for capturing nuanced sentiment in complex texts. Essay 3 applies those insights to forecast recessions using topics that can be readily interpreted and applied.

The research demonstrates how these methodologies can be applied to enhance understanding of the same dataset, Beige Books. Published by …

Recipe To Remember: An Exploration Of Self-Publishing Creative Agency, Janet L. Gerges

Honors College Theses

As a poet, I have learned some of the ins and outs of traditional poetry publication—which is anything but conventional—through other research endeavors. Majoring in creative writing at Pace University has given me access to a plethora of resources regarding ways to publish, including the atypical route of self-publishing zines, through the Pace Zine Library. Zines are an ultimately free creative outlet that many artists use to display multimedia work and produce a publication of a different, more homemade quality than that of traditionally published work.

The traditional, more harrowing approach to poetry publication is to break out by publishing …

The Effect Of Defendant Race And Race Salience On Jury Verdicts, Emerson Allen

Senior Honors Theses

Researchers have reported conflicting findings about whether mock jurors are more, less, or equally likely to convict Black defendants in mock trials as compared to White defendants. Likewise, past studies have led researchers to disagree on the effect of race salience at trial on verdicts. I therefore examined whether Black defendants were convicted more often than White defendants, as well as whether making race salient in the defense closing argument would reduce guilty verdicts. I randomly assigned 207 participants to read one of four abbreviated trial transcripts in which defendant race (Black, White) and race salience (present, absent) were manipulated …

Prescription For Progress: A Retention Plan To Heal The Dying Nurse Workforce, Margaret Curd

Senior Honors Theses

The United States is currently facing an unprecedented nursing shortage which stems from many variables, including a lack of clinical rotation sites for students, increased burnout among current nurses, and a growing retiring workforce. Rising nurse turnover rates negatively impact patient outcomes, which should concern all levels of management. One specific hospital facing such an impact is Advocate Christ Medical Center in Oak Lawn, Illinois. This thesis seeks to address their substandard staffing ratios in an extensive, holistic strategic retention plan. Metrics for proving the plan’s success are provided alongside a discussion of proper calculations for each.

Beyond The Paycheck: Crafting A Competitive Benefits Package In American For-Profit And Non-Profit Entities, Olufemi C. Akpona

Senior Honors Theses

This thesis explores the changing landscape of employee benefits and theorizes how benefits can further be formulated to appeal to the specific employee base in every for-profit and non-profit organization. An evaluation is given of common benefits offered in the United States as well as an evaluation of the legal, financial, ethical, and psychological dimensions of providing employee benefits. Finally, an example benefits package is presented in order to illustrate how an organization can provide unique benefits to recruit and retain employees in the communities they operate in.