From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Experiential Interaction Modeling for Virtual Training of Ultra-High Voltage Power System and Its Application.

J. Shao, W. Liu, W. Dai, S. Ma, Q. Li, J. Wang, J. Chen, и N. Xiong. CSA/CUTE, том 474 из Lecture Notes in Electrical Engineering, стр. 566-572. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ji Wang

Ji-Feng Wang

Ji-boa Wang

Wang Wang

Hui Ji

Другие публикации лиц с тем же именем

Scheduling jobs with chain precedence constraints and deteriorating jobs.J. Wang, J. Wang, и P. Ji. J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Direct and cell signaling-based, geometry-induced neuronal differentiation of neural stem cellsS. Bakhru, A. Nain, C. Highley, J. Wang, P. Campbell, C. Amon, и S. Zappe. Integr. Biol., 3 (12): 1207--1214 (2011)Friends of Hot Jupiters. IV. Stellar companions beyond 50 AU might facilitate giant planet formation, but most are unlikely to cause Kozai-Lidov migrationH. Ngo, H. Knutson, S. Hinkley, M. Bryan, J. Crepp, K. Batygin, I. Crossfield, B. Hansen, A. Howard, J. Johnson и 4 other автор(ы). (2016)cite arxiv:1606.07102Comment: accepted for publication in ApJ; 23 pages including 9 figures and 6 tables.Reverse Observation Equivalence Between Labelled State Transition Systems.Y. Wen, J. Wang, и Z. Qi. ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2004)Threshold optimization of pseudo-inverse linear discriminants based on overall accuracies.T. Tian, J. Wang, и D. Gao. IJCNN, стр. 1-6. IEEE, (2015)Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.W. Yeung, K. Leung, J. Wang, и W. Dong. MSVVEIS, стр. 97-107. INSTICC Press, (2006)Verifying automata specification of distributed probabilistic real-time systems.T. Luo, H. Chen, B. Wang, J. Wang, Z. Gong, и Z. Qi. J. Comput. Sci. Technol., 13 (6): 588-596 (1998)Verifying Numerical Programs via Iterative Abstract Testing.B. Yin, L. Chen, J. Liu, J. Wang, и P. Cousot. SAS, том 11822 из Lecture Notes in Computer Science, стр. 247-267. Springer, (2019)Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.L. Chen, R. Li, X. Wu, и J. Wang. SAC, стр. 1204-1210. ACM, (2013)Towards Formal Interfaces for Web Services with Transactions.Z. Chen, J. Wang, W. Dong, и Z. Qi. SITIS, том 4879 из Lecture Notes in Computer Science, стр. 292-304. Springer, (2006)

BibSonomy

Disambiguation