Physical Sciences and Mathematics Commons^™

A Difficult Act To Maintain, J.G. Allen

Research Collection Yong Pung How School Of Law

In "Where is Singapore's AI regulation headed?" (Issues, Summer 2025), Manoj Harjani starts by recounting its delicate balancing act in governing artificial intelligence. The city-state is able to maintain credibility on the global stage while remaining pragmatically grounded in technical experimentation, maintaining policy realism without overcommitting to rigid legal frameworks. The choice to adopt a regulatory “light touch” is often framed as a way to maintain flexibility, avoid overregulation, and enable innovation. But this obscures the extent to which this posture is itself a political and economic settlement—one that reinforces Singapore’s position in the global digital economy by facilitating capital …

Bridging The Great Wall: China’S Evolving Cross-Border Data Flow Policies And Implications For Global Data Governance, Sheng Zhang, Henry S. Gao

Research Collection Yong Pung How School Of Law

Despite the rapid expansion of the digital economy, the global regulatory framework for data flows remains fragmented, with countries adopting divergent approaches shaped by their own regulatory priorities. As a key player in the Internet economy, China’s approach to cross-border data flows (CBDF) not only defines its domestic digital landscape but also influences emerging global norms. This paper takes a comprehensive view of the evolution of China’s CBDF regime, examining its development through both domestic and international lenses. Domestically, China’s regulation of CBDF has evolved from a security-first approach to one that seeks to balance security with economic development. This …

Optimal Abort Policy For Mission-Critical Systems Under Imperfect Condition Monitoring, Qiuzhuang Sun, Jiawen Hu, Zhi-Sheng Ye

Research Collection College of Integrative Studies

Although most on-demand mission-critical systems are engineered to be reliable to support critical tasks, occasional failures may still occur during missions. To increase system survivability, a common practice is to abort the mission before an imminent failure. We consider optimal mission abort for a system whose deterioration follows a general three-state (normal, defective, failed) semi-Markov chain. The failure is assumed self-revealed, whereas the healthy and defective states have to be inferred from imperfect condition-monitoring data. Because of the non-Markovian process dynamics, optimal mission abort for this partially observable system is an intractable stopping problem. For a tractable solution, we introduce …

Recurrent Autoregressive Linear Model For Next-Basket Recommendation, Tereza Zmeskalova, Antoine Ledent, Martin Spisak, Pavel Kordik, Rodrigo Alves

Research Collection School Of Computing and Information Systems

Next-basket recommendation aims to predict the (sets of) items that a user is most likely to purchase during their next visit, capturing both short-term sequential patterns and long-term user preferences. However, effectively modeling these dynamics remains a challenge for traditional methods, which often struggle with interpretability and computational efficiency, particularly when dealing with intricate temporal dependencies and inter-item relationships. In this paper, we propose ReALM, a Recurrent Autoregressive Linear Model that explicitly captures temporal item-to-item dependencies across multiple time steps. By leveraging a recurrent loss function and a closed-form optimization solution, our approach offers both interpretability and scalability while maintaining …

Storage Location Optimization In Automated Storage And Retrieval Systems: A Deep Reinforcement Learning Approach, Lingjun Wang, Aldy Gunawan, Pieter Vansteenwegen

Research Collection School Of Computing and Information Systems

This study investigates the optimization of storage location in automated storage and retrieval systems (AS/RS). We introduce an optimization approach based on the Deep Q-Network (DQN) algorithm to enhance warehouse task efficiency and minimize stacker travel during storage and retrieval. To accelerate the algorithm training process, we integrate a prioritized experience replay mechanism. Furthermore, we decouple action selection from value estimation within the DQN framework to address the issue of value overestimation. The proposed model is evaluated against three heuristic methods. The experimental results demonstrate that our approach significantly outperforms these baselines.

A Study Of The Privacy Paradox Amongst Young Adults In The United Arab Emirates, Lena Yuryna Connolly, Michael Lang, Justin Giboney

All Works

