|
"huang c y"的相关文件
显示项目 976-985 / 2022 (共203页) << < 93 94 95 96 97 98 99 100 101 102 > >> 每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-24T05:52:14Z |
Validation and Establishment of an Interval-Level Measure of the Balance Assessment in Sitting and Standing Positions in Patients With Stroke
|
Huang C.-Y.;Song C.-Y.;Chen K.-L.;Chen Y.-M.;Lu W.-S.;I-Ping Hsueh;Hsieh C.-L.; Huang C.-Y.; Song C.-Y.; Chen K.-L.; Chen Y.-M.; Lu W.-S.; I-PING HSUEH; Hsieh C.-L. |
| 臺大學術典藏 |
2020-06-19T02:38:33Z |
DNA Hypermethylation of SHISA3 in Colorectal Cancer: An Independent Predictor of Poor Prognosis
|
Tsai M.-H.;Chen W.-C.;Yu S.-L.;Chen C.-C.;Jao T.-M.;Huang C.-Y.;Tzeng S.-T.;Yen S.-J.;Ya-Chien Yang; Tsai M.-H.; Chen W.-C.; Yu S.-L.; Chen C.-C.; Jao T.-M.; Huang C.-Y.; Tzeng S.-T.; Yen S.-J.; YA-CHIEN YANG |
| 臺大學術典藏 |
2020-06-11T06:44:38Z |
Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge
|
Chang, Y.-R.;Huang, C.-Y.;Kuo, S.-Y.; Chang, Y.-R.; Huang, C.-Y.; Kuo, S.-Y.; SY-YEN KUO |
| 臺大學術典藏 |
2020-06-11T06:38:47Z |
Phosphorous Diffuser Diverged Blue Laser Diode for Indoor Lighting and Communication
|
Chi, Y.-C.;Hsieh, D.-H.;Lin, C.-Y.;Chen, H.-Y.;Huang, C.-Y.;He, J.-H.;Ooi, B.;DenBaars, S.P.;Nakamura, S.;Kuo, H.-C.;Lin, G.-R.; Chi, Y.-C.; Hsieh, D.-H.; Lin, C.-Y.; Chen, H.-Y.; Huang, C.-Y.; He, J.-H.; Ooi, B.; DenBaars, S.P.; Nakamura, S.; Kuo, H.-C.; Lin, G.-R.; GONG-RU LIN |
| 臺大學術典藏 |
2020-06-11T06:33:10Z |
A counterexample-guided interpolant generation algorithm for SAT-based model checking
|
Wu, C.-Y.;Wu, C.-A.;Lai, C.-Y.;Huang, C.-Y.; Wu, C.-Y.; Wu, C.-A.; Lai, C.-Y.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:10Z |
A robust constraint solving framework for multiple constraint sets in constrained random verification
|
Wu, B.-H.;Huang, C.-Y.; Wu, B.-H.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
A high-throughput and arbitrary-distribution pattern generator for the constrained random verification
|
Wu, B.-H.;Yang, C.-J.;Huang, C.-Y.; Wu, B.-H.; Yang, C.-J.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
Match and replace: A functional ECO engine for multierror circuit rectification
|
Huang, S.-L.;Lin, W.-H.;Huang, P.-K.;Huang, C.-Y.; Huang, S.-L.; Lin, W.-H.; Huang, P.-K.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:08Z |
An ultrasynchronization checking method with trace-driven simulation for fast and accurate MPSoC virtual platform simulation
|
Yeh, Y.-F.;Lin, H.-C.;Huang, C.-Y.; Yeh, Y.-F.; Lin, H.-C.; Huang, C.-Y.; CHUNG-YANG HUANG |
| 臺大學術典藏 |
2020-06-11T06:33:06Z |
Automatic abstraction refinement of TR for PDR
|
Fan, K.;Yang, M.-J.;Huang, C.-Y.; Fan, K.; Yang, M.-J.; Huang, C.-Y.; CHUNG-YANG HUANG |
显示项目 976-985 / 2022 (共203页) << < 93 94 95 96 97 98 99 100 101 102 > >> 每页显示[10|25|50]项目
|