English  |  正體中文  |  简体中文  |  0  
???header.visitor??? :  51254201    ???header.onlineuser??? :  709
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"jie hong r jiang"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 71-95 of 141  (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2018-09-10T09:50:56Z Synthesis of feedback decoders for initialized encoders Kuan-Hua Tu;Jie-Hong R. Jiang; Kuan-Hua Tu; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Synthesis of feedback decoders for initialized encoders Kuan-Hua Tu;Jie-Hong R. Jiang; Kuan-Hua Tu; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Species Minimization in Computation with Biochemical Reactions Ruei-Yang Huang;De-An Huang;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang;Francois Fages; Ruei-Yang Huang; De-An Huang; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Species Minimization in Computation with Biochemical Reactions Ruei-Yang Huang;De-An Huang;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang;Francois Fages; Ruei-Yang Huang; De-An Huang; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; Francois Fages; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models Hui-Ju Katherine Chiang;Francois Fages;Jie-Hong R. Jiang;Sylvain Soliman; Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong R. Jiang; Sylvain Soliman; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models Hui-Ju Katherine Chiang;Francois Fages;Jie-Hong R. Jiang;Sylvain Soliman; Hui-Ju Katherine Chiang; Francois Fages; Jie-Hong R. Jiang; Sylvain Soliman; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Encoding Multi-Valued Functions for Symmetry Ko-Lung Yuan;Chien-Yen Kuo;Jie-Hong R. Jiang;Meng-Yen Li; Ko-Lung Yuan; Chien-Yen Kuo; Jie-Hong R. Jiang; Meng-Yen Li; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Encoding Multi-Valued Functions for Symmetry Ko-Lung Yuan;Chien-Yen Kuo;Jie-Hong R. Jiang;Meng-Yen Li; Ko-Lung Yuan; Chien-Yen Kuo; Jie-Hong R. Jiang; Meng-Yen Li; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions Shin-Yann Ho;Shuo-Ren Lin;Ko-Lung Yuan;Chien-Yen Kuo;Kuan-Yu Liao;Jie-Hong R. Jiang;Chien-Mo James Li; Shin-Yann Ho; Shuo-Ren Lin; Ko-Lung Yuan; Chien-Yen Kuo; Kuan-Yu Liao; Jie-Hong R. Jiang; Chien-Mo James Li; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions Shin-Yann Ho;Shuo-Ren Lin;Ko-Lung Yuan;Chien-Yen Kuo;Kuan-Yu Liao;Jie-Hong R. Jiang;Chien-Mo James Li; Shin-Yann Ho; Shuo-Ren Lin; Ko-Lung Yuan; Chien-Yen Kuo; Kuan-Yu Liao; Jie-Hong R. Jiang; Chien-Mo James Li; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:55Z Functional Timing Analysis Made Fast and General Yi-Ting Chung;Jie-Hong R. Jiang; Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:55Z Functional Timing Analysis Made Fast and General Yi-Ting Chung;Jie-Hong R. Jiang; Yi-Ting Chung; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:55Z Software Workarounds for Hardware Errors: Instruction Patch Synthesis Tsung-Po Liu;Shuo-Ren Lin;Jie-Hong R. Jiang; Tsung-Po Liu; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:55Z Software Workarounds for Hardware Errors: Instruction Patch Synthesis Tsung-Po Liu;Shuo-Ren Lin;Jie-Hong R. Jiang; Tsung-Po Liu; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:34Z When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way Cheng-Shen Han;Jie-Hong R. Jiang; Cheng-Shen Han; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:34Z When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way Cheng-Shen Han;Jie-Hong R. Jiang; Cheng-Shen Han; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:34Z Improving Design Verifiability by Early RTL Coverability Analysis Kai-Hui Chang;Chia-Wei Chang;Jie-Hong R. Jiang;Chien-Nan Jimmy Liu; Kai-Hui Chang; Chia-Wei Chang; Jie-Hong R. Jiang; Chien-Nan Jimmy Liu; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:34Z Improving Design Verifiability by Early RTL Coverability Analysis Kai-Hui Chang;Chia-Wei Chang;Jie-Hong R. Jiang;Chien-Nan Jimmy Liu; Kai-Hui Chang; Chia-Wei Chang; Jie-Hong R. Jiang; Chien-Nan Jimmy Liu; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:34Z Compiling Program Control Flows into Biochemical Reactions Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG; De-An Huang;Jie-Hong R. Jiang;Ruei-Yang Huang;Chi-Yun Cheng; De-An Huang
臺大學術典藏 2018-09-10T09:25:34Z Compiling Program Control Flows into Biochemical Reactions Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG; De-An Huang;Jie-Hong R. Jiang;Ruei-Yang Huang;Chi-Yun Cheng; De-An Huang
臺大學術典藏 2018-09-10T09:25:33Z Unified QBF Certification and its Applications Valeriy Balabanov;Jie-Hong R. Jiang; Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:33Z Unified QBF Certification and its Applications Valeriy Balabanov;Jie-Hong R. Jiang; Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:33Z Automatic Decoder Synthesis: Methods and Case Studies Hsiou-Yuan Liu;Yen-Cheng Chou;Chen-Hsuan Lin;Jie-Hong R. Jiang; Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:33Z Automatic Decoder Synthesis: Methods and Case Studies Hsiou-Yuan Liu;Yen-Cheng Chou;Chen-Hsuan Lin;Jie-Hong R. Jiang; Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:33Z Clock Rescheduling for Timing Engineering Change Orders Kuan-Hsien Ho;Xin-Wei Shih;Jie-Hong R. Jiang; Kuan-Hsien Ho; Xin-Wei Shih; Jie-Hong R. Jiang; JIE-HONG JIANG

Showing items 71-95 of 141  (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page