Physical Sciences and Mathematics Commons^™

Affinitytune: A Prompt-Tuning Framework For Few-Shot Anomaly Detection On Graphs, Jingyan Chen, Guanghui Zhu, Guansong Pang, Chunfeng Yuan, Yihua Huang

Research Collection School Of Computing and Information Systems

Graph anomaly detection (GAD) is a critical task with applications in domains such as networking, finance, and bioinformatics. % However, the scarcity of labeled anomalies and the limitations of unsupervised methods hinder effective detection. % While semi-supervised and few-shot learning approaches offer improvements, they struggle with knowledge transfer and rely heavily on labeled data. % Recent advancements in prompt tuning on graphs provide a promising direction, but their application to heterophilous graphs in anomaly detection remains underexplored. % In this work, we propose AffinityTune, a novel framework for few-shot graph anomaly detection based on prompt tuning. % Our approach introduces …

Llm2rec: Large Language Models Are Powerful Embedding Models For Sequential Recommendation, Yingzhi He, Xiaohao Liu, An Zhang, Yunshan Ma, Tat‑Seng Chua

Research Collection School Of Computing and Information Systems

Sequential recommendation aims to predict users' future interactions by modeling collaborative filtering (CF) signals from historical behaviors of similar users or items. Traditional sequential recommenders predominantly rely on ID-based embeddings, which capture CF signals through high-order co-occurrence patterns. However, these embeddings depend solely on past interactions, lacking transferable knowledge to generalize to unseen domains. Recent advances in large language models (LLMs) have motivated text-based recommendation approaches that derive item representations from textual descriptions. While these methods enhance generalization, they fail to encode CF signals-i.e., latent item correlations and preference patterns-crucial for effective recommendation. We argue that an ideal embedding model …

Role Of Social Media Mindfulness In Combatting Fake News Propagation, Gaurav Bansal, Fiona Fui-Hoon Nah, Jason B. Thatcher

Research Collection School Of Computing and Information Systems

The dissemination of fake news by social media users is a key factor in the escalation of misinformation. Research suggests that social media networks are becoming increasingly homophilic, which leads to an overreliance on social media friends that contributes to the spread of fake news. However, little is known about how social media mindfulness can reduce the sharing of fake news. To investigate this research question, we conceptualized a social media mindfulness construct and developed the social media mindfulness scale. We also hypothesize that social media mindfulness lowers overreliance on friends’ knowledge, which increases skepticism about social media news that …

Gnncontext: Gnn-Based Code Context Prediction For Programming Tasks, Xiaoye Zheng, Zhiyuan Wan, Shun Liu, Kaiwen Yang, David Lo, Xiaohu Yang

Research Collection School Of Computing and Information Systems

A code context model comprises source code elements and their relations relevant to a programming task. The capture and use of code context models in software tools can benefit software development practices, such as code navigation and search. Prior research has explored approaches that leverage either the structural information of code or interaction histories of developers with integrated development environments to automate the construction of code context models. However, these approaches primarily capture shallow syntactic and lexical features of code elements, with limited ability to capture contextual and structural dependencies among neighboring code elements. In this paper, we propose GNNContext, …

Collisionrepair: First‑Aid And Automated Patching For Storage Collision Vulnerabilities In Smart Contracts, Yu Pan, Wanjing Han, Yue Duan, Mu Zhang

Research Collection School Of Computing and Information Systems

Storage collision vulnerabilities, a significant security risk in upgradeable smart contracts, often arise when a user-facing proxy contract and a backend logic contract share storage space. While static analysis techniques can detect such issues, they often over-approximate program states, leading to false positives and requiring developers to manually verify each issue, giving attackers time to exploit any overlooked vulnerabilities. To address this, we propose COLLISIONREPAIR, an automated patching technique for mitigating storage collision risks. COLLISIONREPAIR monitors storage access sequences between proxy and logic contracts by defining an "ownership" property for storage locations. It then replays historical transactions to recover existing …

Prism: To Fortify Widget Based User‑App Data Exchanges Using Android Virtualization Framework, Yingtat Ng, Zhe Chen, Haiqing Qiu, Xuhua Ding

Research Collection School Of Computing and Information Systems

We present Prism, an UI hardening technique for an Android app to safeguard its widgets against a corrupted kernel. Prism ensures secure interface rendering and allows for visual authentication, which developers could use to enable user intent confidentiality protection. Our design leverages the recent Android Virtualization Framework with minimal changes to the existing UI framework and graphics subsystem. It is much easier to deploy and use Prism on Android phones than TrustZone-based secure UI schemes, because the apps are not admitted to the Secure World and retain their full rights to manage and control their own interfaces. We have implemented …

