يعرض 1 - 10 نتائج من 207 نتيجة بحث عن '"Cui, Weidong"', وقت الاستعلام: 0.94s تنقيح النتائج
  1. 1
    تقرير
    E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification

    المؤلفون: Hao, Yu, Chen, Weiteng, Zhou, Ziqiao, Cui, Weidong

    مصطلحات موضوعية: Computer Science - Software Engineering

    URL الوصول: http://arxiv.org/abs/2312.08477

    أضف إلى المفضلة
  2. 2
    تقرير
    Leveraging Large Language Models for Automated Proof Synthesis in Rust

    المؤلفون: Yao, Jianan, Zhou, Ziqiao, Chen, Weiteng, Cui, Weidong

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Artificial Intelligence

    URL الوصول: http://arxiv.org/abs/2311.03739

    أضف إلى المفضلة
  3. 3
    مؤتمر
    Research on Fault Diagnosis Technology of Model Support System based on Feature Extraction

    المؤلفون: Zhang, Junbin, Zhang, Dewei, Hou, Fengwei, Jiang, Wanqiu, Liu, Pei, Cui, Weidong

    المصدر: 2022 15th International Symposium on Computational Intelligence and Design (ISCID) ISCID Computational Intelligence and Design (ISCID), 2022 15th International Symposium on. :155-158 Dec, 2022

    Relation: 2022 15th International Symposium on Computational Intelligence and Design (ISCID)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory

    المؤلفون: Yu, Jiyong, Ge, Xinyang, Jaeger, Trent, Fletcher, Christopher W., Cui, Weidong

    المصدر: 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED) SEED Secure and Private Execution Environment Design (SEED), 2022 IEEE International Symposium on. :133-144 Sep, 2022

    Relation: 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED)

    أضف إلى المفضلة
  5. 5
    مؤتمر
    Interest Screening and Analysis System for Autistic Children Based on Eye Movement Tracking

    المؤلفون: Cheng, Xiankai, Cui, Weidong, Zhong, Jun, Yang, Hongbo

    المصدر: 2020 International Conference on Virtual Reality and Visualization (ICVRV) ICVRV Virtual Reality and Visualization (ICVRV), 2020 International Conference on. :117-120 Nov, 2020

    Relation: 2020 International Conference on Virtual Reality and Visualization (ICVRV)

    أضف إلى المفضلة
  6. 6
    مؤتمر
    Application of Gesture Recognition Fusion Algorithm Based on Double LeapMotion in Hand Function Rehabilitation in Large Space

    المؤلفون: Cheng, Xiankai, Cui, Weidong, Liu, Bin, Yang, Hongbo

    المصدر: 2020 International Conference on Virtual Reality and Visualization (ICVRV) ICVRV Virtual Reality and Visualization (ICVRV), 2020 International Conference on. :249-252 Nov, 2020

    Relation: 2020 International Conference on Virtual Reality and Visualization (ICVRV)

    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Experimental study on co-combustion of domestic garbage and sewage sludge: Evaluation of synergistic effect and thermo-kinetic behavior

    المؤلفون: Ahmad, Muhammad Bilal, Embaye, Tedla Medhane, Meng, Zilan, Wang, Fengqin, Cui, Weidong, Bukhsh, Khuda, Deng, Shuanghui, Bai, Zongqing, Ruan, Renhui, Wang, Xuebin

    المصدر: In Journal of the Energy Institute June 2024 114

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Co-pyrolysis behavior of municipal solid waste and food waste residue: A thermogravimetric study to discern synergistic effect

    المؤلفون: Embaye, Tedla Medhane, Ahmed, Muhammed Bilal, Deng, Nan, Cui, Weidong, Bukhsh, Khuda, Zhang, Lan, Zhu, Lihua, Wang, Xuebin

    المصدر: In Process Safety and Environmental Protection September 2024 189:1274-1284

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Negative effect of industrial waste residue additives (IWRA) on NOx reduction by selective non-catalytic reduction (SNCR) in cement plant: A comparison between copper slag and iron-ore slag

    المؤلفون: Zhang, Su, Li, Zhan, Sun, Jinyu, Zhang, Yili, Xu, Wei, Cui, Weidong, Zhang, Lan, Wang, Xuebin

    المصدر: In Fuel 15 April 2024 362

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Latte: Large-Scale Lateral Movement Detection

    المؤلفون: Liu, Qingyun, Stokes, Jack W., Mead, Rob, Burrell, Tim, Hellen, Ian, Lambert, John, Marochko, Andrey, Cui, Weidong

    المصدر: MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2018 - 2018 IEEE. :1-6 Oct, 2018

    Relation: MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء