( en | de | ru )

 

Disambiguierung von "Wang, Wenxi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)

, , , , , und . (2019)cite arxiv:1912.11580.

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.

Wenxi Chen

Wang Wang

Linfang Wang

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

Xiaolin Wang

Zhonglei Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

A Survey of Hybrid Human-Artificial Intelligence for Social Computing., , , , , und . IEEE Trans. Hum. Mach. Syst., 52 (3): 468-480 (2022)TestMC: Testing Model Counters using Differential and Metamorphic Testing., , und . ASE, Seite 709-721. IEEE, (2020)Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head., , , und . Appl. Soft Comput., (2024)Analysis of Gamification Strategies for Children's Safety Popularization Education Based on AR Technology., , , und . HCI (32), Volume 14715 von Lecture Notes in Computer Science, Seite 142-155. Springer, (2024)Incremental Analysis of Evolving Alloy Models., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 174-191. Springer, (2019)CadiBack: Extracting Backbones with CaDiCaL., , und . SAT, Volume 271 von LIPIcs, Seite 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)SocialNet of Things: A Ubiquitous Relationship Network Inspired by Social Space., , , , und . IEEE Netw., 36 (3): 197-203 (2022)A Review on Serious Games in E-learning., , , , , und . SSCI, Seite 1-8. IEEE, (2021)Repairing Order-Dependent Flaky Tests via Test Generation., , , und . ICSE, Seite 1881-1892. ACM, (2022)NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks., , , , , und . ICLR, OpenReview.net, (2024)