Tetd: Trusted Execution In Trust Domains, Zhanbo Wang, Jiaxin Zhan, Xuhua Ding, Fengwei Zhang, Ning Hu

Research Collection School Of Computing and Information Systems

Intel TDX empowers cloud service providers to construct confidential virtual machines called trust domains (TDs) on x86 platforms. Similar to its counterparts from AMD and Arm, TDX's hardware based protection over integrity and secrecy of virtual machine memory and vCPU states inevitably hinders legitimate virtual machine management such as introspection. At the presence of compromised high-privileged software (e.g., the guest kernel), neither the cloud service provider nor the TD owner can securely carry out a task within the TD. To tackle this problem, we propose TETD, an in-TD trusted execution technique without trusting any TD system software. Our design does …

Oblivious Digital Tokens, Mihael Liskij, Xuhua Ding, Gene Tsudik, David A. Basin

Research Collection School Of Computing and Information Systems

A computing device typically identifies itself by exhibiting unique measurable behavior or by proving its knowledge of a secret. In both cases, the identifying device must reveal information to a verifier. Considerable research has focused on protecting identifying entities (provers) and reducing the amount of leaked data. However, little has been done to conceal the fact that the verification occurred.We show how this problem naturally arises in the context of digital emblems, which were recently proposed by the International Committee of the Red Cross to protect digital resources during cyber-conflicts. To address this new and important open problem, we define …

Zero-Shot Generalist Graph Anomaly Detection With Unified Neighborhood Prompts, Chaoxi Niu, Hezhe Qiao, Changlu Chen, Ling Chen, Guansong Pang

Research Collection School Of Computing and Information Systems

Graph anomaly detection (GAD), which aims to identify nodes in a graph that significantly deviate from normal patterns, plays a crucial role in broad application domains. However, existing GAD methods are one-model-for-one-dataset approaches, i.e., training a separate model for each graph dataset. This largely limits their applicability in real-world scenarios. To overcome this limitation, we propose a novel zero-shot generalist GAD approach UNPrompt that trains a one-for-all detection model, requiring the training of one GAD model on a single graph dataset and then effectively generalizing to detect anomalies in other graph datasets without any retraining or fine-tuning. The key insight …

Achilles: A Formal Framework Of Leaking Secrets From Signature Schemes Via Rowhammer, Junkai Liang, Zhi Zhang, Xin Zhang, Qingni Sheng, Yansong Gao, Xinliang Yuan, Haiyang Xue, Pengfei Wu, Zhonghai. Wu

Research Collection School Of Computing and Information Systems

Signature schemes are a fundamental component of cyber-security infrastructure. While they are designed to be mathematically secure against cryptographic attacks, they are vulnerable to Rowhammer fault-injection attacks. Since all existing attacks are ad-hoc in that they target individual parameters of specific signature schemes, it remains unclear about the impact of Rowhammer on signature schemes as a whole.In this paper, we present Achilles, a formal framework that aids in leaking secrets in various real-world signature schemes via Rowhammer. Particularly, Achilles can be used to find potentially more vulnerable parameters in schemes that have been studied before and also new schemes that …

Improved Secure Two-Party Computation From A Geometric Perspective, Hao Guo, Liqiang Peng, Haiyang Xue, Li Peng, Weiran Liu, Zhe Liu, Lei. Hu

Research Collection School Of Computing and Information Systems

Multiplication and other non-linear operations are widely recognized as the most costly components of secure two-party computation (2PC) based on linear secret sharing. Moreover, the comparison protocol (or Wrap protocol) is essential for various operations such as truncation, signed extension, and signed non-uniform multiplication. This paper aims to optimize these protocols by avoiding invoking the costly comparison protocol, thereby improving their efficiency.We propose a novel approach to study 2PC from a geometric perspective. Specifically, we interpret the two shares of a secret as the horizontal and vertical coordinates of a point in a Cartesian coordinate system, with the secret itself …

Consistent Client Simulation For Motivational Interviewing-Based Counseling, Yizhe Yang, Palakorn Achananuparp, Heyan Huang, Jing Jiang, Nicholas Gabriel Lim, Cameron Shi Ern Tan, Phey Ling Kit, Jenny Xiuhui Giam, John Pinto, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Simulating human clients in mental health counseling is crucial for training and evaluating counselors (both human or simulated) in a scalable manner. Nevertheless, past research on client simulation did not focus on complex conversation tasks such as mental health counseling. In these tasks, the challenge is to ensure that the client’s actions (i.e., interactions with the counselor) are consistent with with its stipulated profiles and negative behavior settings. In this paper, we propose a novel framework that supports consistent client simulation for mental health counseling. Our framework tracks the mental state of a simulated client, controls its state transitions, and …

