Showing 1 - 3 results of 3 for search 'Mengda He', query time: 0.03s Refine Results
  1. 1
    A Program Logic for Reasoning About C11 Programs With Release-Sequences

    A Program Logic for Reasoning About C11 Programs With Release-Sequences by Mengda He, Shengchao Qin, Zhiwu Xu

    Published 2020-01-01
    Get full text
    Article
  2. 2
    Extracting automata from neural networks using active learning

    Extracting automata from neural networks using active learning by Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He

    Published 2021-04-01
    Get full text
    Article
  3. 3
    A Novel Strategy to Enhance the Photostability of InP/ZnSe/ZnS Quantum Dots with Zr Doping

    A Novel Strategy to Enhance the Photostability of InP/ZnSe/ZnS Quantum Dots with Zr Doping by Xunqiang Cheng, Mingming Liu, Qinggang Zhang, Mengda He, Xinrong Liao, Qun Wan, Wenji Zhan, Long Kong, Liang Li

    Published 2022-11-01
    Get full text
    Article

Search Tools: