From post

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.

 

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

Performance analysis and verification of safety communication protocol in train control system., , , и . Comput. Stand. Interfaces, 33 (5): 505-518 (2011)Beyond Natural Proofs: Hardness Magnification and Locality., , , , , и . J. ACM, 69 (4): 25:1-25:49 (2022)An Equivalence Class for Orthogonal Vectors., и . CoRR, (2018)Adaptivity vs. Postselection, and Hardness Amplification for Polynomial Approximation.. ISAAC, том 64 из LIPIcs, стр. 26:1-26:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Towards Multi-Pass Streaming Lower Bounds for Optimal Approximation of Max-Cut., , , , , и . SODA, стр. 878-924. SIAM, (2023)Strong Average-Case Circuit Lower Bounds from Nontrivial Derandomization., и . SIAM J. Comput., 51 (3): 20-115 (июня 2022)On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds: Extended Abstract., , , и . FOCS, стр. 13-23. IEEE, (2020)A Concise Formula for Backscattering Prediction of Truncated Wedge Model., , , , , и . ICCT, стр. 1864-1867. IEEE, (2022)Bounded Rationality of Restricted Turing Machines., , и . AAAI, стр. 444-450. AAAI Press, (2017)Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach., , , , и . ITSC, стр. 3933-3938. IEEE, (2021)