Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Yu, Ming-Fu
2144  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Motion control of an amphibious hovercraft based on fuzzy w..:

, In: 2012 IEEE 14th International Conference on Communication Technology,
Wang, Cheng-long ; Zhang, Hong-yu ; Fu, Ming-yu - p. 1006-1011 , 2012
Link: https://doi.org/10.1109/..
 
?
2

Research on heading control of Air Cushion Vehicle:

, In: 2008 IEEE International Conference on Automation and Logistics,
Wang, Cheng-long ; Fu, Ming-yu ; Bian, Xin-qian. - p. None , 2008
Link: https://doi.org/10.1109/..
 
?
3

Development of Multipoint Galvo-scan chromatic confocal sur..:

, In: 2022 25th International Conference on Mechatronics Technology (ICMT),
Chou, Yu-Feng ; Yang, Fu-Sheng ; Tsai, Han-Ju... - p. 1-3 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Low-Capacitance SCR for On-Chip ESD Protection with High CD..:

, In: 2019 41st Annual EOS/ESD Symposium (EOS/ESD),
Peng, Po-Lin ; Chu, Li-Wei ; Tsai, Ming-Fu... - p. 1-5 , 2019
Link: https://doi.org/10.23919..
 
?
5

Correction to: CoqCryptoLine: A Verified Model Checker with..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. C1-C1 , 2023
Link: https://doi.org/10.1007/..
 
?
6

The Combination of Recognition Technology and Artificial In..:

, In: Lecture Notes in Computer Science; Innovative Technologies and Learning,
Hwang, Wu-Yuin ; Nurtantyana, Rio ; Lai, Yu-Fu... - p. 67-76 , 2023
Link: https://doi.org/10.1007/..
 
?
7

CoqCryptoLine: A Verified Model Checker with Certified Resu..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 227-240 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Certified Verification for Algebraic Abstraction:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 329-349 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Receiving Technology of Formation Electromagnetic Signal in..:

, In: Proceedings of the International Field Exploration and Development Conference 2021; Springer Series in Geomechanics and Geoengineering,
Zhang, Shou-wei ; Zang, De-fu ; Huang, Yu-ke... - p. 3990-4003 , 2022
Link: https://doi.org/10.1007/..
 
?
10

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vecto..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Shi, Xiaomu ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 149-171 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Detection of the Good Conductor Outside Casing Using Compar..:

, In: Springer Series in Geomechanics and Geoengineering; Proceedings of the International Field Exploration and Development Conference 2019,
Zhang, Shou-wei ; Zang, De-fu ; Zhang, Yi... - p. 1640-1653 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Contributors:

, In: Genetics, Neurology, Behavior, and Diet in Parkinson's Disease,
Alam, Gelareh ; Albino, C.M. ; Almeida, Quincy J.... - p. xiii-xxi , 2020
Link: https://doi.org/10.1016/..
 
?
13

Experimental Study of Transient Electromagnetic Resistivity..:

, In: Proceedings of the International Field Exploration and Development Conference 2018; Springer Series in Geomechanics and Geoengineering,
Liu, Si-hui ; Zang, De-fu ; Zhang, Fu-ming. - p. 713-722 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Signed Cryptographic Program Verification with Typed Crypto..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Fu, Yu-Fu ; Liu, Jiaxiang ; Shi, Xiaomu... - p. 1591-1606 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Analysis on Energy Efficiency and Optimization of HIsmelt P..:

, In: The Minerals, Metals & Materials Series; Energy Technology 2019,
Cao, Chao-zhen ; Meng, Yu-jie ; Yan, Fang-xing... - p. 3-11 , 2019
Link: https://doi.org/10.1007/..
 
1-15