Digital Commons Network^™

Enhancing Proof-Of-Learning Security Against Spoofing Attacks Using Model Watermarking, Ozgur Ural

Doctoral Dissertations and Master's Theses

With the rapid expansion of machine learning (ML) technologies across diverse domains such as healthcare, finance, and autonomous systems, ensuring secure and trustworthy training methodologies has become more critical than ever. Proof-of-Learning (PoL) has recently emerged as a foundational mechanism for verifying the computational effort invested in training ML models, thereby certifying the authenticity and reproducibility of the training process. Yet PoL, when deployed in isolation, remains vulnerable to sophisticated spoofing attacks that manipulate its subset-verification pathways and tolerance parameters. In parallel, model watermarking has become indispensable for safeguarding intellectual property and detecting unauthorized model usage. Motivated by these complementary …

Towards Efficient Privacy-Preserving Deep Learning: He-Friendly Structures, Flexible Pruning, He-Efficient Architectures, And Secure Transformer Token Drop, Yifei Cai

Electrical & Computer Engineering Theses & Dissertations

Deep learning (DL) has become a powerful tool for solving complex problems, but developing DL models typically requires vast datasets, high computational resources, and expert knowledge—barriers that limit accessibility. Machine Learning as a Service (MLaaS) addresses this challenge by allowing resource-rich providers to deliver pre-trained DL models as services. However, privacy concerns arise: clients hesitate to share sensitive data, while providers protect their proprietary models. To address this, privacy-preserving MLaaS integrates cryptographic techniques into DL computations, as seen in frameworks like Cryptonets, SecureML, GAZELLE, CrypTFlow2, Cheetah, and BOLT. Among them, Homomorphic Encryption (HE) enables computation on encrypted data but remains …

Modeling Multiple Tasks In Recommendation Systems, Dinh Hieu Do

Dissertations and Theses Collection (Open Access)

Traditional research in recommendation systems has largely centered on the static offline supervised learning setting. In this paradigm, all available user-item interaction data is collected and partitioned into fixed training, validation, and test sets. Models are developed and evaluated in this controlled environment, where the underlying data distribution is assumed to remain unchanged. This approach offers clear advantages: it simplifies experimentation, enables reproducible benchmarking, and allows for straightforward comparisons between algorithms.

However, this static offline setting does not reflect the realities faced by modern recommendation systems. In real-world applications, data is dynamic and ever-evolving, where new users and items are …

From Sparse Feedback To Sequential Decision-Making: Learning Safety Constraints With Weak Supervision, Siow Meng Low

Dissertations and Theses Collection (Open Access)

Real-world decision-making often involves safety constraints that are implicit, non-Markovian, or difficult to specify directly. Standard reinforcement learning (RL) approaches typically assume access to fully specified cost functions and constraint budgets—assumptions that limit their applicability in domains where such structure must instead be inferred from data. This dissertation develops a sequence of methods for learning safety-relevant structure from weak supervision, such as sparse binary feedback on trajectory segments, and using these signals to guide planning and policy optimization.

The first part of the dissertation introduces a sample-efficient method for planning in continuous Markov Decision Processes (MDPs) using deep reactive policies. …

Mitigating Regression Faults Induced By Feature Evolution In Deep Learning Systems, Hanmo Yu, Zan Wang, Xuyang Chen, Junjie Chen, Jun Sun, Shuang Liu, Zishuo Dong

Research Collection School Of Computing and Information Systems

Deep learning (DL) systems have been widely utilized across various domains. However, the evolution of DL systems can result in regression faults. In addition to the evolution of DL systems through the incorporation of new data, feature evolution, such as the addition of new features, is also common and can introduce regression faults. In this work, we first investigate the underlying factors that are correlated with regression faults in feature evolution scenarios, i.e., redundancy and contribution shift. Based on our investigation, we propose a novel mitigation approach called FeaProtect, which aims to minimize the impact of these two factors. To …

