( en | de | ru )

 

Disambiguierung von "Li, Lin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.

, , , , , , , , , , , , und . ACL (1), Seite 12632-12646. Association for Computational Linguistics, (2023)

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.

Li Lin

Lin Li

Li-Hsun Lin

Li-Fu Lin

Lin-Po Li

 

Weitere Publikationen von Autoren mit dem selben Namen

Investigating transmission dynamics of influenza in a public indoor venue: An agent-based modeling approach., , , , und . Comput. Ind. Eng., (2021)The Influence of Senior Supervisors' Professional Degree and Their Job Changes and Part-Time Duties on Corporate Performance., , und . IMIS, Volume 612 von Advances in Intelligent Systems and Computing, Seite 771-780. Springer, (2017)The Evaluation of University Library Service Level Based on AGA-FAHP.. ICEE, Seite 3080-3082. IEEE Computer Society, (2010)SAR image oil film detection based on ant Colony Optimization algorithm.. CISP-BMEI, Seite 619-623. IEEE, (2016)The Topological Characteristics and Community Structure in Consumer-Service Bipartite Graph., , und . Complex (1), Volume 4 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 640-650. Springer, (2009)Automatic identification peaks in chromatographic fingerprints based on fuzzy matching., , , und . FSKD, Seite 292-296. IEEE, (2012)Process mining based modeling and analysis of workflows in clinical care - A case study in a chicago outpatient clinic., , und . ICNSC, Seite 590-595. IEEE, (2014)Generalised nonlinear l2-l∞ filtering of discrete-time Markov jump descriptor systems., und . Int. J. Control, 87 (3): 653-664 (2014)Mapping the topic evolution using citation-topic model and social network analysis., , , und . FSKD, Seite 2648-2653. IEEE, (2015)Kernel Methods on Spike Train Space for Neuroscience: A Tutorial., , , , und . IEEE Signal Process. Mag., 30 (4): 149-160 (2013)