Wang, Yu-Fu
5174  Ergebnisse:
Personensuche X
?
3

Numerical Simulation of Blood Flow in Internal Carotid Arte..:

, In: 2010 4th International Conference on Bioinformatics and Biomedical Engineering,
Xu, Bai-nan ; Wang, Fu-yu ; Liu, Lei. - p. 1-4 , 2010
 
?
4

Investigation on fabricating high SiC volume fraction of el..:

, In: 2010 11th International Conference on Electronic Packaging Technology & High Density Packaging,
Wang, Kai-kun ; Li, Jian ; Li, Ming-rong.. - p. 394-398 , 2010
 
?
5

Multispectral Wideband Microwave Meta-absorber with Optical..:

, In: 2024 Photonics & Electromagnetics Research Symposium (PIERS),
Sun, Hui-Ting ; Song, Liang-Wei ; Wang, Jun... - p. 1-8 , 2024
 
?
6

Reliability Analysis of Wind Turbine Blades Based on Numeri..:

, In: Advances in Mechanical Design; Mechanisms and Machine Science,
Ge, Xin-Yu ; Bi, Jun-Xi ; Ma, Hang... - p. 1293-1311 , 2024
 
?
7

Implementation of a Quality Evaluation System for Chest Com..:

, In: 2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan),
Lin, Yan-Heng ; Tsan, Yu-Tse ; Chan, Yu-Wei... - p. 583-584 , 2023
 
?
8

First Stacked Nanosheet FeFET Featuring Memory Window of 1...:

, In: 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits),
Chen, Yu-Rui ; Liu, Yi-Chun ; Zhao, Zefu... - p. 1-2 , 2023
 
?
9

Design of Optical System of Augmented Reality Near Eye Devi..:

, In: 2023 IEEE 6th Eurasian Conference on Educational Innovation (ECEI),
Chang, Chao-Kai ; Yeh, Feng-Ming ; Lue, Jiann-Hwa... - p. 333-335 , 2023
 
?
10

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
 
?
11

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
 
?
12

UAV-Assisted Intelligent Traffic Diagnosis System Design:

, In: 2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan),
Wang, Yu-Ying ; Huang, Chen-Wei ; Huang, Yi-Hua.. - p. 821-822 , 2023
 
?
13

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
 
?
14

High-Endurance MoS2 FeFET with Operating Voltage Fess Than ..:

, In: 2023 International Electron Devices Meeting (IEDM),
 
?
15

Status and Performance of Integration Modules Toward Scaled..:

, In: 2023 International Electron Devices Meeting (IEDM),
 
1-15