The rapid digitalisation of society has significantly increased the collection and processing of personal data, raising concerns about individuals’ privacy. The privacy paradox, where individuals express privacy concerns yet continue to disclose personal information, has been widely studied in Western and Asian contexts, but remains underexplored in the Arab world. This study investigates privacy attitudes and behaviors in the United Arab Emirates (UAE), a region at the crossroads of traditional Islamic values and Western influences. Using survey data from 216 Emirati university students, we tested a model that incorporates five constructs: peer interaction and influence, desire for privacy, privacy concerns, …

Towards Automated Evolution Of Imperative Deep Learning Programs, Tatiana Castro-Vélez

Dissertations, Theses, and Capstone Projects

Software engineering (SE) is increasingly intersecting with data-centric domains such as machine learning (ML) and deep learning (DL). Similar to bugs in traditional software systems, defects can emerge in ML and DL systems. ML, including DL, systems are now widespread and rely on dynamic models defined by input data. Developers face the challenge of building dependable systems while addressing the demand for scalable software.

Efficiency is essential to support responsiveness with respect to ever-growing datasets. Traditional DL frameworks achieve scalability through deferred execution, enabling symbolic, graph-based deep neural network (DNN) computation. While efficient, this approach is error-prone, cumbersome, and difficult …

Starspot Inference Using Light Curve Inversion Techniques, Mohammad Refat

Dissertations, Theses, and Capstone Projects

Star spots are patches that are dark or bright on the surface of a star. They are tightly correlated to the magnetic activity of stars. One of the reasons we want to study star spots is to better understand where the active latitude of stars are located, which helps us understand planet habitability around low mass stars. The Starry package is a set of tools that can map the surface of stars and exoplanets using time series data, with spherical harmonics. Butterpy is a package that allows for the simulation of starspot evolution and their lightcurves. Fleck is a package …

How To Form A Gravitational-Wave Source: Quantifying Intermediate Evolutionary Stages In Isolated Binary Stellar Evolution, Ana Lam

Dissertations, Theses, and Capstone Projects

Gravitational-wave (GW) detections from double compact object (DCO) mergers provide crucial observational constraints for understanding massive stars across cosmic time. Coupled with these observations, binary population synthesis simulations become powerful tools for probing the formation, evolution, and ultimate fates of their progenitors---massive binary stars. However, complex evolutionary pathways, shaped by key intermediate stages such as mass transfer phases and supernovae, present a significant challenge to assess their impact. To address this, we develop a framework to quantify the influence of intermediate evolutionary stages on GW sources. By combining Sankey diagrams with survival factors, we systematically investigate how intermediate stages influence …

Effect Of Equation Of State On The Formation Of Binary Black Holes In Active Galactic Nucleus Disks, Theodore Edwards

Dissertations, Theses, and Capstone Projects

Active galactic nucleus disks have been proposed as a possibly dominant location of the mergers of binary black holes detected by gravitational wave observatories. The nonlinear interactions between stellar mass black holes and disk gas determine when binaries will form from single objects on nearby orbits. Prior work has used smoothed particle hydrodynamics models in an isothermal disk to study this problem. However, the local equation of state near the midplane of an optically thick accretion disk is adiabatic rather than isothermal, even if the radiative equilibrium temperature is azimuthally isothermal. Therefore, we investigate the use of an adiabatic equation …

Investigating The Behavior Of Dwarf-Hosting Cosmic Filaments In Regions Of Average Density Within The Universe, Manuel E. Ramirez Hernandez

Dissertations, Theses, and Capstone Projects

The cosmic web is the large-scale structure of the universe, composed of elongated, overdense areas held together by gravity known as cosmic filaments. Within these filaments, dwarf galaxies are ubiquitous and make for excellent laboratories due to their small size. to determine the effects of cosmic web structures on dwarf galaxies. In this thesis, I laid the groundwork to investigate whether dwarf galaxy populations vary across different types of filaments. Filaments were extracted from the gas density field in the New Horizon simulation at $z=0$ using the topological feature finder DisPerSE. I determined the distances of galaxies to their nearest …

