( en | de | ru )

 

Disambiguierung von "Chen, Yan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification for High-Assurance Behavioral Synthesis.

, , , , und . ATVA, Volume 5799 von Lecture Notes in Computer Science, Seite 337-351. Springer, (2009)

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 Chen

Cong-yan Chen

Chun-Yan Chen

Yan Yan

Chen Chen

 

Weitere Publikationen von Autoren mit dem selben Namen

Late Breaking Results: Analytical Placement for 3D ICs with Multiple Manufacturing Technologies., , , , , und . DAC, Seite 1-2. IEEE, (2023)Understanding Consumer Search Activity and Online Purchase Intensions for Improving the Product Recommendation Search., , und . ACIS-ICIS, Seite 1135-1140. IEEE Computer Society, (2007)Estimating Bus Cross-Sectional Flow Based on Machine Learning Algorithm Combined with Wi-Fi Probe Technology., , und . Sensors, 21 (3): 844 (2021)Heegard-Berger Video Coding Using LMMSE Estimator., , , und . PCM, Volume 4261 von Lecture Notes in Computer Science, Seite 122-130. Springer, (2006)Applying Differential Privacy with Sparse Vector Technique.. Duke University, Durham, NC, USA, (2018)base-search.net (ftdukeunivdsp:oai:localhost:10161/16906).Design of load balancing algorithm for CPU and GPU collaborative computing based on C4.5 decision tree., , , , , , , , und . CIPAE, Seite 96-100. ACM, (2020)DroidChameleon: evaluating Android anti-malware against transformation attacks., , und . AsiaCCS, Seite 329-334. ACM, (2013)Spatio-temporal video error concealment using priority-ranked region-matching., , , , und . ICIP (2), Seite 1050-1053. IEEE, (2005)Vehicle Lateral Stability Control Based on Shiftable Stability Regions and Dynamic Margins., und . IEEE Trans. Veh. Technol., 69 (12): 14727-14738 (2020)A Novel and Elliptical Lattice Design of Flocking Control for Multi-Agent Ground Vehicles., , , und . IEEE Control. Syst. Lett., (2023)