Digital Commons Network^™

Prioritizing Speech Test Cases, Zhou Yang, Jieke Shi, Muhammad Hilmi Asyrofi, Bowen Xu, Xin Zhou, Donggyun Han, David Lo

Research Collection School Of Computing and Information Systems

As Automated Speech Recognition (ASR) systems gain widespread acceptance, there is a pressing need to rigorously test and enhance their performance. Nonetheless, the process of collecting and executing speech test cases is typically both costly and time-consuming. This presents a compelling case for the strategic prioritization of speech test cases, which consist of a piece of audio and the corresponding reference text. The central question we address is: In what sequence should speech test cases be collected and executed to identify the maximum number of errors at the earliest stage? In this study, we introduce PRiOritizing sPeecH tEsT …

Bigcodebench: Benchmarking Code Generation With Diverse Function Calls And Complex Instructions, T.Y. Zhuo, M.C. Vu, J. Chim, ..., David Lo

Research Collection School Of Computing and Information Systems

Task automation has been greatly empowered by the recent advances in Large Language Models (LLMs) via Python code, where the tasks ranging from software engineering development to general-purpose reasoning. While current benchmarks have shown that LLMs can solve tasks using programs like human developers, the majority of their evaluations are limited to short and self-contained algorithmic tasks or standalone function calls. Solving challenging and practical tasks requires the capability of utilizing diverse function calls as tools to efficiently implement functionalities like data analysis and web development. In addition, using multiple tools to solve a task needs compositional reasoning by accurately …

Nash Bargaining Strategy In Autonomous Decision Making For Multi-Ship Collision Avoidance Based On Route Exchange, Yang Wang, Qiangsheng Ye, Hoong Chuin Lau, Tengfei Wang, Bing Wu

Research Collection School Of Computing and Information Systems

A novel scheme is proposed for the distributed multi-ship collision avoidance (CA) problem with consideration of the autonomous, dynamic nature of the real circumstance. All the ships in the envisioned scenarios can share their decisions or intentions through route exchange, allowing them to make subsequent decisions based on the route planning in each iteration. By leveraging route exchange, the multi-ship CA problem involves iterations for negotiation, and is regarded as a staged cooperative game under conditions of complete information. The concept of closest spatio-temporal distance (CSTD) is introduced to more accurately assess collision risk between ships. A coordinated CA mechanism …

Characterising Reproducibility Debt In Scientific Software: A Systematic Literature Review, Zara Hassan, Christoph Treude, Michael Norrish, Graham Williams, Alex Potanin

Research Collection School Of Computing and Information Systems

Context: In scientific software, the inability to reproduce results is often due to technical issues and challenges in recreating the full computational workflow from the original analysis. We conceptualise this problem as Reproducibility Debt (RpD). Much research has been performed to propose solutions to tackle these issues across various computational science disciplines. It is essential to identify and accumulate existing knowledge on reproducibility issues and state-of-the-art solutions so as to provide researchers and practitioners with information that enables further research activities and RpD management in practice. Objective: In the context of scientific software, we aim to characterise RpD by providing …

Verification Of Bit-Flip Attacks Against Quantized Neural Networks, Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong

Research Collection School Of Computing and Information Systems

In the rapidly evolving landscape of neural network security, the resilience of neural networks against bit-flip attacks (i.e., an attacker maliciously flips an extremely small amount of bits within its parameter storage memory system to induce harmful behavior), has emerged as a relevant area of research. Existing studies suggest that quantization may serve as a viable defense against such attacks. Recognizing the documented susceptibility of real-valued neural networks to such attacks and the comparative robustness of quantized neural networks (QNNs), in this work, we introduce BFAVerifier, the first verification framework designed to formally verify the absence of bit-flip attacks against …

Risk Management For Semiconductor Manufacturing Equipment Suppliers Within Rapid Changing International Environment: An Empirical Study, Youbing Cao

Dissertations and Theses Collection (Open Access)

Semiconductors, as a key upstream component in the electronics and information industries, have attracted global attention from nations and corporations due to their vast market values. The emergence of global semiconductor supply chains has fostered specialized industrial divisions, such as semiconductor materials, semiconductor manufacturing equipment, and semiconductor fabrication. While China’s semiconductor industry holds certain global market shares across various sectors, it still lags in advanced technologies and high-end markets. Since 2018, the United States has imposed increasing tariffs and export restrictions on many Chinese firms (known as the US-China trade war) to prevent technology outflows, leading to substantial uncertainties that …