A Theoretical Investigation Of Photo-Induced Deformations And Transitions In Nanoscale Ferroelectrics, Carmel Dansou

Graduate Theses and Dissertations

This dissertation presents a comprehensive first-principles investigation into the interaction of light with ferroelectric materials, focusing on light-induced structural responses (photostriction) and phase transitions in Ferroelectric superlattices, epitaxially strained BiFeO3 thin films, and twodimensional NbOX2 (X = Cl, Br, I) ferroelectrics. The work aims to provide microscopic insights into how light can control the lattice structure and even the crystallographic phase in these systems, with the broader goal of informing the design of light-responsive functional materials for practical technological applications. The first part explores light-induced effects in PbTiO3/SrTiO3 superlattices with different polarization orientations. Our simulations reveal that photoexcitation modifies the …

The Cannon-Thurston Map For Relatively Hyperbolic Free-By-Cyclic Groups, Kailey Beth Perry

Graduate Theses and Dissertations

Let F = H1 ∗ · · · ∗ Hk ∗ Fr be a splitting of a finitely generated free group, H = {H1 , . . . , Hk } a set of subgroups of F , and Φ ∈ Aut(F ) an automorphism such that for any i, Φ([Hi ]) = [Hj ] for some j. Consider the free-by-cyclic group Gϕ = ⟨F, t | t−1 xt = Φ(x)⟩. Suppose Gϕ is strongly hyperbolic relative to H̃ = {H̃1 , . . . , H̃k }, where H̃i = ⟨Hi , t | t−1 xt = Φ(x)⟩. In …

Synthesis Of Pillar[N]Arenes And Bridge-Functionalized Pillar[N]Arenes Via Cyclic And Acyclic Acetals, Babitha Machireddy

Graduate Theses and Dissertations

Pillar[n]arenes are macrocyclic compounds consisting of ‘n’ hydroquinone units linked by para-methylene bridges. Since their first report of facile synthesis 17 years ago, pillararenes have attracted significant interest due to their versatile functionality, electron-rich cavity, crystalline nature, and planar chirality. These unique properties have enabled a broad range of practical applications, including small molecule separation, formation of one-dimensional and two-dimensional channels, drug delivery systems, and enhanced emissive and fluorescent properties. The ease of synthesis of pillararenes has been one of the key factors in their widespread adoption and continued exploration in supramolecular chemistry and material science. Despite the efficiency and …

Learning Orientation Field For Osm-Guided Autonomous Navigation, Yuming Huang, Wei Gao, Zhiyuan Zhang, Maani Ghaffari, Dezhen Song, Cheng-Zhong Xu, Hui Kong

Research Collection School Of Computing and Information Systems

OpenStreetMap (OSM) has gained popularity recently in autonomous navigation due to its public accessibility, lower maintenance costs, and broader geographical coverage. However, existing methods often struggle with noisy OSM data and incomplete sensor observations, leading to inaccuracies in trajectory planning. These challenges are particularly evident in complex driving scenarios, such as at intersections or facing occlusions. To address these challenges, we propose a robust and explainable two-stage framework to learn an Orientation Field (OrField) for robot navigation by integrating LiDAR scans and OSM routes. In the first stage, we introduce a novel representation, OrField, which can provide orientations for each …

Probabilistic Modeling, Learnability And Uncertainty Estimation For Interaction Prediction In Movie Rating Datasets, Jennifer Poernomo, Nicole Gabrielle Lee Tan, Rodrigo Alves, Antoine Ledent

Research Collection School Of Computing and Information Systems

In this paper, we examine the hypothesis that the interactions recorded in many Recommendation Systems datasets are distributed according to a low-rank distribution, i.e. a mixture of factorizable distributions. Surprisingly, we find that on several popular datasets, a simple non-negative matrix factorization method equals or outperforms more modern methods such as LightGCN, which indicates that the sampling distribution over interactions is indeed low-rank. Furthermore, we mathematically prove that low-rank distributions are learnable with a sparse number of observations (where m/n and r refer to the number of users/items and the non-negative rank respectively) both in terms of the total variation …

