Wu, Haoze
25  results:
Search for persons X
?
1

Experimental Study on Properties and Microbial Methane Oxid..:

, In: Advances in Energy Resources and Environmental Engineering; Environmental Science and Engineering,
Xie, Jiamin ; Wu, Haoze - p. 885-894 , 2024
 
?
2

Thermal Network Modeling of Heat Dissipation Structure of P..:

, In: 2024 IEEE 10th International Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia),
Shi, Xingjian ; Yu, Bin ; Wu, Qiang... - p. 3759-3764 , 2024
 
?
3

Soy: An Efficient MILP Solver for Piecewise-Affine Systems:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Wu, Haoze ; Wu, Min ; Sadigh, Dorsa. - p. 6281-6288 , 2023
 
?
4

Research on the Output Power Model of PTO System Based on G..:

, In: 2023 IEEE International Conference on Sensors, Electronics and Computer Engineering (ICSECE),
Wu, Yongci ; Yu, Haoze ; Yan, Jiduo - p. 40-44 , 2023
 
?
5

Junction Temperature and Current Synchronous Sensing for Si..:

, In: 2023 11th International Conference on Power Electronics and ECCE Asia (ICPE 2023 - ECCE Asia),
Jin, Yuting ; Ye, Shuoyu ; Wu, Qiang... - p. 896-901 , 2023
 
?
6

A New Transmitter Design for Wireless Power Transmission Sy..:

, In: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society,
Xu, Heqi ; Tan, Linlin ; Huang, Xuliang... - p. 1-6 , 2023
 
?
7

Study on Wireless Power and Information Cooperative Transmi..:

, In: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society,
Wu, Zhijun ; Tan, Linlin ; Huang, Xueliang... - p. 1-6 , 2023
 
?
8

Toward Certified Robustness Against Real-World Distribution..:

, In: 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML),
Wu, Haoze ; Tagomori, Teruhiro ; Robey, Alexander... - p. 537-553 , 2023
 
?
9

Lightweight Online Learning for Sets of Related Problems in..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Wu, Haoze ; Hahn, Christopher ; Lonsing, Florian... - p. 1-11 , 2023
 
?
10

Research on Secondary-Side Synchronization Method of Wirele..:

, In: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society,
Li, Haoze ; Tan, Linlin ; Qi, Heqi... - p. 1-6 , 2023
 
?
11

Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Wu, Haoze ; Zeljić, Aleksandar ; Katz, Guy. - p. 143-163 , 2022
 
?
12

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
 
?
13

On Optimizing Back-Substitution Methods for Neural Network ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Zelazny, Tom ; Wu, Haoze ; Barrett, Clark. - p. 17-26 , 2022
 
?
14

Identification Method for Various Failure Modes with Shared..:

, In: 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia),
Wu, Qiang ; Chen, Yu ; Luo, Haoze... - p. 133-138 , 2022
 
?
15

A method for SiC MOSFETs gate oxide degradation monitoring ..:

, In: 2022 IEEE Transportation Electrification Conference and Expo, Asia-Pacific (ITEC Asia-Pacific),
Kang, Jianlong ; Wu, Qiang ; Chen, Yu... - p. 1-4 , 2022
 
1-15