From post

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.

 

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

Channel Frequency Response Estimation for MIMO Systems with Frequency-Domain Equalization., , , и . EURASIP J. Adv. Signal Process., (2011)Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics., , , , и . SETTA, том 13071 из Lecture Notes in Computer Science, стр. 61-80. Springer, (2021)Formalizing the Transaction Flow Process of Hyperledger Fabric., , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 233-250. Springer, (2020)Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4., , , , и . Intelligent Information Processing, том 432 из IFIP Advances in Information and Communication Technology, стр. 178-186. Springer, (2014)Clustering-Enhanced Knowledge Graph Embedding., , , , , и . Big Data (CCF), том 1709 из Communications in Computer and Information Science, стр. 104-123. Springer, (2022)Lightdet: A Lightweight and Accurate Object Detection Network., , , и . ICASSP, стр. 2243-2247. IEEE, (2020)Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , и . APSEC, стр. 355-362. IEEE, (2019)An IBP-CNN Based Fast Block Partition For Intra Prediction., , , и . PCS, стр. 1-5. IEEE, (2019)On Hit Rate Improving and Energy Consumption Minimizing in Cache-Based Convergent Overlay Network on High-speed Train., , , , и . BMSB, стр. 1-6. IEEE, (2019)Formal Verification of Interrupt Isolation for the TrustZone-based TEE., , , , , , и . APSEC, стр. 309-318. IEEE, (2023)