Hong Kong University of Science and Technology

Learning to Simulate: Generative Metamodeling via Quantile Regression

Stochastic simulation models effectively capture complex system dynamics but are often too slow for real-time decision making. Traditional metamodeling techniques learn relationships between simulator inputs and a single output summary statistic, such as the mean or median. These...

Dissecting the NVIDIA Hopper Architecture through Microbenchmarking and Multiple Level Analysis

This study presents a comprehensive multi-level analysis of the NVIDIA Hopper GPU architecture, focusing on its performance characteristics and novel features. We benchmark Hopper’s memory subsystem, highlighting improvements in the L2 partitioned cache and global memory access c...

Streaming Video Moment Retrieval via Temporal Forecast Diffusion Model

With the advancement of online media, the demand for real-time interaction with streaming video has rapidly increased, highlighting the importance of Streaming Video Moment Retrieval (SVMR). This task aims to evaluate the relevance between streaming video and textual queries in r...

Gratitude to nature, environmental stewardship, and well-being in 10 countries

Abstract People may feel grateful to nature for its provisions, as both anecdotal accounts and emerging research evidence suggest. The present study further explores this experience—referred to as gratitude to nature—by examining its relationships with other nature-related constr...

Multi-granularity spatiotemporal flow patterns

Abstract Analyzing flow of objects or data at different granularities of space and time can unveil interesting insights or trends. For example, transportation companies, by aggregating passenger travel data (e.g., counting passengers traveling from one region to another), can ana...

Superoxide Release from Macrophages upon Exposure to Secondary Organic Aerosols, Biomass, and Plastic Burning Particulate Matter

Abstract Oxidative stress induced by reactive oxygen species (ROS) is a key process for adverse health effects upon respiratory deposition of particulate matter (PM). Alveolar macrophages can release superoxide upon phagocytosis of PM through a process called the respiratory burs...

Red-Teaming Coding Agents from a Tool-Invocation Perspective: An Empirical Security Assessment

Coding agents powered by large language models are becoming central modules of modern IDEs. They help users to perform various complex coding tasks by invoking tools. Although powerful, tool-invocation operation in coding agents opens a substantial attack surface for adversaries....

CAM: A Causality-Based Analysis Framework for Multi-agent Code Generation Systems

Despite the remarkable success that Multi-Agent Code Generation Systems (MACGS) have achieved, the inherent complexity of multi-agent architectures produces substantial volumes of intermediate outputs. To date, the individual importance of these intermediate outputs to the system...

SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries

The application of high-precision value-flow analysis is experiencing a paradigm shift from planned executions to online ad hoc queries driven by human auditors and AI agents. However, existing techniques struggle in this interactive setting: exhaustive offline tabulation is fund...

A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs

Minimizing code size is a central problem in compiler optimization, especially in the context of embedded systems and mobile applications. One of the classical optimizations that has recently been adopted to reduce the output code size is function inlining, i.e. repeatedly replac...

The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential Analysis

Compiler optimizations are essential for achieving high performance in modern software. However, recent studies highlight the persistence of performance bugs, i.e., subtle defects where the compiler generates functionally correct but computationally inefficient code, leading to s...

Asymmetric Divergent Synthesis of Miophytocen D, Roridin E, Verrucarin J, and Verrucarol

Abstract Herein, we report a divergent asymmetric synthesis of miophytocen D, roridin E, verrucarin J, and verrucarol. The synthesis features an exo-selective Diels–Alder cycloaddition, a biomimetic chemoselective oxacyclization for tetrahydropyran ring assembly, a conformation-c...

CRAFT: Exploring Wearable Creative AI on Smart Glasses for Fiction Writing in Real-World Contexts

Creative writing increasingly integrates AI assistance, yet current tools miss in-situ moments when writers draw inspiration from real-world experiences. We envision Context-aware Reality-Fiction Transformation ( CRAFT ), an approach for AI glasses that translates daily experienc...

DentalGEN: a large-scale controllable generative AI framework for automated dental crown restoration

Dental crown restoration addresses a global public health burden, yet is constrained by a slow, variable, and labor-intensive manual design process that limits access to high-quality treatment. Here we introduce DentalGEN, a large-scale controllable generative artificial intellig...

Effects of plant roots on the erodibility of compacted soils can be explained by a biological indicator derived from Wilson’s model

Abstract Aim Compacted slopes demand herbaceous cover for erosion control. This study aims to develop improved understandings on how compacted soil properties––particle size and relative density––interact with grass roots to regulate soil erodibility to resist rill detachment. Me...

How locus of control shapes digital nomads’ subjective well-being: the mediating roles of telepressure, technostress, and boundary control

Abstract Background As digital nomadism becomes an increasingly prevalent form of digital labor, understanding how psychological mechanisms shape well-being under highly autonomous yet weakly institutionalized work conditions is critical. Drawing on the Job Demands–Resources (JD-...

Nonlinear time-history analysis of degrading structures under spectrum-compatible shallow moonquakes synthesized from Apollo records

Shallow moonquakes are characterized by long durations and slow energy attenuation, posing a significant threat to the seismic safety of future lunar surface structures. Based on high-quality short-period records obtained from the Apollo Passive Seismic Experiment, this study emp...

Testing the strong equivalence principle with multimessenger binary neutron star mergers

Abstract The constancy of the gravitational constant G is a cornerstone of the strong equivalence principle and of general relativity, yet its possible temporal variation remains a key target in tests of fundamental physics. Gravitational-wave (GW) astronomy, especially when comb...

Cognitive Load as a Hidden Cost of Empathy: Tradeoffs in Using VR for Inclusive Design

Virtual reality (VR) is used to bridge the “empathy gap” in inclusive design, but whether emotionally evocative simulations improve design outcomes remains unclear. We conducted a between-subjects experiment comparing passive video with non-emotional and emotional interactive VR...

CoNewsReader: Supporting Comprehensive Understanding and Raising Critical Thoughts on Social Media News Through Comments

Critical news reading (CNR), which requires grasping the holistic ideas of and raising critical thoughts on the news, is beneficial yet challenging for general people who usually get information on daily social media. Comments under the news can aid CNR by providing complementary...