Skip navigation
DSpace
JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
English
中文
Browse
Communities
& Collections
Publication Year
Author
Title
Subject
Search TDR
Rights Q&A
Help
My Page
Receive email
updates
Edit Profile
NTU Theses and Dissertations Repository
Browsing by Author 江介宏(Jie-Hong Jiang)
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
publish year
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 19 of 19
Publication Year
Title
Author(s)
Department
2019
二值化神經網路之邏輯合成
Logic Synthesis of Binarized Neural Network
Chia-Chih Chi; 綦家志
電子工程學研究所
2009
以自我防護機制為基礎的主動式積體電路量測技術
Active IC Metering through Self-Protection
Chia-Chao Kan; 甘家兆
電子工程學研究所
2009
利用可調整內插法計算邏輯無關項
Don't-Care Computation via Adjustable Interpolation
I-Hsin Chen; 陳一心
電子工程學研究所
2010
利用抽象化及動態學習之布林比對
Boolean Matching with Abstraction and Dynamic Learning
Chih-Fan Lai; 賴之凡
電子工程學研究所
2011
利用虛擬布林規劃求解多值函式之對稱性布林編碼
Pseudo-Boolean Constraint Formulation of Symmetry Boolean Encoding for Multi-Valued Function
Meng-Yen Li; 李孟彥
電子工程學研究所
2019
可重組式電池組之充電策略與延伸架構容錯性探討
Charge Control Algorithm and Fail-operational Investigation of Reconfigurable Battery Array
Yu-Cheng Pai; 白祐承
電子工程學研究所
2014
執行於含錯處理器程式之修復編譯器
A QBF-Based Recompiler for Code Generation on Erroneous Processors and Beyond
Ping-Han Tsai; 蔡秉翰
電子工程學研究所
2013
多值函式之對稱性編碼
Symmetry Encoding of Multi-valued Functions
Chien-Yen Kuo; 郭建言
電子工程學研究所
2008
延遲導向技術映射之動態準確度精進法
A Dynamic Accuracy-Refinement Approach to Timing-Driven Technology Mapping
Sz-Cheng Huang; 黃思誠
電子工程學研究所
2014
應用時間特徵函式之針對延遲缺陷自動測資產生方法
Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions
Shin-Yann Ho; 何欣諺
電子工程學研究所
2017
深度神經網路於現場可程式化邏輯閘陣列之高效實作與轉換方法
Mapping Deep Neural Network for Efficient FPGA Implementation
Hao-Yuan Kuo; 郭皓元
電子工程學研究所
2016
無網格之自對準三圖案光罩分割之布林可滿足問題
A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning
Hsiao-Lei Chien; 錢曉蕾
電子工程學研究所
2015
生物分子計算系統設計:架構、合成、與模擬
Biomolecular Computing System Design: Architecture, Synthesis, and Simulation
Katherine H. Chiang; 姜慧如
電子工程學研究所
2020
象徵性均勻採樣之於互斥或閘電路
Symbolic Uniform Sampling with XOR Circuits
Yen-Ting Lin; 林彥廷
電子工程學研究所
2020
透過布林推理從生物酵素資料庫探勘生物醫學電路
Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning
Yu-Chou Lin; 林裕洲
電子工程學研究所
2016
透過酶反應之生化系統合成
Biochemical System Synthesis using Enzyme Reactions
Yu-Chan Wang; 王瑜禪
電子工程學研究所
2009
運用內插法及求解可滿足性之大型布林函數二元分解法
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
Ruei-Rung Lee; 李瑞榮
電子工程學研究所
2013
量化布林代數認證之化簡
Simplification of Quantified Boolean Formula Certificates
Shuo-Ren Lin; 林碩紝
電子工程學研究所
2015
量詞布林公式之歸結證明系統與正反模型萃取
Certification in Quantified Decision Procedures
Valeriy Balabanov; 包偉力
電子工程學研究所