Privacy-Preserving Ridge Regression Over Encrypted Data Under Multiple Keys, Yanling Li, Junzuo Lai, Meng Sun, Beibei Song, Robert H. Deng

Research Collection School Of Computing and Information Systems

With the increase of private data being collected by data owners, it has been a trend for data owners to store the data on cloud computing platforms. The huge amounts of data in cloud servers bring fresh development opportunities to machine learning, which is applied to build a high-quality machine learning model based on a large training dataset. However, to ensure the privacy of data and facilitate retrieval, data owners often upload encrypted data under their public keys. But it creates new challenges for machine learning to learn a predictive model over these encrypted data under different keys. Most existing …

An Efficient Security-Enhanced Accountable Access Control For Named Data Networking, Jianfei Sun, Yuxian Li, Xuehuan Yang, Guomin Yang, Robert H. Deng

Research Collection School Of Computing and Information Systems

Named Data Networking (NDN) is embraced as the crucial implementation of Information-Centric Networking (ICN), enhancing content distribution and caching efficiency through edge routers. However, existing NDN architectures face significant security and privacy challenges, including: (a) a lack of secure and efficient access control; (b) inadequate support for flexible and selective content management by content publishers; (c) insufficient implementation of accountability and privilege revocation mechanisms. To handle these challenges, we propose ESAS, the first-ever Efficient Security-enhanced Accountable Access Control Scheme for NDN. Specifically, our ESAS incorporates anonymous authentication using group signatures at network routers to prevent unauthorized access, employs key-aggregation-based access …

From Release To Adoption: Challenges In Reusing Pre-Trained Ai Models For Downstream Developers, Peerachai Banyongrakkul, Mansooreh Zahedi, Patanamon Thongtanunam, Christoph Treude, Haoyu Gao

Research Collection School Of Computing and Information Systems

Pre-trained models (PTMs) have gained widespread popularity and achieved remarkable success across various fields, driven by their groundbreaking performance and easy accessibility through hosting providers. However, the challenges faced by downstream developers in reusing PTMs in software systems are less explored. To bridge this knowledge gap, we qualitatively created and analyzed a dataset of 840 PTM-related issue reports from 31 OSS GitHub projects. We systematically developed a comprehensive taxonomy of PTM-related challenges that developers face in downstream projects. Our study identifies seven key categories of challenges that downstream developers face in reusing PTMs, such as model usage, model performance, and …

Apidocbooster: An Extract-Then-Abstract Framework Leveraging Large Language Models For Augmenting Api Documentation, Chengran Yang, Jiakun Liu, Bowen Xu, Christoph Treude, Yunbo Lyu, Junda He, Ming Li, David Lo

Research Collection School Of Computing and Information Systems

API documentation is often the most trusted resource for programming. Many approaches have been proposed to augment API documentation by summarizing complementary information from external resources such as Stack Overflow. Existing extractive-based summarization approaches excel in producing faithful summaries that accurately represent the source content without input length restrictions. Nevertheless, they suffer from inherent readability limitations. On the other hand, our empirical study on the abstractive-based summarization method, i.e., GPT-4, reveals that GPT-4 can generate coherent and concise summaries but presents limitations in terms of informativeness and faithfulness. We introduce APIDocBooster, an extract-then-abstract framework that seamlessly fuses the advantages of …

Static Analysis As A Feedback Loop: Enhancing Llm-Generated Code Beyond Correctness, Scott Blyth, Sherlock Licorish, Christoph Treude, Markus Wagner

Research Collection School Of Computing and Information Systems