An Efficient Diffusion-Based Non-Autoregressive Solver For Traveling Salesman Problem, Mingzhao Wang, You Zhou, Zhiguang Cao, Yubin Xiao, Xuan Wu, Wei Pang, Yuan Jiang, Hui Yang, Peng Zhao, Yuanshu Li

Research Collection School Of Computing and Information Systems

Recent advances in neural models have shown considerable promise in solving Traveling Salesman Problems (TSPs) without relying on much hand-crafted engineering. However, while non-autoregressive (NAR) approaches benefit from faster inference through parallelism, they typically deliver solutions of inferior quality compared to autoregressive ones. To enhance the solution quality while maintaining fast inference, we propose DEITSP, a diffusion model with efficient iterations tailored for TSP that operates in a NAR manner. Firstly, we introduce a one-step diffusion model that integrates the controlled discrete noise addition process with self-consistency enhancement, enabling optimal solution prediction through simultaneous denoising of multiple solutions. Secondly, we …

Explaining Explanations: An Empirical Study Of Explanations In Code Reviews, Ratnadira Widyasari, Ting Zhang, Abir Bouraffa, Walid Maalej, David Lo

Research Collection School Of Computing and Information Systems

Code reviews are central for software quality assurance. Ideally, reviewers should explain their feedback to enable authors of code changes to understand the feedback and act accordingly. Different developers might need different explanations in different contexts. Therefore, assisting this process first requires understanding the types of explanations reviewers usually provide. The goal of this article is to study the types of explanations used in code reviews and explore the potential of Large Language Models (LLMs), specifically ChatGPT, in generating these specific types. We extracted 793 code review comments from Gerrit and manually labeled them based on whether they contained a …

How Are We Detecting Inconsistent Method Names? An Empirical Study From Code Review Perspective, Kisub Kim, Xin Zhou, Dongsun Kim, Julia Lawall, Kui Liu, Tegawendé F. Bissyandé, Jacques Klein, Jaekwon Lee, David Lo

Research Collection School Of Computing and Information Systems

Proper naming of methods can make program code easier to understand, and thus enhance software maintainability. Yet, developers may use inconsistent names due to poor communication or a lack of familiarity with conventions within the software development lifecycle. To address this issue, much research effort has been invested into building automatic tools that can check for method name inconsistency and recommend consistent names. However, existing datasets generally do not provide precise details about why a method name was deemed improper and required to be changed. Such information can give useful hints on how to improve the recommendation of adequate method …

Eeg Based Real Time Classification Of Consecutive Two Eye Blinks For Brain Computer Interface Applications, Masud Rabbani, Nafi Us Sabbir Sabith, Anubhav Parida, Iysa Iqbal, Sayed Mashroor Mamun, Rumi Ahmed Khan, Farhad Ahmed, Sheikh Iqbal Ahamed

Computer Science Faculty Research and Publications

Human eye blinks are considered a significant contaminant or artifact in electroencephalogram (EEG), which impacts EEG-based medical or scientific applications. However, eye blink detection can instead be transformed into a potential application of brain–computer interfaces (BCI). This study introduces a novel real-time EEG-based framework for classifying three blink states: no blink, single blink, and two consecutive blinks in one model. EEG data were collected from ten healthy participants using an 8-channel wearable headset under controlled blinking conditions. The data were preprocessed and analyzed using four feature extraction techniques: basic statistical, time-domain, amplitude-driven, and frequency-domain methods. The most significant features were …

The Ethics Of Consent: Reflecting On The Case Of R/Changemyview, Casey Fiesler, Jessica Vitak, Michael Zimmer

Computer Science Faculty Research and Publications

The SIGCHI Research Ethics Committee was established in 2016 in recognition of how the shifting technological landscape has complicated research ethics in HCI. Our research community has also taken up the call to help understand and guide this complex space, examining topics such as research taking place on online platforms without explicit consent, the use of bots as confederates in field experiments, debriefing for large-scale experiments, HCI research that involves or implicates marginalized populations, and ethical considerations for studying social media platforms such as Reddit.

Sepsis: I Can Catch Your Lies – A New Paradigm For Deception Detection, Anku Rani, Dwip Dalal, Shreya Gautam, Pankaj Gupta, Vinija Jain, Aman Chadha, Amitava Das, Amit P. Sheth

