Modern integrated circuits (ICs) are becoming increasingly complex, making functional verification a major bottleneck. The dominant hardware formal verification methodology, model checking, verifies each design instance separately and exposes only pass/fail results, so the reason…
Abstract Unplanned extubation (UEX) in the intensive care unit (ICU) is a serious adverse event. Current prevention strategies relying on staff vigilance have limitations. Artificial intelligence (AI)-based computer vision offers a new approach for real-time, non-contact monitori…
Introduction Linguistic judgment rarely occurs in a social vacuum. This study examined whether social authority cues reshape the alignment between confidence and decision accuracy, known as metacognitive calibration, and subsequently influence linguistic revision behavior. Method…
Speculative decoding, in which a lightweight draft model first generates a draft sequence that is then verified in parallel by the target model, has become a prevalent paradigm for accelerating large language model inference. Recent work such as DFlash further boosts drafting eff…
Multimodal fusion learning (MFL) has shown great potential in the medical domain, where we are faced with disparate data modalities such as imaging, clinical records, and omics. However, existing MFL strategies face several major challenges. First, they struggle to capture comple…
In-person small-group conversations occur across nearly every aspect of daily life and play a crucial role in social interaction. However, achieving effective in-person group conversations can be challenging and cognitively demanding. While recent Mixed Reality (MR) headsets show…
Long-horizon AI agents are becoming increasingly capable, yet their interaction with users remains surprisingly thin. In most workflows, users give an initial instruction, receive only selective textual updates, and lose a clear sense of what the agent is doing or when to step in…
Video reasoning requires models to identify and verify temporally localized evidence within long video sequences. Recent Video Large Language Models (Video-LLMs) have shown promising reasoning abilities when aligned with reinforcement learning, yet existing approaches typically r…
Multimodal diffusion transformers (MM-DiTs) have emerged as the prevalent backbone for modern text-to-image generation systems. However, they exhibit critical alignment vulnerabilities, systematically manifesting severe stereotype biases even under benign prompts. This poses a si…
Recent advances in 3D Gaussian Splatting (3DGS) have enabled significant progress in dense dynamic Simultaneous Localization And Mapping (SLAM). Prevailing methods typically discard predefined dynamic objects, ignoring that transiently static objects offer valuable geometric cons…
Inductive biases steer learning toward generalizable solutions by encoding task structure. In this work, we identify a crucial missing bias in MLLMs: cross-view consistency, \textit{i.e.}, semantically invariant views of the same instance should lead to the same answer. Standard…
Multimodal Large Language Models (MLLMs) are prone to hallucination as their generation preferences are insufficiently calibrated to visual evidence, causing them to fall back on linguistic priors, rather than faithful grounding. In this work, we start from an empirical observati…
Phone-use Agents can execute complex tasks end to end across real mobile applications. By operating a real device on the user's behalf, they reach far more functionalities than CLI agents, which amplifies the real-world harm they can cause when driven for malicious purposes. We p…
Motor eccentricity faults, stemming from the misalignment of the rotor's center and pivot point, lead to significant vibrations and noise, compromising motor reliability. This study emphasizes the need for an efficient diagnostic system to enable early detection and correction of…
Multisource remote sensing (MRS) image matching can provide more accurate data support for a variety of remote sensing tasks, but the disparities in imaging characteristics among different sensors bring significant challenges for effective image matching. In this article, we prop…
Accurate detection of transportation objects is pivotal for enhancing driving safety and operational efficiency. In the rapidly evolving domain of transportation systems, the utilization of unmanned aerial vehicles (UAVs) for low-altitude detection, leveraging remotely-sensed ima…
The continuous evolution of cellular networks has resulted in the rapid increase in both mobile applications and devices in the Internet of Vehicles. The introduction of the multi-access edge computing method makes it possible for vehicles in remote areas to offload their computa…