Nanyang Technological University

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

Lookahead-Then-Verify: Reliable Constrained Decoding for Diffusion LLMs under Context-Free Grammars

Diffusion Large Language Models (dLLMs) have demonstrated promising capabilities and are increasingly used to produce formal languages defined by context-free grammars, such as source code and chemical expressions. However, as probabilistic models, they still struggle to generate...

Mind the Gap: An Empirical Study of Synchronization Gaps, Delays, and Missed Opportunities in Software Forks

Fork-based development enables parallel evolution of software, but unsynchronized contributions create persistent divergence: security patches, bug fixes, and quality improvements often fail to propagate across fork families, leaving downstream users exposed to known vulnerabilit...

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

Belobog: Move Language Fuzzing Framework for Real-World Smart Contracts

Move is a resource-oriented programming language designed for secure and verifiable smart contract development and has been widely used in managing billions of digital assets in blockchains, such as Sui and Aptos.Move features a strong static type system and explicit resource sem...

Towards Iterative End-to-End Software Development: A Feature-Driven Multi-agent Framework

Recent advances in large language model agents offer the promise of automating end-to-end software development from natural language requirements. However, existing approaches largely adopt linear, waterfall-style pipelines, which oversimplify the iterative nature of real-world d...

Rethinking wireless communications through formal mathematical AI reasoning

Mathematical analysis has long underpinned wireless communication theory, yet the growing complexity of next-generation systems demands increasingly sophisticated reasoning from domain experts. Recent advances in AI mathematical reasoning, from formal theorem proving to large lan...

TrapHunter: Exposing Covert Pathways in Trap Token Contracts

Standardized token contracts (e.g., ERC-20) form the foundation of digital assets. However, attackers increasingly abuse this standardization to disguise malicious trap tokens. Unlike obvious violations, these contracts employ a strategy of "deceptive adherence": they strictly ad...

EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems

In recent years, smart contracts have become the backbone of decentralized applications (DApps), and off-chain systems such as bridges, wallets, and indexers rely heavily on event logs to track contract execution and state changes. However, the Ethereum Virtual Machine (EVM) does...

PnPSelect: Plug-and-Play IoT Device Selection Using Ultra-Wideband Signals

In recent years, the number of Internet of Things (IoT) devices in smart homes has rapidly increased. A key challenge affecting user experience is how to enable users to efficiently and intuitively select the devices they wish to control. This paper proposes PnPSelect, a plug-and...

Emulation of Synaptic Functions with Poly(Ionic Liquid) Heterojunction for Visual Pattern Recognition

Abstract The progress in artificial intelligence has driven the development of bioinspired iontronics for neuromorphic computing, offering scalability and energy efficiency. Ionic-liquid-based iontronic devices have emerged as capable of emulating the complex functions of neurons...

Prefabricated steel-concrete composite beams with distributed Y-shaped connectors embedded in UHPC: experimental investigation and analytical model

The concept of prefabricated steel-concrete composite beams (PSCCBs) in bridge engineering provides innovative insights into the design of composite beams. To further enhance the interfacial shear behavior and overall flexural performance, improve construction quality, and reduce...

Surgical outcomes of trabecular micro-bypass minimally invasive glaucoma surgery devices in eyes with high myopia: a 24-month retrospective multicenter cohort study

BACKGROUND: To describe outcomes of two trabecular bypass minimally invasive glaucoma surgery (MIGS) devices in highly myopic (HM) eyes with glaucoma up to 24 months postoperatively. METHODS: A retrospective, observational multicenter study of HM eyes (phakic refractive spherical...

A Modified Test for Linear Hypotheses in Multivariate Functional Data Under Heteroscedasticity and Small Samples

As big data continues to grow, statistical inference for multivariate functional data (MFD) has become increasingly important. Although recent advancements have been made in testing the equality of mean functions, research on testing linear hypotheses for mean functions remains l...

Subsidised Proportionality in Fair Allocation

The Price of a Fair Share Imagine dividing a limited set of resources among a group of people. When the items cannot be split, even a carefully chosen allocation may leave someone feeling shortchanged. One practical response is to offer compensation, but then a new question arise...

World model for robot learning: A comprehensive survey

World models, which are predictive representations of how environments evolve under actions, have become a central component of robot learning. They support policy learning, planning, simulation, evaluation, data generation, and have advanced rapidly with the rise of foundation m...

Membrane Binding Kinetics of Amphipathic Helical Peptides from Hepatitis C Virus: Quartz Crystal Microbalance with Dissipation Monitoring

Abstract Using quartz crystal microbalance with dissipation monitoring (QCM-D), we investigate the kinetics of attachment of three amphipathic helical (AH) peptides to a supported POPC lipid bilayer. The focus is on the peptides derived from hepatitis C virus (HCV) nonstructural...

Dual-Layer Microencapsulated Phase Change Material Composite with Enthalpy-Active Shell for Thermal Absorption and Directional Heat Management

Abstract Localized heat accumulation in electronic devices degrades performance, safety, and cycle life. Phase change materials (PCMs) have been widely investigated for passive thermal regulation; however, conventional core–shell encapsulated PCMs often exhibit limited effective...

Bare‐Die Antiferromagnetic Computing

Semiconductor electronic devices are increasingly constrained by fundamental quantum tunneling effects and charge-based mechanisms, which severely limit further miniaturization, write-speed scaling, and environmental robustness of silicon-based technologies. These limitations are...

In Situ Generation of Gel Foam via Heat‐Accelerated Calcium Ion Release From Nano‐CaCO 3 for Lithium‐Ion Battery Fire Suppression and Prevention

ABSTRACT Thermal runaway and its propagation in lithium‐ion battery packs pose significant safety risks to energy storage systems. While complete immersion in water‐based agents is an effective suppression strategy, conventional agents often fail to achieve sustained battery enca...