Publications

Deception is the intentional practice of twisting information. It is a nuanced societal practice deeply intertwined with human societal evolution, characterized by a multitude of facets. This research explores the problem of deception through the lens of psychology, employing a framework that categorizes deception into three forms: lies of omission, lies of commission, and lies of influence. The primary focus of this study is specifically on investigating only lies of omission. We propose a novel framework for deception detection leveraging NLP techniques. We curated an annotated dataset of 876,784 samples by amalgamating a popular large-scale fake news dataset and scraped …

An Efficient Detection And Deep Clustering Based Pipeline For Reliable Rodent Ultrasonic Vocalization Analysis, Sabah S. Anis

Theses and Dissertations

Ultrasonic vocalizations (USVs) are critical for understanding rodents' emotional states and social behaviors. However, manual analysis of USVs is time-consuming, subjective, and prone to errors. This thesis presents an automated pipeline that addresses these challenges by performing efficient USV detection and clustering. The proposed approach significantly reduces the time and effort needed to analyze USV data while improving accuracy and reproducibility.

To address this gap, we introduce ContourUSV, a five-step pipeline for USV detection. First, it begins with generating spectrograms from audio recordings, which are then pre-processed to enhance the contrast between USVs and background noise. Key steps include median …

Empowering Weight Loss: A Pragmatic Randomized Controlled Trial Of A Theory-Driven Self-Regulation Mobile App For Young Adults With Excess Body Weight, H. S. J. Chew, J. W. Ngooi, R. C. Du, P. Z. Chan, M. Jansson, B. Zhu, Y. Cao, Chong-Wah Ngo, R. Foo, A. Shabbir, D. Ho, N. Sevdalis, K. Y. Ngiam

Research Collection School Of Computing and Information Systems

Background/Introduction: Obesity is projected to affect more than half of the global population by 2035, posing significant health and economic challenges. While lifestyle modification is considered a cornerstone of weight management, its effectiveness often relies on substantial support systems. Purpose: This study aimed to evaluate the effectiveness of a 12-week, standalone Temporal Self-Regulation Theory (TST)-based weight loss mobile application, which integrates self-regulation techniques, food logging, and dietary nudging, in promoting weight loss among young adults with excess body weight. Methods: A two-arm, parallel-group, 1:1 randomized controlled trial was conducted, adhering to the CONSORT-Outcomes 2022 Extension guidelines. Participants completed a face-to-face …

Do Supplier Ceo's National Cultural Origins Affect Supplier-Customer Relationships?, Peng Liang, Hasan Cavusoglu, Nan Hu

Research Collection School Of Computing and Information Systems

This study investigates how the national cultural origins of supplier chief executive officers (CEOs), as characterized by Hofstede’s cross-cultural dimensions, influence the duration of supplier–customer relationships. By analyzing the cultural origins of supplier CEOs from 20 countries over a 25-year period, we find that supplier CEOs with high long-term orientation (LTO) and high uncertainty avoidance (UNA) are associated with longer lasting supplier–customer relationships, while those with high individualism (IND) are associated with shorter relationship durations. These findings are robust to several alternative explanations of customer and supplier CEO variables. To address potential endogeneity—specifically, the concern that CEOs with certain cultural …

An Incentive Mechanism For Privacy Preserved Data Trading With Verifiable Data Disturbance, Man Zhang, Xinghua Li, Bin Luo, Yanbing Ren, Yinbin Miao, Ximeng Liu, Robert H. Deng

Research Collection School Of Computing and Information Systems

To motivate data owners’ (DOs’) trading willingness, the existing incentive mechanisms allow DOs to independently disturb data following data consumer's (DC’s) availability requirement. However, they cannot motivate DOs’ honest disturbance, which is attributed to DOs’ independent disturbance without any supervision. Thus, we implement an incentive mechanism for privacy preserved data trading with verifiable data disturbance where an honest-but-curious disturbance generator (DG) is additionally introduced to supervise DOs’ local disturbance and assist disturbance verification between DOs and DC. Specifically, DG generates the disturbance strategies and secretly distributes to DOs following private information retrieval, guaranteeing DOs's local disturbance's privacy and verifiability with …