Large language models (LLMs) have demonstrated impressive capabilities in code generation, achieving high scores on benchmarks such as HumanEval and MBPP. However, these benchmarks primarily assess functional correctness and neglect broader dimensions of code quality, including security, reliability, readability, and maintainability. In this work, we systematically evaluate the ability of LLMs to generate high-quality code across multiple dimensions using the PythonSecurityEval benchmark. We introduce an iterative static analysis-driven prompting algorithm that leverages Bandit and Pylint to identify and resolve code quality issues. Our experiments with GPT-4o show substantial improvements: security issues reduced from >40% to 13%, readability violations from >80% …

Educator Perceptions Of Devops Teaching Recommendations And Their Alignment With Common Challenges, Marcelo Romulo Fernandes, Pablo Paiva, Samuel Lucas De Moura Ferino, Roberta Coelho, Christoph Treude, Eduardo Aranha, Uirá Kulesza

Research Collection School Of Computing and Information Systems

DevOps education presents unique pedagogical challenges due to the diversity of tools, rapid technological change, and the multidisciplinary nature of the field. Although previous work has proposed recommendations to address these challenges, it is unclear how educators perceive these recommendations and whether they align with the challenges encountered in practice. In this paper, we present a quantitative and qualitative methods study involving 11 DevOps educators who interacted with Improve, a tool that presents a curated set of educational challenges and recommendations derived from previous literature. Educators indicated which recommendations they already use, which they intend to use, and which challenges …

Studying Satd In Drone Systems With Human-Ai Collaboration, Leevi Rantala, Lwin Khin Shar, Mäntylä Mika V., Wei Minn, Naing Tun Yan

Research Collection School Of Computing and Information Systems

Background: Self-Admitted Technical Debt (SATD) refers to sub-optimal solutions that developers acknowledge within the source code. SATD research originated on Java projects but is expanding to other domains. We focus on SATD in drones, which are used for various critical tasks.Aims: The primary objective is to investigate SATD in drone systems. The second aim is to explore the integration of AI and human collaboration for SATD labelling and classification.Method: We conducted a sample study of SATD comments in drone systems (14 open source, 4 SDKs) to analyse the quantity and types of SATD comments present. Our study incorporates collaboration between …

Large Lithium-Ion Battery Model For Secure Shared E-Bike Battery In Smart Cities, Donghui Ding, Zhao Li, Linhao Luo, Ming Jin, Bin Zhu, Yichen Zhong, Junhao Hu, Peng Cai, Huiqi Hu

Research Collection School Of Computing and Information Systems

Electric bikes powered by lithium-ion batteries are increasingly used in smart cities to promote sustainable mobility and efficient delivery services. However, limited battery range and slow plug-in charging remain key challenges. Shared electric bike battery systems, facilitated by battery swapping stations, offer a promising solution by enabling quick and efficient battery replacements. However, their success hinges on accurate anomaly detection, battery health estimation and remain range prediction. These tasks remain challenging due to data scarcity, battery diversity and environmental variability. Here we show that a large-scale lithium-ion battery model trained on over ten million battery time series data enables robust …

Stylegan-∞: Extending Stylegan To Arbitrary-Ratio Translation With Stylebook, Yihua Dai, Tianyi Xiang, Bailin Deng, Yong Du, Hongmin Cai, Jing Qin, Shengfeng He

Research Collection School Of Computing and Information Systems

Although pre-trained large-scale generative models StyleGAN series have proven to be effective in various editing and translation tasks, they are limited to pre-defined fixed aspect ratio. To overcome this limitation, we propose StyleGAN-∞, a model that enables pre-trained StyleGAN to perform arbitrary-ratio conditional synthesis. Our key insight is to distill the expressive StyleGAN features into a StyleBook, such that an arbitrary-ratio condition can be translated to other forms by properly assembling pre-defined StyleBook vectors. To learn and leverage the StyleBook, we employ a network with three distinct stages, each corresponding to StyleBook extraction, StyleBook correspondence learning, and arbitrary-ratio synthesis. Extensive …

Stable And Fair Cost Allocation In Platform-Enabled Lcl Consolidation, Pang Jin Tan, Shih-Fen Cheng

