( en | de | ru )

 

Disambiguierung von "Zhang, Min"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.

, , , , , und . IEEE Trans. Reliab., 68 (3): 1117-1133 (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.

Min Zhang

Min Zhang

Min Zhang

Min Zhang

Min Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

DeMPT: Decoding-enhanced Multi-phase Prompt Tuning for Making LLMs Be Better Context-aware Translators., , , , , , , und . CoRR, (2024)A Dynamic Resource Pricing Scheme for a Crowd-Funding Cloud Environment., , , und . GPC, Volume 11204 von Lecture Notes in Computer Science, Seite 170-181. Springer, (2018)A Hybrid of Differential Evolution and Genetic Algorithm for Constrained Multiobjective Optimization Problems., , , , und . SEAL, Volume 4247 von Lecture Notes in Computer Science, Seite 318-327. Springer, (2006)Topic Models Incorporating Statistical Word Senses., , , , und . CICLing (1), Volume 8403 von Lecture Notes in Computer Science, Seite 151-162. Springer, (2014)Chinese Terminology Extraction Using EM-Based Transfer Learning Method., , , und . CICLing (1), Volume 7816 von Lecture Notes in Computer Science, Seite 139-152. Springer, (2013)Constructor-Based Inductive Theorem Prover., , , und . CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 328-333. Springer, (2013)A Novel Privacy-Preserving Group Matching Scheme in Social Networks., , , , , und . WAIM, Volume 8485 von Lecture Notes in Computer Science, Seite 336-347. Springer, (2014)Automatic Extraction for Product Feature Words from Comments on the Web., , , , und . AIRS, Volume 5839 von Lecture Notes in Computer Science, Seite 112-123. Springer, (2009)Statistical learning and analyses of Chinese ancient books for information retrieval., , , und . SMC, Seite 869-873. IEEE, (2001)Lattice-Valued Kripke Structures Based on Complete Residuated Lattice., , und . SERE (Companion), Seite 137-143. IEEE, (2012)