Equivalence And Similarity Refutation For Probabilistic Programs, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic

Research Collection School Of Computing and Information Systems

We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity refutation. Our method refutes equivalence and similarity by computing a function over program outputs whose expected value with respect to the output distributions of two programs is different. The function is computed simultaneously with an upper expectation supermartingale and a lower expectation submartingale for …

Advanced Analytical Biosensing For Cancer Detection And Neural Diagnostics Using Tapered Optical Fiber (Tof), Protonic, And High Throughput Microplate –Based Technologie, Bayan Hassan Alharbi

Chemistry & Biochemistry Theses & Dissertations

This dissertation investigates the development and application of advanced biosensing technologies to enhance early disease detection, neurological diagnostics, and bioactive compound evaluation. The research spans four key areas. First, it introduces tapered optical fiber (TOF)-based plasmonic biosensors for the non-invasive detection of prostate cancer, demonstrating high sensitivity and specificity compared to conventional diagnostic methods.

Second, it explores the use of fluorescent biosensors to test the Transmembrane Electrostatically Localized Proton (TELP) theory, shedding light on the role of localized protons in neuronal signaling and energy transfer. Third, the work presents a high-throughput, microplate-based biosensing platform for analyzing mitochondrial function under nanosecond …

Debate, Reflect, And Distill: Multi-Agent Feedback With Tree-Structured Preference Optimization For Efficient Language Model Enhancement, Xiaofeng Zhou, Heyan Huang, Lizi Liao

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) continue to set new standards in knowledge-intensive and complex reasoning tasks, yet their high computational demands limit widespread adoption. While distilling large models into smaller ones offers a sustainable solution, current techniques—such as static knowledge distillation, resource-intensive reinforcement learning from human feedback, or limited self-reflection—struggle to yield substantial and lasting performance gains. In this paper, we present a novel Debate and Reflect (D&R) framework that orchestrates multi-turn debates between smaller models and stronger teacher models, eliciting actionable feedback (e.g., error analysis, corrective strategies) to guide student models. Further, we introduce Tree-structured Direct Preference Optimization (T-DPO) to …

Memotune: A Measure And Moment-Driven Fine-Tuning Framework For Quantized Large Language Models, Yun Zhang, Xue Geng, Lizi Liao, Jintong Sun, Minghe Yu, Ge Yu

Research Collection School Of Computing and Information Systems

Quantizing large language models (LLMs) is essential for reducing memory and computational costs in natural language processing. Existing methods combine quantization with parameter-efficient fine-tuning but often fail to meet practical performance requirements. This paper introduces MeMoTune, a novel fine-tuning framework for quantized LLMs. By employing a measure and moment approach within a low-rank approximation framework in probability measure space, MeMoTune optimizes the objective function for superior fine-tuning results. The update process is further refined through scaled gradient, enhancing convergence efficiency and noise robustness. Experiments on tasks like text generation, summarization, and understanding show MeMoTune significantly outperforms state-of-the-art methods, e.g. fine-tuning …

Advancing Molecular Graph-Text Pre-Training Via Fine-Grained Alignment, Yibo Li, Yuan Fang, Mengmei Zhang, Chuan Shi

Research Collection School Of Computing and Information Systems

Understanding molecular structure and related knowledge is crucialfor scientific research. Recent studies integrate molecular graphswith their textual descriptions to enhance molecular representationlearning. However, they focus on the whole molecular graph andneglect frequently occurring subgraphs, known as motifs, whichare essential for determining molecular properties. Without suchfine-grained knowledge, these models struggle to generalize to un-seen molecules and tasks that require motif-level insights. To bridgethis gap, we propose FineMolTex, a novel Fine-grained Moleculargraph-Text pre-training framework to jointly learn coarse-grainedmolecule-level knowledge and fine-grained motif-level knowledge.Specifically, FineMolTex consists of two pre-training tasks: a con-trastive alignment task for coarse-grained matching and a maskedmulti-modal modeling task for …

Inference-Time Gaze Refinement For Micro-Expression Recognition: Enhancing Event-Based Eye Tracking With Motion-Aware Post-Processing, Panahetipola Mudiyanselage Nuwan Bandara, Thivya Kandappu, Archan Misra

Research Collection School Of Computing and Information Systems

