( en | de | ru )

 

Disambiguation of "Hu, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
AlgSAT - a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective.

, , , , , and . IACR Cryptol. ePrint Arch., (2022)

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.

Kai Hu

Jun Hu

Zaijun Hu

Bing Hu

Hu Wang

 

Other publications of authors with the same name

Small-World Echo State Networks for Nonlinear Time-Series Prediction., , , and . ICONIP (2), volume 14448 of Lecture Notes in Computer Science, page 550-560. Springer, (2023)Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips., , , , and . DATE, page 559-564. EDA Consortium San Jose, CA, USA / ACM DL, (2013)A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts., , , , , and . ICECCS, page 347-352. IEEE Computer Society, (2009)Automatic Search for a Variant of Division Property Using Three Subsets., and . CT-RSA, volume 11405 of Lecture Notes in Computer Science, page 412-432. Springer, (2019)Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit, and . CoRR, (2013)Deep supervised learning using self-adaptive auxiliary loss for COVID-19 diagnosis from imbalanced CT images., , , , , , , , and . Neurocomputing, (2021)Learning and Generalization of Compensative Zero-Moment Point Trajectory for Biped Walking., , and . IEEE Trans. Robotics, 32 (3): 717-725 (2016)Bipedal Locomotion Primitive Learning, Control and Prediction from Human Data., and . SyRoCo, volume 47 of IFAC Proceedings Volumes, page 536-542. International Federation of Automatic Control, (2012)Verification of concurrent code from synchronous specifications., , , , and . Sci. Comput. Program., (2021)Dynamic Attention Filter Capsule Network for Medical Images Segmentation., , and . ICIC (2), volume 14087 of Lecture Notes in Computer Science, page 85-97. Springer, (2023)