( en | de | ru )

 

Disambiguation of "Shi, Zhiping"

Author of the publication

copydeleteadd this publication to your clipboard
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).

, , , , , and . 计算机科学, 42 (4): 31-36 (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Zhiping Chen

Zhiping Dong

Zhiping Nie

Zhiping Zeng

Zhiping Mu

 

Other publications of authors with the same name

On Hit Rate Improving and Energy Consumption Minimizing in Cache-Based Convergent Overlay Network on High-speed Train., , , , and . BMSB, page 1-6. IEEE, (2019)An Improved Belief Propagation Decoding of BATS Codes., , , and . ICCT, page 11-15. IEEE, (2019)Joint design of sensing and transmission in energyefficient cognitive radio systems over fading channels., , and . IET Commun., (2013)Lightdet: A Lightweight and Accurate Object Detection Network., , , and . ICASSP, page 2243-2247. IEEE, (2020)Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , and . APSEC, page 355-362. IEEE, (2019)An IBP-CNN Based Fast Block Partition For Intra Prediction., , , and . PCS, page 1-5. IEEE, (2019)On the Concatenations of Polar Codes and Non-Binary LDPC Codes., , , , , and . IEEE Access, (2018)Fusing semantic aspects for image annotation and retrieval., , , , and . J. Vis. Commun. Image Represent., 21 (8): 798-805 (2010)A New Way to Prevent UKS Attacks Using Hardware Security Chips., and . Int. J. Netw. Secur., 19 (5): 823-831 (2017)Clustering-Enhanced Knowledge Graph Embedding., , , , , and . Big Data (CCF), volume 1709 of Communications in Computer and Information Science, page 104-123. Springer, (2022)