Publications

Quantum Computing and Algorithms

王喬萱 (Chiao-Hsuan, Wang)

Quantum capacities of transducers, C.-H. Wang, F. Li, and L. Jiang, arXiv:2203.00012 (2022).
Generalized matching condition for unity efficiency quantum transduction, C.-H. Wang, M. Zhang, and L. Jiang, arXiv:2202.06960 (2022).
Chiral anomaly in (1+1) dimensions revisited: complementary kinetic perspective and universality, Wei-Han Hsiao and C.-H. Wang, arXiv:2201.02844 (2022).
Autonomous quantum error correction and quantum computation, J. Lebreuilly, K. Noh, C.-H. Wang, S. M. Girvin, and L. Jiang, arXiv:2103.05007 (2021).
Photon-number dependent Hamiltonian engineering for cavities, C.-H. Wang, K. Noh, J. Lebreuilly, S. M. Girvin, and L. Jiang, Phys. Rev. Applied 15, 044026 (2021).
Waveguide Cavity Optomagnonics for Broadband Multimode Microwave-to-Optics Con- version, N. Zhu, X. Zhang, X. Han, C-L Zou, C. Zhong, C.-H. Wang, L. Jiang, and H. X. Tang, Optica 7, 1291 (2020).
Theory of Bose condensation of light via laser cooling of atoms, C.-H. Wang, M. J. Gullans, J. V. Porto, W. D. Phillips, and J. M. Taylor, Phys. Rev. A 99, 031801(R) (2019).
Photon thermalization via laser cooling of atoms, C.-H. Wang, M. J. Gullans, J. V. Porto, W. D. Phillips, and J. M. Taylor, Phys. Rev. A 98, 013834 (2018).
Optomechanical approach to controlling the temperature and chemical potential of light, C.-H. Wang and J. M. Taylor, Phys. Rev. A 97, 033850 (2018).
Landauer formulation of photon transport in driven systems, C.-H. Wang and J. M. Taylor, Phys. Rev. B 94, 155437 (2016) .
Quantum model for entropic springs, C.-H. Wang and J. M. Taylor, Phys. Rev. B 93, 214102 (2016)
Quantum corrections to entropic gravity, P. Chen and C.-H. Wang, Mod. Phys. Lett. A 28, 1340010 (2013).
Where is ¯h hiding in entropic gravity?, P. Chen and C.-H. Wang, arXiv:1112.3078 (2011).

江介宏 (Jie-Hong, Jiang)

Nian-Ze Lee, Jie-Hong R. Jiang, “Towards Formal Evaluation and Verification of Probabilistic Design,” IEEE Trans. Computers, 67(8), 1202-1216, Aug. 2018
Tai-Yin Chiu and Jie-Hong R. Jiang, “Logic Synthesis of Recombinase Based Genetic Circuits,” Scientific Reports, 7, Article No. 12873, doi:10.1038/s41598-017-07386-3, Oct. 2017
Hsiao-Lei Chien, Mei-Yen Chiu, Jie-Hong R. Jiang, “A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning,” IEEE Trans. on CAD of Integrated Circuits and Systems, 36(8): 1251-1264, Aug. 2017
Yi-Hsiang Lai, Chi-Chuan Chuang, Jie-Hong R. Jiang, “Scalable Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35(11): 1797-1810, Nov. 2016
Valeriy Balabanov, Shuo-Ren Lin, and Jie-Hong R. Jiang, “Flexibility and Optimization of QBF Skolem-Herbrand Certificates,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35(9): 1557-1568, Sept. 2016
Hui-Ju Katherine Chiang, Chi-Yuan Liu, Jie-Hong R. Jiang, Yao-Wen Chang, “Simultaneous EUV Flare Variation Minimization and CMP Control by Coupling-Aware Dummification,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35(4): 598-610, Apr. 2016
Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang, “Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions,” The Computer Journal, 58(11): 2793-2803, Nov. 2015
Tai-Yin Chiu, Hui-Ju K. Chiang, Ruei-Yang Huang, Jie-Hong R. Jiang, François Fages, “Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications,” PLOS ONE, 10(9): e0137442, Sept. 2015
Hui-Ju Katherine Chiang, Francois Fages, Jie-Hong Roland Jiang, and Sylvain Soliman, “Hybrid Simulations of Heterogeneous Biochemical Models in SBML,” ACM Trans. Model. Comput. Simul., 25(2):14, Feb. 2015
Valeriy Balabanov, Hui-Ju K. Chiang, and Jie-Hong R. Jiang, “Henkin quantifiers and Boolean formulae: A certification perspective of DQBF,” Theoretical Computer Science (TCS), 523(2), pp. 86-100, Feb. 2014
Tsung-Po Liu, Shuo-Ren Lin, and Jie-Hong R. Jiang, “Software Workarounds for Hardware Errors: Instruction Patch Synthesis,” IEEE Trans. on CAD of Integrated Circuits and Systems (TCAD), 32(12), pp. 1992-2003, Dec. 2013
Yi-Ting Chung and Jie-Hong R. Jiang, “Functional Timing Analysis Made Fast and General,” IEEE Trans. on CAD of Integrated Circuits and Systems (TCAD), 32(9), pp. 1421-1434, Sept. 2013
Kuan-Hsien Ho, Jie-Hong R. Jiang, and Yao-Wen Chang, “TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders,” IEEE Trans. on CAD of Integrated Circuits and Systems (TCAD), 31(11), pp. 1723-1733, Nov. 2012
Hsiou-Yuan Liu, Yen-Cheng Chou, Chen-Hsuan Lin, and Jie-Hong R. Jiang, “Automatic Decoder Synthesis: Methods and Case Studies,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 31(9), pp. 1319-1331, Sept. 2012
Valeriy Balabanov and Jie-Hong R. Jiang, “Unified QBF Certification and its Applications,” Formal Methods in System Design (FMSD), 41(1), pp. 45-65, Aug. 2012
Alan Mishchenko, Robert Brayton, Jie-Hong R. Jiang, and Stephen Jang, “Scalable Don't-Care-Based Logic Optimization and Resynthesis,” ACM Transactions on Reconfigurable Technology and Systems (TRETS), 4(4):34, Dec. 2011
Jie-Hong Roland Jiang, Hsuan-Po Lin, and Wei-Lun Hung, “Extracting Functions from Boolean Relations Using SAT and Interpolation,” Advanced Techniques in Logic Synthesis, Optimizations and Applications, Sunil Khatri and Kanupriya Gulati, editors, Springer, (book chapter, pages 287-307), 2011
Ruei-Rung Lee, Jie-Hong Roland Jiang, and Wei-Lun Hung, “Bi-decomposition Using SAT and Interpolation,” Advanced Techniques in Logic Synthesis, Optimizations and Applications, Sunil Khatri and Kanupriya Gulati, editors, Springer, (book chapter, pages 87-105), 2011
Hsuan-Po Lin, Jie-Hong Roland Jiang, and Ruei-Rung Lee, “Ashenhurst Decomposition Using SAT and Interpolation,” Advanced Techniques in Logic Synthesis, Optimizations and Applications, Sunil Khatri and Kanupriya Gulati, editors, Springer, (book chapter, pages 67-85), 2011
Jie-Hong R. Jiang and Tiziano Villa, “Hardware Equivalence and Property Verification,” Boolean Methods and Models in Mathematics, Computer Science and Engineering, Y. Crama and P. L. Hammer, editors, Cambridge University Press, (book chapter, pages 599-674), May 2010
Jie-Hong R. Jiang, Chih-Chun Lee, Alan Mishchenko, and Chung-Yang Huang, “To SAT or Not to SAT: Scalable Exploration of Functional Dependency,” IEEE Transactions on Computers (TCOM), vol. 59, no. 4, pages 457-467, Apr. 2010
Jie-Hong R. Jiang and Srinivas Devadas, “Logic Synthesis in a Nutshell,” Electronic Deisng Automation: Synthesis, Verification, and Test, Wang et al., editors, Morgan Kaufmann Publishers, (book chapter, pages 299-404), 2009

李彥寰 (Yen-Huan, Li)

Maximum-likelihood quantum state tomography by Cover's method with non-asymptotic analysis, arXiv:2110.00747.
C.-M. Lin, H.-C. Cheng, and Y.-H. Li
Minimizing quantum Renyi divergences via mirror descent with Polyak step size, BIID'9, 2021 (lighting talk presentation); ISIT 2022.
J.-K. Yu, H.-C. Cheng, and Y.-H. Li
An online algorithm for maximum-likelihood quantum state tomography. QIP 2021 (poster).
C.-M. Lin, Y.-M. Hsu, and Y.-H. Li
Online positron emission tomography by online portfolio selection. ICASSP 2020.
Y.-H. Li
Convergence of the exponentiated gradient method with Armijo line search, J. Optim. Theory Appl., 2019.
Y.-H. Li and V. Cevher
Learning without Smoothness and Strong Convexity. PhD Thesis. 2018.
Y.-H. Li
A general convergence result for mirror descent with Armijo line search, arXiv, 2018.
Y.-H. Li, C. A. Riofrio, and Volkan Cevher
Learning-based compressive MRI, IEEE Trans. Med. Imaging. 2018.
B. Gozcu, R. K. Mahabadi, Y.-H. Li, E. Ilicak, T. Cukur, J. Scarlett, and V. Cevher
Estimation error of the constrained lasso, Allerton 2016.
N. Zerbib, Y.-H. Li, Y.-P. Hsieh, and V. Cevher
[preprint, slides]
Learning-based compressive subsampling, IEEE J. Sel. Top. Signal Process., 2016.
L. Baldassarre, Y.-H. Li, J. Scarlett, B. Gözcü, I. Bogunovic, and V. Cevher
[arXiv preprint]
Learning data triage: Linear decoding works for compressive MRI, ICASSP 2016.
Y.-H. Li and V. Cevher
[arXiv preprint, slides]
Frank-Wolfe works for non-Lipschitz continuous gradient objectives: Scalable Poisson phase retrieval, ICASSP 2016.
G. Odor, Y.-H. Li, A. Yurtsever, Y.-P. Hsieh, Q. Tran-Dinh, M. El Halabi, and V. Cevher
[arXiv preprint with complete proofs]
A geometric view on constrained M-estimators, arXiv, 2015.
Y.-H. Li, Y.-P. Hsieh, N. Zerbib, and V. Cevher
Composite minimization involving self-concordant-like cost functions, MCO 2015.
Q. Tran-Dinh, Y.-H. Li, and V. Cevher
[slides for ISMP 2016]
Sparsistency of \ell_1-regularized M-estimators, AISTATS 2015 (oral, top 6%).
Y.-H. Li, J. Scarlett, P. Ravikumar, and V. Cevher
Consistency of \ell_1-regularized maximum likelihood for compressive Poisson regression, ICASSP 2015.
Y.-H. Li and V. Cevher
Barrier smoothing for nonsmooth convex minimization, ICASSP 2014.
Q. Tran-Dinh, Y.-H. Li, and V. Cevher
An interpretation of the Moore-Penrose generalized inverse of a singular Fisher information matrix, IEEE Trans. Signal Process., 2012.
Y.-H. Li and P.-C. Yeh
Adaptive precoder selection for multicast broadcast services in MIMO-OFDMA systems, VTC-Spring 2010.
H.-C. Hu, Y.-H. Li, and P.-C. Yeh
MIMO-OFDM PHY integrated (MOPI) scheme for confidential wireless transmission, WCNC 2010.
J.-P. Cheng, Y.-H. Li, P.-C. Yeh, and C.-M. Cheng
Performance analysis for type-II hybrid ARQ systems, GLOBECOM 2008.
Y.-H. Kao, Y.-H. Li, W.-A. Lin, H.-C. Hu, and P.-C. Yeh

林俊達 (Guin-Dar, Lin)

Wen-Han Png, Ting Hsu, Tze-Wei Liu, Guin-Dar Lin, Ming-Shien Chang, Quantum computing with trapped ions: An overview. IEEE Nanotechnology Magazine (2022). Accepted.
H. H. Jen, G.-D. Lin, and Y.-C. Chen, Resonant dipole-dipole interactions in electromagnetically induced transparency. Phys. Rev. A 105, 063711 (2022)
Y.-C. Shen and G.-D. Lin*, Scalable quantum computing stabilised by optical tweezers on an ion crystal. New Journal of Physics 22, 053032 (2020).
H. H. Jen*, M.-S. Chang, G.-D. Lin, and Y.-C. Chen, Subradiance dynamics in a singly excited chirally coupled atomic chain. Phys. Rev. A 101, 023830 (2020).
T. H. Chang, G.-D. Lin and H.-H. Jen*, Spectral shaping of the biphoton state from multiplexed thermal atomic ensembles. Journal of Physics B: Atomic, Molecular and Optical Physics 53, 085403 (2020).
Kuan-Ting Lin, Ting Hsu, Chen-Yu Lee, Io-Chun Hoi, Guin-Dar Lin*, Scalable collective Lamb shift of a 1D superconducting qubit array in front of a mirror. Scientific Reports 9, 19175 (2019).
P. Y. Wen*, K.-T. Lin*, A. F. Kockum*, B. Suri, H. Ian, J. C. Chen, S. Y. Mao, C. C. Chiu, P. Delsing, F. Nori, G.-D. Lin, and I.-C. Hoi*, Large collective Lamb shift of two distant superconducting artificial atoms. Phys. Rev. Lett. 123, 233602 (2019).
T. H. Chang, G.-D. Lin, and H. H. Jen*, Spectrally entangled biphoton state of cascade emissions from a Doppler-broadened atomic ensemble. Journal of Physics B: Atomic, Molecular and Optical Physics 52(13), 135501 (2019).
Yen-Yu Lai, Guin-Dar Lin, Jason Twamley, and Hsi-Sheng Goan*, Single-nitrogen-vacancy-center quantum memory for a superconducting flux qubit mediated by a ferromagnet, Phys. Rev. A 97, 052303 (May, 2018).
G.-D. Lin* and Luming Duan, Sympathetic cooling in a large ion crystal, Quantum Information Processing 15, 5299--5313 (December, 2016).
Ching-Kit Chan*, G.-D. Lin, Susanne F. Yelin, and Mikhail D. Lukin, Quantum interference between independent reservoirs in open quantum systems, Phys. Rev. A 89, 042117 (April, 2014).
G.-D. Lin* and S. F. Yelin*, Vibrational spectroscopy of polar molecules with superradiance, Molecular Physics, 111:12-13, 1917-1922 (2013).
Simcha Korenblit, Dvir Kafri, Wess C. Campbell, Rajibul Islam, Emily E. Edwards, Zhe-Xuan Gong, Guin-Dar Lin, Luming Duan, Jungsang Kim, Kihwan Kim, and Chris Monroe*, Quantum simulation of spin models on an arbitrary lattice with trapped ions, New Journal of Physics 14, 095024 (September, 2012).
G.-D. Lin and S. F. Yelin, Superradiance: an integrated approach to cooperative effects in various systems, Advances in Atomic Molecular Optical Physics 61, Elsevier, Chapter 6, p295--329 (July, 2012). ISBN: 978-0-12-396482-3.
G.-D. Lin and S. F. Yelin, Superradiance in spin-j particles: Effects of multiple levels, Phys. Rev. A 85, 033831 (March, 2012).
K. Kim, S. Korenblit, R. Islam, E. E. Edwards, M.-S. Chang, C. Noh, H. Carmichael, G.-D. Lin, L.-M. Duan, C. C. Joseph Wang, J. K. Freericks, and C. Monroe, Quantum simulation of the transverse Ising model with trapped ions, New Journal of Physics 13, 105003 (October, 2011).
G.-D. Lin and L.-M. Duan, Equilibration and temperature distribution in a driven ion chain, New Journal of Physics 13, 075015 (July, 2011).
R. Islam, E. E. Edwards, K. Kim, S. Korenblit, C. Noh, H. Carmichael, G.-D. Lin, L.-M. Duan, C.-C. Wang, J. K. Freericks and C. Monroe, Onset of a Quantum Phase Transition with a Trapped Ion Quantum Simulator, Nature Communications 2, 377 (July, 2011).
G.-D. Lin, C. Monroe, and L.-M. Duan, Sharp phase transition in a small frustrated network of trapped ion spins, Phys. Rev. Lett. 106, 230402 (June, 2011).
Zhe-Xuan Gong, G.-D. Lin, and L.-M. Duan, Temperature-driven structural phase transition for trapped ions and a proposal for its experimental detection, Phys. Rev. Lett. 105, 265703 (December, 2010).
E. E. Edwards, S. Korenblit, K. Kim, R. Islam, M.-S. Chang, J. K. Freericks, G.-D. Lin, L.-M. Duan, and C. Monroe, Quantum simulation and phase diagram of the transverse-field Ising model with three atomic spins, Phys. Rev. B 82, 060412 (August, 2010).
K. Kim, M.-S. Chang, S. Korenblit, R. Islam, E. E. Edwards, J. K. Freericks, G.-D. Lin, L.-M. Duan and C. Monroe, Quantum simulation of frustrated Ising spins with trapped ions, Nature 465, 590 (June, 2010).
G.-D. Lin, S.-L. Zhu, R. Islam, K. Kim, M.-S. Chang, S. Korenblit, C. Monroe, L.-M. Duan, Large-scale quantum computation in an anharmonic linear ion trap, Europhys. Lett. 86, 60004 (June, 2009).
Wei Zhang, G.-D. Lin, L.-M. Duan, Berezinskii-Kosterlitz-Thouless transition in a trapped quasi-two-dimensional Fermi gas near a Feshbach resonance, Phys. Rev. A 78, 043617 (October, 2008).
Wei Zhang, G.-D. Lin, L.-M. Duan, BCS-BEC crossover of a quasi-two-dimensional Fermi gas: the significance of dressed molecules, Phys. Rev. A 77, 063613 (June, 2008).
G.-D. Lin, Wei Zhang, and L.-M. Duan, Characteristics of Bose-Einstein condensation in an optical lattice, Phys. Rev. A 77, 043626 (April, 2008).
W. Yi, G.-D. Lin, and L.-M. Duan, Signal of Bose condensation in an optical lattice at finite temperature, Phys. Rev. A 76, 031602(R) (September, 2007).
G.-D. Lin, W. Yi, and L.-M. Duan, Superfluid shells for trapped fermion with mass and population imbalance, Phys. Rev. A 74, 031604(R) (September, 2006).

