Hasil Pencarian - Jinzhao Wu
- Menampilkan 1 - 20 hasil dari 26
- Ke Halaman Berikutnya
-
1
MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics oleh Zhenxing Xu, Jinzhao Wu
Diterbitkan 2022-02-01
Artikel -
2
A New Approach to Nonlinear Invariants for Hybrid Systems Based on the Citing Instances Method oleh Honghui He, Jinzhao Wu
Diterbitkan 2020-05-01
Artikel -
3
Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems oleh Hui Deng, Jinzhao Wu, Hongyan Tan
Diterbitkan 2013-01-01
Artikel -
4
Facial Image Privacy Protection Based on Principal Components of Adversarial Segmented Image Blocks oleh Jingjing Yang, Jiaxing Liu, Jinzhao Wu
Diterbitkan 2020-01-01
Artikel -
5
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches oleh Ning Zhou, Jinzhao Wu, Xinyan Gao
Diterbitkan 2013-01-01
Artikel -
6
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources oleh Shihan Yang, Hongyan Tan, Jinzhao Wu
Diterbitkan 2014-01-01
Artikel -
7
-
8
Approximate Completed Trace Equivalence of ILAHSs Based on <i>SAS</i> Solving oleh Honghui He, Jinzhao Wu, Juxia Xiong
Diterbitkan 2019-11-01
Artikel -
9
-
10
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification oleh Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
Diterbitkan 2013-01-01
Artikel -
11
Some prospective criteria for non-unique solutions of ordinary differential equations oleh Juxia Xiong, Jinzhao Wu, Ying Zhang, Qinggeng Jin
Diterbitkan 2019-11-01
Artikel -
12
A Latent Implementation Error Detection Method for Software Validation oleh Jiantao Zhou, Jing Liu, Jinzhao Wu, Guodong Zhong
Diterbitkan 2013-01-01
Artikel -
13
A Method for Determining the Affine Equivalence of Boolean Functions oleh Ziyu Wang, Xiao Zeng, Jinzhao Wu, Guowu Yang
Diterbitkan 2019-01-01
Artikel -
14
Reasoning Method Based on Intervals with Symmetric Truncated Normal Density oleh Peng Wu, Zhenjie Hou, Jiqiang Liu, Jinzhao Wu
Diterbitkan 2021-12-01
Artikel -
15
Approximate Equivalence of the Hybrid Automata with Taylor Theory oleh Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan
Diterbitkan 2014-01-01
Artikel -
16
Reasoning Method between Polynomial Error Assertions oleh Peng Wu, Ning Xiong, Juxia Xiong, Jinzhao Wu
Diterbitkan 2021-07-01
Artikel -
17
A collaborative secret sharing scheme based on the Chinese Remainder Theorem oleh Xingxing Jia, Yixuan Song, Daoshun Wang, Daxin Nie, Jinzhao Wu
Diterbitkan 2019-02-01
Artikel -
18
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature oleh Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
Diterbitkan 2017-01-01
Artikel -
19
Automata-Based Analysis of Stage Suspended Boom Systems oleh Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang
Diterbitkan 2013-01-01
Artikel -
20
Semi-Supervised Learning for Fine-Grained Classification With Self-Training oleh Obed Tettey Nartey, Guowu Yang, Jinzhao Wu, Sarpong Kwadwo Asare
Diterbitkan 2020-01-01
Artikel