National University of Singapore

Raman Self‐Tracking Copper Metal‐Organic Framework‐Based Nanoplatform for Cuproptosis Cancer Therapy

ABSTRACT Cuproptosis represents a promising strategy for cancer therapy, yet its clinical translation is hampered by unexpected deactivation and off‐target toxicity of copper ions during their delivery to tumors. We developed a copper metal‐organic framework‐based nanoplatform (C...

Ag─S Sites Steer Furfural Electroreduction to Furfuryl Alcohol

ABSTRACT The electrochemical upgrading of furfural (FF), a biomass‐derived platform molecule, using renewable electricity offers a promising route toward green and sustainable chemical synthesis. However, achieving high selectivity toward hydrogenated products, such as furfuryl a...

Ag─S Sites Steer Furfural Electroreduction to Furfuryl Alcohol

ABSTRACT The electrochemical upgrading of furfural (FF), a biomass‐derived platform molecule, using renewable electricity offers a promising route toward green and sustainable chemical synthesis. However, achieving high selectivity toward hydrogenated products, such as furfuryl a...

Kerr black hole formation and a dynamical approach to the Penrose inequality

In this expository note, we present our recent result on the dynamical formation of Kerr black holes for the 3 + 1 dimensional Einstein vacuum equations and a newly dynamical approach to the Penrose inequality, based on [6]. Combining the scale-critical short-pulse mechanism with...

Few-Shot Remote Sensing Scene Classification Leveraging Collaboration of Foundation Models

Foundation models have shown remarkable generalization ability for few-shot learning (FSL). However, their potential for remote sensing scene classification has not been fully explored. Existing methods mainly adapt a single vision–language model and seldom exploit the complement...

An anoxygenic photosynthesis-inspired dual biohybrid for light-enhanced chemical production

Integrating light-harvesting materials with non-photosynthetic microbes offers a promising route to convert sunlight into chemicals. However, many existing biohybrid systems lack a clear architectural basis linking external light capture to intracellular redox processes. Inspired...

Advancing efficient egocentric network data collection in behavioral health research: lessons from an adaptive online social network survey

Social network analysis (SNA) is valuable in behavioral health research, yet rigorous egocentric data collection remains limited due to participant burden, scalability challenges, and variability in network sizes. Face-to-face interviews provide detailed data but are resource-int...

Dietary and Nutritional Considerations for Metabolic Dysfunction-Associated Steatotic Liver Disease in Psoriasis and Hidradenitis Suppurativa: A Narrative Review

Metabolic dysfunction-associated steatotic liver disease (MASLD) is increasingly recognised in patients with chronic inflammatory skin disease, particularly psoriasis, for which epidemiological evidence of increased MASLD prevalence is relatively strong; corresponding data in hid...

Infinitary Relational Logic

Relational program logics are a popular formalism for stating and proving properties that relate executions of several computations. We present Infinitary Relational Logic (IRL)—the first Hoare-style Separation Logic that allows one to state and prove relational properties of pos...

A Temporal Reasoning Benchmarking Framework for LRMs via Difficulty-Controlled and Dynamic Test Generation

Defining the reasoning boundaries and ensuring the reliability of Large Reasoning Models (LRMs) remains a critical challenge. Current benchmarks primarily rely on static datasets susceptible to data contamination or synthetic tasks lacking fine-grained difficulty control. Further...

SymWeb: Feedback-Driven Context Exploration and Context-Aware Symbolic Execution for Browser-Embedded WebAssembly Vulnerability Detection

Browser-deployed WebAssembly (Wasm) modules often inherit memory-safety bugs from C and C++-style code, yet exploiting, and even reaching, these bugs in the Web threat model is fundamentally context-dependent. JavaScript (JS) controls the exported-call schedule and constructs the...

Metamorphic Coverage

Metamorphic testing is a widely used methodology that examines an expected relation between pairs of executions to automatically find bugs, such as correctness bugs. We found that code coverage cannot accurately measure the extent to which code is validated and mutation testing i...

Compiling Large Multi-modal Requirement Documents into Runnable Software Systems: From an Agentic Test-Driven Perspective

Large Language Models (LLMs) have significantly improved programming efficiency by parsing natural language into code snippets. However, their performance degrades significantly as requirements scale; when faced with multi-modal documents containing hundreds of scenarios, LLMs of...

XSearch: Explainable Code Search via Concept-to-Code Alignment

With the emergence of deep learning, semantic code search has been widely adopted in both academia and industry. These approaches embed natural-language queries and code snippets into a shared embedding space and retrieve results based on vector similarity. Despite their strong p...

Generating Project-Specific Test Cases with Requirement Validation Intention

Test cases are valuable assets for maintaining software quality. State-of-the-art automated test generation techniques typically focus on maximizing program branch coverage or translating focal methods into test code. However, in contrast to branch coverage or code-to-test transl...

IssueExec: A Test-Driven Approach for Localizing Software Engineering Issues

Issue localization, which identifies code locations requiring modification from issue descriptions, is a critical step in automated software maintenance. Existing approaches predominantly attempt to directly align issue descriptions with code elements, yet often struggle due to t...

A multicenter multistate modeling on the natural history of liver decompensation: Longitudinal analysis of 1777 patients.

BACKGROUND: Cirrhosis often remains silent until decompensation, after which survival deteriorates sharply. Contemporary, transition-aware estimates are limited, especially in Asian-predominant cohorts. We analyzed trajectories from compensated advanced chronic liver disease (cAC...

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification

Rust’s ownership and type system provide strong memory safety guarantees, but unsafe code still presents memory safety risks. Formal verification is crucial for ensuring memory safety, but writing precise specifications for unsafe Rust is challenging and largely manual. Large lan...

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...

Selective Adsorption of Methyl Acetate from Model Fischer–Tropsch Synthetic Oil on 13X Zeolite: Experimental and Computational Insights

Abstract The efficient removal of ester oxygenates from Fischer–Tropsch (FT) synthetic oil remains challenging due to limited understanding of selective adsorption mechanisms and adsorption kinetics. Herein, a combined experimental and theoretical approach was employed to investi...