高英哲 (Ying-Jer, Kao)

“Protected Gapless Edge States In Trivial Topology”, Yun-Chung Chen, Yu-Ping Lin, Ying-Jer Kao, arXiv:2206.04858.
“Variational Quantum Reinforcement Learning via Evolutionary Optimization”, Samuel Yen-Chi Chen, Chih-Min Huang, Chia-Wei Hsing, Hsi-Sheng Goan, Ying-Jer Kao, Mach. Learn.: Sci. Technol. 3 015025(2022), arXiv:2109.00540.
“Excitation spectrum of spin-1 Kitaev spin liquids”, Yu-Hseuh Chen, Jozef Genzor, Yong Baek Kim, Ying-Jer Kao, Phys. Rev. B 105, L060403(2022), arXiv:2107.04730.
“Phase structure of the CP(1) model in the presence of a topological θθ-term”, Katsumasa Nakayama, Lena Funcke, Karl Jansen, Ying-Jer Kao, Stefan Kühn, Phys. Rev. D 105, 054507 (2022), arXiv:2107.14220.
“J1-J2 fractal studied by multi-recursion tensor-network method”, Josef Genzor, Andrej Gendiar, Ying-Jer Kao,Phys. Rev. E 105, 024124(2022), arXiv:2107.11406.
“Two-wire Junction of Inequivalent Tomonaga-Luttinger Liquids”, Yao-Tai Kang, Chung-Yu Lo, Masaki Oshikawa, Ying-Jer Kao, Pochung Chen, Phys. Rev. B, 104, 235142(2021), arXiv:2105.03104
“Detecting transition between Abelian and non-Abelian topological orders through symmetric tensor networks”, Yu-Hsueh Chen, Ching-Yu Huang, and Ying-Jer Kao, Phys. Rev. B 104, 045131(2021), arXiv:2102.10980.
“Neural Monte Carlo Renormalization Group”, Jui-Hui Chung, Ying-Jer Kao, Phys. Rev. Research 3, 023230(2021), arXiv:2010.05703.
“An end-to-end trainable hybrid classical-quantum classifier”, Samual Yen-Chi Chen, Chih-Min Huang, Chia-Wei Hsing, Ying-Jer Kao, Mach. Learn.: Sci. Technol. 2 045021 (2021), arXiv:2102.02416.
“Emergent Snake Magnetic Domains in Canted Kagome Ice”, Wen-Han Kao, Gia-Wei Chern, Ying-Jer Kao , Phys. Rev. Res, 2, 023046, arXiv:1908.05872.
“Entanglement Renyi negativity across a finite temperature transition: a Monte Carlo study”,Kai-Hsin Wu, Tsung-Cheng Lu, Chia-Min Chung, Ying-Jer Kao, Tarun Grover, Phys. Rev. Lett. 125, 140603(2020),arXiv:1912.03313.
“Hybrid quantum-classical classifier based on tensor network and variational quantum circuit”, Samual Yen-Chi Chen, Chih-Min Huang, Chia-Wei Hsing, Ying-Jer Kao, arXiv:2011.14651.
“Optimal Real-Space Renormalization-Group Transformations with Artificial Neural Networks”, Jui-Hui Chung, Ying-Jer Kao, arXiv:1912.09005, proceeding of Workshop on Machine Learning and the Physical Sciences at the 33rd Conference on Neural Information Processing Systems (NeurIPS).
“Phase structure of the 1+ 1 dimensional massive Thirring model from matrix product states”, Mari Carmen Bañuls, Krzysztof Cichy, Ying-Jer Kao, C-J David Lin, Yu-Ping Lin, David T-L Tan,Phys. Rev. D, 100, 094504 (2019), arXiv:1908.04536.
“Generation of ice states through deep reinforcement learning”, Kai-Wen Zhao, Wen-Han Kao, Kai-Hsin Wu, and Ying-Jer Kao, Phys. Rev. E 99, 062106 (2019), arXiv:1903.04698.
“Tunneling-induced restoration of classical degeneracy in quantum kagome ice”, Kai-Hsin Wu, Yi-Ping Huang, and Ying-Jer Kao,Phys. Rev. B 99, 134440 (2019), arXiv:1806.08145.
“Crossover of correlation functions near a quantum impurity in a Tomonaga-Luttinger liquid”, Chung-Yu Lo (羅中佑), Yoshiki Fukusumi (福住吉喜), Masaki Oshikawa (押川正毅), Ying-Jer Kao (高英哲), and Pochung Chen (陳柏中),Phys. Rev. B 99, 121103(R) (2019), arXiv:1805.05006.
“Phase boundary location with information-theoretic entropy in tensor renormalization group flows”, Adil A. Gangat, Ying-Jer Kao, Phys. Rev. B 100, 094430 (2019), arXiv:1901.08193.
“Gapless spin liquid in the kagome Heisenberg antiferromagnet with Dzyaloshinskii-Moriya interactions”, Chih-Yuan Lee, B. Normand, and Ying-Jer Kao, Phys. Rev. B 98, 224414 (2018),arXiv:1809.09128.
“Tensor Network study of the (1+1)-dimensional Thirring Model”, Mari-Carmen Bañuls, Krzysztof Cichy, Ying-Jer Kao, C.-J. David Lin, Yu-Ping Lin, David Tao-Lin Tan, EPJ Web Conf. 175, 2018 .
“Symmetry between repulsive and attractive interactions in driven-dissipative Bose-Hubbard systems”, Adil A. Gangat, Ian P. McCulloch and Ying-Jer Kao, Sci. Rep. 8, 3698 (2018).
“Dynamic scaling in the two-dimensional Ising spin glass with normal-distributed couplings”, Na Xu, Kai-Hsin Wu, Shanon J. Rubin, Ying-Jer Kao, and Anders W. Sandvik, Phys. Rev. E 96, 052102 (2017).
“Griffiths singularities in the random quantum Ising antiferromagnet: A tree tensor network renormalization group study”, Yu-Ping Lin, Ying-Jer Kao, Pochung Chen, and Yu-Cheng Lin, Phys. Rev. B 96, 064427 (2017).
“Steady States of Infinite-Size Dissipative Quantum Chains via Imaginary Time Evolution”, Adil A. Gangat, Te I, and Ying-Jer Kao, Phys. Rev. Lett. 119, 010501 (2017).
“Quantum phase transitions driven by rhombic-type single-ion anisotropy in the S=1 Haldane chain”, Yu-Chin Tzeng (曾郁欽), Hiroaki Onishi (大西弘明), Tsuyoshi Okubo (大久保毅), and Ying-Jer Kao (高英哲),Phys. Rev. B 96, 060404(R) (2017).
“Incommensurate spin density wave as a signature of spin-orbit coupling and precursor of topological superconductivity”, Aaron Farrell, P.-K. Wu, Y.-J. Kao, and T. Pereg-Barnea, Phys. Rev. B 94, 214424 (2016)
“Field-induced ordering in dipolar spin ice”, Wen-Han Kao (高文瀚), Peter C. W. Holdsworth, and Ying-Jer Kao (高英哲),Phys. Rev. B 93, 180410(R) (2016).

郭斯彥 (Kuo, Sy-Yen)

Journal articles & book chapters:

