( en | de | ru )

 

Disambiguierung von "Peng, Yan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending ACL2 with SMT Solvers.

, und . ACL2, Volume 192 von EPTCS, Seite 61-77. (2015)

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

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)Verifying Timed, Asynchronous Circuits using ACL2., und . ASYNC, Seite 96-104. IEEE, (2019)H∞ output-feedback control for discrete-time switched linear systems via asynchronous switching., und . J. Frankl. Inst., 355 (14): 6215-6238 (2018)SNR-aware Automatic Modulation Recognition based on Modified Deep Residual Networks., , , , und . VTC Spring, Seite 1-5. IEEE, (2022)H∞-performance analysis of robust controllers designed for AQM., und . ACC, Seite 4189-4194. IEEE, (2003)A Real-time Fatigue Driving Detection Method Based on Facial Multi-Feature Fusion., , , , und . ACAI, Seite 56:1-56:8. ACM, (2021)Status Quo and Influencing Factors of Freshmen's Professional Commitment: Local Universities., und . DMI, Volume 376 von Frontiers in Artificial Intelligence and Applications, Seite 339-347. IOS Press, (2023)Practical Counterfactual Policy Learning for Top-K Recommendations., , , , , und . KDD, Seite 1141-1151. ACM, (2022)Modeling the Sequential Dependence among Audience Multi-step Conversions with Multi-task Learning in Targeted Display Advertising., , , , , , und . KDD, Seite 3745-3755. ACM, (2021)Hybrid Recommendation of Personalized MOOC Resources: A User Context-aware Approach., , , und . CSCWD, Seite 537-542. IEEE, (2022)