I agree that this site is using cookies. You can find further informations here.
X
Qi, Xin-Zhu
1893  results:
Bookchapter (Online) X
Search for persons X
?
1

Inconsistency analysis of an electrical-thermal-aging coupl..:

, In: 2024 IEEE 10th International Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia),
Zhu, Yutong ; Qi, Xin ; Yang, Shunfeng - p. 2156-2160 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Mapping Temperature Changes:

, In: Atlas of Global Change Risk of Population and Economic Systems; IHDP/Future Earth-Integrated Risk Governance Project Series,
Qi, Xin ; Gao, Miaoni ; Zhu, Tao... - p. 15-39 , 2022
Link: https://doi.org/10.1007/..
 
?
3

High Reliability and Wide Coverage Space-based TT&C System ..:

, In: 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),
Zhu, Ke ; Yang, Jiaxin ; Qi, Xin... - p. 782-785 , 2021
Link: https://doi.org/10.1109/..
 
?
4

Research on Antenna Switching Strategy in Manned-Spacecraft..:

, In: 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),
Yang, Jiaxin ; Yi, Yusheng ; Zhu, Ke... - p. 794-797 , 2021
Link: https://doi.org/10.1109/..
 
?
5

Research and Simulation of a Space Network Flow Control Str..:

, In: 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),
Cheng, Zhao ; Yi, Yusheng ; Zhu, Ke... - p. 790-793 , 2021
Link: https://doi.org/10.1109/..
 
?
6

Design and Implementation of Space-and-Earth Network for Ch..:

, In: 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),
Yi, Yusheng ; Liang, Ke ; Yang, Jiaxin... - p. 786-789 , 2021
Link: https://doi.org/10.1109/..
 
?
7

The Seventh Visual Object Tracking VOT2019 Challenge Result:

, In: 2019 IEEE/CVF International Conference on Computer Vision Workshop (ICCVW),
Kristan, Matej ; Matas, Jiri ; Leonardis, Ales... - p. 2206-2241 , 2019
Link: https://doi.org/10.1109/..
 
?
8

Verification and Design of Robust and Safe Neural Network-e..:

, In: 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton),
Zhu, Qi ; Li, Wenchao ; Huang, Chao... - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Safety-Assured Design and Adaptation of Connected and Auton..:

, In: Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems,
Chen, Xin ; Fan, Jiameng ; Huang, Chao... - p. 735-757 , 2023
Link: https://doi.org/10.1007/..
 
?
10

POLAR: A Polynomial Arithmetic Framework for Verifying Neur..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Huang, Chao ; Fan, Jiameng ; Chen, Xin.. - p. 414-430 , 2022
Link: https://doi.org/10.1007/..
 
?
11

ReachNN*: A Tool for Reachability Analysis of Neural-Networ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Fan, Jiameng ; Huang, Chao ; Chen, Xin.. - p. 537-542 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Collective Multi-type Entity Alignment Between Knowledge Gr..:

, In: Proceedings of The Web Conference 2020,
Zhu, Qi ; Wei, Hao ; Sisman, Bunyamin... - p. 2241-2252 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Towards Verification-Aware Knowledge Distillation for Neura..:

, In: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD),
Fan, Jiameng ; Huang, Chao ; Li, Wenchao.. - p. 1-8 , 2019
Link: https://doi.org/10.1109/..
 
?
14

Model-based and data-driven approaches for building automat..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Wei, Tianshu ; Chen, Xiaoming ; Li, Xin. - p. 1-8 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Performance Analysis of Cooperative Communication Networks ..:

, In: Proceedings of the International Conference on High Performance Compilation, Computing and Communications,
Liang, Guangjun ; Zhu, Qi ; Xin, Jianfang.. - p. 107-111 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15