( en | de | ru )

 

Disambiguierung von "Wang, Qingxiang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JEFL: Joint Embedding of Formal Proof Libraries.

, und . FroCoS, Volume 12941 von Lecture Notes in Computer Science, Seite 154-170. Springer, (2021)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

On-Road Pedestrian Tracking Across Multiple Moving Cameras., , , , und . ICME, Seite 1-6. IEEE, (2022)Design of the workstation for hand rehabilitation based on data glove., , und . BIBM Workshops, Seite 769-771. IEEE, (2010)Detection Model of Depression Based on Eye Movement Trajectory., und . DSAA, Seite 612-613. IEEE, (2019)Depression Detection Based on Human Simple Kinematic Skeletal Data., und . DSAA, Seite 1-2. IEEE, (2022)Dep-ViT: Uncertainty Suppression Model Based on Facial Expression Recognition in Depression Patients., , , , und . ICANN (3), Volume 13531 von Lecture Notes in Computer Science, Seite 113-124. Springer, (2022)Rethinking Adjacent Dependency in Session-based Recommendations., , , , , und . CoRR, (2022)An Exploration of Moving Robot Localization Assisted with a Static Monocular Camera., , , , und . IC-NIDC, Seite 6-10. IEEE, (2021)Exploration of neural machine translation in autoformalization of mathematics in Mizar., , , und . CPP, Seite 85-98. ACM, (2020)JEFL: Joint Embedding of Formal Proof Libraries., und . FroCoS, Volume 12941 von Lecture Notes in Computer Science, Seite 154-170. Springer, (2021)Automating Formalization of Mathematics with Machine Learning and Data Mining.. CICM Workshops, Volume 2634 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)