Event-based eye tracking holds significant promise for fine-grained cognitive state inference, offering high temporal resolution and robustness to motion artifacts, critical features for decoding subtle mental states such as attention, confusion, or fatigue. In this work, we introduce a model-agnostic, inference-time refinement framework designed to enhance the output of existing event-based gaze estimation models without modifying their architecture or requiring retraining. Our method comprises two key post-processing modules: (i) Motion-Aware Median Filtering, which suppresses blink-induced spikes while preserving natural gaze dynamics, and (ii) Optical Flow-Based Local Refinement, which aligns gaze predictions with cumulative event motion to reduce spatial jitter and …

Rabi Oscillations And Entanglement Between Two Atoms Interacting By The Rydberg Blockade And With A Quantized Radiation Field Studied By The Jaynes-Cummings Model, Francisco D. Santillan, Andreas Hanke

Physics & Astronomy Faculty Publications

The interaction between atoms and a quantized radiation field is fundamentally important in quantum optics and quantum information science. Due to their unusual properties, Rydberg atoms are promising building blocks for two-qubit gates and atom-light quantum interfaces, exploiting the Rydberg blockade interaction which prevents two atoms at close distance (< 10μm) from being simultaneously excited to Rydberg states. Recently, this effect was used to engineer quantum processors based on arrays of interacting Rydberg atoms illuminated by Raman lasers. Motivated by these experiments, we extend the Jaynes–Cummings model to study the interaction between two Rydberg atoms interacting by the Rydberg blockade and a quantized radiation field. We consider both number (Fock) states of the field and single-mode quantum coherent states. In particular, we discuss different types of entanglements between various components of the total system consisting of the two Rydberg-interacting atoms and coherent states of the field, and show that the behavior is significantly different compared to a system with non-interacting atoms corresponding to the two-atom Tavis-Cummings model. Our results are relevant in view of atom-light quantum interfaces as components for future long-distance quantum communication.

A Simple Guide For Describing Soils, 2nd Edition, Angela Stuart-Street, Nicolyn Short Dr, Paul Galloway, Noel R. Schoknecht

Natural resources published reports

Soils are enormously diverse and can be very confusing to understand and talk about. This simple guide for describing soils helps to identify the most important parts of a soil profile and provide an easy way to understand and explain what you see. It gives you a step-by-step guide of what soil properties to describe and how to describe them, along with the tools to make basic soil classifications. The soil descriptors help you to identify the soil type and aid in assigning a simple and standardised name to the soil. While this guide is designed to link with a …

Rethinking Iterative Proportional Fitting: Scalable And Hybrid Approaches To Joint Distribution Fitting, William Ofosu Agyapong

Open Access Theses & Dissertations

The Iterative Proportional Fitting (IPF) algorithm is widely used in contingency table estimation, survey weighting, and synthetic population generation due to its simplicity and strong theoretical foundation for matching observed marginal distributions. However, in high-dimensional settings, IPF faces substantial computational and memory demands, as well as statistical instability caused by sparse contingency tables. Moreover, IPF is less useful in modern population synthesis tasks that require both scalability and realism because, despite its superiority in matching known marginal distributions, it cannot produce realistic out-of-sample data points. To address these limitations, we first propose a blockwise IPF framework, in which the feature …

Terrane Accretion In The Trollheimen And Dovrefjell Regions Of The Scandinavian Caledonides, Norway, Stephanie Georgevich

Open Access Theses & Dissertations

Following closure of the Iapetus Ocean, the paleocontinents of Laurentia and Baltica collided to form the Caledonian Orogeny. During this closure and subsequent collision, island arc terranes and microcontinents were accreted and subducted underneath the Norwegian continental margin. These terranes are preserved in central Norway, specifically in the Dovrefjell and Trollheimen mountain ranges. The order in which these terranes accreted to the continent and when this occurred is not well understood. To determine this stacking order, I will be using P-T path modeling, U-Pb zircon dating, and structural position. Knowing the degree, progression, and geologic age of metamorphism, and tectonostratigraphic …

The Origin And Geologic History Of Dolostones Associated With The Moab Valley Salt Wall, Paradox Basin, Utah, Charles Ojodale Igomu, Charles Ojodale Igomu

Open Access Theses & Dissertations

This thesis investigates the origin and geologic context of dolostones associated with the Moab Valley salt wall in southeastern Utah, a feature within the broader Paradox Basin that offers an exceptional opportunity to study the interplay between carbonate sedimentation, diagenesis, and salt diapirism. The fundamental research question focuses on evaluating whether dolostones observed in the Moab Valley are all depositional, diagenetic or structurally reworked components of deeper stratigraphy, and how their presence and geometry relate to the halokinetic processes that shaped sedimentation across the Moab Valley. This study tested the hypothesis that dolostones within Moab Valley represent a mixed assemblage …

