( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward the Formal Verification of a Unification System.

, , и . IEEE Trans. Syst. Man Cybern. Part B, 39 (4): 879-888 (2009)

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.

Jinglei Yang

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Su Zhao

Xiaojian Zhao

 

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

Toward the Formal Verification of a Unification System., , и . IEEE Trans. Syst. Man Cybern. Part B, 39 (4): 879-888 (2009)Identification of Chinese Verb Nominalization Using Support Vector Machine., , , и . MICAI, том 4827 из Lecture Notes in Computer Science, стр. 933-943. Springer, (2007)Improved Evolutionary Structural Optimization for Taylor Bar Impact Problem based on Additive Manufacturing Technique., , , , , , , , , и 2 other автор(ы). ICARM, стр. 464-468. IEEE, (2023)A Linear Electromagnetic Negative Stiffness Spring Based on Antagonistic Force., , , , , , , , , и . ICARM, стр. 780-785. IEEE, (2023)Multi-objective Topology Optimization of Electromagnetic Negative Stiffness Mechanism using a Deep Neural Network Based Parametric Level Set Method., , , , , , , , , и 3 other автор(ы). ICARM, стр. 499-504. IEEE, (2023)Automatic Extending HowNet's Attribute Lexicon on the Web., , и . SITIS, стр. 315-320. IEEE Computer Society, (2007)A proximity language model for information retrieval., и . SIGIR, стр. 291-298. ACM, (2009)Dexterous workspace optimization for a six degree-of-freedom parallel manipulator based on surrogate-assisted constrained differential evolution., , , , , , , и . Appl. Soft Comput., (мая 2023)Efficient (2N+1) selective harmonic elimination in modular multilevel converters using an evolutionary many-tasking approach with prior knowledge., , , , , , и . Appl. Soft Comput., (сентября 2023)HDIQA: A Hyper Debiasing Framework for Full Reference Image Quality Assessment., , , , , , , , , и 2 other автор(ы). IEEE Trans. Broadcast., 70 (2): 545-554 (июня 2024)