S. C. Huang, H. Liu, B. H. Chen, Z. Fang, T. H. Tan, and S. Y. Kuo, “A Grey Relational Analysis-Based Motion Detection Algorithm for Real-World Surveillance Sensor Deployment,” IEEE Sensors Journal, Vol. 19, Issue 3, pp. 1019-1027, Feb. 2019
C. H. Chen, T. Y. Hsia, Y. Huang, and S. Y. Kuo, “Data Prefetching and Eviction Mechanisms of In-memory Storage Systems Based on Scheduling for Big Data Processing,” IEEE Transactions on Parallel and Distributed Systems (accepted for publication), Jan. 2019
L. F. Shi, B. H. Chen, S. C. Huang, A. Larin, O. Seredin, A. Copylov, and S. Y. Kuo, “Removing Haze Particles from Single Image via Exponential Inference with Support Vector Data Description,” IEEE Transactions on Multimedia, Vol. 20, Issue 9, pp. 2503-2512, Sept. 2018
B. H. Chen, S. C. Huang, and S. Y. Kuo, “Haze Removal Using Radial Basis Function Networks for Visibility Restoration Applications,” IEEE Transactions on Neural Networks and Learning Systems, Vol. 29, No. 8, pp. 3828-3838, Aug. 2018
Y. W. Chen, J. T. Hsu, C. C. Hung, J. M. Wu, F. Lai, and S. Y. Kuo, “Surgical Wounds Assessment System for Self-Care,” IEEE Transactions on systems, Man, and Cybernetics: Systems (accepted for publication), Jul. 2018
C. S. Cho, W. H. Chung, and S. Y. Kuo, “Using Tree-based Approaches to Analyze Dependability and Security on I&C Systems in Safety Critical Systems,” IEEE Systems Journal, Vol. 12 No. 2, pp. 1118-1128, Jun. 2018
H. W. Liang, W. H. Chung, and S. Y. Kuo,, “FDD-RT: A simple CSI acquisition technique via channel reciprocity for FDD massive MIMO downlink,” IEEE Systems Journal, Vol. 12, Issue 1, pp. 714-724, Mar. 2018
C. H. Chen, J. W. Lin, and S. Y. Kuo, “MapReduce Scheduling for Deadline-Constrained Jobs in Heterogeneous Cloud Computing Systems,” IEEE Transactions on Cloud Computing, Vol. 6, Issue 1, pp. 127-140, Jan. 2018
T. H. Tan, M. Gochoo, F. R. Gean, S. C. Huang, and S. Y. Kuo, “Front-Door Event Classification Algorithm for Elderly People Living Alone in Smart House Using Wireless Binary Sensors,” IEEE Access, Vol. 5, Issue 1, pp. 10734-10743, Dec. 2017
W. J. Hwang, T. M. Tai, Y. J. Jhang, Tung, Y. C. Tung, C. H. Ho, S. Y. Kuo, “Quality of Service Management for Home Networks Using Online Service Response Prediction,” IEEE Internet of Things Journal, Vol. 4, No. 5, pp. 1773-1786, Oct. 2017
B. H. Chen, S. C. Huang, and S. Y. Kuo, “Error-Optimized Sparse Representation for Single Image Rain Removal,” IEEE Transactions on Industrial Electronics,, Vol. 64, Issue 8, pp. 6573-6581, Aug. 2017
K. H. Chang, H. Z. Chou, D. Dobbyn, H. Yu, and S. Y. Kuo, “Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again,” IEEE Design & Test of Computers, pp. 63-71, Nov. 2016
B. H. Chen, A. Kopylov, S. C. Huang, O. Seredin, R. Karpov, S. Y. Kuo, K. R. Lai; T. H. Tan; M. Gochoo, D. Bayanduuren; C. S. Gong, and P. C. K. Hung, “Improved Global Motion Estimation via Motion Vector Clustering for Video Stabilization,” Engineering Applications of Artificial Intelligence, Vol. 54, pp. 39-48-48, Sept. 2016
C. M. Yu, C. S. Lu, and S. Y. Kuo, “Compressed Sensing-Based Clone Identification in Sensor Networks,” IEEE Transactions on Wireless Communications, Vol. 15, No. 4, pp. 3071-3084, Apr. 2016
C. S. Cho, W. H. Chung, and S. Y. Kuo, “Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 46, Issue 3, pp. 356-369-369, Mar. 2016
H. W. Liang, W. H. Chung, and S. Y. Kuo, “Coding-aided K-means Clustering Blind Transceiver for Space Shift Keying MIMO Systems,” IEEE Transactions on Wireless Communications, Vol. 15, No. 1, pp. 103-115-115, Jan. 2016
C. S. Cho, W. H. Chung, and S. Y. Kuo, “Measurement and analysis of the leak tightness of reactor containment vessels: experiences and results,” Nuclear Engineering and Design, Vol. 292, pp. 112-122-122, Oct. 2015
D. L Liu, W. H. Chung, S. Y. Yuan, and S. Y. Kuo, “On the Banded Approximation of the Channel Matrix for Mobile OFDM Systems,” IEEE Transactions on Vehicular Technology, Vol. 64, Issue 8, pp. 3526-3535, Aug. 2015
C. H. Chien, R. Van Meter, and S. Y. Kuo, “Fault-tolerant Operations for Universal Blind Quantum Computation,” ACM Journal on Emerging Technologies in Computing System, Vol. 12, Issue 1, pp. 9.1-9.26, Jul. 2015
D. L Liu, W. H. Chung, S. Y. Yuan, and S. Y. Kuo, “ICI Self-Cancellation with Cosine Windowing in OFDM transmitters Over Fast Time-Varying Channels,” IEEE Transactions on Wireless Communications, Vol. 14, Issue 7, pp. 3559-3570, Jul. 2015
C. M. Yu, C. Y. Chen, S. Y. Kuo, and H. C. Chao, “Privacy-Preserving Power Request in Smart Grid Networks,” IEEE Systems Journal, Vol. 8, No. 2, pp. 441-449, Jun. 2014
C. M. Yu, C. Y. Chen, S. Y. Kuo, and H. C. Chao, “Privacy-Preserving Power Request in Smart Grid Networks,” IEEE Systems Journal, Vol. 8, No. 2, pp. 441-449, Jun. 2014
C. M. Yu, G. K. Ni, I. Y. Chen, E. Gelenbe, and S. Y. Kuo,, “Top-k Query Result Completeness Verification in Tiered Sensor Networks,” IEEE Trans. on Information Forensic and Security, Vol. 9, No. 1, pp. 109-124, Jan. 2014
D. S. L. Wei, S. Murugesan, S. Y. Kuo, K. Naik, and D. Krizanc, “Enhancing Data Integrity and Privacy in the Cloud: An Agenda,” IEEE Computer, Vol. 46, No. 11, pp. 87-90, Nov. 2013
S. Y. Yuan, W. B. Su, G. K. Ni, T. Y. Chi, and S. Y. Kuo, “A Compiler Design Technique for Impulsive VDD Current Minimization,” IEEE Trans. on Electromagnetic Compatibility, Vol. 55, No. 5, pp. 855-866, Oct. 2013
Y. T. Tsou, C. S. Lu, and S. Y. Kuo, “MoteSec-Aware: A Practical Secure Mechanism for Wireless Sensor Networks,” IEEE Trans. on Wireless Communications, Vol. 6, No. 12, pp. 2817-2829, Jun. 2013
C. M. Yu, Y. T. Tsou, C. S. Lu, and S. Y. Kuo, “Localized Algorithms for Detection of Node Replication Attacks in Mobile Sensor Networks,” IEEE Trans. on Information Forensic and Security, Vol. 8, No. 5, pp. 754-768, May 2013
C. M. Yu, S. H. Hsieh, H. W. Liang, C. H. Lu, W. H. Chung, S. Y. Kuo, and S. C. Pei, “Compressed Sensing Detector Design for Space Shift Keying in MIMO Systems,” IEEE Communications Letters, Vol. 16, No. 10, pp. 1556-1559, Oct. 2012
S. Y. Dai, Y. Fyodor, M. W. Wu, Y. Huang, and S. Y. Kuo, “Holography: A Behavior-based Profiler for Malware Analysis,” Software: Practice and Experience, Vol. 42, Issue 9, pp. 1107-1136, Sept. 2012
H. W. Liang, R. Y. Chang, W. H. Chung, H. Zhang, and S. Y. Kuo, “Bi-Space Shift Keying Modulation for MIMO Systems,” IEEE Communications Letters, Vol. 16, No. 8, pp. 1161-1164, Aug. 2012
31.C. H. Liu, S. Y. Kuo, D. T. Lee, C. S. Lin, J. H. Weng, and S. Y. Yuan, “Obstacle-Avoiding Rectilinear Steiner Tree Construction: A Steiner-Point Based Algorithm,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 31, No. 7, pp. 1050-1060, Jul. 2012
Y. S Liang, W. H. Chung, H. Zhang, and S. Y. Kuo, “Resource Allocation with Interference Avoidance in OFDMA Femtocell Networks,” IEEE Transactions on Vehicular Technology, Vol. 61, pp. 2243-2255, Jun. 2012
C. Y. Lu, S. A. Wang, and S. Y. Kuo, “An Extended XQDD Representation for Multiple-Valued Quantum Logic,” IEEE Trans. on Computers, Vol. 60, No. 10, pp. 1377-1389, Oct. 2011
C. M. Yu, Y. D. Tsou, C. S. Lu, and S. Y. Kuo, “Constrained Function Based Message Authentication for Sensor Networks,” IEEE Trans. on Information Forensic and Security, Vol. 6, No. 2, pp. 407-425, Jun. 2011
C. M. Yu, Y. T. Tsou, C. S. Lu, and S. Y. Kuo, “Practical and Secure Multidimensional Query Framework in Tiered Sensor Networks,” IEEE Trans. on Information Forensic and Security, Vol. 6, No. 2, pp. 241-255, Jun. 2011
H. Gou, W. Su, H. Zhang, and S. Y. Kuo, “On the convergence condition and convergence time of BGP,” Computer Communications, Vol. 34, Issue 2, pp. 192-199, Feb. 2011
Y. S Liang, W. H. Chung, H. Zhang, and S. Y. Kuo, “Resource Allocation with Interference Avoidance in OFDMA Femtocell Networks,” IEEE Transactions on Vehicular Technology, 2011
Y. Dai, Y. Fyodor, M. W. Wu, Y. Huang, and S. Y. Kuo, “Holography: A Behavior-based Profiler for Malware Analysis,” Software: Practice and Experience, 2011
C. H. Liu, S. Y. Kuo, D. T. Lee, C. S. Lin, J. H. Weng, and S. Y. Yuan, “Obstacle-Avoiding Rectilinear Steiner Tree Construction: A Steiner-Point Based Algorithm,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 2011
C. Y. Lu, S. A. Wang, Y. J. Cheng, and S. Y. Kuo, “Quantum Secure Direct Communication With Constant Number of EPR Pairs,” International Journal of Quantum Information, Vol. 8, No. 8, pp. 1355-1371, Dec. 2010
C. M. Yu, C. S. Lu, and S. Y. Kuo, “Non-Interactive Pairwise Key Establishment for Sensor Networks,” IEEE Trans. on Information Forensic and Security, Vol. 5, No. 3, pp. 556-569, Sept. 2010
H. Z. Chou, K. H. Chang, and S. Y. Kuo,, “Accurately Handle Don’t-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 29, No. 4, pp. 646-650, Apr. 2010
C. M. Yu, C. Y. Chen 3, C. S. Lu, S. Y. Kuo and H. C. Chao, “Acquiring Authentic Data in Unattended Wireless Sensor Networks,” Sensors Journal, Vol. 10, No. 4, pp. 2770-2792, Apr. 2010
C. M. Yu, C. C. Li, C. S. Lu, D. T. Lee, and S. Y. Kuo, “An Application-Driven Attack Probability-Based Deterministic Pairwise Key Pre-distribution Scheme for Non-Uniformly Deployed Sensor Networks,” International Journal of Sensor Networks (IJSNet), Vol. 9, No. 2, Feb. 2010
P. Y. Yeh, B. Y. Ye, and S. Y. Kuo, “Effective Design-for-Testability Techniques for H.264 All-Binary Integer Motion Estimation,” IET Circuits, Devices & Systems, Sept. 2009
C. H. Liu, S. Y. Yuan, S. Y. Kuo, and S. C. Wang, “High Performance Obstacle-Avoiding Rectilinear Steiner Tree Construction,” ACM Trans. on Design Automation of Electronic Systems, Vol. 14, No. 3, Jul. 2009
B. Y. Ye, P. Y. Yeh, S. Y. Kuo and I. Y. Chen, “Design-for-Testability Techniques for CORDIC Design,” Microelectronics Journal, 2009
B. Y. Ye, P. Y. Yeh, S. Y. Kuo and I. Y. Chen, “ Salable and Bijective Cells for C-testable Iterative Logic Array Architectures,” IET Circuits, Devices & Systems, 2009
C. Y. Lin, S. C. Wang, and S. Y. Kuo,, “Increasing Service Availability in a Wireless Home Network Environment,” The Computer Journal, Oct. 2008
S. C. Huang and S. Y. Kuo, “Optimization of Hybridized Error Concealment for H.264,” IEEE Transaction on Broadcasting, Vol. 54, No. 3, 449-516, Sept. 2008
C. H. Liu, H. Y. Liu, C. W. Lin, S. J. Chou, Y. W. Chang, S. Y. Kuo, S. Y. Yuan, and Y. W. Chen, “An Efficient Graph-Based Algorithm for ESD Current Path Analysis,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 27, No. 8, 1363-1375, Aug. 2008
Y. H. Chou, I. M. Tsai, and S. Y. Kuo, “Quantum Boolean Circuits are 1-Testable,” IEEE Trans. on Nanotechnology, Vol. 7, No. 4, 484-492, Jul. 2008
W. Chen, S. Y. Kuo, and H. C Chao, “Service Integration with UPnP Agent for an Ubiquitous Home Environment,” Information Systems Frontiers, Jun. 2008
S. A. Wang, C. Y. Lu, I. M. Tsai, and S. Y. Kuo, “An XQDD-Based Verification Method for Quantum Circuits,” IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E91-A, No. 2, Feb. 2008
M. W. Wu, Y. M. Wang, S. Y. Kuo, and Y. Huang, “Self-healing Spyware: Detection and Remediation,” IEEE Trans. on Reliability, Vol. 56, No. 4, , December 2007, pp. 588-596, Dec. 2007
H. W. Huang, K. H. Chen, and S. Y. Kuo, “Fast Transient DC-DC Converter with On-Chip Compensated Error Amplifier,” IEEE Transactions on Circuits and Systems II, Vol. 54, No. 12, 1150-1154, Dec. 2007
Y. L. Ju, I. M. Tsai and S. Y. Kuo, “Quantum Circuit Design for Applications on Unordered Database Searches,” IEEE Transactions on Circuits and Systems-I, Vol. 54, No. 11, pp. 2552-2563, Nov. 2007
K. H. Chen, H. W. Huang, and S. Y. Kuo, “Dithering Skip Modulation, Width and Dead Time Controllers in Highly-Efficient DC-DC Converters for System-on-chip Applications,” IEEE Journal of Solid-State Circuit, Vol. 42, No. 11, pp. 2451-2465, Nov. 2007
H. Z. Chou, S. C. Wang, I. Y. Chen, S. Y Yuan and S. Y. Kuo, “Randomized and Distributed Methods for Reliable Peer-to-Peer Data Communications in Wireless Ad Hoc Networks,” IET Communications, Vol. 1, No. 5, Oct. 2007, pp. 915-923, Oct. 2007
M. A. Song, L. D. Van and S. Y. Kuo, “Adaptive Low-Error Fixed-Width Booth Multiplier,” IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E90-A, No. 6, pp. 1180-1187, Jun. 2007
H. Y. Lin, F. M. Yeh, and S. Y. Kuo, “Efficient and Exact Reliability Evaluation for Networks with Imperfect Vertices,” IEEE Trans. on Reliability, Vol. 56, No. 2, pp. 288-300, Jun. 2007
C. Y. Huang, S. Y. Kuo, and M. R. Lyu, “Measurement and Assessment of Testing-Effort Dependent Software Reliability Growth Models,” IEEE Trans. on Reliability, Vol. 56, No. 2, pp. 198-211, Jun. 2007
C. Y. Huang, S. Y. Kuo, and M. R. Lyu, “Effort-Index-Based Software Reliability Growth Models and Performance Assessment,” IEEE Trans. on Reliability, Vol. 56, No. 2,, pp. 198-211, Jun. 2007
S. C. Wang, H. Z. Chou, D. S. L. Wei, and S. Y. Kuo, “Fundamental Performance Limits of Data Replication for Peer-to-Peer Applications in Wireless Ad-hoc Networks,” IEEE Journal of Selected Areas in Communications (J-SAC), Vol. 25, No. 1, pp. 211-221, Jan. 2007
I. M. Tsai and S. Y. Kuo, “An Algorithm for Minimum Space Quantum Boolean Circuits Construction,” Journal of Circuits, Systems, and Computers, Vol. 15, No. 5, pp. 719-738, Oct. 2006
S. C. Wang, D. S. L. Wei, and S. Y. Kuo, “A SPT-Based Topology Control Algorithm for Wireless Ad Hoc Networks,” Computer Communications, special issue on IPv6:the Next Generation Internet Protocol, Vol. 29. issue 16, pp.3092-3103, Oct. 2006
C. Y. Lin, Ing-Yi Chen, and S. Y. Kuo, “Extension Headers for IPv6 Anycast,” Computer Communications,, special issue on IPv6:the Next Generation Internet Protocol, Vol. 29. issue 16, pp.3013-3019, Oct. 2006
S. C. Wang, D. S. L. Wei, and S. Y. Kuo, “A SPT-Based Topology Control Algorithm for Wireless Ad Hoc Networks,” Computer Communications, special issue on IPv6:the Next Generation Internet Protocol(accepted for publication), Vol. 29. issue 16, pp. 3092-3103, Oct. 2006
H. Y. Lin, F. M. Yeh, and S. Y. Kuo, “An Efficient Algorithm for Spare Allocation Problems,” IEEE Trans. on Reliability, Vol. 55, Issue 2, pp. 369 – 378, Jun. 2006
C. S. Ho, and S. Y. Kuo, “Signaling Overhead Analysis of Distributed Control for Partition-based Protection in WDM Mesh Networks,” IEICE Trans. on Information and Systems, Vol.E89-D, No. 2, pp. 728-737, Feb. 2006
C. S. Ho, and S. Y. Kuo, “Signaling Overhead Analysis of Distributed Control for Partition-based Protection in WDM Mesh Networks,” IEICE Trans. on Informations and Systems (accepted for publication), Vol.E89-D, No. 2, pp. 728-737, Feb. 2006
Y. C. Chang, J. L. Chen, H. C. Chao, and S. Y. Kuo, “OSA-based Service Platform for All-IPv6 Network Environments,” IEEE Journal of Selected Areas in Communications (J-SAC), Vol. 23, Issue 11, pp. 2172-2181, Nov. 2005
Y. R. Chang, S. V. Amari, and S. Y. Kuo, “OBDD-Based Evaluation of Reliability and Importance Measures for Multi-State Systems Subject to Imperfect Fault Coverage,” IEEE Trans. on Dependable and Secure Computing, Vol. 2, No. 4, pp. 336-347, Oct. 2005
Y. W. Huang, C. H. Tsai, T. P. Lin, S. K. Huang, D. T. Lee, and S. Y. Kuo, “A Testing Framework for Web Application Security Assessment,” Computer Networks, Vol. 48, Issue 5, pp. 739-761, Aug. 2005
J. H. Lo, C. Y. Huang, I. Y.Chen, S. Y. Kuo, and M. R. Lyu, “Sensitivity Analysis of Software Reliability for Component-Based Software Applications,” Journal of Systems and Software, Vol. 76, Issue 1, pp. 3-13, Apr. 2005
J.L. Chen, W.H. Chen and S.Y. Kuo, “All-IPv6 Service Interworking Gateway,” International Journal of Network Management (ACM), Vol.15, No.2, pp.135-147, Mar. 2005
J. Tsai, S. Y. Kuo and Y. M. Wang, “More Properties of Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability,” Journal of Information Science and Engineering, Vol. 21, No. 2, pp. 239-257, Mar. 2005
K. Naik, D. S. L. Wei, D. Krizanc, and S. Y. Kuo, “A Reservation-Based Multicast Protocol for WDM Optical Star Networks,” IEEE Journal of Selected Areas on Communications (JSAC), Vol. 22, No. 9, pp. 1670-1680, Nov. 2004
J. Tsai, C. Y. Lin, and S. Y. Kuo, “Adaptive Communication-Induced Checkpointing Protocols with Domino-Effect Freedom,” Journal of Information Science and Engineering, Vol. 20, No. 5, pp. 885-901, Sept. 2004
S. C. Wang, Y. R. Leu, and S. Y. Kuo, “Distributed Fault Tolerant Embedding of Several Topologies in Hypercubes,” Journal of Information Science and Engineering (accepted for publication), Vol. 20, No. 4, pp. 707-732, Jul. 2004
Y. R. Chang, S. V. Amari, and S. Y. Kuo, “Computing System Failure Frequencies and Reliability Importance Measures using OBDD,” IEEE Trans. on Computers, Vol. 53, No. 1, pp.54-68, Jan. 2004
C. Y. Chang, S. T. Cheng, and S. Y. Kuo, “A Two-level TDM Access Protocol for IP Support in WDM Optical Networks,” Journal of Dynamics of Continuous, Discrete and Impulsive Systems, special issue on Routing/signaling protocols in wire/wireless, 2004
D. S. L. Wei, S. Rajasekaran, K. Naik, and S. Y. Kuo, “Efficient Algorithms for Selection and Sorting of Large Distributed Files on de Bruijn and Hypercube Structures,” International Journal of Foundations of Computer Science, Vol. 14, No. 6, pp. 1129-1146, Dec. 2003
C. Y. Lin, S. C. Wang, and S. Y. Kuo, “An Efficient Time-based Checkpointing Protocol for Mobile Computing Systems over Mobile IP,” ACM/Baltzer Journal of Mobile Networks and Applications, Special issue on Mobile Networking through IP, Vol. 8, No. 6, pp. 687-697, Dec. 2003
C. Y. Chang and S. Y. Kuo, “Design and Analysis of a Multicasting and Fault-Tolerant Optical Crossconnect for All-Optical Networks,” Photonic Network Communications, Vol. 6, No. 3, pp. 223-238, Nov. 2003
C. Y. Chang, C. C. Sue, and S. Y. Kuo, “A Survey and Comparison of Fault-Tolerant Optical Crossconnects for All-Optical Networks,” Journal of Internet Technology, Vol. 4, No. 4, pp. 193-208, Oct. 2003
C. Y. Huang, M. R. Lyu , and S. Y. Kuo, “Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation,” IEEE Trans. on Software Engineering, Vol. 29, No. 3, pp. 261-269, Mar. 2003
F. M. Yeh, S. K. Lu, and S. Y. Kuo, “OBDD-based Evaluation of K-terminal Network Reliability,” IEEE Trans. on Reliability, Vol. 51, No. 4, pp. 443-451, Dec. 2002
J. W. Lin and S. Y. Kuo, “An Optimization-based Partition Processing Approach for Distributed Shared Memory Systems,” Journal of Information Science and Engineering, Special issue on Parallel and Distributed Systems, Vol. 18, No. 6, pp. 853-869, Nov. 2002
Y. J. Yeh, and S. Y. Kuo, “An Optimization-based Multiple-Voltage Scaling Technique for Low Power CMOS Digital Design,” Journal of Circuits, Systems, and Computers, Special issue on Low Power IC Design, Vol. 11, No. 4, pp. 365-375, Oct. 2002
I. M. Tsai and S. Y. Kuo, “Digital Switching in the Quantum Domain,” IEEE Trans. on Nanotechnology, Vol. 1, No. 3, pp. 154-164, Sept. 2002
C. Y. Chang and S. Y. Kuo, “Analysis and Design of Backbone Architecture with TDMA Mechanism for IP Optical Networking,” Journal of Network and Systems Management, special issue on Traffic Engineering and Management, Vol. 10, No. 3, pp. 385-406, Sept. 2002
C. Y. Huang and S. Y. Kuo, “Analysis of Incorporating Logistic Testing-Effort Function into Software Reliability Modeling,” IEEE Trans. on Reliability, Vol. 51, No. 3, pp. 261-270, Sept. 2002
D. S. L. Wei, S. Rajasekaran, Z. Cheng, K. Naik, and S. Y. Kuo, “Efficient Selection and Sorting Schemes Using Coteries for Processing Large Distributed Files,” Journal of Parallel and Distributed Computing, Vol. 62, No. 8, pp. 1295-1313, Aug. 2002
C. C. Sue and S. Y. Kuo, “Design and Analysis of Accelerative Pre-Allocation Protocol for WDM Star-Coupled Networks,” IEEE Journal of Lightwave Technology, Vol. 20, No. 3, pp. 338-349, Mar. 2002
C. H. Liu, S. Y. Yuan, S. Y. Kuo, and S. C. Wang, “High Performance Obstacle-Avoiding Rectilinear Steiner Tree Construction,” ACM Trans. on Design Automation of Electronic Systems, Accepted for publication
97.H. W. Liang, W. H. Chung, and S. Y. Kuo, “FDD-RT: A simple CSI acquisition technique via channel reciprocity for FDD massive MIMO downlink,” IEEE Systems Journal, (accepted for publication)