Simultaneous Selection Of Inflations And Variables In Multiple Inflations Poisson Model (Mip), John Koomson

Open Access Theses & Dissertations

Count data frequently arise in biomedical, economic, and social science research and are often characterized by structural excesses at specific count levels. To accommodate such patterns, Su et al. (2013), among others, introduced the Multiple-Inflation Poisson (MIP) model, which allows for multiple inflated counts within the distribution. However, two critical challenges remain in modeling such data: (i) identifying the true inflation points where excess counts occur, and (ii) selecting the relevant covariates that explain variation in the inflation and count process. This dissertation addresses these issues by advancing the MIP model through a novel methodology that enables the simultaneous selection …

Aluminum Doped Tin Sulfide Thin Films For Solar Cell Applications, Gabriel Rodriguez Guijarro

Open Access Theses & Dissertations

Tin sulfide (SnS) is theorized to be a suitable material for solar cells, but there are some difficulties that have not been overcome when making thin films that have the properties needed to compete with other materials. This work investigates the structural and optoelectronic properties of aluminum-doped SnS thin films, deposited via magnetron cosputtering physical vapor deposition at different temperatures. To characterize the films a variety of techniques were used: Raman spectroscopy, SEM, TEM, X-Ray Reflectivity, and UV-Vis spectroscopy. The results show that the target stoichiometry is a relevant parameter to take into account when growing SnS thin films, the …

A Digital Engineering Framework For Ai-Driven Trade-Off Evaluation And Predictive Component Classification, Alejandro Silva Au

Open Access Theses & Dissertations

This thesis introduces a digital engineering tool designed to help engineers make smarter decisions when choosing actuators. At its core, the system brings together machine learning (specifically XGBoost) and a decision-making method called Multi-Utility Attribute Theory (MUAT). The goal is to support engineers in picking components based on what really matters for their designs, whether that's speed, cost, durability, or any other performance factor. What makes this tool stand out is its user-friendly interface that lets people interact with the system directly. It takes a set of actuator performance data, classifies each one into a relevant use category, and then …

Laser Scan Path Design For Controlled Microstructure In Additive Manufacturing With Integrated Reduced-Order Phase-Field Modeling And Deep Reinforcement Learning, Augustine Twumasi

Open Access Theses & Dissertations

Laser Powder Bed Fusion (L-PBF) is a well-established additive manufacturing technique for fabricating intricate metal components with exceptional precision. A significant challenge in L-PBF is the formation of complex microstructures that influence final material properties. We propose a physics-guided, machine learning-aided approach to optimize scan paths for desired microstructure outcomes, such as equiaxed grains. We employed a phase-field method (PFM) to model the evolution of the crystalline grain structure. To reduce computational costs, we trained a surrogate machine learning model, a 3D U-Net convolutional neural network, using single-track phase-field simulations with varying laser powers to predict crystalline grain orientations based …

Not All Political Ties Are The Same: Firms' Ties To The Government And Pollution, Wen Helena Li, Ilya R. P. Cuypers, Gokhan Ertug, Hari Bapuji, Wei Liu

Research Collection Lee Kong Chian School Of Business

Complementing research on the implications of political ties for firms’ strategic decisions and financial performance, recent studies are increasingly focusing on the environmental consequences of firms’ political connections. We contribute to this stream of work by integrating insights from the literature on political ties and the multifaceted nature of governments to explore how the level of government influences the pollution implications of firms’ political ties. Specifically, we theorize and demonstrate that, in China, firms' achieved political ties with high levels of the government reduce pollution, while such ties with low levels of the government increase it. Furthermore, we examine how …

Eliciting Supplier Cooperation For Value Chain Decarbonization: A Field Experiment With Smallholder Farmers In India, Sukti Ghosh, Jasjit Singh

Research Collection Lee Kong Chian School Of Business

Many firms are attempting to reduce greenhouse gas emissions across their value chain. However, this requires convincing suppliers to adopt relevant decarbonization practices, which is challenging when the suppliers perceive such practices as risky or detrimental for their economic well-being. We employ a field experiment to examine relational investments (i.e., investments intended to promote mutual benefit for the exchange partners) as a tool for overcoming this challenge. In a research collaboration with a global firm pursuing decarbonization of its agricultural supply chain in India, we investigated the effectiveness of complementing training their supplier farmers on climate-friendly agricultural practices with also …

Revised Draft Final Quarterly Operations And Maintenance Report Butte Treatment Lagoon System – First Quarter 2024, Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.