Rustmap: Towards Project-Scale C-To-Rust Migration Via Program Analysis And Llm, Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang

Research Collection School Of Computing and Information Systems

Migrating existing C programs into Rust is increasingly desired, as Rust offers superior memory safety while maintaining C’s high performance. Existing automated translation tools, such as C2Rust, may rely too much on syntactic, template-based translation and generate unsafe Rust code that is hard for human developers to read, maintain, or even compile. More semantic-aware translation that produces safer, idiomatic, and runnable Rust code is much needed. This paper introduces a novel dependency-guided and large language model (LLM)-based C-to-Rust translation approach, RustMap, based on three key ideas: (1) Utilize LLM’s capabilities to produce idiomatic Rust code from given small pieces of …

Evaluating Chatgpt To Answer Multi-Modal Exercises In Computer Science Education, Eng Lieh Ouh, Kar Way Tan, Siaw Ling Lo, Benjamin Gan

Research Collection School Of Computing and Information Systems

This study investigates ChatGPT-4o's ability to answer multi-modal assessment exercises in computer science (CS) courses. While the use of large language models (LLMs) to answer text-based exercises are extensively researched, their ability to answer exercises involving artifacts of other modalities remains underexplored. To close this gap, we evaluate ChatGPT-4o's answers to 120 multi-modal CS exercises in programming, software design, human-computer interaction, statistical analysis, process analysis, and simulation. The multi-modal artifacts in these exercises include class diagrams, sequence diagrams, user interface images, analytical charts, workflow diagrams and object-flow diagrams. Our comparisons to the expected answers of these exercises show that ChatGPT-4o …

An On-The-Fly Synthesis Framework For Ltl Over Finite Traces, Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Vardi

Research Collection School Of Computing and Information Systems

We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on constructing a complete Deterministic Finite Automaton (DFA) corresponding to the LTLf specification, a process with doubly exponential complexity relative to formula size in the worst case. In this case, the synthesis cannot be conducted until the entire DFA is constructed. This inefficiency is the main bottleneck of existing approaches. To address this challenge, we first present a method for converting LTLf into Transition-based DFA (TDFA) by directly leveraging LTLf semantics, incorporating intermediate results as direct components …

Advancing Food Nutrition Estimation Via Visual-Ingredient Feature Fusion, Huiyan Qi, Bin Zhu, Chong-Wah Ngo, Jingjing Chen, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Nutrition estimation is an important component of promoting healthy eating and mitigating diet-related health risks. Despite advances in tasks such as food classification and ingredient recognition, progress in nutrition estimation is limited due to the lack of datasets with nutritional annotations. To address this issue, we introduce FastFood, a dataset with 84,446 images across 908 fast food categories, featuring ingredient and nutritional annotations. In addition, we propose a new model-agnostic Visual-Ingredient Feature Fusion (VIF2 ) method to enhance nutrition estimation by integrating visual and ingredient features. Ingredient robustness is improved through synonym replacement and resampling strategies during training. The ingredient-aware …

Leakage-Resilient Easily Deployable And Efficiently Searchable Encryption (Edese), Jiaming Yuan, Yingjiu Li, Jun Li, Daoyuan Wu, Jianting Ning, Yangguang Tian, Robert H. Deng

Research Collection School Of Computing and Information Systems

Easily Deployable and Efficiently Searchable Encryption (EDESE) is a cryptographic primitive designed for practical searchable applications, offering efficient search and easy deployment. However, it remains vulnerable to Leakage-Abuse attacks, allowing adversaries to exploit keyword-matching processes to extract sensitive information. To address these vulnerabilities, we introduce Leakage-Resilient EDESE (LR-EDESE) with k-indistinguishability and controlled leakage functions. We then propose Volume Leakage-Resilient EDESE (VLR-EDESE), a new scheme to protect against both query and document volume leakage. Our experimental results demonstrate that at k = 5000 (maximum security setting), VLR-EDESE incurs an overhead of 63× compared to the baseline EDESE without leakage protection, outperforming …

