Search dblp for Publications

export results for "Ming-Hsien Tsai"

 download as .bib file

@article{DBLP:journals/cbm/LiuLHCLCLWLDT24,
  author       = {Chien{-}Liang Liu and
                  Min{-}Hsuan Lee and
                  Shan{-}Ni Hsueh and
                  Chia{-}Chen Chung and
                  Chun{-}Ju Lin and
                  Po{-}Han Chang and
                  An{-}Chun Luo and
                  Hsuan{-}Chi Weng and
                  Yu{-}Hsien Lee and
                  Ming{-}Ji Dai and
                  Min{-}Juei Tsai},
  title        = {A bagging approach for improved predictive accuracy of intradialytic
                  hypotension during hemodialysis treatment},
  journal      = {Comput. Biol. Medicine},
  volume       = {172},
  pages        = {108244},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.compbiomed.2024.108244},
  doi          = {10.1016/J.COMPBIOMED.2024.108244},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cbm/LiuLHCLCLWLDT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/ChiouTYLSGCWC24,
  author       = {Chien{-}Yu Chiou and
                  Hung{-}Wen Tsai and
                  Wei{-}Jong Yang and
                  Chih{-}Hsien Lee and
                  Ming Ting Sun and
                  Maria Gabrani and
                  Kuo{-}Sheng Cheng and
                  Meng{-}Ling Wu and
                  Pau{-}Choo Chung},
  title        = {{ACC-GAN:} Cross Scanner Robustness With Annotation Consistency Guided
                  Cycle-GAN},
  journal      = {J. Inf. Sci. Eng.},
  volume       = {40},
  number       = {3},
  pages        = {455--474},
  year         = {2024},
  url          = {http://jise.iis.sinica.edu.tw/JISESearch/pages/View/PaperView.jsf?keyId=198\_2683},
  timestamp    = {Sun, 14 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jise/ChiouTYLSGCWC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/YangWLCTHCC23,
  author       = {Ying Yang and
                  Yi{-}Min Wang and
                  Chun{-}Hung Richard Lin and
                  Chi{-}Yung Cheng and
                  Chi{-}Ming Tsai and
                  Ying{-}Hsien Huang and
                  Tien{-}Yu Chen and
                  I{-}Min Chiu},
  title        = {Explainable deep learning model to predict invasive bacterial infection
                  in febrile young infants: {A} retrospective study},
  journal      = {Int. J. Medical Informatics},
  volume       = {172},
  pages        = {105007},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ijmedinf.2023.105007},
  doi          = {10.1016/J.IJMEDINF.2023.105007},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmi/YangWLCTHCC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/LiuLTSWTL23,
  author       = {Yao{-}Lun Liu and
                  Chun{-}Hsien Liu and
                  Chun{-}Hao Tsai and
                  Ce Fang Shih and
                  Jau Yang Wu and
                  Chia{-}Ming Tsai and
                  Sheng{-}Di Lin},
  title        = {Theoretical Calculation and Demonstration of High Radiometric Temperature
                  Detection Using {A} 64 {\texttimes} 128 Pixel {SPAD} Image Array},
  journal      = {{IEEE} Trans. Instrum. Meas.},
  volume       = {72},
  pages        = {1--8},
  year         = {2023},
  url          = {https://doi.org/10.1109/TIM.2023.3328082},
  doi          = {10.1109/TIM.2023.3328082},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tim/LiuLTSWTL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asicon/PaoCHYSTC23,
  author       = {Po{-}Heng Pao and
                  Ren{-}Hao Cheng and
                  Yi{-}Hsiu Huang and
                  Yu{-}Ying Yang and
                  Tzu{-}Hsien Sang and
                  Chia{-}Ming Tsai and
                  Chao{-}Hsin Chien},
  title        = {Noncontact Remote Doping for High-performance Two-dimensional Electronics},
  booktitle    = {15th {IEEE} International Conference on ASIC, {ASICON} 2023, Nanjing,
                  China, October 24-27, 2023},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ASICON58565.2023.10396068},
  doi          = {10.1109/ASICON58565.2023.10396068},
  timestamp    = {Fri, 16 Feb 2024 14:02:58 +0100},
  biburl       = {https://dblp.org/rec/conf/asicon/PaoCHYSTC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TsaiFLSWY23,
  author       = {Ming{-}Hsien Tsai and
                  Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Certified Verification for Algebraic Abstraction},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {329--349},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_16},
  doi          = {10.1007/978-3-031-37709-9\_16},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TsaiFLSWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TsaiFLSWY23a,
  author       = {Ming{-}Hsien Tsai and
                  Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {CoqCryptoLine: {A} Verified Model Checker with Certified Results},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {227--240},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_11},
  doi          = {10.1007/978-3-031-37703-7\_11},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TsaiFLSWY23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LeeSTWM23,
  author       = {Wen{-}Tin Lee and
                  Ping{-}Yi Song and
                  Ming{-}Kai Tsai and
                  Meng{-}Hsien Wu and
                  Shang{-}Pin Ma},
  title        = {A High Availability Microservices Architecture Implementation using
                  Saga and Backup Mechanism},
  booktitle    = {10th International Conference on Dependable Systems and Their Applications,
                  {DSA} 2023, Tokyo, Japan, August 10-11, 2023},
  pages        = {470--471},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/DSA59317.2023.00063},
  doi          = {10.1109/DSA59317.2023.00063},
  timestamp    = {Fri, 24 Nov 2023 19:56:37 +0100},
  biburl       = {https://dblp.org/rec/conf/dsa/LeeSTWM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/HuangCWYLTW23,
  author       = {Yu{-}Ting Huang and
                  Hsien{-}Hao Chen and
                  Tung{-}Lin Wu and
                  Chia{-}Yu Yeh and
                  Jing{-}Kai Lou and
                  Ming{-}Feng Tsai and
                  Chuan{-}Ju Wang},
  editor       = {Jaap Kamps and
                  Lorraine Goeuriot and
                  Fabio Crestani and
                  Maria Maistro and
                  Hideo Joho and
                  Brian Davis and
                  Cathal Gurrin and
                  Udo Kruschwitz and
                  Annalina Caputo},
  title        = {{CPR:} Cross-Domain Preference Ranking with User Transformation},
  booktitle    = {Advances in Information Retrieval - 45th European Conference on Information
                  Retrieval, {ECIR} 2023, Dublin, Ireland, April 2-6, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13981},
  pages        = {448--456},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-28238-6\_35},
  doi          = {10.1007/978-3-031-28238-6\_35},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecir/HuangCWYLTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Chen0S0WY23,
  author       = {Ruiling Chen and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Satish Chandra and
                  Kelly Blincoe and
                  Paolo Tonella},
  title        = {llvm2CryptoLine: Verifying Arithmetic in Cryptographic {C} Programs},
  booktitle    = {Proceedings of the 31st {ACM} Joint European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
  pages        = {2167--2171},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3611643.3613096},
  doi          = {10.1145/3611643.3613096},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Chen0S0WY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LaiLSTWY23,
  author       = {Li{-}Chang Lai and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  title        = {Automatic Verification of Cryptographic Block Function Implementations
                  with Logical Equivalence Checking},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1861},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1861},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/LaiLSTWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/XiaoLTWYW22,
  author       = {Ming{-}Xia Xiao and
                  Chang{-}Hua Lu and
                  Na Ta and
                  Hai{-}Cheng Wei and
                  Cheng{-}Chan Yang and
                  Hsien{-}Tsai Wu},
  title        = {Toe {PPG} sample extension for supervised machine learning approaches
                  to simultaneously predict type 2 diabetes and peripheral neuropathy},
  journal      = {Biomed. Signal Process. Control.},
  volume       = {71},
  number       = {Part},
  pages        = {103236},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.bspc.2021.103236},
  doi          = {10.1016/J.BSPC.2021.103236},
  timestamp    = {Thu, 18 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bspc/XiaoLTWYW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HungLHCLHT0HYC22,
  author       = {Min{-}Hsiung Hung and
                  Yu{-}Chuan Lin and
                  Hung{-}Chang Hsiao and
                  Chao{-}Chun Chen and
                  Kuan{-}Chou Lai and
                  Yu{-}Ming Hsieh and
                  Hao Tieng and
                  Tsung{-}Han Tsai and
                  Hsien{-}Cheng Huang and
                  Haw Ching Yang and
                  Fan{-}Tien Cheng},
  title        = {A Novel Implementation Framework of Digital Twins for Intelligent
                  Manufacturing Based on Container Technology and Cloud Manufacturing
                  Services},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {1614--1630},
  year         = {2022},
  url          = {https://doi.org/10.1109/TASE.2022.3143832},
  doi          = {10.1109/TASE.2022.3143832},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HungLHCLHT0HYC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tches/HwangLSSTWY22,
  author       = {Vincent Hwang and
                  Jiaxiang Liu and
                  Gregor Seiler and
                  Xiaomu Shi and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  title        = {Verified {NTT} Multiplications for {NISTPQC} {KEM} Lattice Finalists:
                  Kyber, SABER, and {NTRU}},
  journal      = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.},
  volume       = {2022},
  number       = {4},
  pages        = {718--750},
  year         = {2022},
  url          = {https://doi.org/10.46586/tches.v2022.i4.718-750},
  doi          = {10.46586/TCHES.V2022.I4.718-750},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tches/HwangLSSTWY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas2/HsiaoLCLWSTLGL22,
  author       = {An{-}Tai Hsiao and
                  Chun{-}Hsien Liu and
                  Po{-}Hsuan Chen and
                  Yao{-}Lun Liu and
                  Wei{-}Chi Wang and
                  Tzu{-}Hsien Sang and
                  Chia{-}Ming Tsai and
                  Gray Lin and
                  Jiun{-}In Guo and
                  Sheng{-}Di Lin},
  title        = {Real-time LiDAR module with 64x128-pixel {CMOS} {SPAD} array and 940-nm
                  {PCSEL}},
  booktitle    = {{IEEE} Sensors Applications Symposium, {SAS} 2022, Sundsvall, Sweden,
                  August 1-3, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SAS54819.2022.9881339},
  doi          = {10.1109/SAS54819.2022.9881339},
  timestamp    = {Wed, 21 Sep 2022 17:47:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sas2/HsiaoLCLWSTLGL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/LiuC0TW22,
  author       = {Shih{-}Yang Liu and
                  Hsien{-}Hao Chen and
                  Chih{-}Ming Chen and
                  Ming{-}Feng Tsai and
                  Chuan{-}Ju Wang},
  editor       = {Enrique Amig{\'{o}} and
                  Pablo Castells and
                  Julio Gonzalo and
                  Ben Carterette and
                  J. Shane Culpepper and
                  Gabriella Kazai},
  title        = {{IPR:} Interaction-level Preference Ranking for Explicit feedback},
  booktitle    = {{SIGIR} '22: The 45th International {ACM} {SIGIR} Conference on Research
                  and Development in Information Retrieval, Madrid, Spain, July 11 -
                  15, 2022},
  pages        = {1912--1916},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3477495.3531777},
  doi          = {10.1145/3477495.3531777},
  timestamp    = {Sat, 09 Jul 2022 09:25:34 +0200},
  biburl       = {https://dblp.org/rec/conf/sigir/LiuC0TW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TsaiFS0WY22,
  author       = {Ming{-}Hsien Tsai and
                  Yu{-}Fu Fu and
                  Xiaomu Shi and
                  Jiaxiang Liu and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  title        = {Automatic Certified Verification of Cryptographic Programs with {COQCRYPTOLINE}},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1116},
  year         = {2022},
  url          = {https://eprint.iacr.org/2022/1116},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/TsaiFS0WY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TsengCLT21,
  author       = {Hsuan{-}Yu Tseng and
                  Pao{-}Hsien Chu and
                  Hao{-}Chun Lu and
                  Ming{-}Jyh Tsai},
  title        = {Easy Particle Swarm Optimization for Nonlinear Constrained Optimization
                  Problems},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {124757--124767},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3110708},
  doi          = {10.1109/ACCESS.2021.3110708},
  timestamp    = {Wed, 06 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/TsengCLT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/ChenCHWCTLC21,
  author       = {An{-}Hsu Chen and
                  Chih{-}Hui Chiu and
                  Chin{-}Hsien Hsu and
                  I{-}Lin Wang and
                  Kuei{-}Ming Chou and
                  Yung{-}Shen Tsai and
                  Yu{-}Fang Lin and
                  Che{-}Hsiu Chen},
  title        = {Acute Effects of Vibration Foam Rolling Warm-Up on Jump and Flexibility
                  Asymmetry, Agility and Frequency Speed of Kick Test Performance in
                  Taekwondo Athletes},
  journal      = {Symmetry},
  volume       = {13},
  number       = {9},
  pages        = {1664},
  year         = {2021},
  url          = {https://doi.org/10.3390/sym13091664},
  doi          = {10.3390/SYM13091664},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/symmetry/ChenCHWCTLC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ShiFLTWY20,
  author       = {Xiaomu Shi and
                  Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {CoqQFBV: {A} Scalable Certified {SMT} Quantifier-Free Bit-Vector Solver},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {149--171},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_7},
  doi          = {10.1007/978-3-030-81688-9\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ShiFLTWY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ChenCTKHCYOC21,
  author       = {Po{-}Yu Chen and
                  Hao Chen and
                  Yi{-}Min Tsai and
                  Hsien{-}Kai Kuo and
                  Hantao Huang and
                  Hsin{-}Hung Chen and
                  Sheng{-}Hong Yan and
                  Wei{-}Lun Ou and
                  Chia{-}Ming Cheng},
  title        = {Learning to Compensate: {A} Deep Neural Network Framework for 5G Power
                  Amplifier Compensation},
  booktitle    = {{ICC} 2021 - {IEEE} International Conference on Communications, Montreal,
                  QC, Canada, June 14-23, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICC42927.2021.9500277},
  doi          = {10.1109/ICC42927.2021.9500277},
  timestamp    = {Mon, 09 Aug 2021 11:13:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/ChenCTKHCYOC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/LeeCLLWTCWKLL21,
  author       = {Shao{-}Yung Lee and
                  Xin Chen and
                  Wei{-}Chi Lo and
                  Kangmei Li and
                  Chia{-}Hsuan Wang and
                  Cheng{-}Ting Tsai and
                  Chih{-}Hsien Cheng and
                  Chao{-}Hsin Wu and
                  Hao{-}Chung Kuo and
                  Ming{-}Jun Li and
                  Gong{-}Ru Lin},
  title        = {850-nm Dual-Mode {VCSEL} Carried 53-Gbps {NRZ-OOK} Transmission in
                  100-m Graded-Index Single-Mode Fiber},
  booktitle    = {Optical Fiber Communications Conference and Exhibition, {OFC} 2021,
                  San Francisco, CA, USA, June 6-10, 2021},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://ieeexplore.ieee.org/document/9489901},
  timestamp    = {Tue, 04 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ofc/LeeCLLWTCWKLL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-07809,
  author       = {Andrey Ignatov and
                  Cheng{-}Ming Chiang and
                  Hsien{-}Kai Kuo and
                  Anastasia Sycheva and
                  Radu Timofte and
                  Min{-}Hung Chen and
                  Man{-}Yu Lee and
                  Yu{-}Syuan Xu and
                  Yu Tseng and
                  Shusong Xu and
                  Jin Guo and
                  Chao{-}Hung Chen and
                  Ming{-}Chun Hsyu and
                  Wen{-}Chia Tsai and
                  Chao{-}Wei Chen and
                  Grigory Malivenko and
                  Minsu Kwon and
                  Myungje Lee and
                  Jaeyoon Yoo and
                  Changbeom Kang and
                  Shinjo Wang and
                  Zheng Shaolong and
                  Hao Dejun and
                  Xie Fen and
                  Feng Zhuang and
                  Yipeng Ma and
                  Jingyang Peng and
                  Tao Wang and
                  Fenglong Song and
                  Chih{-}Chung Hsu and
                  Kwan{-}Lin Chen and
                  Mei{-}Hsuang Wu and
                  Vishal M. Chudasama and
                  Kalpesh Prajapati and
                  Heena Patel and
                  Anjali Sarvaiya and
                  Kishor P. Upla and
                  Kiran B. Raja and
                  Raghavendra Ramachandra and
                  Christoph Busch and
                  Etienne de Stoutz},
  title        = {Learned Smartphone {ISP} on Mobile NPUs with Deep Learning, Mobile
                  {AI} 2021 Challenge: Report},
  journal      = {CoRR},
  volume       = {abs/2105.07809},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.07809},
  eprinttype    = {arXiv},
  eprint       = {2105.07809},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-07809.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07953,
  author       = {Po{-}Yu Chen and
                  Hao Chen and
                  Yi{-}Min Tsai and
                  Hsien{-}Kai Kuo and
                  Hantao Huang and
                  Hsin{-}Hung Chen and
                  Sheng{-}Hong Yan and
                  Wei{-}Lun Ou and
                  Chia{-}Ming Cheng},
  title        = {Learning to Compensate: {A} Deep Neural Network Framework for 5G Power
                  Amplifier Compensation},
  journal      = {CoRR},
  volume       = {abs/2106.07953},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.07953},
  eprinttype    = {arXiv},
  eprint       = {2106.07953},
  timestamp    = {Thu, 01 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-07953.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bjet/LinLLCHT20,
  author       = {Hung{-}Ming Lin and
                  Ming{-}Hsien Lee and
                  Jyh{-}Chong Liang and
                  Hsin{-}Yi Chang and
                  Pinchi Huang and
                  Chin{-}Chung Tsai},
  title        = {A review of using partial least square structural equation modeling
                  in e-learning research},
  journal      = {Br. J. Educ. Technol.},
  volume       = {51},
  number       = {4},
  pages        = {1354--1372},
  year         = {2020},
  url          = {https://doi.org/10.1111/bjet.12890},
  doi          = {10.1111/BJET.12890},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bjet/LinLLCHT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmmm/HuangCLLLSLCWCC20,
  author       = {Po{-}Jung Huang and
                  Jui{-}Huan Chang and
                  Hou{-}Hsien Lin and
                  Yu{-}Xuan Li and
                  Chi{-}Ching Lee and
                  Chung{-}Tsai Su and
                  Yun{-}Lung Li and
                  Ming{-}Tai Chang and
                  Sid Weng and
                  Wei{-}Hung Cheng and
                  Cheng{-}Hsun Chiu and
                  Petrus Tang},
  title        = {DeepVariant-on-Spark: Small-Scale Genome Analysis Using a Cloud-Based
                  Computing Framework},
  journal      = {Comput. Math. Methods Medicine},
  volume       = {2020},
  pages        = {7231205:1--7231205:7},
  year         = {2020},
  url          = {https://doi.org/10.1155/2020/7231205},
  doi          = {10.1155/2020/7231205},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmmm/HuangCLLLSLCWCC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/WeiHTXTW20,
  author       = {Hai{-}Cheng Wei and
                  Wen{-}Rui Hu and
                  Na Ta and
                  Ming{-}Xia Xiao and
                  Xiao{-}Jing Tang and
                  Hsien{-}Tsai Wu},
  title        = {Prognosis of Diabetic Peripheral Neuropathy via Decomposed Digital
                  Volume Pulse from the Fingertip},
  journal      = {Entropy},
  volume       = {22},
  number       = {7},
  pages        = {754},
  year         = {2020},
  url          = {https://doi.org/10.3390/e22070754},
  doi          = {10.3390/E22070754},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/WeiHTXTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/ChiangTXKTCTWLT20,
  author       = {Cheng{-}Ming Chiang and
                  Yu Tseng and
                  Yu{-}Syuan Xu and
                  Hsien{-}Kai Kuo and
                  Yi{-}Min Tsai and
                  Guan{-}Yu Chen and
                  Koan{-}Sin Tan and
                  Wei{-}Ting Wang and
                  Yu{-}Chieh Lin and
                  Shou{-}Yao Roy Tseng and
                  Wei{-}Shiang Lin and
                  Chia{-}Lin Yu and
                  B. Y. Shen and
                  Kloze Kao and
                  Chia{-}Ming Cheng and
                  Hung{-}Jen Chen},
  title        = {Deploying Image Deblurring across Mobile Devices: {A} Perspective
                  of Quality and Latency},
  booktitle    = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
                  {CVPR} Workshops 2020, Seattle, WA, USA, June 14-19, 2020},
  pages        = {2109--2119},
  publisher    = {Computer Vision Foundation / {IEEE}},
  year         = {2020},
  url          = {https://openaccess.thecvf.com/content\_CVPRW\_2020/html/w31/Chiang\_Deploying\_Image\_Deblurring\_Across\_Mobile\_Devices\_A\_Perspective\_of\_Quality\_CVPRW\_2020\_paper.html},
  doi          = {10.1109/CVPRW50498.2020.00259},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cvpr/ChiangTXKTCTWLT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgsp/0003CLLY20,
  author       = {Ming{-}Hsien Tsai and
                  Wen{-}Jan Chen and
                  Jen{-}Yung Lin and
                  Guo{-}Shiang Lin and
                  Sheng{-}Lei Yan},
  title        = {Polyp Classification Based on Deep Neural Network for Colonoscopic
                  Images},
  booktitle    = {{ICGSP} 2020: The 4th International Conference on Graphics and Signal
                  Processing, Nagoya, Japan, June 26-29, 2020},
  pages        = {61--64},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406971.3406977},
  doi          = {10.1145/3406971.3406977},
  timestamp    = {Thu, 16 Nov 2023 10:39:29 +0100},
  biburl       = {https://dblp.org/rec/conf/icgsp/0003CLLY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/AliCPYYAGLWCENT20,
  author       = {Tamer A. Ali and
                  Ehung Chen and
                  Henry Park and
                  Ramy Yousry and
                  Yu{-}Ming Ying and
                  Mohammed Abdullatif and
                  Miguel Gandara and
                  Chun{-}Cheng Liu and
                  Po{-}Shuan Weng and
                  Huan{-}Sheng Chen and
                  Mohammad Elbadry and
                  Qaiser Nehal and
                  Kun{-}Hung Tsai and
                  Kevin Tan and
                  Yi{-}Chieh Huang and
                  Chung{-}Hsien Tsai and
                  Yuyun Chang and
                  Yuan{-}Hao Tung},
  title        = {6.2 {A} 460mW 112Gb/s DSP-Based Transceiver with 38dB Loss Compensation
                  for Next-Generation Data Centers in 7nm FinFET Technology},
  booktitle    = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC}
                  2020, San Francisco, CA, USA, February 16-20, 2020},
  pages        = {118--120},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISSCC19947.2020.9062925},
  doi          = {10.1109/ISSCC19947.2020.9062925},
  timestamp    = {Fri, 08 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isscc/AliCPYYAGLWCENT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/LinCTHKWTHLLWKC20,
  author       = {Chien{-}Hung Lin and
                  Chih{-}Chung Cheng and
                  Yi{-}Min Tsai and
                  Sheng{-}Je Hung and
                  Yu{-}Ting Kuo and
                  Perry H. Wang and
                  Pei{-}Kuei Tsung and
                  Jeng{-}Yun Hsu and
                  Wei{-}Chih Lai and
                  Chia{-}Hung Liu and
                  Shao{-}Yu Wang and
                  Chin{-}Hua Kuo and
                  Chih{-}Yu Chang and
                  Ming{-}Hsien Lee and
                  Tsung{-}Yao Lin and
                  Chih{-}Cheng Chen},
  title        = {7.1 {A} 3.4-to-13.3TOPS/W 3.6TOPS Dual-Core Deep-Learning Accelerator
                  for Versatile {AI} Applications in 7nm 5G Smartphone SoC},
  booktitle    = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC}
                  2020, San Francisco, CA, USA, February 16-20, 2020},
  pages        = {134--136},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISSCC19947.2020.9063111},
  doi          = {10.1109/ISSCC19947.2020.9063111},
  timestamp    = {Sat, 18 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isscc/LinCTHKWTHLLWKC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/LuLDRWCCLCPTLCH20,
  author       = {Eric Lu and
                  Wen{-}Kai Li and
                  Zhiming Deng and
                  Edris Rostami and
                  Pi{-}An Wu and
                  Keng{-}Meng Chang and
                  Yu{-}Chen Chuang and
                  Chang{-}Ming Lai and
                  Yang{-}Chuan Chen and
                  Tzu{-}Hsuin Peng and
                  Tzung{-}Chuen Tsai and
                  Hui{-}Hsien Liu and
                  Chien{-}Chih Chiu and
                  Bryan Huang and
                  Yao{-}Chi Wang and
                  Jing{-}Hong Conan Zhan and
                  Osama Shana'a},
  title        = {10.4 {A} 4{\texttimes}4 Dual-Band Dual-Concurrent WiFi 802.11ax Transceiver
                  with Integrated LNA, {PA} and {T/R} Switch Achieving +20dBm 1024-QAM
                  {MCS11} Pout and -43dB {EVM} Floor in 55nm {CMOS}},
  booktitle    = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC}
                  2020, San Francisco, CA, USA, February 16-20, 2020},
  pages        = {178--180},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISSCC19947.2020.9063127},
  doi          = {10.1109/ISSCC19947.2020.9063127},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isscc/LuLDRWCCLCPTLCH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/ChangCCLTWCT20,
  author       = {Chia{-}Yuan Chang and
                  Ning Chen and
                  Wei{-}Ting Chiang and
                  Chih{-}Hen Lee and
                  Yu{-}Hsuan Tseng and
                  Chuan{-}Ju Wang and
                  Hsien{-}Hao Chen and
                  Ming{-}Feng Tsai},
  editor       = {Ellen M. Voorhees and
                  Angela Ellis},
  title        = {Query Expansion with Semantic-Based Ellipsis Reduction for Conversational
                  {IR}},
  booktitle    = {Proceedings of the Twenty-Ninth Text REtrieval Conference, {TREC}
                  2020, Virtual Event [Gaithersburg, Maryland, USA], November 16-20,
                  2020},
  series       = {{NIST} Special Publication},
  volume       = {1266},
  publisher    = {National Institute of Standards and Technology {(NIST)}},
  year         = {2020},
  url          = {https://trec.nist.gov/pubs/trec29/papers/ASCFDA.C.pdf},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/trec/ChangCCLTWCT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsic/ChenWFTCHTLK20,
  author       = {Wei{-}Chih Chen and
                  Chin{-}Hua Wen and
                  Chin{-}Ming Fu and
                  Tsung{-}Hsien Tsai and
                  Yu{-}Chi Chen and
                  Wen{-}Hung Huang and
                  Chien{-}Chun Tsai and
                  Alvin Leng Sun Loke and
                  C. H. Kenny},
  title        = {A 4-to-18GHz Active Poly Phase Filter Quadrature Clock Generator with
                  Phase Error Correction in 5nm {CMOS}},
  booktitle    = {{IEEE} Symposium on {VLSI} Circuits, {VLSI} Circuits 2020, Honolulu,
                  HI, USA, June 16-19, 2020},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/VLSICircuits18222.2020.9162794},
  doi          = {10.1109/VLSICIRCUITS18222.2020.9162794},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsic/ChenWFTCHTLK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vr/HsuTBHCLC20,
  author       = {Ting{-}Wei Hsu and
                  Ming{-}Han Tsai and
                  Sabarish V. Babu and
                  Pei{-}Hsien Hsu and
                  Hsuan{-}Ming Chang and
                  Wen{-}Chieh Lin and
                  Jung{-}Hong Chuang},
  title        = {Design and Initial Evaluation of a {VR} based Immersive and Interactive
                  Architectural Design Discussion System},
  booktitle    = {{IEEE} Conference on Virtual Reality and 3D User Interfaces, {VR}
                  2010, Atlanta, GA, USA, March 22-26, 2020},
  pages        = {363--371},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/VR46266.2020.1581231362069},
  doi          = {10.1109/VR46266.2020.1581231362069},
  timestamp    = {Mon, 18 May 2020 15:16:46 +0200},
  biburl       = {https://dblp.org/rec/conf/vr/HsuTBHCLC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12599,
  author       = {Cheng{-}Ming Chiang and
                  Yu Tseng and
                  Yu{-}Syuan Xu and
                  Hsien{-}Kai Kuo and
                  Yi{-}Min Tsai and
                  Guan{-}Yu Chen and
                  Koan{-}Sin Tan and
                  Wei{-}Ting Wang and
                  Yu{-}Chieh Lin and
                  Shou{-}Yao Roy Tseng and
                  Wei{-}Shiang Lin and
                  Chia{-}Lin Yu and
                  B. Y. Shen and
                  Kloze Kao and
                  Chia{-}Ming Cheng and
                  Hung{-}Jen Chen},
  title        = {Deploying Image Deblurring across Mobile Devices: {A} Perspective
                  of Quality and Latency},
  journal      = {CoRR},
  volume       = {abs/2004.12599},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.12599},
  eprinttype    = {arXiv},
  eprint       = {2004.12599},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-12599.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/WeiXTWS19,
  author       = {Hai{-}Cheng Wei and
                  Ming{-}Xia Xiao and
                  Na Ta and
                  Hsien{-}Tsai Wu and
                  Cheuk{-}Kwan Sun},
  title        = {Assessment of Diabetic Autonomic Nervous Dysfunction with a Novel
                  Percussion Entropy Approach},
  journal      = {Complex.},
  volume       = {2019},
  pages        = {6469853:1--6469853:11},
  year         = {2019},
  url          = {https://doi.org/10.1155/2019/6469853},
  doi          = {10.1155/2019/6469853},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/complexity/WeiXTWS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/WeiTHXTHLW19,
  author       = {Hai{-}Cheng Wei and
                  Na Ta and
                  Wen{-}Rui Hu and
                  Ming{-}Xia Xiao and
                  Xiao{-}Jing Tang and
                  Bagus Haryadi and
                  Juin J. Liou and
                  Hsien{-}Tsai Wu},
  title        = {Digital Volume Pulse Measured at the Fingertip as an Indicator of
                  Diabetic Peripheral Neuropathy in the Aged and Diabetic},
  journal      = {Entropy},
  volume       = {21},
  number       = {12},
  pages        = {1229},
  year         = {2019},
  url          = {https://doi.org/10.3390/e21121229},
  doi          = {10.3390/E21121229},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entropy/WeiTHXTHLW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/XiaoLTJTW19,
  author       = {Ming{-}Xia Xiao and
                  Chang{-}Hua Lu and
                  Na Ta and
                  Weiwei Jiang and
                  Xiao{-}Jing Tang and
                  Hsien{-}Tsai Wu},
  title        = {Application of a Speedy Modified Entropy Method in Assessing the Complexity
                  of Baroreflex Sensitivity for Age-Controlled Healthy and Diabetic
                  Subjects},
  journal      = {Entropy},
  volume       = {21},
  number       = {9},
  pages        = {894},
  year         = {2019},
  url          = {https://doi.org/10.3390/e21090894},
  doi          = {10.3390/E21090894},
  timestamp    = {Wed, 17 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/XiaoLTJTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/FuLSTWY19,
  author       = {Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Lorenzo Cavallaro and
                  Johannes Kinder and
                  XiaoFeng Wang and
                  Jonathan Katz},
  title        = {Signed Cryptographic Program Verification with Typed CryptoLine},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  pages        = {1591--1606},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3319535.3354199},
  doi          = {10.1145/3319535.3354199},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/FuLSTWY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesensors/TsaiLHWL19,
  author       = {Ming{-}Hsiu Tsai and
                  Chuan Hsuan Lin and
                  Chi{-}Hsien Huang and
                  Wen Yen Woon and
                  Chih{-}Ting Lin},
  title        = {Ionic concentration sensing via nitrogen modified graphene through
                  low-damage plasma treatment},
  booktitle    = {2019 {IEEE} SENSORS, Montreal, QC, Canada, October 27-30, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SENSORS43011.2019.8956821},
  doi          = {10.1109/SENSORS43011.2019.8956821},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ieeesensors/TsaiLHWL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuSTWY19,
  author       = {Jiaxiang Liu and
                  Xiaomu Shi and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  title        = {Verifying Arithmetic in Cryptographic {C} Programs},
  booktitle    = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages        = {552--564},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ASE.2019.00058},
  doi          = {10.1109/ASE.2019.00058},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LiuSTWY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChenCHTWW19,
  author       = {Yu{-}Fang Chen and
                  Hsiao{-}chen Chung and
                  Wen{-}Chi Hung and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Farn Wang},
  editor       = {Mohamed Faouzi Atig and
                  Alexander A. Schwarzmann},
  title        = {Synthesize Models for Quantitative Analysis Using Automata Learning},
  booktitle    = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
                  Morocco, June 19-21, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11704},
  pages        = {75--92},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31277-0\_6},
  doi          = {10.1007/978-3-030-31277-0\_6},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/netys/ChenCHTWW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taai/ChaoTTC19,
  author       = {Chian{-}Hsueng Chao and
                  I{-}Hsien Ting and
                  Tsung{-}Hsing Tsai and
                  Ming{-}Chun Chen},
  title        = {Opinion Mining and the Visualization of Stock Selection in Quantitative
                  Trading},
  booktitle    = {2019 International Conference on Technologies and Applications of
                  Artificial Intelligence, {TAAI} 2019, Kaohsiung, Taiwan, November
                  21-23, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/TAAI48200.2019.8959875},
  doi          = {10.1109/TAAI48200.2019.8959875},
  timestamp    = {Tue, 04 Feb 2020 16:17:56 +0100},
  biburl       = {https://dblp.org/rec/conf/taai/ChaoTTC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/HaryadiLWXWS18,
  author       = {Bagus Haryadi and
                  Juin J. Liou and
                  Hai{-}Cheng Wei and
                  Ming{-}Xia Xiao and
                  Hsien{-}Tsai Wu and
                  Cheuk{-}Kwan Sun},
  title        = {Application of multiscale Poincar{\'{e}} short-time computation
                  versus multiscale entropy in analyzing fingertip photoplethysmogram
                  amplitudes to differentiate diabetic from non-diabetic subjects},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {166},
  pages        = {115--121},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.cmpb.2018.10.001},
  doi          = {10.1016/J.CMPB.2018.10.001},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cmpb/HaryadiLWXWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/XiaoWXWS18,
  author       = {Ming{-}Xia Xiao and
                  Hai{-}Cheng Wei and
                  Ya{-}Jie Xu and
                  Hsien{-}Tsai Wu and
                  Cheuk{-}Kwan Sun},
  title        = {Combination of {R-R} Interval and Crest Time in Assessing Complexity
                  Using Multiscale Cross-Approximate Entropy in Normal and Diabetic
                  Subjects},
  journal      = {Entropy},
  volume       = {20},
  number       = {7},
  pages        = {497},
  year         = {2018},
  url          = {https://doi.org/10.3390/e20070497},
  doi          = {10.3390/E20070497},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entropy/XiaoWXWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PolyakovTWY18,
  author       = {Andy Polyakov and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Sven Schewe and
                  Lijun Zhang},
  title        = {Verifying Arithmetic Assembly Programs in Cryptographic Primitives
                  (Invited Talk)},
  booktitle    = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
                  September 4-7, 2018, Beijing, China},
  series       = {LIPIcs},
  volume       = {118},
  pages        = {4:1--4:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.4},
  doi          = {10.4230/LIPICS.CONCUR.2018.4},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/PolyakovTWY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/TsaiCLYLYH18,
  author       = {Tsai{-}Hsuan Tsai and
                  Hsien{-}Tsung Chang and
                  Yu{-}Wen Lin and
                  Ming{-}Chun Yu and
                  Pei{-}Jung Lien and
                  Wei{-}Cheng Yan and
                  Wei{-}Ling Ho},
  editor       = {Margherita Antona and
                  Constantine Stephanidis},
  title        = {Emerging Social Media and Social Networks Analysis Transforms the
                  Tourism Industry: Living Green Smart Tourism Ecosystem},
  booktitle    = {Universal Access in Human-Computer Interaction. Virtual, Augmented,
                  and Intelligent Environments - 12th International Conference, {UAHCI}
                  2018, Held as Part of {HCI} International 2018, Las Vegas, NV, USA,
                  July 15-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10908},
  pages        = {583--590},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92052-8\_46},
  doi          = {10.1007/978-3-319-92052-8\_46},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/TsaiCLYLYH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenHLLTTZ18,
  author       = {Yu{-}Fang Chen and
                  Matthias Heizmann and
                  Ondrej Leng{\'{a}}l and
                  Yong Li and
                  Ming{-}Hsien Tsai and
                  Andrea Turrini and
                  Lijun Zhang},
  editor       = {Jeffrey S. Foster and
                  Dan Grossman},
  title        = {Advanced automata-based algorithms for program termination checking},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
                  USA, June 18-22, 2018},
  pages        = {135--150},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3192366.3192405},
  doi          = {10.1145/3192366.3192405},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChenHLLTTZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/WuLHYC17,
  author       = {Hsien{-}Tsai Wu and
                  Gen{-}Min Lin and
                  Bagus Haryadi and
                  Chieh{-}Ming Yang and
                  Hsiao{-}Chiang Chu},
  title        = {Glycemic Control, Hand Activity, and Complexity of Biological Signals
                  in Diabetes Mellitus},
  journal      = {Complex.},
  volume       = {2017},
  pages        = {3472121:1--3472121:9},
  year         = {2017},
  url          = {https://doi.org/10.1155/2017/3472121},
  doi          = {10.1155/2017/3472121},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/complexity/WuLHYC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/LinHYCYW17,
  author       = {Gen{-}Min Lin and
                  Bagus Haryadi and
                  Chieh{-}Ming Yang and
                  Shiao{-}Chiang Chu and
                  Cheng{-}Chan Yang and
                  Hsien{-}Tsai Wu},
  title        = {Discrepancies between Conventional Multiscale Entropy and Modified
                  Short-Time Multiscale Entropy of Photoplethysmographic Pulse Signals
                  in Middle- and Old- Aged Individuals with or without Diabetes},
  journal      = {Entropy},
  volume       = {19},
  number       = {3},
  pages        = {132},
  year         = {2017},
  url          = {https://doi.org/10.3390/e19030132},
  doi          = {10.3390/E19030132},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/LinHYCYW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/WuYLHCYS17,
  author       = {Hsien{-}Tsai Wu and
                  Cheng{-}Chan Yang and
                  Gen{-}Min Lin and
                  Bagus Haryadi and
                  Shiao{-}Chiang Chu and
                  Chieh{-}Ming Yang and
                  Cheuk{-}Kwan Sun},
  title        = {Multiscale Cross-Approximate Entropy Analysis of Bilateral Fingertips
                  Photoplethysmographic Pulse Amplitudes among Middle-to-Old Aged Individuals
                  with or without Type 2 Diabetes},
  journal      = {Entropy},
  volume       = {19},
  number       = {4},
  pages        = {145},
  year         = {2017},
  url          = {https://doi.org/10.3390/e19040145},
  doi          = {10.3390/E19040145},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/WuYLHCYS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/TsaiWY17,
  author       = {Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Bhavani Thuraisingham and
                  David Evans and
                  Tal Malkin and
                  Dongyan Xu},
  title        = {Certified Verification of Algebraic Properties on Low-Level Mathematical
                  Constructs in Cryptographic Programs},
  booktitle    = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
                  November 03, 2017},
  pages        = {1973--1987},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133956.3134076},
  doi          = {10.1145/3133956.3134076},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/TsaiWY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/ChenLCCLCLCLDWH17,
  author       = {Tsung{-}Ming Chen and
                  Yi Lu and
                  Pang{-}Ning Chen and
                  Yu{-}Hsien Chang and
                  Ming{-}Chung Liu and
                  Po{-}Yu Chang and
                  Chia{-}Jen Liang and
                  Yi{-}Chu Chen and
                  Hsi{-}Liang Lu and
                  Jian{-}Yu Ding and
                  Chin{-}Chung Wang and
                  YuLi Hsueh and
                  Jen{-}Che Tsai and
                  Min{-}Shun Hsu and
                  Yuan{-}Hung Chung and
                  George Chien},
  title        = {7.1 An 802.11ac dual-band reconfigurable transceiver supporting up
                  to four {VHT80} spatial streams with 116fsrms-jitter frequency synthesizer
                  and integrated {LNA/PA} delivering 256QAM 19dBm per stream achieving
                  1.733Gb/s {PHY} rate},
  booktitle    = {2017 {IEEE} International Solid-State Circuits Conference, {ISSCC}
                  2017, San Francisco, CA, USA, February 5-9, 2017},
  pages        = {126--127},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSCC.2017.7870293},
  doi          = {10.1109/ISSCC.2017.7870293},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/isscc/ChenLCCLCLCLDWH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggrapha/LeeCLTLHLWC17,
  author       = {Chi{-}Yang Lee and
                  Hsuan{-}Ming Chang and
                  Chun{-}Heng Lin and
                  Ming{-}Han Tsai and
                  Wen{-}Chieh Lin and
                  Pei{-}Hsien Hsu and
                  I{-}Chen Lin and
                  Yu{-}Shuen Wang and
                  Jung{-}Hong Chuang},
  editor       = {Diego Gutierrez and
                  Hui Huang},
  title        = {{VR} lighting design},
  booktitle    = {{SIGGRAPH} Asia 2017 Posters, Bangkok, Thailand, November 27 - 30,
                  2017},
  pages        = {53:1--53:2},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3145690.3145741},
  doi          = {10.1145/3145690.3145741},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/siggrapha/LeeCLTLHLWC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggrapha/TsouHLTHLWLC17,
  author       = {Chia{-}Hung Tsou and
                  Ting{-}Wei Hsu and
                  Chun{-}Heng Lin and
                  Ming{-}Han Tsai and
                  Pei{-}Hsien Hsu and
                  I{-}Chen Lin and
                  Yu{-}Shuen Wang and
                  Wen{-}Chieh Lin and
                  Jung{-}Hong Chuang},
  editor       = {Diego Gutierrez and
                  Hui Huang},
  title        = {Immersive {VR} environment for architectural design education},
  booktitle    = {{SIGGRAPH} Asia 2017 Posters, Bangkok, Thailand, November 27 - 30,
                  2017},
  pages        = {55:1--55:2},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3145690.3145726},
  doi          = {10.1145/3145690.3145726},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/siggrapha/TsouHLTHLWLC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cin/ChangCT16,
  author       = {Hsien{-}Tsung Chang and
                  Yi{-}Ming Chang and
                  Meng{-}Tze Tsai},
  title        = {{ATIPS:} Automatic Travel Itinerary Planning System for Domestic Areas},
  journal      = {Comput. Intell. Neurosci.},
  volume       = {2016},
  pages        = {1281379:1--1281379:13},
  year         = {2016},
  url          = {https://doi.org/10.1155/2016/1281379},
  doi          = {10.1155/2016/1281379},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cin/ChangCT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/TsaiSP16,
  author       = {Ming{-}Hsien Tsai and
                  Ming{-}Jium Shieh and
                  Cheng{-}Liang Peng},
  editor       = {James P. Gilbert and
                  Haim Azhari and
                  Hesham H. Ali and
                  Carla Quint{\~{a}}o and
                  Jan Sliwa and
                  Carolina Ruiz and
                  Ana L. N. Fred and
                  Hugo Gamboa},
  title        = {A Targeting Self-breakable Agent for Increased Efficacy of Chemotherapeutic
                  Drugs against Caco2 Cells},
  booktitle    = {Proceedings of the 9th International Joint Conference on Biomedical
                  Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 1:
                  BIODEVICES, Rome, Italy, February 21-23, 2016},
  pages        = {216--221},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005766002160221},
  doi          = {10.5220/0005766002160221},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/biostec/TsaiSP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ChangYALT16,
  author       = {Yuan{-}Hsiang Chang and
                  Hideo Yokota and
                  Kuniya Abe and
                  Jung Hsien Liu and
                  Ming{-}Dar Tsai},
  title        = {Detection and localization of mouse induced pluripotent stem cell
                  formation using time-lapse fluorescence microscopy images},
  booktitle    = {38th Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August
                  16-20, 2016},
  pages        = {3914--3917},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/EMBC.2016.7591583},
  doi          = {10.1109/EMBC.2016.7591583},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/ChangYALT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/TsaiCYCKW16,
  author       = {Tsai{-}Hsuan Tsai and
                  Hsien{-}Tsung Chang and
                  Ming{-}Chun Yu and
                  Huan{-}Ting Chen and
                  Chun{-}Yi Kuo and
                  Wei{-}Hung Wu},
  editor       = {Margherita Antona and
                  Constantine Stephanidis},
  title        = {Design of a Mobile Augmented Reality Application: An Example of Demonstrated
                  Usability},
  booktitle    = {Universal Access in Human-Computer Interaction. Interaction Techniques
                  and Environments - 10th International Conference, {UAHCI} 2016, Held
                  as Part of {HCI} International 2016, Toronto, ON, Canada, July 17-22,
                  2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9738},
  pages        = {198--205},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40244-4\_19},
  doi          = {10.1007/978-3-319-40244-4\_19},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/TsaiCYCKW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/TsaiCCLLT16,
  author       = {Pei{-}Shan Tsai and
                  Ching Sing Chai and
                  Yen{-}Yuan Chen and
                  Ming{-}Hsien Lee and
                  Jyh{-}Chong Liang and
                  Chin{-}Chung Tsai},
  editor       = {J. Michael Spector and
                  Chin{-}Chung Tsai and
                  Demetrios G. Sampson and
                  Kinshuk and
                  Ronghuai Huang and
                  Nian{-}Shing Chen and
                  Paul E. Resta},
  title        = {A Pilot Study of Students' Perceptions of Collaborative Knowledge
                  Building in 21st Century Learning with Their Knowledge Building Behaviors},
  booktitle    = {16th {IEEE} International Conference on Advanced Learning Technologies,
                  {ICALT} 2016, Austin, TX, USA, July 25-28, 2016},
  pages        = {354--356},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICALT.2016.7},
  doi          = {10.1109/ICALT.2016.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalt/TsaiCCLLT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenHLLTWW16,
  author       = {Yu{-}Fang Chen and
                  Chiao Hsieh and
                  Ondrej Leng{\'{a}}l and
                  Tsung{-}Ju Lii and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Farn Wang},
  editor       = {Laura K. Dillon and
                  Willem Visser and
                  Laurie A. Williams},
  title        = {{PAC} learning-based verification and model synthesis},
  booktitle    = {Proceedings of the 38th International Conference on Software Engineering,
                  {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages        = {714--724},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2884781.2884860},
  doi          = {10.1145/2884781.2884860},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ChenHLLTWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlahoudekHSST16,
  author       = {Frantisek Blahoudek and
                  Matthias Heizmann and
                  Sven Schewe and
                  Jan Strejcek and
                  Ming{-}Hsien Tsai},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Complementing Semi-deterministic B{\"{u}}chi Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {770--787},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_49},
  doi          = {10.1007/978-3-662-49674-9\_49},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/BlahoudekHSST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/ChangWLWLLCLLHW15,
  author       = {Hsin{-}Yi Chang and
                  Chia{-}Yu Wang and
                  Ming{-}Hsien Lee and
                  Hsin{-}Kai Wu and
                  Jyh{-}Chong Liang and
                  Silvia Wen{-}Yu Lee and
                  Guo{-}Li Chiou and
                  Hao{-}Chang Lo and
                  Jing{-}Wen Lin and
                  Chung{-}Yuan Hsu and
                  Ying{-}Tien Wu and
                  Sufen Chen and
                  Fu{-}Kwun Hwang and
                  Chin{-}Chung Tsai},
  title        = {A review of features of technology-supported learning environments
                  based on participants' perceptions},
  journal      = {Comput. Hum. Behav.},
  volume       = {53},
  pages        = {223--237},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.chb.2015.06.042},
  doi          = {10.1016/J.CHB.2015.06.042},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/ChangWLWLLCLLHW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/ChenWSZMKCJTHC15,
  author       = {Zuow{-}Zun Chen and
                  Yen{-}Hsiang Wang and
                  Jaewook Shin and
                  Yan Zhao and
                  Seyed Arash Mirhaj and
                  Yen{-}Cheng Kuan and
                  Huan{-}Neng Ron Chen and
                  Chewnpu Jou and
                  Ming{-}Hsien Tsai and
                  Fu{-}Lung Hsueh and
                  Mau{-}Chung Frank Chang},
  title        = {14.9 Sub-sampling all-digital fractional-N frequency synthesizer with
                  -111dBc/Hz in-band phase noise and an {FOM} of -242dB},
  booktitle    = {2015 {IEEE} International Solid-State Circuits Conference, {ISSCC}
                  2015, Digest of Technical Papers, San Francisco, CA, USA, February
                  22-26, 2015},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISSCC.2015.7063029},
  doi          = {10.1109/ISSCC.2015.7063029},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isscc/ChenWSZMKCJTHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenHTWW15,
  author       = {Yu{-}Fang Chen and
                  Chiao Hsieh and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Farn Wang},
  editor       = {Christel Baier and
                  Cesare Tinelli},
  title        = {CPArec: Verifying Recursive Programs via Source-to-Source Program
                  Transformation - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 21st International Conference, {TACAS} 2015, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2015, London, UK, April 11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9035},
  pages        = {426--428},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46681-0\_35},
  doi          = {10.1007/978-3-662-46681-0\_35},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChenHTWW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenHLLTWW15,
  author       = {Yu{-}Fang Chen and
                  Chiao Hsieh and
                  Ondrej Leng{\'{a}}l and
                  Tsung{-}Ju Lii and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Farn Wang},
  title        = {{PAC} Learning-Based Verification and Model Synthesis},
  journal      = {CoRR},
  volume       = {abs/1511.00754},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.00754},
  eprinttype    = {arXiv},
  eprint       = {1511.00754},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ChenHLLTWW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biodb/HuangWCLSHTLHLC14,
  author       = {Kai{-}Yao Huang and
                  Hsin{-}Yi Wu and
                  Yi{-}Ju Chen and
                  Cheng{-}Tsung Lu and
                  Min{-}Gang Su and
                  Yun{-}Chung Hsieh and
                  Chih{-}Ming Tsai and
                  Kuo{-}I Lin and
                  Hsien{-}Da Huang and
                  Tzong{-}Yi Lee and
                  Yu{-}Ju Chen},
  title        = {RegPhos 2.0: an updated resource to explore protein kinase-substrate
                  phosphorylation networks in mammals},
  journal      = {Database J. Biol. Databases Curation},
  volume       = {2014},
  year         = {2014},
  url          = {https://doi.org/10.1093/database/bau034},
  doi          = {10.1093/DATABASE/BAU034},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biodb/HuangWCLSHTLHLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/ChangTCC14,
  author       = {Hsien{-}Tsung Chang and
                  Tsai{-}Hsuan Tsai and
                  Ya{-}Ching Chang and
                  Yi{-}Ming Chang},
  title        = {Touch panel usability of elderly and children},
  journal      = {Comput. Hum. Behav.},
  volume       = {37},
  pages        = {258--269},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.chb.2014.04.050},
  doi          = {10.1016/J.CHB.2014.04.050},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/ChangTCC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TsaiFVT14,
  author       = {Ming{-}Hsien Tsai and
                  Seth Fogarty and
                  Moshe Y. Vardi and
                  Yih{-}Kuen Tsay},
  title        = {State of B{\"{u}}chi Complementation},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:13)2014},
  doi          = {10.2168/LMCS-10(4:13)2014},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/TsaiFVT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/DengCTL14,
  author       = {Feng Deng and
                  Ching Sing Chai and
                  Chin{-}Chung Tsai and
                  Ming{-}Hsien Lee},
  title        = {The Relationships among Chinese Practicing Teachers' Epistemic Beliefs,
                  Pedagogical Beliefs and Their Beliefs about the Use of {ICT}},
  journal      = {J. Educ. Technol. Soc.},
  volume       = {17},
  number       = {2},
  pages        = {245--256},
  year         = {2014},
  url          = {http://www.ifets.info/download\_pdf.php?j\_id=63\&a\_id=1476},
  timestamp    = {Mon, 16 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ets/DengCTL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/LinTCHHYFCHCHAWSM14,
  author       = {Mu{-}Shan Lin and
                  Chien{-}Chun Tsai and
                  Chih{-}Hsien Chang and
                  Wen{-}Hung Huang and
                  Ying{-}Yu Hsu and
                  Shu{-}Chun Yang and
                  Chin{-}Ming Fu and
                  Mao{-}Hsuan Chou and
                  Tien{-}Chien Huang and
                  Ching{-}Fang Chen and
                  Tze{-}Chiang Huang and
                  Saman Adham and
                  Min{-}Jer Wang and
                  William Wu Shen and
                  Ashok Mehta},
  title        = {A 1 Tbit/s Bandwidth 1024 b PLL/DLL-Less eDRAM {PHY} Using 0.3 {V}
                  0.105 mW/Gbps Low-Swing {IO} for CoWoS Application},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {49},
  number       = {4},
  pages        = {1063--1074},
  year         = {2014},
  url          = {https://doi.org/10.1109/JSSC.2013.2297399},
  doi          = {10.1109/JSSC.2013.2297399},
  timestamp    = {Sun, 30 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/LinTCHHYFCHCHAWSM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bhi/LinCCY14,
  author       = {Tsai{-}Huei Lin and
                  Hsien{-}Tsung Chang and
                  Ming{-}Jen Chen and
                  Ping{-}Yen Yang},
  title        = {Using a database as a service for providing electronic health records},
  booktitle    = {Proceedings of {IEEE-EMBS} International Conference on Biomedical
                  and Health Informatics, {BHI} 2014, Valencia, Spain, June 1-4, 2014},
  pages        = {9--12},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/BHI.2014.6864291},
  doi          = {10.1109/BHI.2014.6864291},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/bhi/LinCCY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ChenHLSTWYY14,
  author       = {Yu{-}Fang Chen and
                  Chang{-}Hong Hsu and
                  Hsin{-}Hung Lin and
                  Peter Schwabe and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang and
                  Shang{-}Yi Yang},
  editor       = {Gail{-}Joon Ahn and
                  Moti Yung and
                  Ninghui Li},
  title        = {Verifying Curve25519 Software},
  booktitle    = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
  pages        = {299--309},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2660267.2660370},
  doi          = {10.1145/2660267.2660370},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/ChenHLSTWYY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/KuoYT14,
  author       = {Jian{-}Jhih Kuo and
                  Hsiu{-}Hsien Yang and
                  Ming{-}Jer Tsai},
  title        = {Optimal approximation algorithm of virtual machine placement for data
                  latency minimization in cloud systems},
  booktitle    = {2014 {IEEE} Conference on Computer Communications, {INFOCOM} 2014,
                  Toronto, Canada, April 27 - May 2, 2014},
  pages        = {1303--1311},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/INFOCOM.2014.6848063},
  doi          = {10.1109/INFOCOM.2014.6848063},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infocom/KuoYT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ChuLKSTJT14,
  author       = {Li{-}Wei Chu and
                  Chun{-}Yu Lin and
                  Ming{-}Dou Ker and
                  Ming{-}Hsiang Song and
                  Jeng{-}Chou Tseng and
                  Chewnpu Jou and
                  Ming{-}Hsien Tsai},
  title        = {{ESD} protection design for wideband {RF} applications in 65-nm {CMOS}
                  process},
  booktitle    = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014,
                  Melbourne, Victoria, Australia, June 1-5, 2014},
  pages        = {1480--1483},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISCAS.2014.6865426},
  doi          = {10.1109/ISCAS.2014.6865426},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscas/ChuLKSTJT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/YangYCHWLTHLTCTLWCYH14,
  author       = {Shang{-}Hsien Yang and
                  Yuan{-}Han Yang and
                  Ke{-}Horng Chen and
                  Chung{-}Chih Hung and
                  Chin{-}Long Wey and
                  Ying{-}Hsi Lin and
                  Tsung{-}Yen Tsai and
                  Chen{-}Chih Huang and
                  Chao{-}Cheng Lee and
                  Zhih Han Tai and
                  Yi Hsuan Cheng and
                  Chi Chung Tsai and
                  Hsin{-}Yu Luo and
                  Shih{-}Ming Wang and
                  Long{-}Der Chen and
                  Cheng{-}Chen Yang and
                  Huang Tian Hui},
  title        = {A dual-level dual-phase pulse-width modulation class-D amplifier with
                  0.001{\%} THD, 112 dB {SNR}},
  booktitle    = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014,
                  Melbourne, Victoria, Australia, June 1-5, 2014},
  pages        = {2676--2679},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISCAS.2014.6865724},
  doi          = {10.1109/ISCAS.2014.6865724},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/YangYCHWLTHLTCTLWCYH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChenHTWW14,
  author       = {Yu{-}Fang Chen and
                  Chiao Hsieh and
                  Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang and
                  Farn Wang},
  editor       = {Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl},
  title        = {Verifying Recursive Programs Using Intraprocedural Analyzers},
  booktitle    = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
                  Germany, September 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8723},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10936-7\_8},
  doi          = {10.1007/978-3-319-10936-7\_8},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/ChenHTWW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/TsaiLC14,
  author       = {Chun{-}Wei Tsai and
                  Tsung{-}Hsien Lin and
                  Ming{-}Chao Chiang},
  title        = {Automatic elastic net clustering algorithm},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {2768--2773},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974347},
  doi          = {10.1109/SMC.2014.6974347},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/TsaiLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/WuHHLLCLHLCT13,
  author       = {Ying{-}Tien Wu and
                  Huei{-}Tse Hou and
                  Fu{-}Kwun Hwang and
                  Ming{-}Hsien Lee and
                  Chih{-}Hung Lai and
                  Guo{-}Li Chiou and
                  Silvia Wen{-}Yu Lee and
                  Yu{-}Chen Hsu and
                  Jyh{-}Chong Liang and
                  Nian{-}Shing Chen and
                  Chin{-}Chung Tsai},
  title        = {A Review of Intervention Studies On Technology-assisted Instruction
                  From 2005-2010},
  journal      = {J. Educ. Technol. Soc.},
  volume       = {16},
  number       = {3},
  pages        = {191--203},
  year         = {2013},
  url          = {http://www.ifets.info/download\_pdf.php?j\_id=60\&a\_id=1387},
  timestamp    = {Mon, 16 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ets/WuHHLLCLHLCT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/LinHYHTK13,
  author       = {Chinho Lin and
                  Ming{-}Lung Hsu and
                  David C. Yen and
                  Ping{-}Jung Hsieh and
                  Hua{-}Ling Tsai and
                  Tsung{-}Hsien Kuo},
  title        = {Prototype system for pursuing firm's core capability},
  journal      = {Inf. Syst. Frontiers},
  volume       = {15},
  number       = {3},
  pages        = {497--509},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10796-011-9341-x},
  doi          = {10.1007/S10796-011-9341-X},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isf/LinHYHTK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/TsayTCCL13,
  author       = {Yih{-}Kuen Tsay and
                  Ming{-}Hsien Tsai and
                  Jinn{-}Shu Chang and
                  Yi{-}Wen Chang and
                  Chi{-}Shiang Liu},
  title        = {B{\"{u}}chi Store: an open repository of {\(\omega\)}-automata},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {15},
  number       = {2},
  pages        = {109--123},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10009-012-0268-4},
  doi          = {10.1007/S10009-012-0268-4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/TsayTCCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TsaiTH13,
  author       = {Ming{-}Hsien Tsai and
                  Yih{-}Kuen Tsay and
                  Yu{-}Shiang Hwang},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {{GOAL} for Games, Omega-Automata, and Logics},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {883--889},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_62},
  doi          = {10.1007/978-3-642-39799-8\_62},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/TsaiTH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esscirc/ChouHFCWTCTLWCY13,
  author       = {Wen{-}Shen Chou and
                  Po{-}Hsien Huang and
                  Ming{-}Yan Fan and
                  Ke{-}Horng Chen and
                  Kuei{-}Ann Wen and
                  Zhih Han Tai and
                  Yi Hsuan Cheng and
                  Chi Chung Tsai and
                  Hsin{-}Yu Luo and
                  Shih{-}Ming Wang and
                  Long{-}Der Chen and
                  Cheng{-}Chen Yang and
                  Jui{-}Lung Chen},
  title        = {Embedded fully self-biased switched-capacitor for energy and area-efficient
                  cholesteric {LCD} drivers},
  booktitle    = {{ESSCIRC} 2013 - Proceedings of the 39th European Solid-State Circuits
                  Conference, Bucharest, Romania, September 16-20, 2013},
  pages        = {351--354},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ESSCIRC.2013.6649145},
  doi          = {10.1109/ESSCIRC.2013.6649145},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esscirc/ChouHFCWTCTLWCY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/TsaiCCH12,
  author       = {Tsai{-}Hsuan Tsai and
                  Hsien{-}Tsung Chang and
                  Yi{-}Ming Chang and
                  Gung{-}Shiung Huang},
  title        = {Sharetouch: {A} system to enrich social network experiences for the
                  elderly},
  journal      = {J. Syst. Softw.},
  volume       = {85},
  number       = {6},
  pages        = {1363--1369},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jss.2012.01.023},
  doi          = {10.1016/J.JSS.2012.01.023},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/TsaiCCH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/TuLTLLWHLSJC12,
  author       = {Ming{-}Hsien Tu and
                  Jihi{-}Yu Lin and
                  Ming{-}Chien Tsai and
                  Chien{-}Yu Lu and
                  Yuh{-}Jiun Lin and
                  Meng{-}Hsueh Wang and
                  Huan{-}Shun Huang and
                  Kuen{-}Di Lee and
                  Wei{-}Chiang Shih and
                  Shyh{-}Jye Jou and
                  Ching{-}Te Chuang},
  title        = {A Single-Ended Disturb-Free 9T Subthreshold {SRAM} With Cross-Point
                  Data-Aware Write Word-Line Structure, Negative Bit-Line, and Adaptive
                  Read Operation Timing Tracing},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {47},
  number       = {6},
  pages        = {1469--1482},
  year         = {2012},
  url          = {https://doi.org/10.1109/JSSC.2012.2187474},
  doi          = {10.1109/JSSC.2012.2187474},
  timestamp    = {Sun, 30 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/TuLTLLWHLSJC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/WuLSHHT12,
  author       = {Hsien{-}Tsai Wu and
                  Chun{-}Ho Lee and
                  Cheuk{-}Kwan Sun and
                  Jui{-}Ting Hsu and
                  Ruay{-}Ming Huang and
                  Chieh{-}Ju Tang},
  title        = {Arterial Waveforms Measured at the Wrist as Indicators of Diabetic
                  Endothelial Dysfunction in the Elderly},
  journal      = {{IEEE} Trans. Instrum. Meas.},
  volume       = {61},
  number       = {1},
  pages        = {162--169},
  year         = {2012},
  url          = {https://doi.org/10.1109/TIM.2011.2159416},
  doi          = {10.1109/TIM.2011.2159416},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tim/WuLSHHT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ChuLTKSJLTTHHC12,
  author       = {Li{-}Wei Chu and
                  Chun{-}Yu Lin and
                  Shiang{-}Yu Tsai and
                  Ming{-}Dou Ker and
                  Ming{-}Hsiang Song and
                  Chewnpu Jou and
                  Tse{-}Hua Lu and
                  Jeng{-}Chou Tseng and
                  Ming{-}Hsien Tsai and
                  Tsun{-}Lai Hsu and
                  Ping{-}Fang Hung and
                  Tzu{-}Heng Chang},
  title        = {Compact and low-loss {ESD} protection design for V-band {RF} applications
                  in a 65-nm {CMOS} technology},
  booktitle    = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
                  2012, Seoul, Korea (South), May 20-23, 2012},
  pages        = {2127--2130},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISCAS.2012.6271706},
  doi          = {10.1109/ISCAS.2012.6271706},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscas/ChuLTKSJLTTHHC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi-dat/TsaiLYTSLLJCH12,
  author       = {Ming{-}Chien Tsai and
                  Yi{-}Wei Lin and
                  Hao{-}I Yang and
                  Ming{-}Hsien Tu and
                  Wei{-}Chiang Shih and
                  Nan{-}Chun Lien and
                  Kuen{-}Di Lee and
                  Shyh{-}Jye Jou and
                  Ching{-}Te Chuang and
                  Wei Hwang},
  title        = {Embedded {SRAM} ring oscillator for in-situ measurement of {NBTI}
                  and {PBTI} degradation in {CMOS} 6T {SRAM} array},
  booktitle    = {Proceedings of Technical Program of 2012 {VLSI} Design, Automation
                  and Test, {VLSI-DAT} 2012, Hsinchu, Taiwan, April 23-25, 2012},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/VLSI-DAT.2012.6212587},
  doi          = {10.1109/VLSI-DAT.2012.6212587},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi-dat/TsaiLYTSLLJCH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/WuWWT11,
  author       = {Hsien{-}Chu Wu and
                  Hao{-}Cheng Wang and
                  Chung{-}Ming Wang and
                  Chwei{-}Shyong Tsai},
  title        = {Coloured visual cryptography using fixed size meaningful share},
  journal      = {Int. J. Comput. Math.},
  volume       = {88},
  number       = {6},
  pages        = {1239--1255},
  year         = {2011},
  url          = {https://doi.org/10.1080/00207160.2010.500373},
  doi          = {10.1080/00207160.2010.500373},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcm/WuWWT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/HsuLWLHCTCLCCWHTH11,
  author       = {Sheng{-}Da Hsu and
                  Feng{-}Mao Lin and
                  Wei{-}Yun Wu and
                  Chao Liang and
                  Wei{-}Chih Huang and
                  Wen{-}Ling Chan and
                  Wen{-}Ting Tsai and
                  Goun{-}Zhou Chen and
                  Chia{-}Jung Lee and
                  Chih{-}Min Chiu and
                  Chia{-}Hung Chien and
                  Ming{-}Chia Wu and
                  Chi{-}Ying F. Huang and
                  Ann{-}Ping Tsou and
                  Hsien{-}Da Huang},
  title        = {miRTarBase: a database curates experimentally validated microRNA-target
                  interactions},
  journal      = {Nucleic Acids Res.},
  volume       = {39},
  number       = {Database-Issue},
  pages        = {163--169},
  year         = {2011},
  url          = {https://doi.org/10.1093/nar/gkq1107},
  doi          = {10.1093/NAR/GKQ1107},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nar/HsuLWLHCTCLCCWHTH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecctd/LinCTKLHHSTCT11,
  author       = {Chun{-}Yu Lin and
                  Li{-}Wei Chu and
                  Shiang{-}Yu Tsai and
                  Ming{-}Dou Ker and
                  Tse{-}Hua Lu and
                  Tsun{-}Lai Hsu and
                  Ping{-}Fang Hung and
                  Ming{-}Hsiang Song and
                  Jeng{-}Chou Tseng and
                  Tzu{-}Heng Chang and
                  Ming{-}Hsien Tsai},
  title        = {Modified LC-tank {ESD} protection design for 60-GHz {RF} applications},
  booktitle    = {20th European Conference on Circuit Theory and Design, {ECCTD} 2011,
                  Linkoping, Sweden, Aug. 29-31, 2011},
  pages        = {57--60},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ECCTD.2011.6043589},
  doi          = {10.1109/ECCTD.2011.6043589},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecctd/LinCTKLHHSTCT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ChenTHL11,
  author       = {Kuanfu Chen and
                  Ming{-}Hsien Tsai and
                  Fu{-}Lung Hsueh and
                  Wentai Liu},
  title        = {Analysis and design of data transmission protocol for 1024-channel
                  retinal prosthesis},
  booktitle    = {33rd Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August
                  30 - Sept. 3, 2011},
  pages        = {4010--4013},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IEMBS.2011.6090996},
  doi          = {10.1109/IEMBS.2011.6090996},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/ChenTHL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/LoLCTH11,
  author       = {Yi{-}Kai Lo and
                  Wentai Liu and
                  Kuanfu Chen and
                  Ming{-}Hsien Tsai and
                  Fu{-}Lung Hsueh},
  title        = {A 64-channel neuron recording system},
  booktitle    = {33rd Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August
                  30 - Sept. 3, 2011},
  pages        = {2862--2865},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IEMBS.2011.6090790},
  doi          = {10.1109/IEMBS.2011.6090790},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/LoLCTH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isocc/HsuT11,
  author       = {Shawn S. H. Hsu and
                  Ming{-}Hsien Tsai},
  title        = {Low-noise amplifiers with robust {ESD} protection for {RF} {SOC}},
  booktitle    = {International SoC Design Conference, {ISOCC} 2011, Jeju, South Korea,
                  November 17-18, 2011},
  pages        = {112--115},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISOCC.2011.6138659},
  doi          = {10.1109/ISOCC.2011.6138659},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isocc/HsuT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/PanCYYHLLYLLCCCJYLCKWHLSTL11,
  author       = {Jyh{-}Shin Pan and
                  Ming{-}Yang Chao and
                  Eric Yeh and
                  Wen{-}Wei Yang and
                  Ching{-}Wen Hsueh and
                  Shyuan Liao and
                  Jian{-}Bang Lin and
                  Shun{-}An Yang and
                  Chin{-}Tai Liu and
                  Tsai{-}Pao Lee and
                  Jin{-}Ru Chen and
                  Chia{-}Hua Chou and
                  Min Chen and
                  Den{-}Kai Juang and
                  Jen{-}Hao Yeh and
                  Chieh{-}Wei Liao and
                  Po{-}Hung Chen and
                  Kaipon Kao and
                  Chia{-}Hsin Wu and
                  Wen{-}Tso Huang and
                  Shih{-}Hsien Liao and
                  Chih{-}Heng Shih and
                  Chien{-}Hsun Tung and
                  Yen{-}Po Lee},
  title        = {A 70Mb/s -100.5dBm sensitivity 65nm {LP} {MIMO} chipset for WiMAX
                  portable router},
  booktitle    = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2011,
                  Digest of Technical Papers, San Francisco, CA, USA, 20-24 February,
                  2011},
  pages        = {136--138},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISSCC.2011.5746253},
  doi          = {10.1109/ISSCC.2011.5746253},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isscc/PanCYYHLLYLLCCCJYLCKWHLSTL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsayTCC11,
  author       = {Yih{-}Kuen Tsay and
                  Ming{-}Hsien Tsai and
                  Jinn{-}Shu Chang and
                  Yi{-}Wen Chang},
  editor       = {Parosh Aziz Abdulla and
                  K. Rustan M. Leino},
  title        = {B{\"{u}}chi Store: An Open Repository of B{\"{u}}chi Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 17th International Conference, {TACAS} 2011, Held as Part of the
                  Joint European Conferences on Theory and Practice of Software, {ETAPS}
                  2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6605},
  pages        = {262--266},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19835-9\_23},
  doi          = {10.1007/978-3-642-19835-9\_23},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/TsayTCC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/displays/WuWTW10,
  author       = {Hsien{-}Chu Wu and
                  Hao{-}Cheng Wang and
                  Chwei{-}Shyong Tsai and
                  Chung{-}Ming Wang},
  title        = {Reversible image steganographic scheme via predictive coding},
  journal      = {Displays},
  volume       = {31},
  number       = {1},
  pages        = {35--43},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.displa.2009.10.002},
  doi          = {10.1016/J.DISPLA.2009.10.002},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/displays/WuWTW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HoTHC10,
  author       = {Wen{-}Hsien Ho and
                  Jinn{-}Tsong Tsai and
                  Gong{-}Ming Hsu and
                  Jyh{-}Horng Chou},
  title        = {Process Parameters Optimization: {A} Design Study for TiO \({}_{\mbox{2}}\)
                  Thin Film of Vacuum Sputtering Process},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {143--146},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2009.2023673},
  doi          = {10.1109/TASE.2009.2023673},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HoTHC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/TuLTJC10,
  author       = {Ming{-}Hsien Tu and
                  Jihi{-}Yu Lin and
                  Ming{-}Chien Tsai and
                  Shyh{-}Jye Jou and
                  Ching{-}Te Chuang},
  title        = {Single-Ended Subthreshold {SRAM} With Asymmetrical Write/Read-Assist},
  journal      = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
  volume       = {57-I},
  number       = {12},
  pages        = {3039--3047},
  year         = {2010},
  url          = {https://doi.org/10.1109/TCSI.2010.2071690},
  doi          = {10.1109/TCSI.2010.2071690},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcas/TuLTJC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenCFTTW10,
  author       = {Yu{-}Fang Chen and
                  Edmund M. Clarke and
                  Azadeh Farzan and
                  Ming{-}Hsien Tsai and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang},
  editor       = {Tayssir Touili and
                  Byron Cook and
                  Paul B. Jackson},
  title        = {Automated Assume-Guarantee Reasoning through Implicit Learning},
  booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}
                  2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {511--526},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14295-6\_44},
  doi          = {10.1007/978-3-642-14295-6\_44},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ChenCFTTW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/ChenTCPHYCHLLFYWCWWP10,
  author       = {Wei{-}Chih Chen and
                  Chien{-}Chun Tsai and
                  Chih{-}Hsien Chang and
                  Yung{-}Chow Peng and
                  Fu{-}Lung Hsueh and
                  Tsung{-}Hsin Yu and
                  Jinn{-}Yeh Chien and
                  Wen{-}Hung Huang and
                  Chi{-}Chang Lu and
                  Mu{-}Shan Lin and
                  Chin{-}Ming Fu and
                  Shu{-}Chun Yang and
                  Chung{-}Wing Wong and
                  Wan{-}Te Chen and
                  Chin{-}Hua Wen and
                  Li Yueh Wang and
                  Chiang Pu},
  editor       = {Jacqueline Snyder and
                  Rakesh Patel and
                  Tom Andre},
  title        = {A 2.5-8Gb/s transceiver with 5-tap {DFE} and Second order {CDR} against
                  28-inch channel and 5000ppm {SSC} in 40nm {CMOS} technology},
  booktitle    = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2010, San Jose,
                  California, USA, 19-22 September, 2010, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CICC.2010.5617469},
  doi          = {10.1109/CICC.2010.5617469},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cicc/ChenTCPHYCHLLFYWCWWP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/HsiehHJKCYTWLT10,
  author       = {Hsieh{-}Hung Hsieh and
                  Fu{-}Lung Hsueh and
                  Chewnpu Jou and
                  Fred Kuo and
                  Sean Chen and
                  Tzu{-}Jin Yeh and
                  Kevin Kai{-}Wen Tan and
                  Po{-}Yi Wu and
                  Yu{-}Ling Lin and
                  Ming{-}Hsien Tsai},
  editor       = {Jacqueline Snyder and
                  Rakesh Patel and
                  Tom Andre},
  title        = {A V-band divide-by-three differential direct injection-locked frequency
                  divider in 65-nm {CMOS}},
  booktitle    = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2010, San Jose,
                  California, USA, 19-22 September, 2010, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CICC.2010.5617391},
  doi          = {10.1109/CICC.2010.5617391},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cicc/HsiehHJKCYTWLT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChenCFHTTWZ10,
  author       = {Yu{-}Fang Chen and
                  Edmund M. Clarke and
                  Azadeh Farzan and
                  Fei He and
                  Ming{-}Hsien Tsai and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang and
                  Lei Zhu},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6415},
  pages        = {643--657},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16558-0\_52},
  doi          = {10.1007/978-3-642-16558-0\_52},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nems/WuGWPTYT10,
  author       = {Yi{-}Shiuan Wu and
                  Shin{-}Mei Gong and
                  Chun{-}Hsien Wang and
                  Hsien{-}Chih Peng and
                  Ming{-}Chi Tsai and
                  Tsung{-}Kuang Yeh and
                  Fan{-}Gang Tseng},
  title        = {High efficient nanocatalysts synthesis by a semi-reflux chemical reduction
                  system},
  booktitle    = {5th {IEEE} International Conference on Nano/Micro Engineered and Molecular
                  Systems, {NEMS} 2010, Xiamen, China, January 20-23, 2010},
  pages        = {704--707},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/NEMS.2010.5592251},
  doi          = {10.1109/NEMS.2010.5592251},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/nems/WuGWPTYT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MagillTLT10,
  author       = {Stephen Magill and
                  Ming{-}Hsien Tsai and
                  Peter Lee and
                  Yih{-}Kuen Tsay},
  editor       = {Manuel V. Hermenegildo and
                  Jens Palsberg},
  title        = {Automatic numeric abstractions for heap-manipulating programs},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
                  2010},
  pages        = {211--222},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1706299.1706326},
  doi          = {10.1145/1706299.1706326},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/MagillTLT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/TsaiFVT10,
  author       = {Ming{-}Hsien Tsai and
                  Seth Fogarty and
                  Moshe Y. Vardi and
                  Yih{-}Kuen Tsay},
  editor       = {Michael Domaratzki and
                  Kai Salomaa},
  title        = {State of B{\"{u}}chi Complementation},
  booktitle    = {Implementation and Application of Automata - 15th International Conference,
                  {CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6482},
  pages        = {261--271},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18098-9\_28},
  doi          = {10.1007/978-3-642-18098-9\_28},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/TsaiFVT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eg/TsaiPCT09,
  author       = {Wen{-}Hsien Tsai and
                  Yuyun Purbokusumo and
                  Julian Ming{-}Sung Cheng and
                  Nguyen Duc Tuan},
  title        = {E-government evaluation: the case of Vietnam's provincial websites},
  journal      = {Electron. Gov. an Int. J.},
  volume       = {6},
  number       = {1},
  pages        = {41--53},
  year         = {2009},
  url          = {https://doi.org/10.1504/EG.2009.022592},
  doi          = {10.1504/EG.2009.022592},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eg/TsaiPCT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TsayCTWCLC09,
  author       = {Yih{-}Kuen Tsay and
                  Yu{-}Fang Chen and
                  Ming{-}Hsien Tsai and
                  Kang{-}Nien Wu and
                  Wen{-}Chin Chan and
                  Chi{-}Jian Luo and
                  Jinn{-}Shu Chang},
  title        = {Tool support for learning B{\"{u}}chi automata and linear temporal
                  logic},
  journal      = {Formal Aspects Comput.},
  volume       = {21},
  number       = {3},
  pages        = {259--275},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00165-008-0091-6},
  doi          = {10.1007/S00165-008-0091-6},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/TsayCTWCLC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tedu/HuangTKWLT09,
  author       = {Jiung{-}yao Huang and
                  Ming{-}Chih Tung and
                  Huan{-}Chao Keh and
                  Ji{-}Jen Wu and
                  Kun{-}Hang Lee and
                  Chung{-}Hsien Tsai},
  title        = {A 3D Campus on the Internet - {A} Networked Mixed Reality Environment},
  journal      = {Trans. Edutainment},
  volume       = {2},
  pages        = {282--298},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03270-7\_19},
  doi          = {10.1007/978-3-642-03270-7\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tedu/HuangTKWLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/HuangTKWLT09,
  author       = {Jiung{-}yao Huang and
                  Ming{-}Chih Tung and
                  Huan{-}Chao Keh and
                  Ji{-}Jen Wu and
                  Kun{-}Hang Lee and
                  Chung{-}Hsien Tsai},
  editor       = {Julie A. Jacko},
  title        = {Interaction Wearable Computer with Networked Virtual Environment},
  booktitle    = {Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction,
                  13th International Conference, {HCI} International 2009, San Diego,
                  CA, USA, July 19-24, 2009, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5612},
  pages        = {741--751},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02580-8\_81},
  doi          = {10.1007/978-3-642-02580-8\_81},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/HuangTKWLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/LinTTJC09,
  author       = {Jihi{-}Yu Lin and
                  Ming{-}Hsien Tu and
                  Ming{-}Chien Tsai and
                  Shyh{-}Jye Jou and
                  Ching{-}Te Chuang},
  title        = {Asymmetrical Write-assist for single-ended {SRAM} operation},
  booktitle    = {Annual {IEEE} International SoC Conference, SoCC 2009, September 9-11,
                  2009, Belfast, Northern Ireland, UK, Proceedings},
  pages        = {101--104},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/SOCCON.2009.5398086},
  doi          = {10.1109/SOCCON.2009.5398086},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/socc/LinTTJC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LiuKTT08,
  author       = {Bing{-}Hong Liu and
                  Wei{-}Chieh Ke and
                  Chin{-}Hsien Tsai and
                  Ming{-}Jer Tsai},
  title        = {Constructing a Message-Pruning Tree with Minimum Cost for Tracking
                  Moving Objects in Wireless Sensor Networks Is NP-Complete and an Enhanced
                  Data Aggregation Structure},
  journal      = {{IEEE} Trans. Computers},
  volume       = {57},
  number       = {6},
  pages        = {849--863},
  year         = {2008},
  url          = {https://doi.org/10.1109/TC.2008.22},
  doi          = {10.1109/TC.2008.22},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/LiuKTT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HuangHLCT08,
  author       = {Nen{-}Fu Huang and
                  Hsien{-}Wei Hung and
                  Sheng{-}Hung Lai and
                  Yen{-}Ming Chu and
                  Wen{-}Yen Tsai},
  title        = {A GPU-Based Multiple-Pattern Matching Algorithm for Network Intrusion
                  Detection Systems},
  booktitle    = {22nd International Conference on Advanced Information Networking and
                  Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa,
                  Japan, March 25-28, 2008},
  pages        = {62--67},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/WAINA.2008.145},
  doi          = {10.1109/WAINA.2008.145},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/HuangHLCT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MagillTLT08,
  author       = {Stephen Magill and
                  Ming{-}Hsien Tsai and
                  Peter Lee and
                  Yih{-}Kuen Tsay},
  editor       = {Aarti Gupta and
                  Sharad Malik},
  title        = {{THOR:} {A} Tool for Reasoning about Shape and Arithmetic},
  booktitle    = {Computer Aided Verification, 20th International Conference, {CAV}
                  2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5123},
  pages        = {428--432},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70545-1\_41},
  doi          = {10.1007/978-3-540-70545-1\_41},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MagillTLT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/HsuTCY08,
  author       = {Ching{-}Hsien Hsu and
                  Ming{-}Hsiung Tsai and
                  Tai{-}Lung Chen and
                  Kun{-}Ming Yu},
  title        = {Performance-Effective and Contention-Free Broadcasts on Irregular
                  Network with Heterogeneous Workstations},
  booktitle    = {Workshops at the Grid and Pervasive Computing Conference, {GPC} 2008,
                  Kunming, China, May 25-28, 2008},
  pages        = {352--357},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/GPC.WORKSHOPS.2008.66},
  doi          = {10.1109/GPC.WORKSHOPS.2008.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gpc/HsuTCY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispan/HuangLZTL08,
  author       = {Chung{-}Ming Huang and
                  Chao{-}Hsien Lee and
                  Jun{-}Hao Zhuang and
                  Tsung{-}Yi Tsai and
                  Chi{-}Chang Liu},
  title        = {SIP-Based Cross-Domain Proxy Handoff for Mobile Streaming Services},
  booktitle    = {9th International Symposium on Parallel Architectures, Algorithms,
                  and Networks, {ISPAN} 2008, 7-9 May 2008, Sydney, NSW, Australia},
  pages        = {4--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/I-SPAN.2008.21},
  doi          = {10.1109/I-SPAN.2008.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispan/HuangLZTL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsayCTCL08,
  author       = {Yih{-}Kuen Tsay and
                  Yu{-}Fang Chen and
                  Ming{-}Hsien Tsai and
                  Wen{-}Chin Chan and
                  Chi{-}Jian Luo},
  editor       = {C. R. Ramakrishnan and
                  Jakob Rehof},
  title        = {{GOAL} Extended: Towards a Research Tool for Omega Automata and Temporal
                  Logic},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  14th International Conference, {TACAS} 2008, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2008,
                  Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4963},
  pages        = {346--350},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78800-3\_26},
  doi          = {10.1007/978-3-540-78800-3\_26},
  timestamp    = {Mon, 03 Apr 2023 17:23:33 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/TsayCTCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/HuangT07,
  author       = {Chung{-}Ming Huang and
                  Ching{-}Hsien Tsai},
  title        = {The handover control mechanism for multi-path transmission using Stream
                  Control Transmission Protocol {(SCTP)}},
  journal      = {Comput. Commun.},
  volume       = {30},
  number       = {17},
  pages        = {3239--3256},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.comcom.2007.06.015},
  doi          = {10.1016/J.COMCOM.2007.06.015},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/HuangT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijss/WuYWT07,
  author       = {Huei{-}Jin Wu and
                  Ming{-}Hsien Yang and
                  Ji{-}Tsung Ben Wu and
                  Cheng{-}Lun Tsai},
  title        = {An empirical study on liquidity-based measures for e-marketplace},
  journal      = {Int. J. Serv. Stand.},
  volume       = {3},
  number       = {4},
  pages        = {413--425},
  year         = {2007},
  url          = {https://doi.org/10.1504/IJSS.2007.015225},
  doi          = {10.1504/IJSS.2007.015225},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijss/WuYWT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/LinWT07,
  author       = {Tsung{-}Hsien Lin and
                  Chin{-}Kung Wu and
                  Ming{-}Chung Tsai},
  title        = {A 0.8-V 0.25-mW Current-Mirror {OTA} With 160-MHz {GBW} in 0.18-{\(\mu\)}m
                  {CMOS}},
  journal      = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
  volume       = {54-II},
  number       = {2},
  pages        = {131--135},
  year         = {2007},
  url          = {https://doi.org/10.1109/TCSII.2006.886465},
  doi          = {10.1109/TCSII.2006.886465},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcas/LinWT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HuangT07,
  author       = {Chung{-}Ming Huang and
                  Ching{-}Hsien Tsai},
  title        = {WiMP-SCTP: Multi-Path Transmission Using Stream Control Transmission
                  Protocol {(SCTP)} in Wireless Networks},
  booktitle    = {21st International Conference on Advanced Information Networking and
                  Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23,
                  2007, Niagara Falls, Canada},
  pages        = {209--214},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/AINAW.2007.374},
  doi          = {10.1109/AINAW.2007.374},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/HuangT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/HuangTHC07,
  author       = {Chung{-}Ming Huang and
                  Ching{-}Hsien Tsai and
                  Jia{-}Xuan Huang and
                  Cheng{-}Yen Chuang},
  title        = {Enabling Robust Network Fault Tolerance for IP-Based Surveillance
                  Systems},
  booktitle    = {4th {IEEE} Consumer Communications and Networking Conference, {CCNC}
                  2007, Las Vegas, NV, USA, January 11-13, 2007},
  pages        = {39--43},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/CCNC.2007.15},
  doi          = {10.1109/CCNC.2007.15},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ccnc/HuangTHC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthgrid/HungTTLCC07,
  author       = {Shu{-}Hui Hung and
                  Huan Chin Tseng and
                  Wen Ho Tsai and
                  Hsin{-}Hung Lin and
                  Jen Hsien Cheng and
                  Yi{-}Ming Chang},
  editor       = {Nicolas Jacq and
                  Henning M{\"{u}}ller and
                  Ignacio Blanquer and
                  Yannick Legr{\'{e}} and
                  Vincent Breton and
                  Dominique Hausser and
                  Vicente Hern{\'{a}}ndez and
                  Tony Solomonides and
                  Martin Hofmann{-}Apitius},
  title        = {Care for Asthma via Mobile Phone {(CAMP)}},
  booktitle    = {From Genes to Personalized HealthCare: Grid Solutions for the Life
                  Sciences - Proceedings of HealthGrid 2007, Geneva, Switzerland, April
                  24-27, 2007},
  series       = {Studies in Health Technology and Informatics},
  volume       = {126},
  pages        = {137--143},
  publisher    = {{IOS} Press},
  year         = {2007},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5560},
  timestamp    = {Tue, 30 May 2017 14:46:39 +0200},
  biburl       = {https://dblp.org/rec/conf/healthgrid/HungTTLCC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsayCTWC07,
  author       = {Yih{-}Kuen Tsay and
                  Yu{-}Fang Chen and
                  Ming{-}Hsien Tsai and
                  Kang{-}Nien Wu and
                  Wen{-}Chin Chan},
  editor       = {Orna Grumberg and
                  Michael Huth},
  title        = {{GOAL:} {A} Graphical Tool for Manipulating B{\"{u}}chi Automata
                  and Temporal Formulae},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  13th International Conference, {TACAS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007
                  Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4424},
  pages        = {466--471},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71209-1\_35},
  doi          = {10.1007/978-3-540-71209-1\_35},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/TsayCTWC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HuangTT06,
  author       = {Chung{-}Ming Huang and
                  Ching{-}Hsien Tsai and
                  Ming{-}Chi Tsai},
  title        = {Design and Implementation of Video Streaming Hot-plug between Wired
                  and Wireless Networks Using {SCTP}},
  journal      = {Comput. J.},
  volume       = {49},
  number       = {4},
  pages        = {400--417},
  year         = {2006},
  url          = {https://doi.org/10.1093/comjnl/bxl025},
  doi          = {10.1093/COMJNL/BXL025},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HuangTT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/HuangLT06,
  author       = {Chung{-}Ming Huang and
                  Chao{-}Hsien Lee and
                  Meng{-}Da Tsai},
  title        = {Scalable {MPEG-4} streaming over the IPv6 mobile network environment},
  journal      = {Comput. Commun.},
  volume       = {29},
  number       = {16},
  pages        = {3104--3112},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.comcom.2005.11.010},
  doi          = {10.1016/J.COMCOM.2005.11.010},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/HuangLT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/HuangTS06,
  author       = {Chungming Huang and
                  Ching{-}Hsien Tsai and
                  Po{-}chou Su},
  title        = {MultiGate6: An IPv6 multihoming gateway using a hybrid approach},
  journal      = {Comput. Commun.},
  volume       = {29},
  number       = {10},
  pages        = {1842--1857},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.comcom.2005.10.020},
  doi          = {10.1016/J.COMCOM.2005.10.020},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/HuangTS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WangCHT06,
  author       = {Chung{-}Ming Wang and
                  Chung{-}Hsien Chang and
                  Nen{-}Chin Hwang and
                  Yuan{-}Yu Tsai},
  title        = {A Novel Algorithm for Sampling Uniformly in the Directional Space
                  of a Cone},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {89-A},
  number       = {9},
  pages        = {2351--2355},
  year         = {2006},
  url          = {https://doi.org/10.1093/ietfec/e89-a.9.2351},
  doi          = {10.1093/IETFEC/E89-A.9.2351},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/WangCHT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/TsouSLHHTL06,
  author       = {Ann{-}Ping Tsou and
                  Yi{-}Ming Sun and
                  Chia{-}Lin Liu and
                  Hsien{-}Da Huang and
                  Jorng{-}Tzong Horng and
                  Meng{-}Feng Tsai and
                  Baw{-}Jhiune Liu},
  title        = {Biological Data Warehousing System for Identifying Transcriptional
                  Regulatory Sites From Gene Expressions of Microarray Data},
  journal      = {{IEEE} Trans. Inf. Technol. Biomed.},
  volume       = {10},
  number       = {3},
  pages        = {550--558},
  year         = {2006},
  url          = {https://doi.org/10.1109/TITB.2005.862466},
  doi          = {10.1109/TITB.2005.862466},
  timestamp    = {Wed, 13 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/titb/TsouSLHHTL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TsaiW06,
  author       = {Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang},
  editor       = {Mitsu Okada and
                  Ichiro Satoh},
  title        = {Modular Formalization of Reactive Modules in {COQ}},
  booktitle    = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related
                  Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December
                  6-8, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4435},
  pages        = {105--119},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77505-8\_9},
  doi          = {10.1007/978-3-540-77505-8\_9},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asian/TsaiW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TsaiW06a,
  author       = {Ming{-}Hsien Tsai and
                  Bow{-}Yaw Wang},
  editor       = {Mitsu Okada and
                  Ichiro Satoh},
  title        = {Formalization of CTL* in Calculus of Inductive Constructions},
  booktitle    = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related
                  Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December
                  6-8, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4435},
  pages        = {316--330},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77505-8\_25},
  doi          = {10.1007/978-3-540-77505-8\_25},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asian/TsaiW06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgi/ChangWTC06,
  author       = {Chung{-}Hsien Chang and
                  Chung{-}Ming Wang and
                  Yuan{-}Yu Tsai and
                  Yu{-}Ming Cheng},
  editor       = {Tomoyuki Nishita and
                  Qunsheng Peng and
                  Hans{-}Peter Seidel},
  title        = {A Novel Data Hiding Algorithm Using Normal Vectors of 3D Model},
  booktitle    = {Advances in Computer Graphics, 24th Computer Graphics International
                  Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4035},
  pages        = {231--241},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11784203\_20},
  doi          = {10.1007/11784203\_20},
  timestamp    = {Mon, 01 Mar 2021 13:46:59 +0100},
  biburl       = {https://dblp.org/rec/conf/cgi/ChangWTC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgi/ChengWTCW06,
  author       = {Yu{-}Ming Cheng and
                  Chung{-}Ming Wang and
                  Yuan{-}Yu Tsai and
                  Chung{-}Hsien Chang and
                  Peng{-}Cheng Wang},
  editor       = {Tomoyuki Nishita and
                  Qunsheng Peng and
                  Hans{-}Peter Seidel},
  title        = {Steganography for Three-Dimensional Models},
  booktitle    = {Advances in Computer Graphics, 24th Computer Graphics International
                  Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4035},
  pages        = {510--517},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11784203\_46},
  doi          = {10.1007/11784203\_46},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cgi/ChengWTCW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgi/TsaiWCCW06,
  author       = {Yuan{-}Yu Tsai and
                  Chung{-}Ming Wang and
                  Yu{-}Ming Cheng and
                  Chung{-}Hsien Chang and
                  Peng{-}Cheng Wang},
  editor       = {Tomoyuki Nishita and
                  Qunsheng Peng and
                  Hans{-}Peter Seidel},
  title        = {Steganography on 3D Models Using a Spatial Subdivision Technique},
  booktitle    = {Advances in Computer Graphics, 24th Computer Graphics International
                  Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4035},
  pages        = {469--476},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11784203\_41},
  doi          = {10.1007/11784203\_41},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cgi/TsaiWCCW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/TsaiWCC06,
  author       = {Yuan{-}Yu Tsai and
                  Chung{-}Ming Wang and
                  Chung{-}Hsien Chang and
                  Yu{-}Ming Cheng},
  editor       = {Marina L. Gavrilova and
                  Osvaldo Gervasi and
                  Vipin Kumar and
                  Chih Jeng Kenneth Tan and
                  David Taniar and
                  Antonio Lagan{\`{a}} and
                  Youngsong Mun and
                  Hyunseung Choo},
  title        = {Tunable Bounding Volumes for Monte Carlo Applications},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2006, International
                  Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3980},
  pages        = {171--180},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11751540\_19},
  doi          = {10.1007/11751540\_19},
  timestamp    = {Thu, 28 Apr 2022 16:17:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/TsaiWCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/TsaiCH06,
  author       = {Hsien{-}Ming Tsai and
                  Tzu{-}Chiang Chiang and
                  Yueh{-}Min Huang},
  title        = {Using an Interpolation Algorithm for {VCR} like Functions in Multimedia
                  Communications},
  booktitle    = {26th International Conference on Distributed Computing Systems Workshops
                  {(ICDCS} 2006 Workshops), 4-7 July 2006, Lisboa, Portugal},
  pages        = {55},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICDCSW.2006.113},
  doi          = {10.1109/ICDCSW.2006.113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/TsaiCH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/SueTL06,
  author       = {Kuen{-}Liang Sue and
                  Chung{-}Hsien Tsai and
                  Ming{-}Hua Lin},
  editor       = {Ilyoung Chong and
                  Kenji Kawahara},
  title        = {{FLEXOR:} {A} Flexible Localization Scheme Based on {RFID}},
  booktitle    = {Information Networking, Advances in Data Communications and Wireless
                  Networks, International Conference, {ICOIN} 2006, Sendai, Japan, January
                  16-19, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3961},
  pages        = {306--316},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11919568\_31},
  doi          = {10.1007/11919568\_31},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icoin/SueTL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/HuangTWWT06,
  author       = {Jiung{-}yao Huang and
                  Ming{-}Chih Tung and
                  Ji{-}Jen Wu and
                  Shu{-}Shen Wai and
                  Chung{-}Hsien Tsai},
  editor       = {L. Felipe Perrone and
                  Barry Lawson and
                  Jason Liu and
                  Frederick P. Wieland},
  title        = {Use of the analytical system as the decision support system for the
                  {HLA} joint training environment},
  booktitle    = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
                  California, USA, December 3-6, 2006},
  pages        = {583--590},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/WSC.2006.323133},
  doi          = {10.1109/WSC.2006.323133},
  timestamp    = {Mon, 29 Apr 2024 16:19:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/HuangTWWT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/TsaiPLL05,
  author       = {Hsien{-}Ming Tsai and
                  Ai{-}Chun Pang and
                  Yung{-}Chun Lin and
                  Yi{-}Bing Lin},
  title        = {Repacking on demand for speed-sensitive channel assignment},
  journal      = {Comput. Networks},
  volume       = {47},
  number       = {1},
  pages        = {129--146},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.comnet.2004.07.017},
  doi          = {10.1016/J.COMNET.2004.07.017},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/TsaiPLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijipt/LiuHKT05,
  author       = {Mingshou Liu and
                  Cheng{-}Hsien Hsu and
                  Shi{-}Hong Kuo and
                  Hsang{-}Chi Tsai},
  title        = {An IPv6 enabled packet engine design for home/SOHO routers},
  journal      = {Int. J. Internet Protoc. Technol.},
  volume       = {1},
  number       = {2},
  pages        = {68--74},
  year         = {2005},
  url          = {https://doi.org/10.1504/IJIPT.2005.008041},
  doi          = {10.1504/IJIPT.2005.008041},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijipt/LiuHKT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijss/TsaiCFC05,
  author       = {Wen{-}Hsien Tsai and
                  Shih{-}Wen Chien and
                  Yi{-}Wen Fan and
                  Julian Ming{-}Sung Cheng},
  title        = {Critical management issues in implementing {ERP:} empirical evidences
                  from Taiwanese firms},
  journal      = {Int. J. Serv. Stand.},
  volume       = {1},
  number       = {3},
  pages        = {299--318},
  year         = {2005},
  url          = {https://doi.org/10.1504/IJSS.2005.005802},
  doi          = {10.1504/IJSS.2005.005802},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijss/TsaiCFC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/winet/TsaiPLL05,
  author       = {Hsien{-}Ming Tsai and
                  Ai{-}Chun Pang and
                  Yung{-}Chun Lin and
                  Yi{-}Bing Lin},
  title        = {Repacking on Demand for Hierarchical Cellular Networks},
  journal      = {Wirel. Networks},
  volume       = {11},
  number       = {6},
  pages        = {719--728},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11276-005-3526-5},
  doi          = {10.1007/S11276-005-3526-5},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/winet/TsaiPLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LiuHKT05,
  author       = {Mingshou Liu and
                  Cheng{-}Hsien Hsu and
                  Shi{-}Hong Kuo and
                  Hsang{-}Chi Tsai},
  title        = {An IPv6 Enabled Packet Engine Design for Home/SOHO Routers},
  booktitle    = {19th International Conference on Advanced Information Networking and
                  Applications {(AINA} 2005), 28-30 March 2005, Taipei, Taiwan},
  pages        = {796--800},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/AINA.2005.114},
  doi          = {10.1109/AINA.2005.114},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/LiuHKT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimob/ChiangTH05,
  author       = {Tzu{-}Chiang Chiang and
                  Hsien{-}Ming Tsai and
                  Yueh{-}Min Huang},
  title        = {A partition network model for ad hoc networks},
  booktitle    = {2005 {IEEE} International Conference on Wireless And Mobile Computing,
                  Networking And Communications, WiMob 2005, Montreal, Canada, August
                  22-14, 2005, Volume 3},
  pages        = {467--472},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/WIMOB.2005.1512939},
  doi          = {10.1109/WIMOB.2005.1512939},
  timestamp    = {Thu, 12 Aug 2021 09:49:22 +0200},
  biburl       = {https://dblp.org/rec/conf/wimob/ChiangTH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/PangLTA04,
  author       = {Ai{-}Chun Pang and
                  Yi{-}Bing Lin and
                  Hsien{-}Ming Tsai and
                  Prathima Agrawal},
  title        = {Serving radio network controller relocation for {UMTS} all-IP network},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {22},
  number       = {4},
  pages        = {617--629},
  year         = {2004},
  url          = {https://doi.org/10.1109/JSAC.2004.825962},
  doi          = {10.1109/JSAC.2004.825962},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/PangLTA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/TsaiCY04,
  author       = {Chun{-}Hsien Tsai and
                  Hung{-}Yuan Chung and
                  Fang{-}Ming Yu},
  title        = {Neuro-sliding mode control with its applications to seesaw systems},
  journal      = {{IEEE} Trans. Neural Networks},
  volume       = {15},
  number       = {1},
  pages        = {124--134},
  year         = {2004},
  url          = {https://doi.org/10.1109/TNN.2003.811560},
  doi          = {10.1109/TNN.2003.811560},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnn/TsaiCY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/twc/HungLPT04,
  author       = {Hui{-}Nien Hung and
                  Yi{-}Bing Lin and
                  Nan{-}Fu Peng and
                  Hsien{-}Ming Tsai},
  title        = {Repacking on demand for two-tier wireless local loop},
  journal      = {{IEEE} Trans. Wirel. Commun.},
  volume       = {3},
  number       = {3},
  pages        = {745--757},
  year         = {2004},
  url          = {https://doi.org/10.1109/TWC.2004.826312},
  doi          = {10.1109/TWC.2004.826312},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/twc/HungLPT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/ChenWCTCW04,
  author       = {Yung{-}Kang Chen and
                  Hsien{-}Tsai Wu and
                  Chih{-}Kai Chi and
                  Wei{-}Chuan Tsai and
                  Ju{-}Yi Chen and
                  Ming{-}Chun Wang},
  title        = {A New Dual Channel Pulse Wave Velocity Measurement System},
  booktitle    = {4th {IEEE} International Symposium on BioInformatics and BioEngineering
                  {(BIBE} 2004), 19-21 March 2004, Taichung, Taiwan},
  pages        = {17--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/BIBE.2004.1317320},
  doi          = {10.1109/BIBE.2004.1317320},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibe/ChenWCTCW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/PangLTA04,
  author       = {Ai{-}Chun Pang and
                  Yi{-}Bing Lin and
                  Hsien{-}Ming Tsai and
                  Prathima Agrawal},
  title        = {A New Approach for Serving Radio Network Controller Relocation in
                  {UMTS} All-IP Network},
  booktitle    = {Proceedings {IEEE} {INFOCOM} 2004, The 23rd Annual Joint Conference
                  of the {IEEE} Computer and Communications Societies, Hong Kong, China,
                  March 7-11, 2004},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/INFCOM.2004.1354501},
  doi          = {10.1109/INFCOM.2004.1354501},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/PangLTA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacis/TsaiCFC04,
  author       = {Wen{-}Hsien Tsai and
                  Shih{-}Wen Chien and
                  Yi{-}Wen Fan and
                  Julian Ming{-}Sung Cheng},
  title        = {A Survey of {ERP} System Implementation in Taiwan},
  booktitle    = {Pacific Asia Conference on Information Systems, {PACIS} 2004, Shanghai,
                  China, July 8-11, 2004},
  pages        = {135},
  publisher    = {AISeL},
  year         = {2004},
  url          = {http://aisel.aisnet.org/pacis2004/135},
  timestamp    = {Sat, 03 Mar 2012 13:26:52 +0100},
  biburl       = {https://dblp.org/rec/conf/pacis/TsaiCFC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KuoTHL04,
  author       = {Chung{-}Hsien Kuo and
                  Yu{-}Lin Tsai and
                  Fang{-}Chun Huang and
                  Ming{-}Yih Lee},
  title        = {Development of image servo tracking robot for the surgical space positioning
                  system},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  {\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
  pages        = {4462--4467},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICSMC.2004.1401234},
  doi          = {10.1109/ICSMC.2004.1401234},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/KuoTHL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/TsaiPLL03,
  author       = {Hsien{-}Ming Tsai and
                  Ai{-}Chun Pang and
                  Yung{-}Chun Lin and
                  Yi{-}Bing Lin},
  title        = {Channel Assignment for Hierarchical Cellular Networks},
  booktitle    = {32nd International Conference on Parallel Processing {(ICPP} 2003),
                  6-9 October 2003, Kaohsiung, Taiwan},
  pages        = {591--596},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICPP.2003.1240627},
  doi          = {10.1109/ICPP.2003.1240627},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/TsaiPLL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/TsaiL02,
  author       = {Hsien{-}Ming Tsai and
                  Yi{-}Bing Lin},
  title        = {Modeling Wireless Local with General Call Holding Times and Finite
                  Number of Subscribers},
  journal      = {{IEEE} Trans. Computers},
  volume       = {51},
  number       = {7},
  pages        = {775--786},
  year         = {2002},
  url          = {https://doi.org/10.1109/TC.2002.1017697},
  doi          = {10.1109/TC.2002.1017697},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/TsaiL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/WuFC01,
  author       = {Ming{-}Lu Wu and
                  Wen{-}Hsien Fang and
                  Jiunn{-}Tsair Chen},
  title        = {Design of low complexity multiuser detection using information theoretic
                  criteria},
  booktitle    = {Proceedings of the Global Telecommunications Conference, 2001. {GLOBECOM}
                  '01, San Antonio, TX, USA, 25-29 November, 2001},
  pages        = {254--258},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/GLOCOM.2001.965118},
  doi          = {10.1109/GLOCOM.2001.965118},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/globecom/WuFC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcn/HuangTLT00,
  author       = {Jiun{-}Yao Huang and
                  Hsien{-}Ming Tsai and
                  Yi{-}Bing Lin and
                  Chien{-}Chao Tseng},
  title        = {Design and implementation of an OA{\&}M system for {WLL} network},
  journal      = {J. Commun. Networks},
  volume       = {2},
  number       = {3},
  pages        = {266--276},
  year         = {2000},
  url          = {https://doi.org/10.1109/JCN.2000.6596718},
  doi          = {10.1109/JCN.2000.6596718},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcn/HuangTLT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/ChenTT99,
  author       = {Mu{-}Chen Chen and
                  Du{-}Ming Tsai and
                  Hsien{-}Yu Tseng},
  title        = {A stochastic optimization approach for roundness measurement},
  journal      = {Pattern Recognit. Lett.},
  volume       = {20},
  number       = {7},
  pages        = {707--719},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0167-8655(99)00035-5},
  doi          = {10.1016/S0167-8655(99)00035-5},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/prl/ChenTT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/TsaiCL91,
  author       = {Wen{-}Hsien Tsai and
                  Maw{-}Sheng Chern and
                  Tsong{-}Ming Lin},
  title        = {Technical Note - An Algorithm for Determining Whether m Given Demand
                  Points Are on a Hemisphere or Not},
  journal      = {Transp. Sci.},
  volume       = {25},
  number       = {1},
  pages        = {91--97},
  year         = {1991},
  url          = {https://doi.org/10.1287/trsc.25.1.91},
  doi          = {10.1287/TRSC.25.1.91},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/transci/TsaiCL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics