يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Cui, Anran"', وقت الاستعلام: 0.81s تنقيح النتائج
  1. 1
    تقرير
    On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop

    المؤلفون: Sun, Xin, Su, Xingchi, Bian, Xiaoning, Cui, Anran

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70 Logic in computer science, F.3

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

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Big Data-driven Sensor Placement Optimization Method for Distribution Network: IEEE ITAIC(ISSN:2693-2865)

    المؤلفون: Zhao, Wenjie, Yu, Zhengyi, Cui, Anran, Ye, Yong, Li, Gen

    المصدر: 2022 IEEE 10th Joint International Information Technology and Artificial Intelligence Conference (ITAIC) Information Technology and Artificial Intelligence Conference (ITAIC), 2022 IEEE 10th Joint International. 10:597-601 Jun, 2022

    Relation: 2022 IEEE 10th Joint International Information Technology and Artificial Intelligence Conference (ITAIC)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    كتاب إلكتروني
    A Practical Multi-candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles

    المؤلفون: Sun, XinAff9, Cui, AnranAff10, Chen, HuiAff9, Su, XingchiAff9

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Aff8, Ge, Chunpeng, editorAff7

    المصدر: Information Security and Cryptology : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9–10, 2023, Revised Selected Papers, Part II. 14527:305-316

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