The Charm Of Chaos: How Disordered Displays Of Cute Objects Enhance Perceived Cuteness And Boost Purchase Intention, Ting He

Dissertations and Theses Collection (Open Access)

This study investigated how the order of display influences consumer perceptions of cuteness and their purchase intention in the growing "Cute Economy" era. Contrary to conventional visual merchandising principles, we propose that disordered displays enhance the perceived cuteness of products compared to ordered displays. Through three experimental studies, we confirmed that objects in disordered displays are perceived significantly cuter than objects in ordered ones. We further identified that perceived realness as the underlying psychological mechanism plays a mediating effect; disordered display creates an impression of realness and life-like characteristics that amplify perceptions of cuteness. In addition, our field study findings …

Exploring The Impact Of Entrepreneurship Coaching And Mentoring Models On Founder Capabilities And Business Performance, Zhixiang Wu

Dissertations and Theses Collection (Open Access)

China's current economic development faces multiple pressures, including contracting demand, supply shocks, and weakening expectations. Coupled with changes in the market environment and structural employment mismatches, entrepreneurship has become a key driver for economic growth, job creation, and the enhancement of social resilience. Against this backdrop, the impact of entrepreneurship coaching on founder development and business performance has drawn increasing attention. This study systematically explores how external coaches, through various coaching methods, frequencies, and competencies, influence entrepreneurs' growth and further improve business performance.

Based on literature review and theoretical analysis, a mediation effect model is constructed to empirically examine the …

Towards Testing, Detecting, And Debloating Insecure Components In Android Applications, Zicheng Zhang

Dissertations and Theses Collection (Open Access)

The Android ecosystem’s openness and extensibility have fueled its dominance in the mobile market, but they also broaden the attack surface of applications by introducing insecure or redundant methods. Vulnerabilities arise from various sources, including insecure API usage, code cloning, and feature bloat, especially from unneeded components introduced during development. To address these challenges, this dissertation presents a systematic, three-phase pipeline that transitions seamlessly from vulnerability discovery to clone-based detection and, ultimately, to dynamic mitigation through runtime debloating. Each phase builds upon the insights and limitations of the previous, collectively forming a practical approach to improving Android app security.

In …

Towards Real-World Unsupervised Anomaly Detection For Images, Zhonghang Liu

Dissertations and Theses Collection (Open Access)

In the era of big data, data quality plays a critical role in computer vision, where the reliability and purity of training images are essential for optimal performance. When training models such as image classifiers and object detectors, the quality of the training data directly influences the success of the model. In other words, if the training dataset is contaminated, the model’s performance might accordingly decrease.

To address this challenge, unsupervised anomaly detection (UAD) has become an attractive research area. By automatically removing these anomalous data points, UAD can help improve the accuracy and robustness of machine learning models in …

How Industrial Clusters Affect Technological Innovation: Evidence From Vanyang Small & Micro Industrial Park, Jianming Wu

Dissertations and Theses Collection (Open Access)

This study focuses on the mechanism through which industrial clusters enhance technological innovation among micro and small enterprises. Using the VanYang Micro-Enterprise Park in Zhejiang Province as a representative case, the research integrates perspectives from industrial cluster theory, innovation theory, and spatial economics to explore how clustered environments influence enterprise innovation performance through resource integration, knowledge spillovers, and organizational collaboration. Departing from traditional static comparative methods, this study adopts an event study approach to dynamically capture the impact trajectory and temporal structure of enterprise innovation performance, with "entry into the park" serving as the key event.

Based on panel data …

The Impact Of Awards And Honors On Project Bidding, Ren Wang

Dissertations and Theses Collection (Open Access)

This dissertation conducts a systematic study on the successful transformation and upgrading of China's automotive industry over the past decade, especially the remarkable progress made in the field of Electric and Intelligent Vehicles, and examines how China's automotive industry chain has seized the historical opportunity of the great transformation of the global automotive industry by “Four Modernizations”—electrification, intelligentization, lightweighting and modularization along the path of "Independent Innovation", and realized the overall improvement of both corporate performance and industrial strength under the synergy of strategic investors.

China has newly become the world's largest automotive exporter and successfully built up an advantageous …

Temporal Relational Graph Convolutional Networks For Financial Applications, Brindha Priyadarshini Jeyaraman

Dissertations and Theses Collection (Open Access)

The financial industry operates within a highly dynamic and interconnected ecosystem, presenting unique challenges for predictive modeling and decision-making. Accurately forecasting financial performance, assessing credit risk, detecting fraud, and ensuring compliance require methodologies that can capture complex temporal, relational, and contextual dependencies within financial data. This thesis investigates the use of Temporal Relational Graph Convolutional Networks (TRGCNs) combined with financial knowledge graphs (FKGs) to address these challenges and enable advanced analytics in the financial domain. We introduce FintechKG, a financial knowledge graph constructed through a threedimensional information extraction process, incorporating entities, temporal dimensions, and domain-specific financial relationships. A TRGCN-based framework …

On Unraveling Student Resilience And Academic Performance In Higher Education, Aldy Gunawan, Ee-Peng Lim, Audrey Tedja Widjaja, William Tov, James Foo, Lieven Lode E. Demeester

Research Collection School Of Computing and Information Systems

The transition period from pre-tertiary to higher education levels is critical. We explore the role of resilience by conducting a survey to investigate students’ resilience and the relationship with overall academic performance, learning experience, and well-being. This effort is part of an initiative to develop strategies for better student engagement in the academic program, enhance their resilience, and prepare them for a competitive job market. We conclude that (i) high-resilience students are associated with better life satisfaction and are likely to perform well academically, (ii) a favorable learning environment supports students to study and perform well in the university, and …

Scuzer: A Scheduling Optimization Fuzzer For Tvm, Xiangxiang Chen, Xingwei Lin, Jingyi Wang, Jun Sun, Jiashui Wang, Wenhai Wang

Research Collection School Of Computing and Information Systems

The concept of Deep Learning (DL) compiler was proposed to deploy DL models more efficiently on diverse hardware through optimization techniques. As one of the most popular DL compilers, TVM incorporates three levels (high-level, schedule, and low-level) of optimizations, which can inadvertently introduce code logic bugs and build failure bugs. Among these optimizations, scheduling optimization is the core component of DL compilers, which ensures the acceleration of models on all devices. However, the existing works only focus on the testing of high-level and low-level optimizations in TVM, fail to take the most important and challenging intermediate scheduling optimization layer into …

From A Learning To A Smart Nation: The Rise Of The Digitalization Megatrend And Singapore's Development, Siu Loon Hoe

Research Collection School Of Computing and Information Systems

Purpose: The purpose of this article is to discuss the “learning nation” concept and examine the characteristics and implications of using the “learning” premodifier in this nation-building program. Design/methodology/approach: This article reviews how the “learning” aspect is inter-related to a series of national information and communication technology masterplans and includes a comparative analysis of the related premodifier “smart” as Singapore sets forth its ambition to become a “smart nation” as part of the digitalization megatrend. A print media indicator and Google Trends form part of the methodology to ascertain the rise of digital technology over a certain period. The former …

Use Of Search Tools In Software Development: A Study Of Microservice-Based Team Projects, Yi Meng Lau, Christian Michael Koh, Lingxiao Jiang

Research Collection School Of Computing and Information Systems

Universities are increasingly integrating real-world projects into software engineering curricula to preparestudents for careers involving complex concepts like Microservices Architecture (MSA). Students frequentlystruggle with such concepts within limited class time and turn to various search tools and online resources for additional help. Search tools are also widely used in the software development industry. While search engines, like Google and Yahoo!, can provide quick solutions, they pose the risk of information overload. Large Language Models (LLMs) such as ChatGPT, offer the advantage of delivering more precise answers. Studies have shown that LLMs can comprehend codes, assist in system architectural design, and …

Frame-Voyager: Learning To Query Frames For Video Large Language Models, Sicheng Yu, Chengkai Jin, Huanyu Wang, Zhenghao Chen, Sheng Jin, Zhongrong Zuo, Xiaolei Xu, Zhenbang Sun, Bingni Zhang, Jiawei Wu, Hao Zhang, Qianru Sun

Research Collection School Of Computing and Information Systems

Video Large Language Models (Video-LLMs) have made remarkable progress in video understanding tasks. However, they are constrained by the maximum length of input tokens, making it impractical to input entire videos. Existing frame selection approaches, such as uniform frame sampling and text-frame retrieval, fail to account for the information density variations in the videos or the complex instructions in the tasks, leading to sub-optimal performance. In this paper, we propose Frame-Voyager that learns to query informative frame combinations, based on the given textual queries in the task. To train Frame-Voyager, we introduce a new data collection and labeling pipeline, by …

