( en | de | ru )

 

Disambiguierung von "Zheng, Hao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Compositional Minimization Approach for Large Asynchronous Design Verification.

, , , und . SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 62-79. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hao Zheng

Wenjin Hao

Xiaofei Hao

Zheng-Zheng Kuang

Jin Hao

 

Weitere Publikationen von Autoren mit dem selben Namen

A Framework of Joint Energy Provisioning and Manufacturing Scheduling in Smart Industrial Wireless Rechargeable Sensor Networks., , , , und . Sensors, 18 (8): 2591 (2018)A Robust Predicted Performance Analysis Approach for Data-Driven Product Development in the Industrial Internet of Things., , , und . Sensors, 18 (9): 2871 (2018)On the Accuracy and Parallelism of GPGPU-Powered Incremental Clustering Algorithms., , , , und . Comput. Intell. Neurosci., (2017)Short prokaryotic DNA Fragment Binning Using a Hierarchical Classifier Based on Linear Discriminant Analysis and Principal Component Analysis., und . J. Bioinform. Comput. Biol., 8 (6): 995-1011 (2010)A feature selection method for nonparallel plane support vector machine classification., , , , und . Optim. Methods Softw., 27 (3): 431-443 (2012)Verification of timed circuits with failure-directed abstractions., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (3): 403-412 (2006)A pneumatic variable Series elastic actuator-Powered transtibial prosthesis., , und . Int. J. Robotics Autom., (2020)Relational recurrent neural networks for polyphonic sound event detection., , , , , und . Multim. Tools Appl., 78 (20): 29509-29527 (2019)Adaptive Extrinsic Information Scaling for Concatenated Zigzag Codes Based on Max-Log-APP., , , , , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 101-A (3): 627-631 (2018)A Novel Hybrid-Magnetic-Circuit Variable Flux Memory Machine., , , , , und . IEEE Trans. Ind. Electron., 67 (7): 5258-5268 (2020)