Hong Kong University of Science and Technology

Integrating Central-City Parks into Everyday Activity Chains: Boundary-Opening Optimization and Spatial-Network Reconfiguration with the Park-BIND Model

Urban parks in city centers are often assessed by residential proximity, but visits in districts with mixed land uses also occur between work, shopping, services, and other daily activities. A nearby park may remain difficult to use when its entrances and internal paths do not al...

Multiplicative irreducibility of shifted multiplicative subgroups

Abstract In a recent breakthrough, Kalmynin resolved conjectures of Lev–Sonn and Sárközy on additive decompositions of multiplicative subgroups of prime fields. In this paper, inspired by a related conjecture of Sárközy, we prove multiplicative analogues of Kalmynin's results. We...

Collaborative Inference and Learning between Edge SLMs and Cloud LLMs: A Survey of Algorithms, Execution, and Open Challenges

As large language models (LLMs) evolve, deploying them solely in the cloud or compressing them for edge devices is increasingly inadequate due to latency, privacy, cost, and personalization concerns. This survey examines a collaborative paradigm in which cloud-based LLMs and edge...

Compositional architecting by additive manufacturing enables hardenable titanium alloys

Titanium alloys (Ti-alloys) often suffer from limited strain-hardening capacity (typically <250 MPa), hindering broader adoption in demanding structural applications. This study reports a Ti-alloy with ultrahigh strain-hardening capability, enabled by a unique three-dimensional c...

Contract-guarded orchestration of the UAV photogrammetry-to-engine handoff: artifact contracts, guarded language-model repair, and a fault-injection benchmark

This paper presents a reliable AI-agent framework for automating the delivery of UAV photogrammetric reconstructions into real-time engines for visualization and digital-twin applications. Conventional workflows often rely on process exit status, allowing semantic errors—such as...

Contract-guarded orchestration of the UAV photogrammetry-to-engine handoff: artifact contracts, guarded language-model repair, and a fault-injection benchmark

This paper presents a reliable AI-agent framework for automating the delivery of UAV photogrammetric reconstructions into real-time engines for visualization and digital-twin applications. Conventional workflows often rely on process exit status, allowing semantic errors—such as...

ZCCHC4 promotes replication-dependent histone mRNA translation through interaction with the eIF3 complex

Abstract Histone synthesis is tightly coupled with DNA replication to ensure proper chromatin assembly and genome stability. To meet the sharply elevated demand for histones during S phase, eukaryotic cells employ specialized mechanisms to translate replication-dependent (RD) his...

Contract-guarded orchestration of the UAV photogrammetry-to-engine handoff: artifact contracts, guarded language-model repair, and a fault-injection benchmark

This paper presents a reliable AI-agent framework for automating the delivery of UAV photogrammetric reconstructions into real-time engines for visualization and digital-twin applications. Conventional workflows often rely on process exit status, allowing semantic errors—such as...

Against Political Polarization: A Unified Framework for Tracing Evolving Political Ideologies on Social Media

The rapid growth of social media has greatly influenced political discourse, highlighting the need to understand individual political ideologies and their temporal dynamics. This task faces challenges such as data scarcity, abundant non-political content, costly and bias-prone ma...

Multi-objective and cross-scale inverse design of temperature-control materials via physics-constrained machine learning

Abstract Temperature-control materials, notably composite phase-change materials (CPCMs), show great potential for the thermal management of next-generation power electronics. However, the synergistic optimization of multiple performance metrics still relies heavily on Edisonian...

The institutional politics of development finance: ODA’s role in shaping subnational DFI investments

Abstract Development finance institutions (DFIs), operated by donor governments to support private sector development in the Global South, often face informational barriers when deciding where to invest abroad. We argue that traditional Official Development Assistance (ODA), deli...

Surface-Charge-Regulated MoS2 Membrane for Induced Agglomeration and Efficient Removal of Nanopollutants

Abstract Conventional membranes for nanopollutant removal are constrained by the permeability–selectivity trade-off inherent in size-exclusion mechanisms. Here, we report a surface-charge-regulated MoS2 membrane engineered by anchoring copper nanoparticles and quaternary ammonium...

Collaborative Robots in Construction: A Proactivity Perspective

Abstract Achieving effective human–robot collaboration (HRC) in dynamic environments like construction requires robots to function as proactive peers, anticipating human intents and acting in advance. While current literature analyzes enabling technologies through a sense–plan–ac...

Conformal network link prediction with false discovery rate control under unstructured missingness

We propose a new method for predicting multiple missing links in partially observed networks while controlling the false discovery rate (FDR), a largely unresolved challenge in network analysis. The main difficulty lies in handling complex dependencies and unknown missing pattern...

Research engagement profiles among Chinese undergraduate and postgraduate students

Research engagement is increasingly recognized as an important component of student development in higher education, particularly in medical and health sciences disciplines, but it is often measured through isolated activities or publication status alone. This study examined rese...

Accuracy assessment of Chinese large language models in psoriasis management: a multicenter expert evaluation study

Psoriasis patients in China face severe barriers to disease knowledge acquisition and limited access to medical resources, creating an urgent demand for reliable, evidence-based patient education tools. This multicenter expert evaluation study aimed to systematically assess the q...

Peak Shaving and Valley Filling: Reconstructing Cognitive Load in Cultural Heritage VR Through Contextualized Scaffolding

Virtual reality supports immersive cultural heritage communication, yet engagement outpaces understanding. A structural cause is that information about an object is scattered across transient carriers (NPC dialogue, annotations, triggered videos), requiring working-memory integra...

An explainable biomedical foundation model via large-scale concept-enhanced vision–language pretraining

Artificial intelligence for medical imaging is required to be accurate and interpretable to clinicians. However, current multimodal biomedical foundation models often prioritize performance over explainability. Here we present ConceptCLIP, an explainable biomedical foundation mod...

EngageCue: Enabling Balanced Engagement in Face-to-Face Group Collaboration via AI Cues Through Smart Glasses

In face-to-face group collaboration, uneven engagement often undermines efficiency and interaction quality. Although AI and wearable devices are increasingly applied to support collaboration, existing approaches largely remain confined to online or screen-based environments, leav...

First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination

We study a first-class treatment of constrained types, which were previously confined mostly to ML-style polymorphism. We define System FCCT, an extension of System F with polymorphic subtyping and constraint abstraction in types. A value of type c ⇒ τ can be used at type τ in an...