Katherine H. Chiang (姜慧如)
Katherine H. Chiang (姜慧如)
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
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), 2015
Henkin quantifiers and boolean formulae
V Balabanov, HJK Chiang, JHR Jiang
International Conference on Theory and Applications of Satisfiability …, 2012
Building reconfigurable circuitry in a biochemical world
HJK Chiang, JHR Jiang, F Fages
Biomedical Circuits and Systems Conference (BioCAS), 2014 IEEE, 560-563, 2014
Reconfigurable neuromorphic computation in biochemical systems
HJK Chiang, JHR Jiang, F Fages
2015 37th Annual International Conference of the IEEE Engineering in …, 2015
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
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
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
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
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
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
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
Processing and memory device and system
CT Lin, YC Ho, HSU Pin-Cheng, HT Tsai, K Chiang
US Patent App. 16/270,484, 2020
Interleaved routing for mram cell selection
K Chiang, CT Lin, M Cao, R Osborne
US Patent App. 15/995,578, 2019
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
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
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
Biomolecular System Design: Architecture, Synthesis, and Simulation
K Chiang
National Taiwan University, 2015
生物分子計算系統設計: 架構, 合成, 與模擬
KH Chiang
臺灣大學電子工程學研究所學位論文, 1-179, 2015
2004 年國際國中學生科學奧林匹亞競賽國家代表隊出國競賽心得
王思博, 林記揚, 時丕勳, 姜慧如, 陳伯超, 何應佑
科學教育月刊, 2005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20