Conference & proceeding papers:

I. C. Tsai, C. M. Yu, H. Yokota, and S. Y. Kuo, “VENUS: Verifiable Range Query in Data Streaming,” Proceedings of the International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA 2018) within the IEEE IN, Honolulu, Hawaii, Apr. 2020
W. T. Chen, J. J. Ding, S. Y. Kuo and C. Huang, “PMS-Net: Robust Haze Removal Based on Patch Map for Singe Images,” Proceedings of the 30th annual Computer Vision and Pattern Recognition Conference (CVPR-2019), Long Beach, California, Jun. 2019
L. J. Chen, H. Z. Chou, K. H. Chang, S. Y. Kuo and C. Huang, “Path Controllability Analysis for High Quality Designs,” Proceedings of the 24th Asia and South Pacific Design Automation Conference (ASP-DAC 2019), Tokyo, Japan, Jan. 2019
4.Y. C. Liu, T. C. Chen, Y. W. Chang, and S. Y. Kuo, “MDP-trees: Multi-Domain Macro Placement for Ultra Large-Scale Mixed-Size Designs,” Proceedings of the 24th Asia and South Pacific Design Automation Conference (ASP-DAC 2019), Tokyo, Japan, Jan. 2019
G. C. Tsai, W. T. Chen, S. Y. Yuan, and S. Y. Kuo, “Efficient Reflection Removal Algorithm for Single Image by Pixel Compensation and Detail Reconstruction,” Proceedings of 23rd International Conference on Digital Signal Processing (DSP 2018), Shanghai, China, Nov. 2018
C. W. Tien, T. T. Tsai, I. Y. Chen, and S. Y. Kuo, “UFO - Hidden Backdoor Discovery and Security Verification in IoT Device Firmware,” Proceedings of the 29th IEEE Symposium on Software Reliability Engineering (ISSRE 2018), Memphis, Tennessee (Best Paper Award Candidate), Oct. 2018
W. T. Chen, S. Y. Yuan, G. C. Tsai, H. C. Wang, and S. Y. Kuo, “Color Channel-Based Smoke Removal Algorithm Using Machine Learning for Static Images,” Proceedings of the 25th IEEE International Conference on Image Processing (ICIP 2018), Athens, Greece, Oct. 2018
N. Berjab, H. H. Le, C. M. Yu, S. Y. Kuo and H. Yokota, “Abnormal-node Detection Based on Spatio-temporal and Multivariate-attribute Correlation in Wireless Sensor Networks,” Proceedings of the 16th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2018), Athens, Greece, Aug. 2018
9.Y. T. Tsou, H. Zhen, Y. C. Chang, S. Y. Kuo, C. R. Chang, A. Fukushima, B. D. Rong, “Magnetic Tunneling Junctions Based IoT Data Privacy Protection with STT-MRAM,” 2017 IEEE International Electron Devices Meeting (IEDM-2017), San Francisco, California, Dec. 2017
Y. C. Kuo, C. C. Huang, S. C. Chen, C. H. Chiang, Y. W. Chang, and S. Y. Kuo, “Clock-Aware Placement for Large-Scale Heterogeneous FPGAs,” 2017 International Conference On Computer Aided Design (ICCAD-2017), Irvine, California., Nov. 2017
Y. L. Hu, D. Wei, S. Y. Kuo, I. Y. Chen, and Yennun Huang, “Toward Fog-Based Event-Driven Services for Internet of Vehicles: Design and Evaluation,” 4th International Conference on Internet of Vehicles (IOV-2017), Kanazawa, Japan, Nov. 2017
M. Gochoo, T. H. Tan, F. R. Jean, S. C. Huang, S. Y. Kuo, “Device-free Non-invasive Front-door Event Classification Algorithm for Forget Event Detection Using Binary Sensors in the Smart House,” 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC-2017), Banff, Canada, Oct. 2017
C. W. Tien, C. W. Tien. T. Y. Huang, T. C. Huang, W. H. Chung, and S. Y. Kuo, “MAS: Mobile-Apps Assessment and Analysis System,” 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2017), Denver, Colorado, Jun. 2017
C. H. Ho, L. S. Chen. W. H. Chung, and S. Y. Kuo, “Interfered Users Protection Algorithm for Self-Organizing Networks,” 2017 9th IEEE International Conference on Communication Software and Networks (ICCSN-2017), Guangzhou, China, May 2017
C. H. Ho, L. S. Chen. W. H. Chung, and S. Y. Kuo, “Outage Users First Cell Outage Compensation Algorithm for Self-Organizing Networks,” 2017 International Conference on High Performance Compilation, Computing and Communications (HP3C-2017), Kuala Lumpur, Malaysia, Mar. 2017
C. H. Chen, Y. Huang, and S. Y. Kuo, “Scheduling-Aware Data Prefetching for Data Processing Services in Cloud,” 31st IEEE International Conference on Advanced Information Networking and Applications (AINA-2017), Taipei, Taiwan, Mar. 2017
N. Berjab, C. M. Yu, S. Y. Kuo and H. Yokota, “Impact Analysis for Dos and Integrity Attacks on IoT Systems,” 2017 7th International Conference on Information Systems and Technologies (ICIST-2017), Dubai, UAE, Mar. 2017
I. C. Tsai, C. M. Yu, H. Yokota, and S. Y. Kuo, “Key Management in Internet of Things via Kronecker Product,” 2017 Pacific Rim International Symposium on Dependable Computing (PRDC'17), Christchurch, New Zealand, Jan. 2017
C. C. Huang, Y. C. Liu, Y. S. Lu, Y. C. Kuo, Y. W. Chang, and S. Y. Kuo, “Timing-Driven Cell Placement Optimization for Early Slack Histogram Compression,” 53th ACM/IEEE Design Automation Conference (DAC-2016), Austin, Texas, Jun. 2016
Y. L. Hu, Y. Huang, and S. Y. Kuo, “A Programming Framework for Implementing Fault-Tolerant Mechanism on Raspberry Pi,” 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2015), Zhangjiajie, China, Nov. 2015
P. H. Lin, F. C. Cheng, S. C. Huang, T. H. Tan, D. Bayanduuren, K. Tseveenjav, and S.Y. Kuo, “An IR LED Production Yield Estimation Method for IP-Camera,” IEEE International Conference on Consumer Electronics (IEEE ICCE), Taipei, Taiwan, Jun. 2015
P. H. Lin, F. C. Cheng, S. C. Huang, T. H. Tan, D. Bayanduuren, K. Tseveenjav, and S. Y. Kuo, “A Block Restriction Method Using Guided Image Filter for Local Histogram Equalization,” EEE International Conference on Consumer Electronics (IEEE ICCE), Taipei, Taiwan, Jun. 2015
T. H. Chang, C. M. Yu, W. H. Chung, and S. Y. Kuo, “Locating Stuck-at Error in Quantum Boolean Circuits,” 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2015), Rio de Janeiro, Brazil, Jun. 2015
Y. T. Tsou, Y. L. Hu, Y. Huang, and S. Y. Kuo, “PCTopk: Privacy- and Correctness-Preserving Functional Top-k Query on Un-trusted Data Storage in Two-tiered Sensor Networks,” Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Nara, Japan, Oct. 2014
T. S. Lin, Y. Chen, T. H. Chang, C. Y. Lu, and S. Y. Kuo, “Quantum Blind Signature Based on Quantum Circuit,” Proceedings of the 2014 IEEE Conference on Nanotechnology (IEEE-NANO 2014), Toronto, Canada, Aug. 2014
Y. Chen, T. S. Lin, T. H. Chang, C. Y. Lu, and S. Y. Kuo, “A Novel Quantum Key in Distributed Networks,” Proceedings of the 2014 IEEE Conference on Nanotechnology (IEEE-NANO 2014), Toronto, Canada, Aug. 2014
C. H. Chen, J. W. Lin, and S. Y. Kuo, “Deadline-Constrained MapReduce Scheduling Based on Graph Modeling,” Proceedings of the 7th IEEE International Conference on Cloud Computing (CLOUD 2014), Anchorage, Alaska, Jun. 2014
F. Yarochkin, Y. Huang, and S. Y. Kuo, “Mining Large Network Reconnaissance Data,” Proceedings of the 2013 Pacific Rim International Symposium on Dependable Computing (PRDC'13), Vancouver, Canada, Dec. 2013
T. S. Lin, T. H. Chang, C. H. Chien, S. A. Wang, and S. Y. Kuo, “Quantum Walks for Crossed Cubes,” Proceedings of the 2013 IEEE Conference on Nanotechnology (IEEE-NANO 2013), Beijing, China, Aug. 2013
T. S. Lin, C. H. Chien, and S. Y. Kuo, “Node Detection and Message Integrity through Quantum Circuits,” Proceedings of the 2013 IEEE Conference on Nanotechnology (IEEE-NANO 2013), Beijing, China, Aug. 2013
T. S. Lin, T. H. Chang, and S. Y. Kuo, “Quantum Switching and Quantum Walks,” Proceedings of the 2013 IEEE Conference on Nanotechnology (IEEE-NANO 2013), Beijing, China, Aug. 2013
Y. L. Hu, W. B. Su, Y. Huang, I. Y. Chen, and S. Y. Kuo, “Dependable Architecture of RFID Middleware on Networked RFID Systems,” Proceedings of the 2013 IEEE International Conference on Internet of Things (iThings 2013), Beijing, China, Aug. 2013
H. C. Hsieh, J. L. Chen, I. Y. Chen, and S. Y. Kuo, “Mobile IMS Integration of the Internet of Things in Ecosystem,” Proceedings of the 2013 IEEE International Conference on Internet of Things (iThings 2013), Beijing, China, Aug. 2013
H. W. Liang, Y. J. Chang, W. H. Chung and S. Y. Kuo, “A Reduced-Complexity Blind Detector for MIMO System Using K-Means Clustering Algorithm,” Proceedings of the 77th IEEE Vehicular Technology Conference(VTC2013-Spring), Dresden, Germany, Jun. 2013
C. M. Yu, K. K. Ni, I. Y. Chen, E. Gelenbe, and S. Y. Kuo, “Top-k Query Result Completeness Verification in Sensor Networks,” Proceedings of the 2013 IEEE International Conference on Communications (ICC 2013), Budapest, Hungary, Jun. 2013
F. V. Yarochkin, V. Kropotov, Y. Huang, G. K. Ni, I. Y. Chen, and S. Y. Kuo, “Investigating DNS traffic anomalies for malicious activities,” Proceedings of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2013), Budapest, Hungary, Jun. 2013
D. L. Liu, W. H. Chung. G. K Ni, I. Y. Chen, and S. Y. Kuo, “Multi-Element Antenna with Close Spacing for Highly Mobile OFDM Systems,” Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC'13), Shanghai, China, Apr. 2013
Y. T. Tsou, C. S. Lu, and S. Y. Kuo, “Privacy- and Integrity-Preserving Range Query in Wireless Sensor Networks,” Proceedings of the 2012 IEEE Global Telecommunications Conference (GLOBECOM'12), Anaheim, California, Dec. 2012
Y. S. Liang, W. H. Chung. H. Zhang, and S. Y. Kuo, “Interference Mitigation through Self-Organization in OFDMA Femtocells,” Proceedings of the 2012 IEEE 76th Vehicular Technology Conference (VTC-2012), Quebec, Canada, Sept. 2012
T. Zheng, Y. Qin. H. Zhang, H. Zhang, and S. Y. Kuo, “A Self-Configurable Power Control Algorithm for Cognitive Radio-based Industrial Wireless Sensor Networks with Interference Constraints,” Proceedings of the 2012 IEEE International Conference on Communications (ICC 2012), Ottawa, Canada, Jun. 2012
N. H. Chia, C. H. Chien. W. H. Chung, and S. Y. Kuo, “Quantum Blind Computation with Teleportation-based Computation,” Proceedings of the 9th International Conference on Information Technology - New Generations (ITNG), Las Vegas, Nevada, Apr. 201
Y. S. Liang, W. H. Chung. H. Zhang, and S. Y. Kuo, “Throughput Improvement of Multi-hop Wireless Mesh Networks with Cooperative Opportunistic Routing,” Proceedings of the 2012 IEEE Wireless Communications and Networking Conference (WCNC'12), Paris, France, Apr. 2012
Y. H. Chen, W. H. Chung. G. K Ni, H. Zhang, and S. Y. Kuo, “Optimal Self Boundary Recognition with Two-Hop Information for Ad Hoc Networks,” Proceedings of the 2012 IEEE Wireless Communications and Networking Conference (WCNC'12), Paris, France, Apr. 2012
H. W. Liang, W. H. Chung. H. Zhang, and S. Y. Kuo,, “A Parallel Processing Algorithm for Schnorr-Euchner Sphere Decoder,” Proceedings of the 2012 IEEE Wireless Communications and Networking Conference (WCNC'12), Paris, France, Apr. 2012
C. M. Yu, C. S. Lu, and S. Y. Kuo, “Localized Algorithms for Detection of Node Replication Attacks in Mobile Sensor Networks,” IEEE PerCom Workshop (IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing), Lugano, Switzerland, Mar. 2012
46.C. S. Cho, W. H. Chung, D. Gao, H. Zhang, and S. Y. Kuo, “Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants,” Proceedings of the 2011 Pacific Rim International Symposium on Dependable Computing (PRDC'11), Pasadena, California, Dec. 2011
C. N. Chung, C. W. Chang, K. H. Chang, and S. Y. Kuo, “Applying Verification Intention for Design Customization via Property Mining under Constrained Testbenches,” Proceedings of 29th International Conference on Computer Design (ICCD 2011), Amherst, Massachusetts, Oct. 2011
T. S. Lin, C. H. Chien, T. H. Chang, and S. Y. Kuo, “Quantum Signature Scheme for Vehicular Networks Using Entangled States,” Proc. of the 45th IEEE International Carnahan Conference on Security Technology, Barcelona, Spain, Oct. 2011
T. S. Lin, C. H. Chien, T. H. Chang, and S. Y. Kuo, “Quantum Circuits and Quantum Message Integrity,” Proc. of the 45th IEEE International Carnahan Conference on Security Technology, Barcelona, Spain, Oct. 2011
Y. S. Liang, W. H. Chung, H. Zhang, and S. Y. Kuo, “Interference Mitigation through Self-Organization in OFDMA Femtocells,” Proceedings of the 22nd IEEE Personal Indoor Mobile Radio Communications (PIMRC-2011), Toronto, Canada, Sept. 2011
W. Chen, L, Jian, H. Zhang, and S. Y. Kuo, “Real-Time Video-Based Lane Tracing System with Adaptive Focusing Window,” Proceedings of the 74rd IEEE Vehicular Technology Conference(VTC-2011), San Francisco, California, Sept. 2011
T. Y. Chi, T. W. Liu, and S. Y. Kuo, “An Efficient Notification Service Algorithm for Early Earthquake Alert,” Proceedings of the 32nd Asia-Pacific Advanced Network Meeting (APAN-NRW-2011), New Delhi, India, Aug. 2011
C. H. Chien, T. S. Lin, T. H. Chang, S. Y. Yuan, and S. Y. Kuo, “Quantum Authentication Protocol Using Entanglement Swapping,” Proc. of the 11th IEEE Conference on Nanotechnology, Portland, Oregon., Aug. 2011
T. S. Lin, C. H. Chien, T. H. Chang, S. Y. Yuan, and S. Y. Kuo, “Reversible Quantum Circuits and Quantum Transmission Integrity,” Proc. of the 11th IEEE Conference on Nanotechnology(NANO-2011), Portland, Oregon, Aug. 2011
C. S. Cho, W. H. Chung, D. Gao, H. Zhang, and S. Y. Kuo, “Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants,” Proceedings of the 41th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2011), Hong Kong, Jun. 2011
F. V. Yarochkin, S. Y. Dai, Y. Huang, and S. Y. Kuo, “Building Biologically Inspired Defenses Against Malicious Software,” Proceedings of the 41th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2011), Hong Kong, Jun. 2011
Y. H. Chen, W. H. Chung, S. Y. Yuan, H. Zhang, and S. Y. Kuo, “Order-Based Localization Scheme for Ad Hoc Sensor Networks,” Proceedings of the 73rd IEEE Vehicular Technology Conference(VTC-2011), Budapest, Hungary, May 2011
C. N. Chung, C. W. Chang, K. H. Chang, and S. Y. Kuo, “Formal Reset Recovery Slack Calculation at the Register Transfer Level,” Proceedings of 2011 Design, Automation & Test in Europe Conference (DATE 2011), Grenoble, France, Mar. 2011
H. Z. Chou, K. H. Chang, and S. Y. Kuo, “Facilitating Unreachable Code Diagnosis and Debugging,” Proceedings of 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011), Yokohama, Japan, Jan. 2011
C. S. Cho, S. C. Dai, W. H. Chung and S. Y. Kuo, “Probabilistic Evaluations of Event-Tree and Fault-Tree in Safety-Critical Systems,” Proceedings of the 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2010), Kelbum, New Zealand, Dec. 2010
T. S. Lin, C. H. Chien, and S. Y. Kuo, “Quantum Transmission Mechanism for Detection,” Proceedings of the The third international conference on "Updating Quantum Cryptography and Communications, Tokyo, Japan, Oct. 2010
T. S. Lin, C. H. Chien, and S. Y. Kuo, “Quantum Indirect Shared Key Protocol,” Proceedings of the The third international conference on "Updating Quantum Cryptography and Communications" (UQCC2010), Tokyo, Japan, Oct. 2010
N. H. Chia, C. H. Chien, and S. Y. Kuo, “Quantum Encrypted Computation Using Quantum Private Queries,” Proceedings of the 10th Asian Conference on Quantum Information Science (AQIS 2010), Tokyo, Japan, Aug. 2010
T. S. Lin, and S. Y. Kuo, “Quantum Switching and Quantum String Matching,” Proceedings of the 2010 IEEE Conference on Nanotechnology (IEEE-NANO 2010), Seoul, Korea, Aug. 2010
H. Z. Chou, K. H. Chang, and S. Y. Kuo, “Automatic Constraint Generation for Software-Based Post-Silicon Bug Repair,” Proceedings of 19th International Workshop on Logic and Synthesis(IWLS 2010), Irvine, California, Jun. 2010
K. Y. Cheng, R. H. Liang, B. Y. Chen, Rung-Huei Liang, and Sy-Yen Kuo, “iCon: Utilizing Everyday Objects as Additional, Auxiliary and Instant Tabletop Controllers,” Proceedings of 2010 ACM Conference on Human Factors in Computing Systems(CHI 2010), Atlanta, Georgia, Apr. 2010
H. Z. Chou, H. Yu, K. H. Chang, D. Dobbyn, and S. Y. Kuo, “Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study,” 2010 Design, Automation & Test in Europe (DATE 2010), Dresden, Germany, Mar. 2010
H. Z. Chou, H. Yu, K. H. Chang, D. Dobbyn, and S. Y. Kuo, “Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study,” Proceedings of 2010 Design, Automation & Test in Europe (DATE 2010), Dresden, Germany, Mar. 2010
T. W Chang, J. L Chen, M. C Chen, and S. Y. Kuo, “Android/OSGi-based Vehicular Network Management System,” Proceedings of 2010 IEEE Conference on Advanced Communication Technology(ICACT 2010), Phoenix Park, Korea, Feb. 2010
H. Z. Chou, K. H. Chang, and S. Y. Kuo, “Optimizing Blocks in an SoC Using Symbolic Code-Statement Reachability Analysis,” 15th Asia and South Pacific Design Automation Conference (ASP-DAC 2010), Taipei, Taiwan, Jan. 2010
C. H. Liu, S. Y. Yuan, S. Y. Kuo, and J. H. Weng, “Obstacle-Avoiding Rectilinear Steiner Tree Construction Based On Steiner Point Selection,” ACM/IEEE 2009 International Conference on Computer-Aided Design (ICCAD-2009), San Jose, California, Nov. 2009
S. Y. Dai, F. V. Yarochkin, Y. Huang, and S. Y. Kuo, “Holography: A Hardware Virtualization Tool for Malware Analysis,” 2009 Pacific Rim International Symposium on Dependable Computing (PRDC'09), Shanghai, China, Nov. 2009
[C. Y. Chen, Y. S. Liang, C. M. Yu, C. H. Hoand S. Y. Kuo, “Increasing Reliability for IEEE 802.16j Mobile Multi-hop Relay Networks Planning,” 2009 Pacific Rim International Symposium on Dependable Computing (PRDC'09), Shanghai, China, Nov. 2009
T. S. Lin, C. C. Lee, and S. Y. Kuo, “Quantum signature mechanism with GHZ states,” 2009 IEEE International Carnahan Conference on Security Technology -43rd Annual Conference, Zurich, Switzerland, Oct. 2009
C. M. Yu, C. H. Lu, and S. Y. Kuo, “Efficient and Distributed De-tection of Node Replication Attacks in Mobile Sensor Networks,” Proceedings of the 2009 IEEE Vehicular Technology Conference (VTC 2009-Fall), Anchorage, Arkansa, Sept. 2009
T. S. Lin, I. M. Tsai, and S. Y. Kuo, “Quantum transmission integrity mechanism for indirect communication,” 18th IEEE International Conference on Computer Communications and Network, San Francisco, California, Aug. 2009
C. H. Liu, Y. H. Chou, S. Y. Yuan, and S. Y. Kuo, “An O(n log n) Path-Based Obstacle-Avoiding Algorithm for Rectilinear Steiner Tree Construction,” 46th ACM/IEEE Design Automation Conference (DAC-2009), San Francisco, California, Jul. 2009
F. V. Yarochkin, O. Arkin, M. Kydyraliev, S. Y. Dai, Y. Huang, and S. Y. Kuo, “Xprobe++2: Low Volume Remote Network Information Gathering Tool,” 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2009), Lisbon, Potuga, Jun. 2009
C. M. Yu, C. H. Lu, and S. Y. Kuo, “A Simple Non-Interactive Pair-wise Key Establishment Scheme in Sensor Networks,” Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2009), Rome, Italy, Jun. 2009
C. M. Yu, C. H. Lu, and S. Y. Kuo, “A DoS-Resilient En-route Filtering Scheme for Sensor Networks,” Tenth ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc'09), New Orleans, Louisiana, May 2009
H. Z. Chou, I. H. Lin, C. S. Yang, K. H. Chang, and S. Y. Kuo, “Enhancing Bug Hunting Using High-Level Symbolic Simulation,” 2009 ACM Great Lake Symposium on VLSI (GLSVLSI-2009), Boston, Massachusetts, May 2009
B. Y. Ye, P. Y. Yeh, S. Y. Kuo and I. Y. Chen, “Design-for-Testability Techniques for Arithmetic Circuits,” IEEE Circuits and Systems International Conference on Testing and Diagnosis (ICTD'09), Chengdu, China, Apr. 2009
C. M. Yu, C. H. Lu, and S. Y. Kuo, “A constrained Function Based Message Authentication Scheme for Sensor Networks,” Proceedings of the IEEE Wireless Communications and networking Conference (WCNC'09), Budapest, Hungary, Apr. 2009

曾宇鳳 (Yu-Fong, Tseng)

Journal articles & book chapters:

Hsiao, Y., Su, B. H., & Tseng, Y. J.* (2020). Current development of integrated web servers for preclinical safety and pharmacokinetics assessments in drug development. Briefings in Bioinformatics.
Lin, C., Wang, P. H., Hsiao, Y., Chan, Y. T., Engler, A. C., Pitera, J. W., ... & Tseng, Y. J.* (2020). Essential Step Toward Mining Big Polymer Data: PolyName2Structure, Mapping Polymer Names to Structures. ACS Applied Polymer Materials, 2(8), 3107-3113.
Kuo, T. C., & Tseng, Y. J.* (2018). LipidPedia: a comprehensive lipid knowledgebase. Bioinformatics, 1, 6.
Tseng, Y. J.*, Esposito, E., Lin, F. Y. (2018) LeadOp+R: Structure-based lead optimization with synthetic accessibility. Frontiers in Pharmacology, Provisionally accepted.
Chao, H. C., Chen, G. Y., Hsu, L.C., Liao, H. W., Yang, S. Y., Wang, S. Y., Li, Y. L., Tang, S. C., Tseng, Y. J., Kuo, C. H*. (2017) Using precursor ion scan of 184 with liquid chromatography-electrospray ionization-tandem mass spectrometry for concentration normalization in cellular lipidomic studies. Analytica Chimica Acta, 971, 68-77.
Lee, M. Y., Lin, Y. R., Tu, Y. S., Tseng, Y. J., Chan, M. H.*, Chen, H. H.* (2017) Effects of sarcosine and N, N-dimethylglycine on NMDA receptor-mediated excitatory field potentials. Journal of Biomedical Science. 24 (1), 18
Schurz, A., Su, B. H., Tu, Y. S., Lu, T. Y., Lin, O. A., Tseng, Y. J.* (2017) G.A.M.E.: GPU-accelerated mixture elucidator. Journal of Cheminformatics, 9:50.
Chen, H. L., Lu, T. Y., Hsu, C. C., Tseng, Y. J. , Lim, T. S., Chen, P. Y. (2017) Directly monitor protein rearrangement on a nanosecondto-millisecond time-scale. Scientific Reports, 7:8691.
Chang, C. H., Chung, C. H., Tu, Y. S., Tsai, C. C., Hsu, C. C., Peng, H. C., Tseng, Y. J.* , Huang, T. F. (2017) Trowaglerix venom polypeptides as a novel antithrombotic agent by targeting immunoglobulin-like domains of Glycoprotein VI in Platelet. Arteriosclerosis Thrombosis And Vascular Biology, 37, 1307-1314.
Chao, H. C., Chen, G. Y., Hsu, L. C., Liao, H. W., Yang, S. Y., Wang, S. Y., Li, Y. L., Tang, S. C., Tseng, Y. J. , Kuo C. H. (2017) Using precursor ion scan of 184 with liquid chromatography-electrospray ionization-tandem mass spectrometry for concentration normalization in cellular lipidomic studies. Analytica Chimica Acta, 971, 68-77.
Lee, M. Y., Lin, Y. R., Tu, Y. S., Tseng, Y. J. , Chan, M. H., Chen, H. H. (2017) Effects of sarcosine and N, N-dimethylglycine on NMDA receptor-mediated excitatory field potentials. Journal of Biomedical Science , 24(1), 18-28.
Shen, C. Y., Kuo, C. .H.. Wang, S. Y., Yang, W. Q., Kuo, C. T., Tseng, Y. J.* , Tsai , M. H. (2016) Distinct metabolic changes in human lung cancer cells with differential radiation sensitivities. Translational Cancer Research, 5(6), 738-747.
Hsieh, P. L., Tseng, C. H., Tseng, Y. J. , Yang W. S.(2016). Resistance Training Improves Muscle Function and Cardiometabolic Risks But Not Quality of Life in Older People With Type 2 Diabetes Mellitus: A Randomized Controlled Trial. Journal of Geriatric Physical Therapy, 00:1-12.
Tian, T. F., Wang, S. Y., Kuo, T. C., Tan, C. E., Chen, G. Y., Kuo, C. H., Chen, C. H., Chan, C. C., Lin, O., Tseng, Y. J.* (2016) A Web Server for Peak Detection, Baseline Correction and Alignment in Two-dimensional Gas Chromatography Mass Spectrometry-based Metabolomics Data. Analytical Chemistry, 88(21), 10395-10403.
Huang, S. W.; Kuo, H. L.; Hsu, M. T.; Tseng, Y. J. ; Lin, S. W.; Kuo, S. C.; Peng, H. C.; Lien, J. C.; Huang, T. F. (2016). A novel thromboxane receptor antagonist, nstpbp5185, inhibits platelet aggregation and thrombus formation in animal models. Thrombosis and haemostasis, 116.
Tzeng, T. H., Kuo, C. Y., Wang, S. Y., Huang, P. K., Huang, Y. M., Hsieh, W. C., Huang, Y. J., Lee, S. C., Tian, W. C., Lu, S. S., Tseng, Y. J. (2016). A Portable Micro Gas Chromatography System for Lung Cancer Associated Volatile Organic Compound Detection. IEEE Journal of Solid-State Circuits, 51(1), 259-272.
Hsu, K. H.; Su, B. H.; Tu, Y. S.; Lin, O. A.; Tseng, Y. J.* (2016). Mutagenicity in a Molecule: Identification of Core Structural Features of Mutagenicity Using a Scaffold Analysis. PloS one, 11(2) e0148900.
Chiu, H. H., Tsai, S. J., Tseng, Y. J. , Wu, M. S., Liao, W. C., Huang, C. S., Kuo, C. H. (2015). An efficient and robust fatty acid profiling method for plasma metabolomic studies by gas chromatography–mass spectrometry. Clinica Chimica Acta, 451, 183-190.
Lai, Y. S., Chen, W. C., Kuo, T. C., Ho, C. T., Kuo, C. H., Tseng, Y. J. , Lu, K. H., Lin, S. H., Panyod S., & Sheen, L. Y. (2015). Mass-spectrometry-based serum metabolomics of a C57BL/6J mouse model of high-fat-diet-induced non-alcoholic fatty liver disease development. Journal of Agricultural and Food Chemistry, 63(35), 7873-7884.
Chen, G. Y., Liao, H. W., Tsai, I.L., Tseng, Y. J. , & Kuo, C. H., (2015). Using the matrix-induced ion suppression method for concentration normalization in cellular metabolomics studies. Analytical chemistry, 87(19), 9731-9739.
Lin, M. I., Su, B. H., Lee, C. H., Wang, S. T., Wu, W. C., Dangate, P., Wang, S. Y., Huang, W. I., Cheng,T. J., Lin, O. A., Cheng, Y. S., Tseng, Y. J.* , & Sun, C. M. (2015). Synthesis and inhibitory effects of novel pyrimido-pyrrolo-quinoxalinedione analogues targeting nucleoproteins of influenza A virus H1N1. European journal of medicinal chemistry, 102, 477-486.
Lai, Y. S., Chen, W. C., Kuo, T. C., Ho, C. T., Kuo, C. H., Tseng, Y. J. , ... & Sheen, L. Y. (2015). Mass spectrometry-based serum metabolomics of a C57BL/6J mouse model of high-fat diet induced nonalcoholic fatty liver disease development. Journal of Agricultural and Food Chemistry, 63(35), 7873-7884.
Esposito, E. X., Hopfinger, A. J., Shao, C. Y., Su, B. H., Chen, S. Z., & Tseng, Y. J. (2015). Exploring possible mechanisms of action for the nanotoxicity and protein binding of decorated nanotubes: Interpretation of physicochemical properties from optimal QSAR models. Toxicology and applied pharmacology, 288(1), 52-62.
Su, B. H., Tu, Y. S., Lin, C, Shao, C. Y., Lin, O. A., & Tseng, Y. J.* (2015). Rule-based Prediction Models of Cytochrome P450 Inhibition. Journal of chemical information and modeling, 55(7), 1426-1434.
Chen H. H., Tseng, Y. J. , Wang, S. Y., Tsai, Y. S., Chang, C. S., Kuo, T. C., Yao, W. J., Shieh, C. C., Wu, C. H., & Kuo, P. H. (2015). The metabolome profiling and pathway analysis in metabolic healthy and abnormal. International Journal of Obesity, 39(8), 1241-1248.
Su, B. H., Tu, Y. S., Lin, O. A., Harn, Y. C., Shen, M. Y., & Tseng, Y. J.* (2015). Rule-based Classification Models of Molecular Autofluorescence. Journal of chemical information and modeling, 55(2), 434-445. (IF =3.65, Ranking = 6/144, 4%, Category: Computer science, Information systems)
Wang, S. Y., Kuo, C. H., & Tseng, Y. J.* (2015). An Ion Trace Detection Algorithm to Extract Pure Ion Chromatograms to Improve Untargeted Peak Detection Quality for Liquid Chromatography/Time-of-Flight Mass Spectrometry-based Metabolomics Data. Analytical chemistry, 87(5), 3048-3055.
Shao, C. Y., Su, B. H., Tu, Y. S., Lin, C., Lin, O. A., & Tseng, Y. J.* (2015). CypRules: A rule-based P450 inhibition prediction server. Bioinformatics, 31(11), 1869-1871.
Hung, C. S., Li, H. Y., Kuo, C. H., Lin, M. S., Kuo, T. C., Tsai, S. J., Liu, P. H., Lin, C. H., Yang, C.Y., Chuang, L.M., Chen, M.F., Tseng, Y. J.*, & Kao, H. L. (2015). Fasting But Not Changes of Plasma Metabolome During Oral Glucose Tolerance Tests Improve the Diagnosis of Severe Coronary Arterial Stenosis. Clinical endocrinology.
Chen, G. Y., Chiu, H. H., Lin, S. W., Tseng, Y. J. , Tsai, S. J., & Kuo, C. H. (2015). Development and application of a comparative fatty acid analysis method to investigate voriconazole-induced hepatotoxicity. Clinica Chimica Acta, 438, 126-134.
Lin, S. W., Kang, W. Y., Lin, D. T., Lee, J. C., Wu, F. L. L., Chen, C. L., & Tseng, Y. J.* (2014). Comparison of warfarin therapy clinical outcomes following implementation of an automated mobile phone-based critical laboratory value text alert system. BMC medical genomics, 7(1), 1.
Su, B. H., Huang, Y. S., Chang, C. Y., Tu, Y. S., & Tseng, Y. J.* (2013). Template-Based de Novo Design for Type II Kinase Inhibitors and Its Extended Application to Acetylcholinesterase Inhibitors. Molecules, 18(11), 13487-13509.
Tsai, I. L., Weng, T. I., Tseng, Y. J. , Tan, H. K. L., Sun, H. J., & Kuo, C. H. (2013). Screening and Confirmation of 62 Drugs of Abuse and Metabolites in Urine by Ultra-High-Performance Liquid Chromatography–Quadrupole Time-of-Flight Mass Spectrometry. Journal of analytical toxicology, 37(9), 642-651.
Liu, C. T., Raghu, R., Lin, S. H., Wang, S. Y., Kuo, C. H., Tseng, Y. J. , & Sheen, L. Y. (2013). Metabolomics of ginger essential oil against alcoholic fatty liver in mice. Journal of agricultural and food chemistry, 61(46), 11231-11240.
Kuo, T. C., Tian, T. F., & Tseng, Y. J.* (2013). 3Omics: a web-based systems biology tool for analysis, integration and visualization of human transcriptomic, proteomic and metabolomic data. BMC systems biology, 7(1), 64.
Tsai, I. L., Kuo, T. C., Ho, T. J., Harn, Y. C., Wang, S. Y., Fu, W. M., ... & Tseng, Y. J.* (2013). Metabolomic dynamic analysis of hypoxia in MDA-MB-231 and the comparison with inferred metabolites from transcriptomics data. Cancers, 5(2), 491-510.
Huang, C. C., McDermott, M. M., Liu, K., Kuo, C. H., Wang, S. Y., Tao, H., & Tseng, Y. J.* (2013). Plasma metabolomic profiles predict near-term death among individuals with lower extremity peripheral arterial disease. Journal of vascular surgery, 58(4), 989-996.
Tseng, Y. J.* , Martin, E., Bologa, C. G., & Shelat, A. A. (2013). Cheminformatics aspects of high throughput screening: from robots to models: symposium summary. Journal of computer-aided molecular design, 27(5), 443-453.
Tseng, Y. J. , Kuo, C. T., Wang, S. Y., Liao, H. W., Chen, G. Y., Ku, Y. L., Shao, W.C., & Kuo, C. H. (2013). Metabolomic characterization of rhubarb species by capillary electrophoresis and ultra‐high‐pressure liquid chromatography. Electrophoresis, 34(19), 2918-2927.
Chang, C. Y., Hsu, M. T., Esposito, E. X., & Tseng, Y. J.* (2013). Oversampling to overcome overfitting: exploring the relationship between data set composition, molecular descriptors, and predictive modeling methods. Journal of chemical information and modeling, 53(4), 958-971.
Ho, T. J., Kuo, C. H., Wang, S. Y., Chen, G. Y., & Tseng, Y. J.* (2013). True ion pick (TIPick): a denoising and peak picking algorithm to extract ion signals from liquid chromatography/mass spectrometry data. Journal of Mass Spectrometry, 48(2), 234-242.
Tsai, D. M., Kang, J. J., Lee, S. S., Wang, S. Y., Tsai, I. L., Chen, G. Y., Liao, H. W., Li, W.C., Kuo, C.H., & Tseng, Y. J.* (2013). Metabolomic analysis of complex Chinese remedies: examples of induced nephrotoxicity in the mouse from a series of remedies containing aristolochic acid. Evidence-Based Complementary and Alternative Medicine, 2013.
Shao, C. Y., Chen, S. Z., Su, B. H., Tseng, Y. J.* , Esposito, E. X., & Hopfinger, A. J. (2013). Dependence of QSAR models on the selection of trial descriptor sets: a demonstration using nanotoxicity endpoints of decorated nanotubes. Journal of chemical information and modeling, 53(1), 142-158.
Wang, K. C., Wang, S. Y., Kuo, C. H., & Tseng, Y. J.* (2012). Distribution-based classification method for baseline correction of metabolomic 1D proton nuclear magnetic resonance spectra. Analytical chemistry, 85(2), 1231-1239.
Wang, S. Y., Kuo, C. H., & Tseng, Y. J.* (2012). Batch Normalizer: a fast total abundance regression calibration method to simultaneously adjust batch and injection order effects in liquid chromatography/time-of-flight mass spectrometry-based metabolomics data and comparison with current calibration methods. Analytical chemistry, 85(2), 1037-1046.
Jansen, J. M., Amaro, R. E., Cornell, W., Tseng, Y. J. , & Walters, W. P. (2012). Computational chemistry and drug discovery: a call to action. Future medicinal chemistry, 4(15), 1893-1896.
Jansen, J. M., Cornell, W., Tseng, Y. J.* , & Amaro, R. E. (2012). Teach–Discover–Treat (TDT): Collaborative computational drug discovery for neglected diseases. Journal of Molecular Graphics and Modelling, 38, 360-362.
Su, B. H., Tu, Y. S., Esposito, E. X., & Tseng, Y. J.* (2012). Predictive toxicology modeling: protocols for exploring hERG classification and Tetrahymena pyriformis end point predictions. Journal of chemical information and modeling, 52(6), 1660-1673.
Kuo, C. H., Wang, K. C., Tian, T. F., Tsai, M. H., Chiung, Y. M., Hsiech, C. M., Tsai, S. J , Wang, S. Y., Tsai, D. M., Huang, C.C., & Tseng, Y. J.* (2012). Metabolomic characterization of laborers exposed to welding fumes. Chemical research in toxicology, 25(3), 676-686.
Tseng, Y. J. , Hopfinger, A. J., & Esposito, E. X. (2012). The great descriptor melting pot: mixing descriptors for the common good of QSAR models. Journal of computer-aided molecular design, 26(1), 39-43.

廖世偉 (Shih-Wei, Liao)

Journal articles & book chapters:

View-Based Federated Byzantine Agreement System for Environmental Blockchain
Y. Liao, Y. Su, H. Tsai, K. Chiang, S. Harding, M. Sie, S. Liao
Blockchain, Robotics and AI for Networking Security Conference, 2021
Multi-Layer Aggregate Verification for IoT Blockchain
J. Wu, M. Sie, S. Harding, C. Lin, S. Wang, S. Liao
Blockchain, Robotics and AI for Networking Security Conference, 2021
Preliminary Studies in Optimizing Deep Learning for Computer Vision:
Memory Traffic Analysis Across CNN Layers
P. Liao, W. Hsu, S. Liao
CTHPC 2021, May 2021
Intra- and Inter- Layer Transformation to Reduce Memory Traffic for CNN Computation
P. Liao, W. Hsu, S. Liao
ICPP-EMS, August 2021
Statistical models and stochastic optimization in financial technology and investment science
T. Lai, S. Liao, S. Wong, H. Xu
Annals of Mathematical Sciences and Applications, Volume 5, Number 2, 2020, pages 317–345
Soteria: A Provably Compliant User Right Manager Using a Novel Two-Layer Blockchain Technology
W. Fu, Y. Lin, G. Campagna, C. Liu, D. Tsai, C. Mei, E. Chang, S. Liao, M. Lam.
IEEE Infrastructure Conference, 2020
3-To-1 Pipeline: Restructuring Transfer Learning Pipelines for Medical Image Classification via Optimized GAN Synthetic Images
R. Choong, S. Harding, B. Tang, S. Liao,
EMBC 2020 (IEEE Engineering in Medicine and Biology Society), 2020
Endex: Degree of Mining Power Decentralization for Proof-of-Work Based Blockchain Systems
R. Chen, I. Tu, K. Chuang, Q. Lin, S. Liao, W. Liao,
IEEE Network, 12 August 2020
純網銀如何克服監理與資安兩大痛點 S. Liao
Cover Story: FinTech, RegTech and Security S. Liao
invited article, Bankers Magazine, September 2019
RelGAN: Multi-Domain Image-to-Image Translation via Relative Attributes
P. Wu, Y. Lin, C. Chang, E. Chang, S. Liao
IEEE International Conference on Computer Vision, 2019
Autonomous and malware-proof blockchain-based firmware update platform with efficient batch verification for Internet of Things devices
J. Hu, L. Yeh, S. Liao, C. Yang
Computers & Security, 2019
Reinforcement Learning for Improving the Accuracy of PM2.5 Pollution Forecast Under the Neural Network Framework
S. Chang, C. Chang, L. Li, S. Liao
IEEE Access, 2019
Sensor Data Compression using Bounded Error Piecewise Linear Approximation and Resolution Reduction
J. Lin, S. Liao, F. Leu
Energies Journal，2019
An Evaluation of Bitcoin Address Classification based on Transaction History Summarization
Yu-Jing Lin, Po-Wei Wu, Cheng-Han Hsu, I-Ping Tu, and Shih-wei Liao
IEEE International Conference on Blockchain and Cryptocurrency, 2019
DeepLinQ: Distributed Multi-Layer Ledgers for Privacy-Preserving Data Sharing
Shih-Wei Liao , Edward Y. Chang , Chun-Ting Liu , Wei-Chen Lin, Pin-Wei Liao , Wei-Kang Fu , Chung-Huan Mei and Emily J. Chang
IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR 2018), 2018
Personalized Difficulty Adjustment for Countering the Double-Spending Attack in Proof-of-Work Consensus Protocols
Chi-Ning Chou, Yu-Jing Lin, Ren Chen, Hsiu-Yao Chang, I-Ping Tu, Shih-wei Liao
Dynamic Difficulty Scheme in Bitcoin System: A Distributed and Balanced Consensus Network
IEEE Blockchain Conference, 2018
Governance on the Drug Supply Chain via Gcoin Blockchain
J.H. Tseng, Y. Liao, B. Chong, S.i Liao
International Journal of Environmental Research and Public Health. 2018
Applying Blockchain to An Automated Clearinghouse System
Y. Liao, J. Tseng, S. Liao
The 23rd Annual Tanet Proceeding, Pages 640-645, October 2017
A Profile-Guided Synergistic Computation Framework for Halide
S. Liao, C. Kao, Y. Shimizu
Journal of Systems Architecture (JSA), 2017
Blockchain: The evolutionary next step for ICT e-Agriculture
Y. Lin, J. Petway, J. Anthony, H. Mukhtar, S. Liao, C. Chou, Y. Ho
Environments 2017, 4(3), 50
A Halide-based Synergistic Computing Framework for Heterogeneous Systems
S. Liao, S. Kuang, C. Kao, C.Tu
Journal of Signal Processing Systems (JSPS), 2017
Deadline Is Not Enough: Importance-Aware Transmission Control Protocol for Server-Centric Data Centers
M. Chen, S. Wang, S. Liao, I. Chung, C. Chou
IEEE Systems Journal, Volume:PP, Issue:99, 2016
Locality-aware scheduling for stencil code in Halide
S. Liao, S. Tsai, C. Yang, C. Lo
ICPP-EMS 2016
Gcoin whitepape
S. Liao
Gcoin foundation 2016
Machine Learning-Based Configuration Parameter Tuning on Hadoop System.
C. Chen, Y. Zhuo, C. Yeh, C. Lin, S. Liao
BigData Congress, 2015, pp. 386-392.
High-level compute APIs and performance portability on Android.
S. Liao
The 11th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2013.
Design and Implementation of High-Level Compute on Android Systems
Hung-Shuen Chen, Jr-Yuan Chiou, Cheng-yan Yang, Yi-jui Wu, Wei-chung Hwang, Hao-Chien Hung, Shih-wei Liao
ESTIMEDIA 2013
RS2CL: A Renderscript-to-OpenCL translator.
Jr-Yuan Chiou, Hung-Shuen Chen, Cheng-Yan Yang, Yi-Jui Wu, Bo-Yu Lin
APPLC 2013
O2render : An OpenCL-to-Renderscript Translator for Porting Across Various GPUs or CPUs
Cheng-yan Yang, Yi-jui Wu, Steven Liao
ESTIMEDIA 2012
Android RenderScript on Low-Level Virtual Machine
S. Liao
Linux Foundation Collaboration Summit, 2011.
Taming hardware event samples for FDO compilation
Dehao Chen, Neil Vachharajani, Robert Hundt, Shih-wei Liao, Vinodha Ramasamy, Paul Yuan, Wenguang Chen, Weimin Zheng
CGO 2010: 42-52
Prefetch optimizations on large-scale applications via parameter value prediction
Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Hucheng Zhou, Chinyen Chou, Chia-Heng Tu
ICS 2009: 519-520
Machine Learning-Based Prefetch Optimization for Data Center Applications
S. Liao, T. Hung, D. Nguyen, C. Chou, C. Tu, H. Zhou,
Proceedings of Supercomoputing 2009
Prefetch Optimization on Large-scale Applications via Parameter Value Prediction
S. Liao, T. Hung, H. Zhou, D. Nguyen, C. Chou, C. Tu,
ACM International Conference on Supercomoputing, Pages: 519-520, June 2009.

管希聖 (Goan, His-Sheng)

Y. Shee, P.-K. Tsai, C.-L. Hong, H.-C. Cheng and H.-S. Goan, A Qubit-Efficient Encoding Scheme for Quantum Simulation of Electronic Structure, Phys. Rev. Research 4, 023154 (2022)
S. Y.-C. Chen, C.-M. Huang, C.-W. Hsing, H.-S. Goan, Y.-J. Kao, Variational Quantum Reinforcement Learning via Evolutionary Optimization, Mach. Learn.: Sci. Technol, 3 (2022)
Chen, C.-C.; Stace, T.M.; Goan, H.-S., Full-polaron master equation approach to dynamical steady states of a driven two-level system beyond the weak system-environment coupling, Phys. Rev. B 102, 035306, (2020)
Chen, S.Y.-C.; Yang, C.-H.H.; Qi, J.; Chen, P.-Y.; Ma, X.; Goan, H.-S., Variational Quantum Circuits for Deep Reinforcement Learning, in IEEE Access, vol. 8, pp. 141007-141024, (2020)
Jian, C.-C.; Su, Y.-L.; Lohrey, T.; Lee, Y.-L.; Goan, H.-S., Low Attenuation Dichroic Sub-Reflector for Wide Incident Angles for Ka/Ku Band Satellite Antenna Systems: An ECA Analysis, 2020 14th European Conference on Antennas and Propagation (EuCAP), (2020), pp. 1-5
Chang, Y.-C.; Karimi, B.; Senior, J.; Ronzani, A.; Peltonen, J.T.; Goan, H.-S.; Chen, C.-D.; Pekola, J.P., Utilization of the superconducting transition for characterizing low-quality-factor superconducting resonators, Appl. Phys. Lett. 115, 022601 (2019)
Hsieh, Y.-Y.; Su, Z.-Y.; Goan, H.-S., Non-Markovianity, information backflow, and system-environment correlation for open-quantum-system processes, Physical Review A 100, 012120 (2019)
Huang, C.-H.; Yang, C.-H.; Chen, C.-C.; Dzurak, A.S.; Goan, H.-S., High-fidelity and robust two-qubit gates for quantum-dot spin qubits in silicon, Physical Review A 99, 042310 (2019)
X. Meng, H.-S. Goan, J. Wang, R. Zhang, “Nonclassical thermal-state superpositions: Analytical evolution law and decoherence behavior”, Optics Communications 411, 15 (2018)
V. Gudmundsson*, N. R. Abdullah, A. Sitek, H.-S. Goan*, C.-S. Tang*, A. Manolescu*, “Electroluminescence caused by the transport of interacting electrons through parallel quantum dots in a photon cavity”, arXiv:1706.03483; Accepted by Annalen der Physik (2017)
Y.-J. Chang, T.-K. Yeh, C.-H. Wan, D. W. Utami, G. J. Milburn, and H.-S. Goan*, “Conditional counting statistics of electrons tunneling through quantum dot systems measured by a quantum point contact”, Physical Review B 96, 195440 (2017)
Z. Zhou, Z. Lü*, H. Zheng*, H.-S. Goan*, “Quantum Zeno and anti-Zeno effects in open quantum systems”, Physical Review A 96, 032101 (2017)
T. H. Jonssona, A. Manolescub, H.-S. Goan, N. R. Abdullahe, A. Sitekf, C.-S. Tangg, V. Gudmundssona, “Efficient determination of the Markovian time-evolution towards a steady-state of a complex open quantum system”, Computer Physics Communications, 220, 81 (2017)
V. Gudmundsson, N. R. Abdullah, A. Sitek, H.-S. Goan, C.-S. Tang, A. Manolescu, “Time-dependent current into and through multilevel parallel quantum dots in a photon cavity”,. Physical Review B 95, 195307 (2017)
C.-H. Huang and H.-S. Goan, “Robust quantum gates for stochastic time-varying noise”, Physical Review A 95, 062325 (2017)
V. Gudmundsson, T. H. Jonsson, M. L. Bernodusson, N. R. Abdullah, A. Sitek, H-S. Goan, C.-S. Tang, and A. Manolescu, “Regimes of radiative and nonradiative transitions in transport through an electronic system in a photon cavity reaching a steady state”, Annalen der Physik 529, 1600177 (2017)
M. Nespoli, H.-S. Goan*, and M.-H. Shih*, “Vernier-like super resolution with guided correlated photon pairs”, Optics Express 24, 300 (2016)
C.-C. Chen, and H.-S. Goan*, “Effects of initial system-environment correlations on the open-quantum-system dynamics and state preparation”, Physical Review A 93, 032113 (2016)
Z. Lü*, Y. Yan, H.-S. Goan*, H. Zheng*, “Bias-modulated dynamics of a strongly driven two-level system”, Physical Review A 93, 033803 (2016)
D. Hu, S.-Y. Huang, J.-Q. Liao, L. Tian, and H.-S. Goan*,"Quantum Coherence in Ultrastrong Optomechanics", Phys. Rev. A 91, 013812 (2015)
Y. Chou, S.-Y. Huang and H.-S. Goan*, “Optimal control of fast and high-fidelity quantum gates with electron and nuclear spins of a nitrogen-vacancy center in diamond”, Physical Review A 91, 052315 (2015)
J.-S. Tai, K.-T. Lin, and H.-S. Goan*, “Optimal control of quantum gates in an exactly solvable non-Markovian open quantum bit system”, Physical Review A 89, 062310 (2014)
S.-Y. Huang, and H.-S. Goan*, "Optimal control for fast and high-fidelity quantum gates in coupled superconducting flux qubits",Physical Review A 90, 012318 (2014)
V. Gudmundsson*, O. Jonasson, T. Arnold, C.-S. Tang*, H.-S. Goan*, A. Manolescu*, “Stepwise introduction of model complexity in a generalized master equation approach to time-dependent transport”, Fortschr. Phys. 61, 305 (2013)
O. Jonasson, C.-S. Tang*, H.-S. Goan*, A. Manolescu, V. Gudmundsson*, "Symmetric excitation and de-excitation of a cavity QED system", Eur. Phys. J. B 86, 291 (2013)
S.-Y. Huang, H.-S. Goan*, X.-Q. Li, and G. J. Milburn, “Generation and stabilization of a three-qubit entangled W state in circuit QED via quantum feedback control”", Physical Review A 88, 062311 (2013)
O. Jonasson, C.-S. Tang*, H.-S. Goan*, A. Manolescu, V. Gudmundsson*, “Quantum magneto-electrodynamics of electrons embedded in a photon cavity", New Journal of Physics 14 013036, (2012)
V. Gudmundsson*, O. Jonasson, C.-S. Tang*, H.-S. Goan*, A. Manolescu, "Time-dependent transport of electrons through a photon cavity", Physical Review B 85, 075306 (2012)
B. Hwang and Hsi-Sheng Goan*, “Optimal control for non-Markovian open quantum systems”, Physical Review A 85, 032321 (2012)
O. Jonasson, C.-S. Tang*, H.-S. Goan*, A. Manolescu, V. Gudmundsson*, “Nonperturbative Approach to Circuit Quantum Electrodynamics”, Physical Review E 86, 046701 (2012)
. Z. Yuan, Hsi-Sheng Goan* and K. D. Zhu, “Dynamics of a driven spin coupled to an antiferromagnetic environment“, New Journal of Physics 13, 023018 (2011)
P.-W. Chen, C.-C. Jian and Hsi-Sheng Goan*, “Non-Markovian dynamics of a nanomechanical resonator measured by a quantum point contact", Physical Review B 83, 115439 (2011)
Hsi-Sheng Goan*, P.-W. Chen and C.-C. Jian, “Evolution equations of non-Markovian finite-temperature two-time correlation functions: beyond the quantum regression theorem", Journal of Chemical Physics 134, 124112 (2011)
C.-A. Yen, S.-J. Horng, Hsi-Sheng Goan*, T.-W. Kao, Comment on “A special attack on the multiparty quantum secret sharing of secure direct communication using single photons", Optics Communications 283, 3202 (2010)
X. Z. Yuan, Hsi-Sheng Goan* and K. D. Zhu, “Geometric phase of a central spin coupled to an antiferromagnetic environment", Physical Review A 81, 034102 (2010)
Hsi-Sheng Goan*, C.-C. Jian and P.-W. Chen, “Non-Markovian finite-temperature two-time correlation functions of system operators of a pure-dephasing model", Physical Review A 82, 012111 (2010)
Md. M. Ali, P.-W. Chen and Hsi-Sheng Goan*, “Decoherence-free subspace and disentanglement dynamics for two qubits in a common non-Markovian squeezed reservoir", Physical Review A 82, 022103 (2010)
S. Raghunathan*, T. A. Brun*, Hsi-Sheng Goan*, “Gaussian approximation and single-spin measurement in magnetic resonance force microscopy with spin noise", Physical Review A 82, 052319 (2010)
C.-A. Yen , S.-J. Horng, Hsi-Sheng Goan*, T.-W. Kao, Y.-H. Chou, “Quantum direct communication with mutual authentication", Quantum Information and Computation 9, 0376-0394(2009)
Md. M. Ali and Hsi-Sheng Goan*, “Matter-wave interference in the time-of-flight distribution", Journal of Physics A: Mathematical and Theoretical 42, 385303 (2009)
D.-B. Tsai, P.-W. Chen, and Hsi-Sheng Goan*, “Optimal control of the silicon-based donor-electron-spin quantum computing", Physical Review A 79, 060306 (Rapid Communications) (2009)
X. Z. Yuan*, K. D. Zhu and Hsi-Sheng Goan, “The dynamics of a central spin in quantum Heisenberg XY model", European Physical Journal D 46, 375 (2008)
T.-Y. Huang, C.-T. Liang*, G.-H. Kim, C. F. Huang, C.-P. Huang, J.-Y. Lin, Hsi-Sheng Goan, and D. A. Ritchie, “From insulator to quantum Hall liquid at low magnetic fields", Physical Review B 78, 113305 (2008)
X. Z. Yuan, Hsi-Sheng Goan*, C. H. Lin, K. D. Zhu and Y. W. Jiang, "Nanomechanical-resonator-assisted induced transparency in a Cooper-pair-box system", New Journal of Physics 10, 095016 (2008)

鄭原忠 (Yuan-Chung, Cheng)

S. Sun, L.-C. Shih, and Y.-C. Cheng, “Efficient Quantum Simulation of Open Quantum System Dynamics on Noisy Quantum Computers,” arXiv:2106.12882 [quant-ph].
M.T. Wong and Y.-C. Cheng, “A quantum Langevin equation approach for two-dimensional electronic spectra of coupled vibrational and electronic dynamics" J. Chem. Phys., 154, 154107 (2021)
S.-C. Wang, K.-Y. Cheng, J.-H. Fu, Y.-C. Cheng, and Y.-T. Chan, “Conformational Regulation of Multivalent Terpyridine Ligands for Self-Assembly of Heteroleptic Metallo-Supramolecules”J. Am. Chem. Soc., 142, 16661 (2020)
W.-C. Chen and Y.-C. Cheng, “Elucidating the Magnitude of Internal Reorganization Energy of Molecular Excited States from the Perspective of Transition Density” J. Phys. Chem. A, 124, 7644 (2020).
S.-H. Yeh, A. Manjanath, Y.-C. Cheng, J.-D. Chai, and C.-P. Hsu, “Excitation energies from thermally assisted-occupation density functional theory: Theory and computational implementation” J. Chem. Phys., 153, 084120 (2020).
T. H. Mansoure, H. Ayalew, W.-L. Kao, J.-J. Shyue, S.-C. Luo, Y.-C. Cheng, and H.-H. Yu, “Perfluoro-Functionalized Conducting Polymers Enhance Electrocatalytic Oxygen Reduction”ACS Appl. Energy Mater., 3, 1171 (2020).
H.-H. Teh, B.-Y. Jin, and Y.-C. Cheng, “Frozen-mode small polaron quantum master equation with variational bound for excitation energy transfer in molecular aggregates” J. Chem. Phys., 150, 224110 (2019).
Y.-C. Huang and Y.-C. Cheng, “C-N Bond Rotation Controls Photoinduced Electron Transfer in an Aminostyrene-Stilbene Donor-Acceptor System” J. Phys. Chem. A, 123, 4333 (2019).
W.-C. Chen, P.-T. Chou, and Y.-C. Cheng, “Low Internal Reorganization Energy of the Metal-Metal-to-Ligand Charge Transfer Emission in Dimeric Pt(II) Complexes” J. Phys. Chem. C, 123, 10225 (2019).
S.-T. Hsieh, L. Zhang, D.-W. Ye, X. Huang, and Y.-C. Cheng, “A theoretical study on the dynamics of light harvesting in the dimeric photosystem II core complex: regulation and robustness of energy transfer pathways” Faraday Discuss. 216, 94 (2019).
B.-X. Wang, M.-J. Tao, Q. Ai, T. Xin, N. Lambert, D. Ruan, Y.-C. Cheng, F. Nori, F.-G. Deng, and G.-L. Long, “Efficient quantum simulation of photosynthetic light harvesting” Npj Quantum Information 4, 52 (2018)
P.-J. Wu, Y.-F. Wang, W.-C. Chen, C.-W. Wang, Joy Cheng, Vencent Chang, C.-Y. Chang, John Lin, Y.-C. Cheng, “Nanoscale inhomogeneity and photoacid generation dynamics in extreme ultraviolet resist materials.”, Proc. SPIE 10586 (2018).
Y.-F. Wang, Cheng and Y.-C. Cheng, “Molecular electrostatic potential on the proton-donating atom as a theoretical descriptor of excited state acidity” Phys. Chem. Chem. Phys., 20, 4351 (2018).
H.-H. Teh and Y.-C. Cheng,“On the accuracy of the LSC-IVR approach for excitation energy transfer in molecular aggregates” J. Chem. Phys., 146, 144105 (2017).
M.-J. Tao, Q. Ai, F.-G. Deng and Y.-C. Cheng, “Proposal for probing energy transfer pathway by single-molecule pump-dump experiment” Sci. Rep., 6, 27535 (2016).
H.-B. Chen, N. Lambert, Y.-C. Cheng, Y.-N. Chen, F. Nori, “Using non-Markovian measures to evaluate quantum master equations for photosynthesis” Sci. Rep., 5, 12753 (2015).
Y. Chang and Y.-C. Cheng, “On the Accuracy of Coherent Modified Redfield Theory in Simulating Excitation Energy Transfer Dynamics” J. Chem. Phys., 142, 034109 (2015).
Y.-H. Hwang-Fu, W. Chen, Y.-C. Cheng, “A Coherent Modified Redfield Theory for Excitation Energy Transfer in Molecular Aggregates” Chem. Phys., 447, 46 (2015).
Q. Ai, Y.-J. Fan, B.-Y. Jin, Y.-C. Cheng, “An efficient quantum jump method for coherent energy transfer dynamics in photosynthetic systems under the influence of laser fields”, New J. Phys., 16, 053033 (2014).
H.-T. Chang, P.-P. Zhang, Y.-C. Cheng, “Criteria for the accuracy of small polaron quantum master equation in simulating excitation energy transfer dynamics”, J. Chem. Phys., 139, 224112 (2013).
Q. Ai, T.-C. Yen, B.-Y. Jin, Y.-C. Cheng, “Clustered geometries exploiting quantum coherence effects for efficient energy transfer in light harvesting”, J. Phys. Chem. Lett., 4, 2577 (2013).
S.J. Jang, Y.-C. Cheng, “Resonance energy flow dynamics of coherently delocalized excitons in biological and macromolecular systems: Recent theoretical advances and open issues”, WIREs Computat. Mol. Sci., 3, 84 (2013).
N. Lambert, Y.-N. Chen, Y.-C. Cheng, C.-M. Li, G.-Y. Chen, F. Nori, “Quantum biology”, Nat. Phys., 9, 10 (2013).
H.-T. Chang, Y.-C. Cheng, “Coherent versus incoherent excitation energy transfer in molecular systems”, J. Chem. Phys., 137, 165103 (2012).
T. Calhoun, N. Ginsberg, G. Schlau-Cohen, Y.-C. Cheng, M. Ballottari, R. Bassi, G.R. Fleming, “Quantum Coherence Enabled Determination of the Energy Landscape in Light Harvesting Complex II.”, J. Phys. Chem. B, 113, 16291 (2009).
N.S. Ginsberg, Y.-C. Cheng, and G.R. Fleming, “Two-Dimensional Electronic Spectroscopy of Molecular Aggregates.”, Acc. Chem. Res., 42, 1352 (2009).
Y.-C. Cheng and G.R. Fleming, “Dynamics of light harvesting in photosynthesis.”, Ann. Rev. Phys. Chem., 60, 241 (2009).

鄭皓中 (Hao-Chung, Cheng)

Journal Papers (peer-reviewed)

Yu Shee, Pei-Kai Tsai, Cheng-Lin Hong, Hao-Chung Cheng, and Hsi-Sheng Goan, “Qubit-efficient encoding scheme for quantum simulations of electronic structure,” Physical Review Research 4, 023154,May 2022.
Ching-Yi Lai and Hao-Chung Cheng, “Learning quantum circuits of some T gates,” IEEE Transactions on Information Theory, 68(6):3951–3964, June 2022.
Hao-Chung Cheng*, Li Gao, Min-Hsiu Hsieh, “Properties of Noncommutative Rényi and Augustin Information,” Communications in Mathematical Physics, vol. 390, no. 2, 501–544, Mar. 2022./li>
Hao-Chung Cheng, Nilanjana Datta, and Cambyse Rouźe, “Strong converse bounds in quantum network information theory,” IEEE Transactions on Information Theory, vol. 67, no. 4, Apr. 2021.
Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, and Min-Hsiu Hsieh, “Non-Asymptotic Classical Data Compression with Quantum Side Information,” IEEE Transactions on Information Theory, vol. 67, no. 2, pp. 902–930, Feb. 2021.
Hao-Chung Cheng, Min-Hsiu Hsieh and Marco Tomamichel, “Quantum Sphere-Packing Bounds with Polynomial Prefactors,” IEEE Transactions on Information Theory, vol. 65, no. 5, p. 2872–2898 , May 2019.
Hao-Chung Cheng and Min-Hsiu Hsieh, “Matrix Poincaré, Φ-Sobolev Inequalities, and Quantum Ensembles,”Journal of Mathematical Physics, vol. 60, no. 3, p. 032201, 2019.
Hao-Chung Cheng, Min-Hsiu Hsieh, “Moderate Deviation Analysis for Classical-Quantum Channels and Quantum Hypothesis Testing,” IEEE Transactions on Information Theory, vol. 64, no. 2, page 1-19,Feb 2018.
Hao-Chung Cheng, Min-Hsiu Hsieh, and Marco Tomamichel, “Exponential Decay of Matrix Ф-Entropies on Markov Semigroups with Applications to Dynamical Evolutions of Quantum Ensembles,” Journal of Mathematical Physics, vol. 58, no. 9, p. 092202, 2017.
Hao-Chung Cheng, and Min-Hsiu Hsieh, “On the Concavity of Auxiliary Function in Classical-Quantum Channels,” IEEE Transactions on Information Theory, vol. 62, no. 10, Oct 2016.
Hao-Chung Cheng, and Min-Hsiu Hsieh, “Characterizations of Matrix and Operator-ValuedΦ-Entropies, and Operator Efron-Stein Inequalities,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science, vol. 472, no. 2187, p. 20150563, Mar 2016.
Hao-Chung Cheng, Min-Hsiu Hsieh, and Ping-Cheng Yeh, “The Learnability of Unknown Quantum Measurements,” Quantum Information and Computation, vol. 16, no. 7&8, pp. 0615–0656, 2016.
Hao-Chung Cheng, Sheng-Yi Ho, Ping-Cheng Yeh, “Collaborative Non-Cryptographic Physical Layer Authentication Schemes in Wireless Networks,” Radio Science Bulletin of International Union of Radio Science, no. 349, pp. 18–31, 2014.

Conference Proceedings

Yu-Cheng Shen, Li Gao, Hao-Chung Cheng*, “Strong Converse for Privacy Amplification against Quantum Side Information,” IEEE International Symposium on Information Theory (ISIT), June 2022.
Hao-Chung Cheng*, Li Gao, “Error Exponent and Strong Converse for Quantum Soft Covering,” IEEE International Symposium on Information Theory (ISIT), June 2022.
Ching-Yi Lai and Hao-Chung Cheng, “Learning quantum circuits of some T gates,” IEEE International Symposium on Information Theory (ISIT), June 2022.
Jun-Kai You, Hao-Chung Cheng, Yen-Huan Li, “Minimizing Quantum Rényi Divergences via Mirror Descent with Polyak Step Size,” IEEE International Symposium on Information Theory (ISIT), June 2022.
Hao-Chung Cheng, Barış Nakiboğlu, “On The Existence of The Augustin Mean,” IEEE Information Theory Workshop (ITW), 2021.
Hao-Chung Cheng, Andreas Winter and Nengkun Yu, “Discrimination of quantum states under locality constraints in the many-copy setting,” IEEE Symposium on Information Theory (ISIT), 2020.
Hao-Chung Cheng, Nilanjana Datta, and Cambyse Rouźe, “Strong converse bounds in quantum network information theory: distributed hypothesis testing and source coding,” IEEE Symposium on Information. Theory (ISIT), 2020.
Hao-Chung Cheng, Barış Nakiboğlu, “Refined Strong converses for Constant Composition Codes,” IEEE Symposium on Information Theory (ISIT), 2020.
Hao-Chung Cheng, Li Gao, and Min-Hsiu Hsieh, “Properties of Scaled Noncommutative Rényi and Augustin Information,” IEEE Symposium on Information Theory (ISIT), 2019.
Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, and Min-Hsiu Hsieh, “Duality between source coding with quantum side information and c-q channel coding,” IEEE Symposium on Information Theory (ISIT), 2019.
Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, and Min-Hsiu Hsieh, “Error Exponents and Strong Converse Exponents for Classical Data Compression with Quantum Side Information,” IEEE Symposium on Information Theory (ISIT), 2018.
Hao-Chung Cheng, Min-Hsiu Hsieh, and Marco Tomamichel, “Sphere-Packing Bound for Classical-Quantum Channels,” IEEE Information Theory Workshop (ITW), 2017
Hao-Chung Cheng, Min-Hsiu Hsieh, and Marco Tomamichel, “Sphere-Packing Bound for Symmetric. Classical-Quantum Channels,” IEEE Symposium on Information Theory (ISIT), 2017.
Hao-Chung Cheng, and Min-Hsiu Hsieh, “Moderate Deviations for Quantum Hypothesis Testing and a Martingale Inequality,” IEEE Symposium on Information Theory (ISIT), 2017.
Hao-Chung Cheng, and Min-Hsiu Hsieh, “Moderate Deviations for Classical-Quantum Channels,” IEEE Symposium on Information Theory (ISIT), 2017.
Hao-Chung Cheng, Sheng-Yi Ho, Ping-Cheng Yeh, “Collaborative Non-Cryptographic Physical Layer. Authentication Schemes in Wireless Networks,” Asia-Pacific Radio Science Conference, 2013.

Unpublished Pre-Prints

Chien-Ming Lin, Hao-Chung Cheng, and Yen-Huan Li, “Maximum-Likelihood Quantum State Tomography. by Cover’s Method with Non-Asymptotic Analysis,”
Jun-Kai You, Hao-Chung Cheng, Yen-Huan Li, “Minimizing Quantum Renyi Divergences via Mirror. Descent with Polyak Step Size,”

Intellectual Property Rights

Hao-Chung Cheng, Jhe-Syong Jiang, Ling-San Meng, Ping-Cheng Yeh, Yu-Chih Jen, “Method of Handling. Coordinated Scheduling for Base Stations and Mobile Devices and Related Communication Device

謝銘倫 (Ming-Lun, Hsieh)

(with Masataka Chida) "The derivative formula of p-adic L-functions for imaginary quadratic fields at trivial zeros" , Ann. Math. Québec (Special birthday issue for Bernadette Perrin-Riou) , to appear.
(with Shunsuke Yamana) "Base change and triple product LL-series" , Representation Theory , 26, 402-431, 2022.
(with Francesc Castella) "On the non-vanishing of generalized Kato classes for elliptic curves of rank two" , Forum of Mathematics, Sigma , 10, e12, 1-32, 2022.
(with Shunsuke Yamana) "Restriction of Eisenstein series and Stark-Heegner points" , Journal de Théorie des Nombres de Bordeaux (Iwasawa 2019 special issue) , 33 (3.2), 887-944, 2021.
"Hida families and pp-adic triple product LL-functions" , American Journal of Mathematics , 143 (2), 411-532, 2021.
(with Shih-Yu Chen) "On primitive pp-adic Rankin-Selberg LL-functions" , Development of Iwasawa theory - The Centennial of K. Iwasawa's Birth, Advanced Studies in Pure Mathematics , 86 (11), 195-242, 2020.
(with Kenichi Namikawa) "Inner product formula for Yoshida lifts" , Ann. Math. Québec. , 42 (2), 215-253, 2018.
(with Francesc Castella) "Heegner cycles and p-adic L-functions" , Mathematische Annalen , 370 (1-2), 567-628, 2018.
(with Masataka Chida) "Special values of anticyclotomic L-functions for modular forms" , J. reine angew. Math. , 741, 87-131, 2018.
(with Kenichi Namikawa) "Bessel periods and the non-vanishing of Yoshida lifts modulo a prime" , Mathematische Zeitschrift , 285 (3), 851-878, 2017.
(with Masataka Chida) "On the anticyclotomic Iwasawa main conjecture for modular forms" , Compositio Mathematica , 151 (5), 863-897, 2015.
"Special values of anticyclotomic Rankin-Selberg L-functions" , Documenta Mathematica , 19, 709-767, 2014.
"Eisenstein congruence on unitary groups and Iwasawa main conjectures for CM fields" , Journal of the American Mathematical Society , 27 (3), 753-862, 2014.
"On the μμ-invariant of anticyclotomic p-adic L-functions for CM fields" , J. reine angew. Math. , 688, 67-100, 2014.
(with Ashay Burungale) "The vanishing of the μμ-invariant of p-adic Hecke L-functions for CM fields" , IMRN (5), 1014-1027, 2013.
"On the non-vanishing of Hecke L-values modulo p" , American Journal of Mathematics , 134 (6), 1503-1539, 2012.
"Ordinary p-adic Eisenstein series and p-adic L-functions for unitary groups" , Annales de l'Institut Fourier , 61 (3), 987-1059, 2011.
"On the algebraic functional equation of Selmer group for CM fields" , Journal of Number theory , 130, 1914-1924, 2010.

洪士涵 (Shih-Han, Hung)
Refereed papers

Scott Aaronson, Shih-Han Hung. Certified randomness from quantum supremacy. Proceedings of the 55th Annual ACM Symposium on Theory of Computing (STOC 2023), pp. 933–944.
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu. Quantum algorithm for estimating volumes of convex bodies. ACMTransactions on Quantum Computing 4, 3, Article 20 (2023). Also presented in the 23rd Annual Converence on Quantum Information Processing (QIP 2020).
Nai-Hui Chia, Shih-Han Hung. Classical verification of quantum depth. Presented at the 17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022). Also presented at the 12th International Conference on Q uantumCryptography (QCrypt 2022).
ManuelBarbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou. EasyPQC: verifying post-quantum cryptography. Proceedings of the 28th ACM Conference on Computer and Communications Security (CCS 2021), pp. 2564–2586.
Andrew M. Childs, Shih-Han Hung, Tongyang Li. Quantum query complexity with matrix-vector products. Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Leibniz International Proceedings in Informatics, vol. 198, pp.55:1–55:19 (2021). 2/5
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks. Proving quantum programs correct. Proceedings of the 12th Conference on Interactive Theorem Proving (ITP 2021), Leibniz International Proceedings in Informations, vol. 193, pp. 21:1–21:19 (2021).
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks. A verified optimizer for quantum circuits. The 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). Proceedings of the ACM on Programming Languages, vol. 5, no. 37, pp. 1–29. Distinguished paper of POPL 2021.
Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung. Non-interactive classical verification of quantum computation. Proceedings of the 18th International Conference on Theory of Cryptography Conference (TCC 2020), Lecture Notes in Computer Science 12552, 153–180 (2020). Also presented in the 10th International Conference on QuantumCryptography(QCrypt2020) and the 24th Annual Conference on Quantum Information Processing (QIP 2021).
ShaopengZhu,Shih-HanHung,ShouvanikChakrabarti, XiaodiWu. Ontheprinciplesof differentiable quantum programming languages. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), no. 37, pp.272–285.
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu. Quantitative robustness analysis of quantum programs. The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). Proceedings of the ACMonProgramming Languages, vol 3, no. 31, pp. 1–29.
Jianxin Chen, Andrew M. Childs, Shih-Han Hung. Quantum algorithm for multivariate polynomial interpolation, Proceedings of the Royal Society A, 474(2209):20170480, 2018.
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski. Optimal quantum algorithm for polynomial interpolation. Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), pp. 16:1–16:13.
Tak-San Ho, Shih-Han Hung, Hsing-Ta Chen, Shih-I Chu. Memory effect on the multiphoton coherent destruction of tunneling in the electron transport of nanoscale systems driven by a periodic field: a generalized Floquet approach, Physical Review B, 79(23):235323, 2009.

