Skip navigation
DSpace
機構典藏 DSpace 系統致力於保存各式數位資料(如:文字、圖片、PDF)並使其易於取用。
點此認識 DSpace
English
中文
瀏覽論文
校院系所
出版年
作者
標題
關鍵字
搜尋 TDR
授權 Q&A
幫助
我的頁面
接受 E-mail 通知
編輯個人資料
NTU Theses and Dissertations Repository
瀏覽 的方式: 作者 江介宏(Jie-Hong Jiang)
跳到:
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
或是輸入前幾個字:
排序方式:
標題
出版年
排序方式:
升冪排序
降冪排序
結果/頁面
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄:
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 1 到 19 筆資料,總共 19 筆
出版年
標題
作者
系所
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; 包偉力
電子工程學研究所