臺灣學術機構典藏系統 (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

"jie hong jiang"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 31-55 of 179 (8 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	2019-10-24T07:45:23Z	Static Detection of API Call Vulnerabilities in iOS Executables	江介宏;JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Canonicalization of Threshold Logic Representation and its Applications	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Canonicalization of Threshold Logic Representation and its Applications	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-C. Chi; C.-C. Chi; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-C. Chi; C.-C. Chi; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;H.-T. Zhang; H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;H.-T. Zhang; H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Efficient Multi-Layer Obstacle-Avoiding Region-to-Region Rectilinear Steiner Tree Construction	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-M. Li;Y.-W. Chang;Y.-C. Pai;H.-T. Wen;J.-J. Wang;C.-C. Pai;R.-Y. Wang; R.-Y. Wang; C.-C. Pai; J.-J. Wang; H.-T. Wen; Y.-C. Pai; Y.-W. Chang; C.-M. Li; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Efficient Multi-Layer Obstacle-Avoiding Region-to-Region Rectilinear Steiner Tree Construction	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-M. Li;Y.-W. Chang;Y.-C. Pai;H.-T. Wen;J.-J. Wang;C.-C. Pai;R.-Y. Wang; R.-Y. Wang; C.-C. Pai; J.-J. Wang; H.-T. Wen; Y.-C. Pai; Y.-W. Chang; C.-M. Li; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Homing Sequence Derivation with Quantified Boolean Satisfiability	Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG; 江介宏; Kuan-Hua Tu; Hung-En Wang; 江介宏;JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang
臺大學術典藏	2019-10-24T07:45:22Z	Homing Sequence Derivation with Quantified Boolean Satisfiability	Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG; 江介宏; Kuan-Hua Tu; Hung-En Wang; 江介宏;JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang
臺大學術典藏	2019-10-24T07:45:22Z	RecombinaseBased Genetic Circuit Optimization	江介宏;JIE-HONG JIANG;Francois Fages;Jie-Hong Jiang;Chun-Ning Lai; Chun-Ning Lai; Jie-Hong Jiang; Francois Fages; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	RecombinaseBased Genetic Circuit Optimization	江介宏;JIE-HONG JIANG;Francois Fages;Jie-Hong Jiang;Chun-Ning Lai; Chun-Ning Lai; Jie-Hong Jiang; Francois Fages; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	RecombinaseBased Genetic Circuit Optimization	江介宏;JIE-HONG JIANG;Francois Fages;Jie-Hong Jiang;Chun-Ning Lai; Chun-Ning Lai; Jie-Hong Jiang; Francois Fages; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	RecombinaseBased Genetic Circuit Optimization	江介宏;JIE-HONG JIANG;Francois Fages;Jie-Hong Jiang;Chun-Ning Lai; Chun-Ning Lai; Jie-Hong Jiang; Francois Fages; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Sequential Engineering Change Order under Retiming and Resynthesis	江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Victor Kravets;Nian-Ze Lee; Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Sequential Engineering Change Order under Retiming and Resynthesis	江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Victor Kravets;Nian-Ze Lee; Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	A Symbolic Model Checking Approach to the Analysis of String and Length Constraints	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	A Symbolic Model Checking Approach to the Analysis of String and Length Constraints	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:21Z	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:45:21Z	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:45:21Z	Criticality and Sensitivity Analysis for Incremental Performance Optimization of Asynchronous Pipelines	江介宏;JIE-HONG JIANG;Jie-Hong Roland Jiang;Chun-Hong Shih; Chun-Hong Shih; Jie-Hong Roland Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:21Z	Criticality and Sensitivity Analysis for Incremental Performance Optimization of Asynchronous Pipelines	江介宏;JIE-HONG JIANG;Jie-Hong Roland Jiang;Chun-Hong Shih; Chun-Hong Shih; Jie-Hong Roland Jiang; JIE-HONG JIANG; 江介宏

Showing items 31-55 of 179 (8 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 > >>
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 51258141 Online Users : 528 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library