( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraction of Elementary Hybrid Systems by Variable Transformation.

, , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 360-377. Springer, (2015)

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.

Zhao Zhao

Yanning Zhao

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

Su Zhao

Ruoyao Zhao

Li Zhao

 

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

Legendre Based Adaptive Image Segmentation Combining The Gradient Information., , , , и . ICIP, стр. 863-867. IEEE, (2020)Visual saliency estimation using support value transform., , , , и . ICIP, стр. 1069-1072. IEEE, (2012)Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems., , и . Math. Comput. Sci., 6 (4): 395-408 (2012)Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants., , и . Theories of Programming and Formal Methods, том 8051 из Lecture Notes in Computer Science, стр. 354-373. Springer, (2013)Synthesizing barrier certificates using neural networks., , , и . HSCC, стр. 25:1-25:11. ACM, (2020)Objective Cluster Analysis in Value-Based Customer Segmentation Method., и . WKDD, стр. 484-487. IEEE Computer Society, (2009)Formal Verification of a Descent Guidance Control Program of a Lunar Lander., , , , , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 733-748. Springer, (2014)Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems, , и . CoRR, (2011)A Calculus for Hybrid CSP., , , , , , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2010)基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD)., , , , и . 计算机科学, 45 (6): 296-300 (2018)