Publications (25)
Hypergraph Mamba for Efficient Whole Slide Image Understanding
Jiaxuan Lu, Yuhui Lin, Junyan Shi +4
Whole Slide Images (WSIs) in histopathology pose a significant challenge for extensive medical image analysis due to their ultra-high resolution, massive scale, and intricate spati…
Cooperator driven oscillation in a time-delayed feedback-evolving game
Fang Yan, Xiaojie Chen, Zhipeng Qiu +1
Considering feedback of collective actions of cooperation on common resources has vital importance to reach sustainability. But such efforts may have not immediate consequence on t…
Interaction Theory of Hazard-Target System
Ji Ge, Yu-Yuan Zhang, Kai-Li Xu +7
Major accidents (e.g., the Space Shuttle Challenger disaster in the USA, the Bhopal Disaster in India, Fukushima nuclear accident in Japan, Tianjin Port fire and explosion accident…
Physics design for the C-ADS main linac basing on two different injector design schemes
Fang Yan, Zhi-Hui Li, Cai Meng +2
The China ADS (C-ADS) project is proposed to build a 1000 MW Accelerator Driven sub-critical System around 2032. The accelerator will work in CW mode with 10 mA in beam current and…
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Ran Wei, Le Zhu, Haochi Wang +4
Vibe coding -- accepting LLM-generated source from natural-language intent with minimal review -- is fast and may be adequate for low-criticality consumer software. But for safety-…
Rank-Aware Agglomeration of Foundation Models for Immunohistochemistry Image Cell Counting
Zuqi Huang, Mengxin Tian, Huan Liu +6
Accurate cell counting in immunohistochemistry (IHC) images is critical for quantifying protein expression and aiding cancer diagnosis. However, the task remains challenging due to…
Formula-Guided Machine Learning for Ground Vibration Propagation and Attenuation Modeling
Pei-Yao Chen, Chen Wang, Fang Yan +4
Understanding the propagation and attenuation patterns of ground vibrations is critical for evaluating the impact of environmental disturbances on large-scale scientific facilities…
Nonlinear model reference adaptive control approach for governance of the commons in a feedback-evolving game
Fang Yan, Xiaorong Hou, Tingting Tian +1
The governance of common-pool resources has vital importance for sustainability. However, in the realistic management systems of common-pool resources, the institutions do not nece…
Formal Evidence Generation for Assurance Cases for Robotic Software Models
Fang Yan, Simon Foster, Ana Cavalcanti +2
Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured argu…
Cost-effective Instruction Learning for Pathology Vision and Language Analysis
Kaitao Chen, Mianxin Liu, Fang Yan +8
The advent of vision-language models fosters the interactive conversations between AI-enabled models and humans. Yet applying these models into clinics must deal with daunting chal…
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Ran Wei, Simon Foster, Haitao Mei +7
Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created do…
Semantics versus Identity: A Divide-and-Conquer Approach towards Adjustable Medical Image De-Identification
Yuan Tian, Shuo Wang, Rongzhao Zhang +8
Medical imaging has significantly advanced computer-aided diagnosis, yet its re-identification (ReID) risks raise critical privacy concerns, calling for de-identification (DeID) te…
Commissioning of te China-ADS injector-I testing facility
Fang Yan, Huiping Geng, Cai Meng +58
The 10 MeV accelerator-driven subcritical system (ADS) Injector-I test stand at Institute of High Energy Physics (IHEP) is a testing facility dedicated to demonstrate one of the tw…
Towards A Generalizable Pathology Foundation Model via Unified Knowledge Distillation
Jiabo Ma, Zhengrui Guo, Fengtao Zhou +20
Foundation models pretrained on large-scale datasets are revolutionizing the field of computational pathology (CPath). The generalization ability of foundation models is crucial fo…
PathoTune: Adapting Visual Foundation Model to Pathological Specialists
Jiaxuan Lu, Fang Yan, Xiaofan Zhang +2
As natural image understanding moves towards the pretrain-finetune era, research in pathology imaging is concurrently evolving. Despite the predominant focus on pretraining patholo…
Integrated Age Estimation Mechanism
Fan Li, Yongming Li, Pin Wang +3
Machine-learning-based age estimation has received lots of attention. Traditional age estimation mechanism focuses estimation age error, but ignores that there is a deviation betwe…
Unifying Multiple Foundation Models for Advanced Computational Pathology
Wenhui Lei, Yusheng Tan, Anqi Li +7
Foundation models have substantially advanced computational pathology by learning transferable visual representations from large histological datasets, yet their performance varies…
A Survey of Scientific Large Language Models: From Data Foundations to Agent Frontiers
Ming Hu, Chenglong Ma, Wei Li +117
Scientific Large Language Models (Sci-LLMs) are transforming how knowledge is represented, integrated, and applied in scientific research, yet their progress is shaped by the compl…
Study of parity violation in and decays
PengCheng Hong, Fang Yan, RongGang Ping +1
Evidence for CP violation in baryonic decays has not been seen in experiments. With large data events accumulated at collider or Large Hadron Collider, the charmed baryon…
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, captu…
Project Imaging-X: A Survey of 1000+ Open-Access Medical Imaging Datasets for Foundation Model Development
Zhongying Deng, Cheng Tang, Ziyan Huang +124
Foundation models have demonstrated remarkable success across diverse domains and tasks, primarily due to the thrive of large-scale, diverse, and high-quality datasets. However, in…
PathoDuet: Foundation Models for Pathological Slide Analysis of H&E and IHC Stains
Shengyi Hua, Fang Yan, Tianle Shen +2
Large amounts of digitized histopathological data display a promising future for developing pathological foundation models via self-supervised learning methods. Foundation models p…
Transverse profile expansion and homogenization at target for the injector Scheme-I test stand of China-ADS
Zheng Yang, Jing-Yu Tang, Fang Yan +4
For the injector Scheme-I test stand of the China-ADS, a beam with the maximum power of 100 kW will be produced and transported to the beam dump. At the beam dump, the beam power w…
Exploring the Feasibility of Multimodal Chatbot AI as Copilot in Pathology Diagnostics: Generalist Model's Pitfall
Mianxin Liu, Jianfeng Wu, Fang Yan +4
Pathology images are crucial for diagnosing and managing various diseases by visualizing cellular and tissue-level abnormalities. Recent advancements in artificial intelligence (AI…
PathOrchestra: A Comprehensive Foundation Model for Computational Pathology with Over 100 Diverse Clinical-Grade Tasks
Fang Yan, Jianfeng Wu, Jiawen Li +24
The complexity and variability inherent in high-resolution pathological images present significant challenges in computational pathology. While pathology foundation models leveragi…