377 citations
- Chinese Academy of SciencesCN43 papers
- University of Chinese Academy of SciencesCN27 papers
- Peking UniversityCN21 papers
- Institute of High Energy PhysicsCN20 papers
- Nanjing UniversityCN19 papers
- Tsinghua UniversityCN19 papers
- Sun Yat-sen UniversityCN16 papers
- Harbin Institute of TechnologyCN15 papers
- Shanghai Jiao Tong UniversityCN14 papers
- Xiamen UniversityCN14 papers
- Beijing Normal UniversityCN13 papers
- Centre National de la Recherche ScientifiqueFR13 papers
127 papers
State Space Models Meet Remote Sensing: A Survey
Qinzhe Yang, Chenyang Liu, Jia Xu +2
State Space Models (SSMs), designed for long-range modeling, offer linear computational complexity and strong capabilities in capturing long-range dependencies. In the field of rem…
Efficient Remote Sensing Instance Segmentation with Linear-Time State Space Distilled Visual Foundation Models
Qinzhe Yang, Keyan Chen, Jia Xu +2
The computational complexity of Transformers scales quadratically with the number of tokens, which significantly constrains the efficiency of vision models, particularly recent ViT…
Interstellar Object 3I/ATLAS Observed from Mars by China's Tianwen-1 Spacecraft
Xin Ren, Wei Yan, Ruining Zhao +20
China's Tianwen-1 Mars orbiter successfully imaged the third interstellar object, 3I/ATLAS, during its close encounter with Mars using the onboard HiRIC CMOS camera. This is China'…
Galaxy populations in groups and clusters-II. Conditional luminosity functions at redshifts from z~1 to z~0
Ce Gao, Cheng Li, Houjun Mo +5
Using DESI SV3 spectroscopic group centrals and HSC photometric data, we measure conditional luminosity functions (CLFs) of central and satellite galaxies for red and blue populati…
Enhanced Non-Thermal Line Broadening inside Coronal Cavities above Solar Prominences revealed by Spectral Imaging CoronaGraph
Chenxi Huangfu, Hui Fu, Bo Li +5
Coronal cavities, often associated with prominences, are crucial structures in understanding coronal heating and the eruption mechanism of Coronal Mass Ejections (CMEs). Previous s…
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Zhi Ma, Cheng Wen, Zhexin Su +4
Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to indust…