Katherine H. Chiang (姜慧如)
Katherine H. Chiang (姜慧如)
TSMC
Dirección de correo verificada de ntu.edu.tw
TítuloCitado porAño
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
V Balabanov, HJK Chiang, JHR Jiang
Theoretical Computer Science 523, 86-100, 2014
352014
Henkin quantifiers and boolean formulae
V Balabanov, HJK Chiang, JHR Jiang
International Conference on Theory and Applications of Satisfiability …, 2012
112012
Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications
TY Chiu, HJK Chiang, RY Huang, JHR Jiang, F Fages
PloS one 10 (9), e0137442, 2015
92015
Building reconfigurable circuitry in a biochemical world
HJK Chiang, JHR Jiang, F Fages
Biomedical Circuits and Systems Conference (BioCAS), 2014 IEEE, 560-563, 2014
82014
Reconfigurable neuromorphic computation in biochemical systems
HJK Chiang, JHR Jiang, F Fages
2015 37th Annual International Conference of the IEEE Engineering in …, 2015
62015
Simultaneous EUV flare variation minimization and CMP control with coupling-aware dummification
CY Liu, HJK Chiang, YW Chang, JHR Jiang
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2014
42014
Species minimization in computation with biochemical reactions
RY Huang, DA Huang, HJK Chiang, JH Jiang, F Fages
IWBDA 2013-5th International Workshop on Bio-Design Automation, 1-2, 2013
32013
Hybrid Simulations of Heterogeneous Biochemical Models in SBML
HJK Chiang, F Fages, JHR Jiang, S Soliman
ACM Transactions on Modeling and Computer Simulation (TOMACS) 25 (2), 14, 2015
22015
Simultaneous EUV Flare Variation Minimization and CMP Control by Coupling-Aware Dummification
HJ Chiang, CY Liu, JH Jiang, YW Chang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016
12016
Efficiently retrieving images that we perceived as similar
HJK Chiang, SH Wang, JY Hsu
Workshops at the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
12014
Configurable Linear Control of Biochemical Systems
TY Chiu, RY Huang, HJ Chiang, JH Jiang, F Fages
IWBDA 2014-6th international workshop on bio-design automation, 2014
12014
On the hybrid composition and simulation of heterogeneous biochemical models
K Chiang, F Fages, JH Jiang, S Soliman
International Conference on Computational Methods in Systems Biology, 192-205, 2013
12013
微流体装置、生化检测系统及方法
黄睿政, 姜慧如, 刘佩雯, 李维, 苏哿暐
CN Patent 108,568,320 A, 2018
2018
Method and System for Integrated Circuit Design With On-Chip Variation and Spatial Correlation
K Chiang, C Hsiao, C Huang, JY Chen, K Su, C Lin, L Chang, M Jeng
US Patent 20,170,316,138, 2017
2017
Toward self-adapting computation in cells: building spiking neural network with cell signaling pathways
KH Chiang
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2017
2017
A comprehensive solution for BEOL variation characterization and modeling
K Chiang, JF Huang, TY Cheng, C Hsiao, J Sun, C Cheng, KP Lu, KW Su, ...
2016 International Conference on Simulation of Semiconductor Processes and …, 2016
2016
Biomolecular System Design: Architecture, Synthesis, and Simulation
K Chiang
National Taiwan University, 2015
2015
生物分子計算系統設計: 架構, 合成, 與模擬
KH Chiang
臺灣大學電子工程學研究所學位論文, 1-179, 2015
2015
2004 年國際國中學生科學奧林匹亞競賽國家代表隊出國競賽心得
王思博, 林記揚, 時丕勳, 姜慧如, 陳伯超, 何應佑
科學教育月刊, 2005
2005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19