( en | de | ru )

 

Disambiguierung von "Peng, Yan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Timed, Asynchronous Circuits using ACL2.

, und . ASYNC, Seite 96-104. IEEE, (2019)

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.

Yan-Tsung Peng

Yan Yan

Changgeng Peng

Xiao-Wei Peng

Martin Peng

 

Weitere Publikationen von Autoren mit dem selben Namen

Comparative research on operation models of reverse logistics., und . IEEM, Seite 504-508. IEEE, (2015)Extending ACL2 with SMT Solvers., und . ACL2, Volume 192 von EPTCS, Seite 61-77. (2015)Construction and Simulation of the Movable Propeller Turbine Neural Network Model., und . ICMLC, Volume 3930 von Lecture Notes in Computer Science, Seite 133-141. Springer, (2005)Verifying Timed, Asynchronous Circuits using ACL2., und . ASYNC, Seite 96-104. IEEE, (2019)A New Approach for Improving Cross-Document Knowledge Discovery Using Wikipedia., und . NLDB, Volume 7934 von Lecture Notes in Computer Science, Seite 291-296. Springer, (2013)H∞ output-feedback control for discrete-time switched linear systems via asynchronous switching., und . J. Frankl. Inst., 355 (14): 6215-6238 (2018)Personalization Disentanglement for Federated Learning., und . ICME, Seite 318-323. IEEE, (2023)Model Predictive Control-Based Pursuit-Evasion Games for Unmanned Surface Vessel., , , , , , und . ICIRA (8), Volume 14274 von Lecture Notes in Computer Science, Seite 267-278. Springer, (2023)Research on PM2.5 Integrated Prediction Model Based on Lasso-RF-GAM., , , und . DMBD, Volume 1234 von Communications in Computer and Information Science, Seite 83-94. Springer, (2020)Analysis of regional differences in scientific research performance of universities based on DEA-BCC model in 2019., , und . CAIBDA, Seite 202-205. IEEE, (2021)