研究领域
- 暂无内容
论文成果 MORE+
- · A novel double anion layered photocatalyst Pb-4(BO3)(2)SO4 with enhanced photocatalytic performance for antibiotic degradation.CHEMICAL ENGINEERING JOURNAL.2022
- · Enhanced photoelectrochemical performance of ZnO/NiFe-layered double hydroxide for water splitting: Experimental and photo-assisted density functional theory calculations.Journal of Colloid and Interface Science.2022
- · Photoacoustic Imaging-Guided Synergistic Photothermal/Radiotherapy Using Plasmonic Bi/Bi2O3-x Nanoparticles.ADVANCED FUNCTIONAL MATERIALS.2022
- · Facile construction of highly luminescent and biocompatible gold nanoclusters by shell rigidification for two-photon pH-edited cytoplasmic and in vivo imaging.NANOSCALE.2022
- · The critical role of furfural alcohol in photocatalytic H2O2 production on TiO2.APPLIED CATALYSIS B-ENVIRONMENTAL.2020
- · Applications of Super-Resolution Microscopy Techniques in Living Brain Imaging.Zhongguo Jiguang/Chinese Journal of Lasers.2022
- · Synthesis of MUC1 aptamer-stabilized gold nanoclusters for cell-specific imaging.TALANTA.2020
- · Single-cell volumetric imaging with light field microscopy: Advances in systems and algorithms.Journal of Innovative Optical Health Sciences.2022
- · Robust photo-assisted removal of NO at room temperature: Experimental and density functional theory calculation with optical carrier.Green Energy and Environment.2022
- · Near-infrared emitting gold-silver nanoclusters with large Stokes shifts for two-photon in vivo imaging.CHEMICAL COMMUNICATIONS.2021
专利
- 暂无内容
著作成果
- 暂无内容
科研项目
- · 面向LLBC增强语言的Rust 编译和规约生成框架-2027/01/01
- · 基于Rust编译器验证的可组合内存安全研究-2026/12/01
- · CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法-2024/09/01
- · 基于通用开放语义的可组合编译器验证研究-2027/12/01
- · 系统软件平台端到端正确性的验证方法研究-2023/12/01
- · Formal End-to-End Verification of Information-Flow Security for Complex Systems-2020/12/01
- · A Higher-Order Framework for Meta-Theoretic Reasoning-2020/12/01
- · The Science of Deep Specification-2021/12/01
- · Space/Time Analysis for Cybersecurity-2019/12/01
- · Reasoning about Specifications of Computations-2014/12/01
