English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  51253925    Online Users :  1235
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 		 
Scope Adv. Search
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR
About TAIR

Browse By
Institution
Author
Title
Date
Statistics Chart
Institution Facts
Trend

News
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

Copyright
Publisher & Journal Policy
TAIR Copyright Conference Minutes

Related Links
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
Taiwan Academic Institutional Repository >  Browse by Author

"jie hong r jiang"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 76-100 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 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
臺大學術典藏 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
臺大學術典藏 2018-09-10T09:25:33Z 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:25:33Z 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:25:33Z Henkin Quantifiers and Boolean Formulae Valeriy Balabanov;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang; Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:25:33Z Henkin Quantifiers and Boolean Formulae Valeriy Balabanov;Hui-Ju Katherine Chiang;Jie-Hong R. Jiang; Valeriy Balabanov; Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG

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

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team