|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"jie hong jiang"
Showing items 16-25 of 179 (18 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-11T06:11:15Z |
Encoding multi-valued functions for symmetry.
|
Yuan, Ko-Lung;Kuo, Chien-Yen;Jiang, Jie-Hong R.;Li, Meng-Yen; Yuan, Ko-Lung; Kuo, Chien-Yen; Jiang, Jie-Hong R.; Li, Meng-Yen; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:15Z |
Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits.
|
Lin, Zi-Jun;Huang, Wei-Chih;Jiang, Jie-Hong Roland; Lin, Zi-Jun; Huang, Wei-Chih; Jiang, Jie-Hong Roland; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:14Z |
Recombinase-based genetic circuit optimization
|
Lai, C.-N.;Jiang, J.-H.R.;Fages, F.; Lai, C.-N.; Jiang, J.-H.R.; Fages, F.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:13Z |
Effective FPGA Resource Utilization for Quasi Delay Insensitive Implementation of Asynchronous Circuits.
|
Chang, Yi-Fan Evan;Huang, Ruei-Yang;Jiang, Jie-Hong R.; Chang, Yi-Fan Evan; Huang, Ruei-Yang; Jiang, Jie-Hong R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:12Z |
A Cube Distribution Approach to QBF Solving and Certificate Minimization.
|
Chen, Li-Cheng;Jiang, Jie-Hong R.; Chen, Li-Cheng; Jiang, Jie-Hong R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:12Z |
Bi-decomposition using SAT and interpolation
|
Lee, R.-R.;Jiang, J.-H.R.;Hung, W.-L.; Lee, R.-R.; Jiang, J.-H.R.; Hung, W.-L.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:12Z |
Logic Synthesis in a Nutshell
|
Jiang, J.H.;Devadas, S.; Jiang, J.H.; Devadas, S.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:11Z |
Extracting functions from boolean relations using SAT and interpolation
|
Jiang, J.-H.R.;Lin, H.-P.;Hung, W.-L.; Jiang, J.-H.R.; Lin, H.-P.; Hung, W.-L.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:11Z |
Hardware Equivalence and Property Verification.
|
Jiang, Jie-Hong Roland;Villa, Tiziano;Crama, Yves;Hammer, Peter L.; Jiang, Jie-Hong Roland; Villa, Tiziano; Crama, Yves; Hammer, Peter L.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:11Z |
Clauses Versus Gates in CEGAR-Based 2QBF Solving.
|
Balabanov, Valeriy;Jiang, Jie-Hong Roland;Mishchenko, Alan;Scholl, Christoph; Balabanov, Valeriy; Jiang, Jie-Hong Roland; Mishchenko, Alan; Scholl, Christoph; JIE-HONG JIANG |
Showing items 16-25 of 179 (18 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page
|
