Publications (45)
Coexistence and interconvertibility of ferromagnetic and antiferromagnetic phases in the single crystal of Mn single-molecule magnet
Yan Cui, Yan-Rong Li, Rui-Yuan Liu +2
We report the coexistence of ferromagnetic and antiferromagnetic phases in the single crystal of Mn single-molecule magnet. The coexistent state appears within a certain period…
Research on Scalability of Operating Systems on Multicore Processors
Yan Cui
Large number of cores and hardware resource sharing are two characteristics on multicore processors, which bring new challenges for the design of operating systems. How to locate a…
Estimation and Inference of Time-Varying Auto-Covariance under Complex Trend: A Difference-based Approach
Yan Cui, Michael Levine, Zhou Zhou
We propose a difference-based nonparametric methodology for the estimation and inference of the time-varying auto-covariance functions of a locally stationary time series when it i…
Asymptotic stability of wave equations coupled by velocities
Yan Cui, Zhiqiang Wang
This paper is devoted to study the asymptotic stability of wave equations with constant coefficients coupled by velocities. By using Riesz basis approach, multiplier method and fre…
Spectrum of linearized operator at ground states of a system of Klein-Gordon equations
Yan Cui, Bo Xia, Kai Yang
Previously, the existence of ground state solutions of a family of systems of Klein-Gordon equations has been widely studied. In this article, we will study the linearized operator…
In Search of Lost DNA Sequence Pretraining
Zhijiang Tang, Jiaxin Qi, Yan Cui +3
DNA sequence encoding is fundamental to gene function prediction, protein synthesis, and diverse downstream biological tasks. Despite the substantial progress achieved by large-sca…
CEIR: Concept-based Explainable Image Representation Learning
Yan Cui, Shuhong Liu, Liuzhuozheng Li +1
In modern machine learning, the trend of harnessing self-supervised learning to derive high-quality representations without label dependency has garnered significant attention. How…
A unified weighted inequality for fourth-order partial differential operators and applications
Yan Cui, Xiaoyu Fu, Jiaxin Tian
In this paper, we establish a fundamental inequality for fourth order partial differential operator () with an abstr…
An Evaluation of Yelp Dataset
Yan Cui
Yelp is one of the largest online searching and reviewing systems for kinds of businesses, including restaurants, shopping, home services et al. Analyzing the real world data from…
State-domain Change Point Detection for Nonlinear Time Series Regression
Yan Cui, Jun Yang, Zhou Zhou
Change point detection in time series has attracted substantial interest, but most of the existing results have been focused on detecting change points in the time domain. This pap…
Adaptive Multi-Scale Integration Unlocks Robust Cell Annotation in Histopathology Images
Yinuo Xu, Yan Cui, Mingyao Li +1
Identifying cell types and subtypes in routine histopathology is fundamental for understanding disease. Existing tile-based models capture nuclear detail but miss the broader tissu…
Spin Logic Devices via Electric Field Controlled Magnetization Reversal by Spin-Orbit Torque
Meiyin Yang, Yongcheng Deng, Zhenhua Wu +10
We describe a spin logic device with controllable magnetization switching of perpendicularly magnetized ferromagnet / heavy metal structures on a ferroelectric (1-x)[Pb(Mg1/3Nb2/3)…
Gene Incremental Learning for Single-Cell Transcriptomics
Jiaxin Qi, Yan Cui, Jianqiang Huang +1
Classes, as fundamental elements of Computer Vision, have been extensively studied within incremental learning frameworks. In contrast, tokens, which play essential roles in many r…
Linking spatial biology and clinical histology via Haiku
Yan Cui, Jacob S. Leiby, Wenhui Lei +6
Integrating molecular, morphological, and clinical data is essential for basic and translational biomedical research, yet systematic frameworks for jointly modeling these modalitie…
A Deep SETI Search for Technosignatures in the TRAPPIST-1 System with FAST
Guang-Yuan Song, Zhen-Zhao Tao, Bo-Lun Huang +3
The Five-hundred-meter Aperture Spherical Telescope (FAST) is the world's largest single-dish radio telescope, and the search for extraterrestrial intelligence (SETI) is one of its…
Optimal Short-Term Forecast for Locally Stationary Functional Time Series
Yan Cui, Zhou Zhou
Accurate curve forecasting is of vital importance for policy planning, decision making and resource allocation in many engineering and industrial applications. In this paper we est…
EOS: Automatic In-vivo Evolution of Kernel Policies for Better Performance
Yan Cui, Quan Chen, Junfeng Yang
Today's monolithic kernels often implement a small, fixed set of policies such as disk I/O scheduling policies, while exposing many parameters to let users select a policy or adjus…
CellForge: Agentic Design of Virtual Cell Models
Xiangru Tang, Zhuoyun Yu, Jiapeng Chen +12
Virtual cell modeling aims to predict cellular responses to diverse perturbations but faces challenges from biological complexity, multimodal data heterogeneity, and the need for i…
Toward Efficient Spiking Transformers: Synapse Pruning Meets Synergistic Learning-Based Compensation
Hongze Sun, Wuque Cai, Duo Chen +7
As a foundational architecture of artificial intelligence models, Transformer has been recently adapted to spiking neural networks with promising performance across various tasks.…
Morawetz estimates and stabilization for damped Klein-Gordon equation with small data
Yan Cui, Bo Xia
In the present paper, we show that the global solution to (partially) damped Klein-Gordon equation on the three dimensional Euclidean space with small data decays exponentially. Th…
A co-evolving agentic AI system for medical imaging analysis
Songhao Li, Jonathan Xu, Tiancheng Bao +11
Agentic AI is rapidly advancing in healthcare and biomedical research. However, in medical image analysis, their performance and adoption remain limited due to the lack of a robust…
PRISM: Progressive Rain removal with Integrated State-space Modeling
Pengze Xue, Shanwen Wang, Fei Zhou +2
Image deraining is an essential vision technique that removes rain streaks and water droplets, enhancing clarity for critical vision tasks like autonomous driving. However, current…
AgentMeter: Evaluating Model-CLI Matching for CLI-Based Local Task-Solving Agents
Han Chi, Jiaxin Qi, Yan Cui +2
LLM agents increasingly solve local tasks through command-line and CLI-based harness interfaces, including code editing, repository inspection, data analysis, and file workflows. E…
ST-FlowNet: An Efficient Spiking Neural Network for Event-Based Optical Flow Estimation
Hongze Sun, Jun Wang, Wuque Cai +6
Spiking Neural Networks (SNNs) have emerged as a promising tool for event-based optical flow estimation tasks due to their ability to leverage spatio-temporal information and low-p…
Criteria for finite time blow up for a system of Klein-Gordon equations
Yan Cui, Bo Xia
We give three conditions on initial data for the blowing up of the corresponding solutions to some system of Klein-Gordon equations on the three dimensional Euclidean space. We fir…
Revisiting Unknowns: Towards Effective and Efficient Open-Set Active Learning
Chen-Chen Zong, Yu-Qi Chi, Xie-Yang Wang +2
Open-set active learning (OSAL) aims to identify informative samples for annotation when unlabeled data may contain previously unseen classes-a common challenge in safety-critical…
Regulation of Irregular Neuronal Firing by Autaptic Transmission
Daqing Guo, Shengdun Wu, Mingming Chen +7
The importance of self-feedback autaptic transmission in modulating spike-time irregularity is still poorly understood. By using a biophysical model that incorporates autaptic coup…
All-Linear Multistate Magnetic Switching Induced by Electrical Current
Meiyin Yang, Yanru Li, Jun Luo +10
We present an alternative mechanism to control the domain wall motion, whose directions are manipulated by the amplitude of electrical currents when modulating the ratio of D/A (co…
A Synapse-Threshold Synergistic Learning Approach for Spiking Neural Networks
Hongze Sun, Wuque Cai, Baoxin Yang +4
Spiking neural networks (SNNs) have demonstrated excellent capabilities in various intelligent scenarios. Most existing methods for training SNNs are based on the concept of synapt…
Two-stage frequency recognition method based on correlated component analysis for SSVEP-based BCI
Yangsong Zhang, Erwei Yin, Fali Li +7
Canonical correlation analysis (CCA) is a state-of-the-art method for frequency recognition in steady-state visual evoked potential (SSVEP)-based brain-computer interface (BCI) sys…
Chemical Responsive Single Crystal Organic Magnet
Yan Cui, Huiping Zhu, Lei Wang +3
Materials that change their magnetic properties in response to the external stimuli have long been of interest for their potential applicability in magnetic storage device, spintro…
Graph Neural Networks as a Substitute for Transformers in Single-Cell Transcriptomics
Jiaxin Qi, Yan Cui, Jinli Ou +2
Graph Neural Networks (GNNs) and Transformers share significant similarities in their encoding strategies for interacting with features from nodes of interest, where Transformers u…
On the Observability Inequality of Coupled Wave Equations: the Case without Boundary
Yan Cui, Camille Laurent, Zhiqiang Wang
In this paper, we study the observability and controllability of wave equations coupled by first or zero order terms on a compact manifold. We adopt the approach in Dehman-Lebeau's…
Better Explain Transformers by Illuminating Important Information
Linxin Song, Yan Cui, Ao Luo +2
Transformer-based models excel in various natural language processing (NLP) tasks, attracting countless efforts to explain their inner workings. Prior methods explain Transformers…
Heterogeneity of Synaptic Input Connectivity Regulates Spike-based Neuronal Avalanches
Shengdun Wu, Yangsong Zhang, Yan Cui +7
Our mysterious brain is believed to operate near a non-equilibrium point and generate critical self-organized avalanches in neuronal activity. Recent experimental evidence has reve…
Reliable Object Tracking by Multimodal Hybrid Feature Extraction and Transformer-Based Fusion
Hongze Sun, Rui Liu, Wuque Cai +6
Visual object tracking, which is primarily based on visible light image sequences, encounters numerous challenges in complicated scenarios, such as low light conditions, high dynam…
Scattering property for a system of Klein-Gordon equations with energy below ground state
Yan Cui, Bo Xia
In the previous work, we classified the solutions to a family of systems of Klein-Gordon equations with non-negative energy below the ground state into two parts: one blows up in f…
Multibeam SETI Observations toward Nearby M dwarfs with FAST
Xiao-Hang Luan, Bo-Lun Huang, Zhen-Zhao Tao +3
The search for extraterrestrial intelligence (SETI) targeted searches aim to observe specific areas and objects to find possible technosignatures. Many SETI researches have focused…
Simultaneous Inference for Time Series Functional Linear Regression
Yan Cui, Zhou Zhou
We consider the problem of joint simultaneous confidence band (JSCB) construction for regression coefficient functions of time series scalar-on-function linear regression when the…
On the asymptotic stability of wave equations coupled by velocities of anti-symmetric type
Yan Cui, Zhiqiang Wang
In this paper, we study the asymptotic stability of two wave equations coupled by velocities of anti-symmetric type via only one damping. We adopt the frequency domain method to pr…
Towards Universal Gene Regulatory Network Inference: Unlocking Generalizable Regulatory Knowledge in Single-cell Foundation Models
Jiaxin Qi, Hang Li, Yan Cui +2
Gene Regulatory Network (GRN) inference is essential for understanding complex cellular mechanisms, rendered tractable through single-cell transcriptomic data. With the emergence o…
Monocular Depth Estimation with Sharp Boundary
Xin Yang, Qingling Chang, Xinlin Liu +1
Monocular depth estimation is the base task in computer vision. It has a tremendous development in the decade with the development of deep learning. But the boundary blur of the de…
A Spatial-channel-temporal-fused Attention for Spiking Neural Networks
Wuque Cai, Hongze Sun, Rui Liu +5
Spiking neural networks (SNNs) mimic brain computational strategies, and exhibit substantial capabilities in spatiotemporal information processing. As an essential factor for human…
Null controllability of damped nonlinear wave equation
Yan Cui, Peng Lu, Yi Zhou
In this paper, we investigate the null controllability of nonlinear wave systems. Initially, we employ a combination of the Galerkin method and a fixed point theorem to establish t…
Efficient Speculative Decoding for Llama at Scale: Challenges and Solutions
Bangsheng Tang, Carl Chengyan Fu, Fei Kou +35
Speculative decoding is a standard method for accelerating the inference speed of large language models. However, scaling it for production environments poses several engineering c…