Research Collection School Of Computing and Information Systems

Many logistics platforms enable collaboration between agents to reduce costs, but determining fair pricing remains challenging when agents have pre-existing partnerships. This paper introduces a cooperative game theory framework to model platform-mediated collaboration, modeling the platform as an additional player. We present a novel characteristic function that distinguishes between partial collaborations (existing relationships) and full collaborations (platform-enabled). Using Shapley value, we derive fair cost allocations and platform charges that reflect each participant's contribution. We address stability concerns through an optimization model that minimizes platform subsidies while preventing profitable deviations. The framework is demonstrated through an application in freight forwarding for …

Preference-Based Deep Reinforcement Learning For Historical Route Estimation, Boshen Pan, Yaoxin Wu, Zhiguang Cao, Yaqing Hou, Guangyu Zou, Qiang Zhang

Research Collection School Of Computing and Information Systems

Recent Deep Reinforcement Learning (DRL) techniques have advanced solutions to Vehicle Routing Problems (VRPs). However, many of these methods focus exclusively on optimizing distance-oriented objectives (i.e., minimizing route length), often overlooking the implicit drivers' preferences for routes. These preferences, which are crucial in practice, are challenging to model using traditional DRL approaches. To address this gap, we propose a preference-based DRL method characterized by its reward design and optimization objective, which is specialized to learn historical route preferences. Our experiments demonstrate that the method aligns generated solutions more closely with human preferences. Moreover, it exhibits strong generalization performance across a …

Dgl: Dynamic Global-Local Information Aggregation For Scalable Vrp Generalization With Self-Improvement Learning, Yubin Xiao, Yuesong Wu, Rui Cao, Di Wang, Zhiguang Cao, Xuan Wu, Peng Zhao, Yuanshu Li, You Zhou, Yuan Jiang

Research Collection School Of Computing and Information Systems

The Vehicle Routing Problem (VRP) is a critical combinatorial optimization problem with wide-reaching real-world applications, particularly in logistics, transportation. While neural network-based VRP solvers have shown impressive results on test instances similar to training data, their performance often degrades when faced with varying scales and unseen distributions, limiting their practical applicability. To overcome these limitations, we introduce DGL (Dynamic Global-Local Information Aggregation), a novel model that combines global and local information to effectively solve VRPs. DGL dynamically adjusts local node selections within a localized range, capturing local invariance across problems of different scales and distributions, thereby enhancing generalization. At the …

Coupling Category Alignment For Graph Domain Adaptation, Nan Yin, Xiao Teng, Zhiguang Cao, Mengzhu Wang

Research Collection School Of Computing and Information Systems

Graph domain adaptation (GDA), which transfers knowledge from a labeled source domain to an unlabeled target graph domain, attracts considerable attention in numerous fields. However, existing methods commonly employ message-passing neural networks (MPNNs) to learn domain-invariant representations by aligning the entire domain distribution, inadvertently neglecting category-level distribution alignment and potentially causing category confusion. To address the problem, we propose an effective framework named Coupling Category Alignment (CoCA) for GDA, which effectively addresses the category alignment issue with theoretical guarantees. CoCA incorporates a graph convolutional network branch and a graph kernel network branch, which explore graph topology in implicit and explicit …

Map As A By-Product: Collective Landmark Mapping From Imu Data And User-Provided Texts In Situated Tasks, Ryo Yonetani, Kotaro Hara

Research Collection School Of Computing and Information Systems

This paper presents Collective Landmark Mapper, a novel map-as-a-by-product system for generating semantic landmark maps of indoor environments. Consider users engaged in situated tasks that require them to navigate these environments and regularly take notes on their smartphones. Collective Landmark Mapper exploits the smartphone's IMU data and the user's free text input during these tasks to identify a set of landmarks encountered by the user. The identified landmarks are then aggregated across multiple users to generate a unified map representing the positions and semantic information of all landmarks. In developing the proposed system, we focused specifically on retail applications and …