|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
51249252
Online Users :
1037
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"jie hong jiang"
Showing items 101-110 of 179 (18 Page(s) Totally)
<< < 6 7 8 9 10 11 12 13 14 15 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2019-10-24T07:43:07Z |
Towards Formal Evaluation and Verification of Probabilistic Design
|
JIE-HONG JIANG;Jie-Hong R. Jiang;Nian-Ze Lee; Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2019-10-24T07:43:07Z |
Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits
|
JIE-HONG JIANG;Jie-Hong R. Jiang;Yi-Hsiang Lai;Hao-Yuan Kuo;Nian-Ze Lee; Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2019-10-24T07:43:07Z |
Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits
|
JIE-HONG JIANG;Jie-Hong R. Jiang;Yi-Hsiang Lai;Hao-Yuan Kuo;Nian-Ze Lee; Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:36:37Z |
Design Partitioning for Large Scale Equivalence Checking and Functional Correction
|
Grace Wu; Yi-Tin Sun; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:36:37Z |
2QBF: Challenges and Solutions
|
Valeriy Balabanov;Jie-Hong Rol;Jiang, Christoph Scholl;Alan Mishchenko;Robert K. Brayton; Valeriy Balabanov; Jie-Hong Rol; Jiang, Christoph Scholl; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:36:37Z |
String Analysis via Automata Manipulation with Logic Circuit Representation
|
Hung-En Wang; Tzung-Lin Tsai; Chun-Han Lin; Fang Yu; Jie-Hong R. Jiang; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:33:10Z |
Simultaneous EUV flare variation minimization and CMP control by coupling-aware dummification
|
Chiang, H.-J.K.; Liu, C.-Y.; Jiang, J.-H.R.; Chang, Y.-W.; Chiang, H.-J.K.; Liu, C.-Y.; Jiang, J.-H.R.; Chang, Y.-W.; YAO-WEN CHANG; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
|
Valeriy Balabanov;Jie-Hong R. Jiang;Mikolas Janota;Magdalena Widl; Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Scalable Sequence-Constrained Retention Register Minimization in Power Gating Design
|
JIE-HONG JIANG; Ting-Wei Chiang;Kai-Hui Chang;Yen-Ting Liu;Jie-Hong R. Jiang; Ting-Wei Chiang; Kai-Hui Chang; Yen-Ting Liu; Jie-Hong R. Jiang |
| 臺大學術典藏 |
2018-09-10T15:26:17Z |
Reconfigurable neuromorphic computation in biochemical systems
|
Hui-Ju Katherine Chiang;Jie-Hong R. Jiang;Francois Fages; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG |
Showing items 101-110 of 179 (18 Page(s) Totally)
<< < 6 7 8 9 10 11 12 13 14 15 > >>
View [10|25|50] records per page
|