Verifying Timed Properties Of Programs In Iot Nodes Using Parametric Time Petri Nets, Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sebastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun

Research Collection School Of Computing and Information Systems

The analysis of timed properties of programs is a complex task, as it is highly dependent on both the software and the hardware. In this work, we propose a framework for modeling with timed formal models the execution of programs, taking into account the micro-architecture of the machine on which it executes. We model both the program, at the instruction set architecture level, and the hardware, including the processor micro-architecture, using time Petri nets. Our implementation uses the ARM Cortex-M instruction set architecture and a hardware architecture representative of microcontrollers used in IoT nodes. The whole translation is fully automated …

On Generalization Across Environments In Multi-Objective Reinforcement Learning, Jayden Jing Xiang Teoh, Pradeep Varakantham, Peter Vamplew

Research Collection School Of Computing and Information Systems

No abstract provided.

Democratic Training Against Universal Adversarial Perturbations, Bing Sun, Jun Sun, Wei Zhao

Research Collection School Of Computing and Information Systems

Despite their advances and success, real-world deep neural networks are known to be vulnerable to adversarial attacks. Universal adversarial perturbation, an inputagnostic attack, poses a serious threat for them to be deployed in security-sensitive systems. In this case, a single universal adversarial perturbation deceives the model on a range of clean inputs without requiring input-specific optimization, which makes it particularly threatening. In this work, we observe that universal adversarial perturbations usually lead to abnormal entropy spectrum in hidden layers, which suggests that the prediction is dominated by a small number of “feature” in such cases (rather than democratically by many …

Pearl: Towards Permutation-Resilient Llms, Liang Chen, Li Shen, Yang Deng, Xiaoyan Zhao, Bin Liang, Kam-Fai Wong

Research Collection School Of Computing and Information Systems

The in-context learning (ICL) capability of large language models (LLMs) enables them to perform challenging tasks using provided demonstrations. However, ICL is highly sensitive to the ordering of demonstrations, leading to instability in predictions. This paper shows that this vulnerability can be exploited to design a natural attack - difficult for model providers to detect - that achieves nearly 80% success rate on LLaMA-3 by simply permuting the demonstrations. Existing mitigation methods primarily rely on post-processing and fail to enhance the model's inherent robustness to input permutations, raising concerns about safety and reliability of LLMs. To address this issue, we …

Ada-Gen: Iterative And Incremental Generation Of Full-Stack Apps For Learning Agile/Devops Software Development Practices, Nguyen Binh Duong Ta

Research Collection School Of Computing and Information Systems

To learn Agile/DevOps practices effectively, students need to apply them in an actual software development project. This is challenging if students are mostly from non-computing backgrounds and they do not have time in the curriculum to learn programming and related tools. Therefore, it is important to help students who do not possess programming foundations to develop fully functional software during the process of learning Agile/DevOps concepts. We noted that existing low-code/no-code app development platforms have not been designed to teach Agile/DevOps practices. On the other hand, recent AI-based tools for code generation such as GitHub Copilot have been built mainly …

Ivyapc: Auditable Generalized Payment Channels, Ming Li, Yuxian Li, Jian Weng, Yingjiu Li, Jiasi Weng, Junzuo Lai, Robert H. Deng

Research Collection School Of Computing and Information Systems

Payment channels are a cornerstone of a scalable blockchain infrastructure that enables transacting parties to lock assets on the blockchain and perform rapid off-chain updates with minimal latency and overhead. These protocols dramatically reduce on-chain interaction and improve throughput, with blockchain consensus only invoked in the event of disputes or final closure. While widely adopted in single-chain settings—such as in the Lightning Network for Bitcoin—existing constructions have several limitations, in particular they suffer from at least one of the following limitations: 1. No cross-chain. They do not enable fast trading of assets that reside on multiple isolated blockchains. 2. Non-optimal …

Can Llms Replace Manual Annotation Of Software Engineering Artifacts?, Toufique Ahmed, Premkumar Devanbu, Christoph Treude, Michael Pradel

Research Collection School Of Computing and Information Systems

Experimental evaluations of software engineering innovations, e.g., tools and processes, often include human-subject studies as a component of a multi-pronged strategy to obtain greater generalizability of the findings. However, human-subject studies in our field are challenging, due to the cost and difficulty of finding and employing suitable subjects, ideally, professional programmers with varying degrees of experience. Meanwhile, large language models (LLMs) have recently started to demonstrate human-level performance in several areas. This paper explores the possibility of substituting costly human subjects with much cheaper LLM queries in evaluations of code and code-related artifacts. We study this idea by applying six …

How Developers Interact With Ai: A Taxonomy Of Human-Ai Collaboration In Software Engineering, Christoph Treude, Marco A. Gerosa

Research Collection School Of Computing and Information Systems

Artificial intelligence (AI), including large language models and generative AI, is emerging as a significant force in software development, offering developers powerful tools that span the entire development lifecycle. Although software engineering research has extensively studied AI tools in software development, the specific types of interactions between developers and these AI-powered tools have only recently begun to receive attention. Understanding and improving these interactions has the potential to enhance productivity, trust, and efficiency in AI-driven workflows. In this paper, we propose a taxonomy of interaction types between developers and AI tools, identifying eleven distinct interaction types, such as auto-complete code …

One-For-All: Towards Universal Domain Translation With A Single Stylegan, Yong Du, Jiahui Zhan, Xinzhe Li, Junyu Dong, Sheng Chen, Ming-Hsuan Yang, Shengfeng He

Research Collection School Of Computing and Information Systems

In this paper, we propose a novel translation model, UniTranslator, for transforming representations between visually distinct domains under conditions of limited training data and significant visual differences. The main idea behind our approach is leveraging the domain-neutral capabilities of CLIP as a bridging mechanism, while utilizing a separate module to extract abstract, domain-agnostic semantics from the embeddings of both the source and target realms. Fusing these abstract semantics with target-specific semantics results in a transformed embedding within the CLIP space. To bridge the gap between the disparate worlds of CLIP and StyleGAN, we introduce a new non-linear mapper, the CLIP2P …

Configx: Modular Configuration For Evolutionary Algorithms Via Multitask Reinforcement Learning, Hongshu Guo, Zeyuan Ma, Jiacheng Chen, Yining Ma, Zhiguang Cao, Xinglin Zhang, Yue-Jiao Gong

Research Collection School Of Computing and Information Systems

Recent advances in Meta-learning for Black-Box Optimization (MetaBBO) have shown the potential of using neural networks to dynamically configure evolutionary algorithms (EAs), enhancing their performance and adaptability across various BBO instances. However, they are often tailored to a specific EA, which limits their generalizability and necessitates retraining or redesigns for different EAs and optimization problems. To address this limitation, we introduce ConfigX, a new paradigm of the MetaBBO framework that is capable of learning a universal configuration agent (model) for boosting diverse EAs. To achieve so, our ConfigX first leverages a novel modularization system that enables the flexible combination of …

Dual Operation Aggregation Graph Neural Networks For Solving Flexible Job-Shop Scheduling Problem With Reinforcement Learning, Peng Zhao, You Zhou, Di Wang, Zhiguang Cao, Yubin Xiao, Xuan Wu, Yuanshu Li, Hongjia Liu, Wei Du, Yuan Jiang, Liupu Wang

Research Collection School Of Computing and Information Systems

With the widespread adoption of Internet Protocol (IP) communication technology and web-based platforms, cloud manufacturing has become a significant hallmark of Industry 4.0. Integrating graph algorithms into these web-enabled environments is crucial as they facilitate the representation and analysis of complex relationships in manufacturing processes, enabling efficient decision-making and adaptability in dynamic environments. As a key scheduling problem in cloud manufacturing, the flexible job-shop scheduling problem (FJSP) finds extensive applications in real-world scenarios. However, traditional FJSP-solving methods struggle to meet the efficiency and adaptability demands of cloud manufacturing due to generalization issues and excessive computational time, while reinforcement learning-based methods …

Neural Multi-Objective Combinatorial Optimization Via Graph-Image Multimodal Fusion, Jinbiao Chen, Jiahai Wang, Zhiguang Cao, Yaoxin Wu

Research Collection School Of Computing and Information Systems

Existing neural multi-objective combinatorial optimization (MOCO) methods still exhibit an optimality gap since they fail to fully exploit the intrinsic features of problem instances. A significant factor contributing to this shortfall is their reliance solely on graph-modal information. To overcome this, we propose a novel graph-image multimodal fusion (GIMF) framework that enhances neural MOCO methods by integrating graph and image information of the problem instances. Our GIMF framework comprises three key components: (1) a constructed coordinate image to better represent the spatial structure of the problem instance, (2) a problem-size adaptive resolution strategy during the image construction process to improve …