I agree that this site is using cookies. You can find further informations here.
X
Ming-Hsien Chen
505  results:
Bookchapter (Online) X
Search for persons X
?
1

Comparing the effects of robots and IoT objects on STEM lea..:

, In: 2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT),
Hu, Chih-Chien ; Tseng, Hsiao-Ting ; Chen, Ming-Hsien.. - p. 87-89 , 2020
Link: https://doi.org/10.1109/..
 
?
2

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Pr..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Chen, Ruiling ; Liu, Jiaxiang ; Shi, Xiaomu... - p. 2167-2171 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Characteristics of Halide Perovskites via Low-pressure Vapo..:

, In: 2022 29th International Workshop on Active-Matrix Flatpanel Displays and Devices (AM-FPD),
Yeh, Hung-Hsiang ; Chen, Yu-An ; Hung, Wei-Ting.. - p. 12-12 , 2022
Link: https://doi.org/10.23919..
 
?
4

The Investigation of Process Temperature and Infill Rate on..:

, In: Advances in Intelligent Information Hiding and Multimedia Signal Processing; Smart Innovation, Systems and Technologies,
Hsueh, Ming-Hsien ; Chang, Jui-Fang ; Lai, Chao-Jung... - p. 195-205 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Back-Contact Perovskite Solar Cells:

, In: Lithium-Ion Batteries and Solar Cells,
Lin, Tai-Fu ; Li, Ming-Hsien ; Lin, Pei-Ying... - p. 219-231 , 2021
Link: https://doi.org/10.1201/..
 
?
6

7.1 A 3.4-to-13.3TOPS/W 3.6TOPS Dual-Core Deep-Learning Acc..:

, In: 2020 IEEE International Solid- State Circuits Conference - (ISSCC),
Lin, Chien-Hung ; Cheng, Chih-Chung ; Tsai, Yi-Min... - p. 134-136 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Large Area (>1cm2) Efficient Perovskite/N type C-Si Tandem ..:

, In: 2020 47th IEEE Photovoltaic Specialists Conference (PVSC),
Hsieh, Po-Tsung ; Li, Ming-Hsien ; Hung, Wei-Chiao... - p. 1067-1069 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Polyp Classification Based on Deep Neural Network for Colon..:

, In: Proceedings of the 2020 The 4th International Conference on Graphics and Signal Processing,
Tsai, Ming-Hsien ; Chen, Wen-Jan ; Lin, Jen-Yung.. - p. 61-64 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

To Determinate PEP and LVET Through Analyzing LPC of Heart ..:

, In: IFMBE Proceedings; Future Trends in Biomedical and Health Informatics and Cybersecurity in Medical Devices,
Ou, Jin-Hao ; Yang, Ming-Hao ; Yu, Ming-Hsien. - p. 371-380 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Monolithic Dye-Sensitized Perovskite Solar Cells:

, In: Green Energy Materials Handbook,
Li, Ming-Hsien ; Lin, Kuan-Yu ; Chen, Peter - p. 269-280 , 2019
Link: https://doi.org/10.1201/..
 
?
11

Synthesize Models for Quantitative Analysis Using Automata ..:

, In: Networked Systems; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Chung, Hsiao-Chen ; Hung, Wen-Chi... - p. 75-92 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Advanced automata-based algorithms for program termination ..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Chen, Yu-Fang ; Heizmann, Matthias ; Lengál, Ondřej... - p. 135-150 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

PAC learning-based verification and model synthesis:

, In: Proceedings of the 38th International Conference on Software Engineering,
Chen, Yu-Fang ; Hsieh, Chiao ; Lengál, Ondřej... - p. 714-724 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

Verifying Curve25519 Software:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,
Chen, Yu-Fang ; Hsu, Chang-Hong ; Lin, Hsin-Hung... - p. 299-309 , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

An efficient scheduling algorithm for maximizing throughput..:

, In: Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly,
Chang, Chih-Yung ; Li, Ming-Hsien ; Huang, Wen-Chuan. - p. 542-546 , 2009
Link: https://dl.acm.org/doi/1..
 
1-15