( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

, , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 414-430. Springer, (2022)

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.

Xin Chen

Xin Chen

Xin Chen

Xin-Hua Chen

Georg Xingas

 

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

TensorMD: Scalable Tensor-Diagram based Machine Learning Interatomic Potential on Heterogeneous Many-Core Processors., , , , , , , , , и 1 other автор(ы). CoRR, (2023)Implementing Global Information Technology Product in a Localized Context: An Exploratory Study of ERP System Implementation in China., , , и . Information Systems Perspectives and Challenges in the Context of Globalization, том 254 из IFIP Conference Proceedings, стр. 185-198. Kluwer, (2003)Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems, , , , , , , , , и 3 other автор(ы). 35 (14): 12363-12372 (2021, 2020)Magnetic particle imaging, , , , , , , , , и 5 other автор(ы). Imaging Modalities for Biological and Preclinical Research: A Compendium, том 2 из 2053-2563, IOP Publishing, (мая 2021)A dual-bending endoscope with shape-lockable hydraulic actuation and water-jet propulsion for gastrointestinal tract screening, , , , , и . International Journal of Medical Robotics and Computer Assisted Surgery, 17 (1): 1--13 (2021)Learning to Modulate Action of Deterministic Policy for Autonomous Navigation., , и . CACRE, стр. 697-701. IEEE, (2020)DMINDA 2.0: integrated and systematic views of regulatory DNA motif identification and analyses., , , и . Bioinform., 33 (16): 2586-2588 (2017)面向移动群智感知的位置相关在线多任务分配算法 (Location-related Online Multi-task Assignment Algorithm for Mobile Crowd Sensing)., , , и . 计算机科学, 46 (6): 102-106 (2019)Local Differential Privacy Preserving Mechanism for Multi-attribute Data in Mobile Crowdsensing with Edge Computing., , и . SmartIoT, стр. 283-290. IEEE, (2019)Compositional Relational Abstraction for Nonlinear Hybrid Systems., , и . ACM Trans. Embed. Comput. Syst., 16 (5s): 187:1-187:19 (2017)