Fashiondpo: Fine‑Tune Fashion Outfit Generation Model Using Direct Preference Optimization, Mingzhe Yu, Yunshan Ma, Lei Wu, Changshuo Wang, Xue Li, Lei Meng

Research Collection School Of Computing and Information Systems

Personalized outfit generation aims to construct a set of compatible and personalized fashion items as an outfit. Recently, generative AI models have received widespread attention, as they can generate fashion items for users to complete an incomplete outfit or create a complete outfit. However, they have limitations in terms of lacking diversity and relying on the supervised learning paradigm. Recognizing this gap, we propose a novel framework FashionDPO, which fine-tunes the fashion outfit generation model using direct preference optimization. This framework aims to provide a general fine-tuning approach to fashion generative models, refining a pre-trained fashion outfit generation model using …

Being And Becoming In The Algorithmic Age, Bernard E. Harcourt

Faculty Scholarship

To change the world: the prerequisite, most often, is to change our experience of the world, to experience the world differently, to be shaken to our foundations, to have one’s sense of self shattered. That is a process of both being and becoming. In order to turn that process in our favour, in this age of artificial intelligence, it will be crucial to transform data and algorithms into bits of justice.

Research On The Capacity Development Of National Science And Technology Intelligence System, Hui Li, Shu Chen, Xiao Tan

Journal of Scientific Information Research

[Purpose/significance] The unique form and systematic characteristics of great power competition, such as system-establishment and whole of society confrontation, multi-domain and multi-depth high-tech containment and counter-containment, and multi-means and multi-element mixed deterrence, determine that national scientific and technological intelligence must have considerable systemic capabilities to match and follow up.

[Method/process] This article focuses on scientific and technological intelligence institutions within the traditional system, defines the connotation of national scientific and technological intelligence system capabilities, constructs a six-dimensional capability cognition model of ""institutional improvement capability-system coordination capability-resource guarantee capability-technological innovation capability-intelligence shaping capability-safe operation capability"", and expounds its main contents.

[Result/conclusion] …

Thematic Hotspots And Strategy Analysis Of International Ai Regulatory Texts Based On Lda Models, Taitian Mao, Yihe Peng

Journal of Scientific Information Research

[Purpose/significance]This article conducts an in-depth exploration of international artificial intelligence (AI) regulatory policies and gains insights into the regulatory focuses and trends of various countries, with the aim of providing valuable references for global AI governance strategies.

[Method/process] This paper applies the LDA topic clustering analysis method to conduct an in-depth study of twenty-seven international policy documents. The aim is to accurately identify the topics, analyze the key theme words, and further reveal the regulatory hotspots in the field of artificial intelligence.

[Results/conclusion] The study reveals six core regulatory themes: systemic risk assessment, ethical and legal regulation, social impact governance, …

Culture Bears The Way, While Technology Facilitates Action: Research Of The Adoption Willingness Of Aigc In Academic Writing Among Young Scholars, Jiangfeng Liu, Zihui Wang, Zhiwei Hu, Lei Pei

Journal of Scientific Information Research

[Purpose/significance] Clarifying the influencing factors of young scholars' willingness to use AIGC and its path of action,then making effective enhancement strategies,would help to further expand the application of AIGC in academic writing.

[Method/process] This paper combs through the studies on AIGC information behavior, and identifies TOE(Technology-Organization-Envifonment，TOE) theory and research life cycle theory as the base theory. Semi-structured interviews were conducted for procedural grounded theory coding. Then, a questionnaire survey and qualitative comparative analysis using fuzzy sets were conducted to obtain the influencing factors grouping path.

[Result/conclusion] Five factors, induding content quality, system quality, perceived risk, expectation confirmation, and group norms, …

Aiding Depth Perception In Initial Drone Training: Evidence From Camera-Assisted Distance Estimation, John Murray, Steven Richardson, Keith Joiner, Graham Wild

Research outputs 2022 to 2026

