|
English
|
正體中文
|
简体中文
|
总笔数 :2856704
|
|
造访人次 :
53755164
在线人数 :
2233
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"ching yi huang"的相关文件
显示项目 6-15 / 38 (共4页)
1 2 3 4 > >>
每页显示[10|25|50]项目
| 元智大學 |
Dec-15 |
Synthesis for Width Minimization in the Single-Electron Transistor Array
|
陳勇志; Chian-Wei Liu; Chang-En Chiang; Ching-Yi Huang; Chun-Yao Wang; Suman Datta; Vijaykrishnan Narayanan |
| 元智大學 |
Dec-15 |
Synthesis for Width Minimization in the Single-Electron Transistor Array
|
陳勇志; Chian-Wei Liu; Chang-En Chiang; Ching-Yi Huang; Chun-Yao Wang; Suman Datta; Vijaykrishnan Narayanan |
| 元智大學 |
Apr-17 |
Dynamic Diagnosis for Defective Reconfigurable Single-Electron Transistor Arrays
|
陳勇志; Yun-Jui Li; Ching-Yi Huang; Chia-Cheng Wu; Chun-Yao Wang; Suman Datta; Vijaykrishnan Narayanan |
| 元智大學 |
Apr-15 |
Correctness Analysis and Power Optimization for Probabilistic Boolean Circuits
|
陳勇志; Ching-Yi Huang; Zheng-Shan Yu; Tung-Chen Tsou; Chun-Yao Wang |
| 國立成功大學 |
2020 |
Long-term effectiveness of pentavalent and monovalent rotavirus vaccines against hospitalization in Taiwan children
|
Huang, Y.-C.;Wu, F.-T.;Huang, Y.-C.;Liu, C.-C.;Chun-Yi-Lee;Lin, H.-C.;Chi, H.;Huang, L.-M.;Ho, Y.-H.;Lee, J.-T.;Shih, Shih S.-M.;Ching-Yi-Huang;Hsiung, C.A.;Alliance, Taiwan Pediatric Infectious Disease |
| 元智大學 |
2018-04-16 |
Using Range-equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking
|
Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chia-Cheng Wu; Chia-Chun Lin; Chun-Yao Wang; 陳勇志 |
| 元智大學 |
2018-04-16 |
Using Range-equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking
|
Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chia-Cheng Wu; Chia-Chun Lin; Chun-Yao Wang; 陳勇志 |
| 元智大學 |
2016-01-25 |
MajorSat: A SAT Solver to Majority Logic
|
陳勇志; Yu-Min Cho; Chun-Yao Wang; Ching-Yi Huang |
| 元智大學 |
2015-09-08 |
Synthesis and Verification of Cyclic Combinational Circuits
|
陳勇志; Jui-Hung Chen; Wan-Chen Weng; Ching-Yi Huang; Chun-Yao Wang |
| 元智大學 |
2015-03-16 |
Using Range-Equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking
|
陳勇志; Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chun-Yao Wang |
显示项目 6-15 / 38 (共4页)
1 2 3 4 > >>
每页显示[10|25|50]项目
|