Manuscripts

Nai-Hui Chia, Shih-Han Hung. Non-interactive classical verification of quantum depth: a fine-grained characterization. In submission.
Nai-Hui Chia, Min-Hsiu Hsieh, Shih-Han Hung, En-Jui Kuo. Oracle separation of NISQ and classical complexity classes. In submission.
Shih-Han Hung, En-Jui Kuo. The computational complexity of quantum determinants, in submission. arXiv preprint arXiv:2302.08083.
Kishor Bharti, Shih-Han Hung, Atul Singh Arora, Atul Mantri, Gorjan Alagic, Andrew M. Childs, Alexey V. Gorshkov. Two-round proof of quantumness via simultaneous hardcore bits.
Kai-Min Chung, Xiong Fan, Shih-Han Hung, Jonathan Katz. Quantum-secure identitybased encryption, revisited.
Shih-Han Hung, Yuxiang Peng, Xin Wang, Shaopeng Zhu, Xiaodi Wu. On the theory of invariant-based verification of quantum programs.

Patents

Shih-Han Hung. Image synchronization method and associated apparatus, US9491435B2, TWI517669B, CN103517062B, 2016.
Shih-Han Hung. Stereo image output apparatus and associated method, US9232213B2, TWI520577B, CN103686116B, 2016.

All Categories

Publications

Quantum Computing and Algorithms