Remotely Piloted Aircraft (RPA) pilots frequently experience difficulties with depth perception, particularly when estimating distances between the drone and environmental obstacles. This study evaluates whether the use of onboard camera imagery can improve exocentric distance estimation accuracy among ab initio drone pilots operating under visual line-of-sight (VLOS) conditions. Two groups of undergraduate students performed distance estimation tasks at 20 and 50 m. One group used direct observation only to estimate the exocentric distance between the drone and an obstacle. The second group, as well as direct observation, had access to a live video feed from the drone’s onboard camera via …

Artificial Intelligence In Higher Education: A Case Study Of Faculty Teaching Methodologies At A Private University, Ellen Ramsey, George Antoniou, Matteo Peroni, Brent Muckridge, Raouf Ghattas, Philip L. Fazio, Wendy Wallberg, Saidi Porta, Gary Solomon, Mary Smith, Kristen Migliano, Karima Lanfranco, Lianfen Qian, David G. Wolf

Faculty and Staff Publications & Presentations

This qualitative case study investigates faculty perspectives on artificial intelligence (AI) integration within a private university context, examining pedagogical, administrative, and ethical implications. Data collected through semi-structured interviews with faculty across four disciplines revealed ambivalent yet cautiously optimistic attitudes. Participants acknowledged AI’s potential to enhance personalized learning and reduce bureaucratic burdens through automation. However, three critical barriers emerged: (1) insufficient institutional technological infrastructure, (2) lack of systematic faculty training programs, and (3) unresolved ethical dilemmas surrounding data privacy, algorithmic bias, and academic integrity. Notably, while faculty welcomed AI as a supplemental tool, they unanimously emphasized the irreplaceable role of human …

Towards Metrology 4.0 In Developing Countries’ Manufacturing Industries, Jailos Nzumile

Tanzania Journal of Engineering and Technology (TJET)

A systematic literature review was conducted to unveil the status of the digital transformation of metrology in developing countries, as they are lagging in utilising fourth industrial revolution (IR4.0) technologies to transform manufacturing industries. A PRISMA technique was employed using various keywords to identify, screen, and select the relevant literature. Forty publications were selected for the review, mainly discussing IR 4.0 technologies in metrological operations. The results indicate that the digital transformation of metrology has yet to be initiated in developing countries. However, the employment of IR4.0 technologies in advancing metrological operations in manufacturing industries is mostly discussed in the …

Fuzzy-Ahp Based Decision Support System For The Selection Of Optimal Maintenance Strategy For Meter Gauge Railway Infrastructure: A Review, Hamisi J. Maulid

Tanzania Journal of Engineering and Technology (TJET)

There are many uncertainties and complexities associated with maintaining Meter Gauge Railway (MGR) infrastructure, which calls for a methodical approach to decision-making. The development and application of a fuzzy-AHP-based decision support system (DSS) to select the optimal maintenance strategy for the MGR are presented in this study. The review covers research from 2013 to 2023 and focusses on the use of Multi-Criteria Decision Making (MCDM) and Fuzzy Analytic Hierarchy Process (Fuzzy-AHP) techniques in railway infrastructure maintenance. To manage the inherent uncertainties and subjective judgements involved in maintenance decision-making, the Fuzzy-AHP methodology combines fuzzy logic with the Analytic Hierarchy Process (AHP). …

Towards Future Sustainable Infrastructure: The Role Of Technical Audit In Tanzania’S Public Works, George C. Haule

Tanzania Journal of Engineering and Technology (TJET)

This study aimed to investigate the vital role and impact of technical audits in promoting sustainable infrastructure development in Tanzania. The role and effects of technical audits in long-term infrastructure development were studied using a mixed-methods approach with both quantitative and qualitative parts. Data were collected through analysis of technical audit documentation, a semi-structured questionnaire, and stakeholder interviews. The study revealed the various dimensions of infrastructure investment projects, including initiation and planning, design, procurement of contractors and consultants, contract management, environment, health, and safety. The technical audit findings reported weaknesses or non-performance issues in infrastructure planning at the national level …