( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Computational Tree Logic Using Sticker Automata.

, , , и . BIC-TA (1), том 681 из Communications in Computer and Information Science, стр. 12-20. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yaru Nie

Xiaohan Nie

Heinz Nie

Zhigang Nie

Pingping Nie

 

Другие публикации лиц с тем же именем

Using Ensemble Learning to Improve Automatic Vectorization of Tensor Contraction Program., , и . IEEE Access, (2018)An Inflammatory Bowel Diseases Integrated Resources Portal (IBDIRP)., , , , , , , , , и . Database J. Biol. Databases Curation, (января 2024)Parallel Region Reconstruction Technique for Sunway High-Performance Multi-core Processors., , , , , и . ICPCSEE (1), том 1451 из Communications in Computer and Information Science, стр. 163-179. Springer, (2021)Efficient publicly verifiable conjunctive keyword search over encrypted data in cloud computing., , и . Int. J. Embed. Syst., 11 (6): 707-718 (2019)Thread Private Variable Access Optimization Technique for Sunway High-Performance Multi-core Processors., , , , и . ICPCSEE (1), том 1451 из Communications in Computer and Information Science, стр. 180-189. Springer, (2021)Implementation of JPEG XS entropy encoding and decoding on FPGA., , , , , , и . J. Real Time Image Process., 21 (2): 34 (апреля 2024)Sky images enhancement under complex weather conditions., , , и . ICIA, стр. 1490-1495. IEEE, (2016)Research on Equipment Effectiveness Evaluation with Weight Random Variables., , и . ISCID (1), стр. 12-14. IEEE Computer Society, (2011)Aiming to Detect a malware of GSM frequency., и . CoRR, (2017)Nice to meet images with Big Clusters and Features: A cluster-weighted multi-modal co-clustering method., , , , , , , и . Inf. Process. Manag., 61 (5): 103735 (2024)