Search for persons
X
?
Advances in Energy Resources and Environmental Engineering; Environmental Science and Engineering ,
1
Experimental Study on Properties and Microbial Methane Oxid..:
, In:
?
2024 IEEE 10th International Power Electronics and Motion Control Conference (IPEMC2024-ECCE Asia) ,
2
Thermal Network Modeling of Heat Dissipation Structure of P..:
, In:
?
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
3
Soy: An Efficient MILP Solver for Piecewise-Affine Systems:
, In:
?
2023 IEEE International Conference on Sensors, Electronics and Computer Engineering (ICSECE) ,
4
Research on the Output Power Model of PTO System Based on G..:
, In:
?
2023 11th International Conference on Power Electronics and ECCE Asia (ICPE 2023 - ECCE Asia) ,
5
Junction Temperature and Current Synchronous Sensing for Si..:
, In:
?
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society ,
6
A New Transmitter Design for Wireless Power Transmission Sy..:
, In:
?
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society ,
7
Study on Wireless Power and Information Cooperative Transmi..:
, In:
?
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) ,
8
Toward Certified Robustness Against Real-World Distribution..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
9
Lightweight Online Learning for Sets of Related Problems in..:
, In:
?
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society ,
10
Research on Secondary-Side Synchronization Method of Wirele..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
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 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia) ,
14
Identification Method for Various Failure Modes with Shared..:
, In:
?
2022 IEEE Transportation Electrification Conference and Expo, Asia-Pacific (ITEC Asia-Pacific) ,
15