• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 160 matches

• 2024
• 
  Rezarta Islamaj, Po-Ting Lai, Chih-Hsuan Wei, Ling Luo, Tiago Melo Almeida, Richard A. A. Jonker, Sofia I R. Conceição, Diana F. Sousa, Cong-Phuoc Phan, Jung-Hsien Chiang, Jiru Li, Dinghao Pan, Wilailack Meesawad, Richard Tzong-Han Tsai, M. Janina Sarol, Gibong Hong, Airat Valiev, Elena Tutubalina, Shao-Man Lee, Yi-Yu Hsu, Mingjie Li, Karin Verspoor, Zhiyong Lu:
  The overview of the BioRED (Biomedical Relation Extraction Dataset) track at BioCreative VIII. Database J. Biol. Databases Curation 2024 (2024)
• 
  Chien-Liang Liu, Min-Hsuan Lee, Shan-Ni Hsueh, Chia-Chen Chung, Chun-Ju Lin, Po-Han Chang, An-Chun Luo, Hsuan-Chi Weng, Yu-Hsien Lee, Ming-Ji Dai, Min-Juei Tsai:
  A bagging approach for improved predictive accuracy of intradialytic hypotension during hemodialysis treatment. Comput. Biol. Medicine 172: 108244 (2024)
• 
  Chien-Yu Chiou, Hung-Wen Tsai, Wei-Jong Yang, Chih-Hsien Lee, Ming Ting Sun, Maria Gabrani, Kuo-Sheng Cheng, Meng-Ling Wu, Pau-Choo Chung:
  ACC-GAN: Cross Scanner Robustness With Annotation Consistency Guided Cycle-GAN. J. Inf. Sci. Eng. 40(3): 455-474 (2024)
• 
  Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang:
  Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. ESORICS (4) 2024: 377-395
• 2023
• 
  Ying Yang, Yi-Min Wang, Chun-Hung Richard Lin, Chi-Yung Cheng, Chi-Ming Tsai, Ying-Hsien Huang, Tien-Yu Chen, I-Min Chiu:
  Explainable deep learning model to predict invasive bacterial infection in febrile young infants: A retrospective study. Int. J. Medical Informatics 172: 105007 (2023)
• 
  Yao-Lun Liu, Chun-Hsien Liu, Chun-Hao Tsai, Ce Fang Shih, Jau Yang Wu, Chia-Ming Tsai, Sheng-Di Lin:
  Theoretical Calculation and Demonstration of High Radiometric Temperature Detection Using A 64 × 128 Pixel SPAD Image Array. IEEE Trans. Instrum. Meas. 72: 1-8 (2023)
• 
  Po-Heng Pao, Ren-Hao Cheng, Yi-Hsiu Huang, Yu-Ying Yang, Tzu-Hsien Sang, Chia-Ming Tsai, Chao-Hsin Chien:
  Noncontact Remote Doping for High-performance Two-dimensional Electronics. ASICON 2023: 1-4
• 
  Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang:
  Certified Verification for Algebraic Abstraction. CAV (3) 2023: 329-349
• 
  Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang:
  CoqCryptoLine: A Verified Model Checker with Certified Results. CAV (2) 2023: 227-240
• 
  Wen-Tin Lee, Ping-Yi Song, Ming-Kai Tsai, Meng-Hsien Wu, Shang-Pin Ma:
  A High Availability Microservices Architecture Implementation using Saga and Backup Mechanism. DSA 2023: 470-471
• 
  Yu-Ting Huang, Hsien-Hao Chen, Tung-Lin Wu, Chia-Yu Yeh, Jing-Kai Lou, Ming-Feng Tsai, Chuan-Ju Wang:
  CPR: Cross-Domain Preference Ranking with User Transformation. ECIR (2) 2023: 448-456
• 
  Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang:
  llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. ESEC/SIGSOFT FSE 2023: 2167-2171
• 
  Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang:
  Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. IACR Cryptol. ePrint Arch. 2023: 1861 (2023)
• 2022
• 
  Ming-Xia Xiao, Chang-Hua Lu, Na Ta, Hai-Cheng Wei, Cheng-Chan Yang, Hsien-Tsai Wu:
  Toe PPG sample extension for supervised machine learning approaches to simultaneously predict type 2 diabetes and peripheral neuropathy. Biomed. Signal Process. Control. 71(Part): 103236 (2022)
• 
  Min-Hsiung Hung, Yu-Chuan Lin, Hung-Chang Hsiao, Chao-Chun Chen, Kuan-Chou Lai, Yu-Ming Hsieh, Hao Tieng, Tsung-Han Tsai, Hsien-Cheng Huang, Haw Ching Yang, Fan-Tien Cheng:
  A Novel Implementation Framework of Digital Twins for Intelligent Manufacturing Based on Container Technology and Cloud Manufacturing Services. IEEE Trans Autom. Sci. Eng. 19(3): 1614-1630 (2022)
• 
  Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang:
  Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022(4): 718-750 (2022)
• 
  An-Tai Hsiao, Chun-Hsien Liu, Po-Hsuan Chen, Yao-Lun Liu, Wei-Chi Wang, Tzu-Hsien Sang, Chia-Ming Tsai, Gray Lin, Jiun-In Guo, Sheng-Di Lin:
  Real-time LiDAR module with 64x128-pixel CMOS SPAD array and 940-nm PCSEL. SAS 2022: 1-6
• 
  Shih-Yang Liu, Hsien-Hao Chen, Chih-Ming Chen, Ming-Feng Tsai, Chuan-Ju Wang:
  IPR: Interaction-level Preference Ranking for Explicit feedback. SIGIR 2022: 1912-1916
• 
  Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang:
  Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. IACR Cryptol. ePrint Arch. 2022: 1116 (2022)
• 2021
• 
  Hsuan-Yu Tseng, Pao-Hsien Chu, Hao-Chun Lu, Ming-Jyh Tsai:
  Easy Particle Swarm Optimization for Nonlinear Constrained Optimization Problems. IEEE Access 9: 124757-124767 (2021)
• 
  An-Hsu Chen, Chih-Hui Chiu, Chin-Hsien Hsu, I-Lin Wang, Kuei-Ming Chou, Yung-Shen Tsai, Yu-Fang Lin, Che-Hsiu Chen:
  Acute Effects of Vibration Foam Rolling Warm-Up on Jump and Flexibility Asymmetry, Agility and Frequency Speed of Kick Test Performance in Taekwondo Athletes. Symmetry 13(9): 1664 (2021)
• 
  Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang:
  CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. CAV (2) 2021: 149-171
• 
  Po-Yu Chen, Hao Chen, Yi-Min Tsai, Hsien-Kai Kuo, Hantao Huang, Hsin-Hung Chen, Sheng-Hong Yan, Wei-Lun Ou, Chia-Ming Cheng:
  Learning to Compensate: A Deep Neural Network Framework for 5G Power Amplifier Compensation. ICC 2021: 1-6
• 
  Shao-Yung Lee, Xin Chen, Wei-Chi Lo, Kangmei Li, Chia-Hsuan Wang, Cheng-Ting Tsai, Chih-Hsien Cheng, Chao-Hsin Wu, Hao-Chung Kuo, Ming-Jun Li, Gong-Ru Lin:
  850-nm Dual-Mode VCSEL Carried 53-Gbps NRZ-OOK Transmission in 100-m Graded-Index Single-Mode Fiber. OFC 2021: 1-3
• 
  Andrey Ignatov, Cheng-Ming Chiang, Hsien-Kai Kuo, Anastasia Sycheva, Radu Timofte, Min-Hung Chen, Man-Yu Lee, Yu-Syuan Xu, Yu Tseng, Shusong Xu, Jin Guo, Chao-Hung Chen, Ming-Chun Hsyu, Wen-Chia Tsai, Chao-Wei Chen, Grigory Malivenko, Minsu Kwon, Myungje Lee, Jaeyoon Yoo, Changbeom Kang, Shinjo Wang, Zheng Shaolong, Hao Dejun, Xie Fen, Feng Zhuang, Yipeng Ma, Jingyang Peng, Tao Wang, Fenglong Song, Chih-Chung Hsu, Kwan-Lin Chen, Mei-Hsuang Wu, Vishal M. Chudasama, Kalpesh Prajapati, Heena Patel, Anjali Sarvaiya, Kishor P. Upla, Kiran B. Raja, Raghavendra Ramachandra, Christoph Busch, Etienne de Stoutz:
  Learned Smartphone ISP on Mobile NPUs with Deep Learning, Mobile AI 2021 Challenge: Report. CoRR abs/2105.07809 (2021)
• 
  Po-Yu Chen, Hao Chen, Yi-Min Tsai, Hsien-Kai Kuo, Hantao Huang, Hsin-Hung Chen, Sheng-Hong Yan, Wei-Lun Ou, Chia-Ming Cheng:
  Learning to Compensate: A Deep Neural Network Framework for 5G Power Amplifier Compensation. CoRR abs/2106.07953 (2021)
• 2020
• 
  Hung-Ming Lin, Ming-Hsien Lee, Jyh-Chong Liang, Hsin-Yi Chang, Pinchi Huang, Chin-Chung Tsai:
  A review of using partial least square structural equation modeling in e-learning research. Br. J. Educ. Technol. 51(4): 1354-1372 (2020)
• 
  Po-Jung Huang, Jui-Huan Chang, Hou-Hsien Lin, Yu-Xuan Li, Chi-Ching Lee, Chung-Tsai Su, Yun-Lung Li, Ming-Tai Chang, Sid Weng, Wei-Hung Cheng, Cheng-Hsun Chiu, Petrus Tang:
  DeepVariant-on-Spark: Small-Scale Genome Analysis Using a Cloud-Based Computing Framework. Comput. Math. Methods Medicine 2020: 7231205:1-7231205:7 (2020)
• 
  Hai-Cheng Wei, Wen-Rui Hu, Na Ta, Ming-Xia Xiao, Xiao-Jing Tang, Hsien-Tsai Wu:
  Prognosis of Diabetic Peripheral Neuropathy via Decomposed Digital Volume Pulse from the Fingertip. Entropy 22(7): 754 (2020)
• 
  Cheng-Ming Chiang, Yu Tseng, Yu-Syuan Xu, Hsien-Kai Kuo, Yi-Min Tsai, Guan-Yu Chen, Koan-Sin Tan, Wei-Ting Wang, Yu-Chieh Lin, Shou-Yao Roy Tseng, Wei-Shiang Lin, Chia-Lin Yu, B. Y. Shen, Kloze Kao, Chia-Ming Cheng, Hung-Jen Chen:
  Deploying Image Deblurring across Mobile Devices: A Perspective of Quality and Latency. CVPR Workshops 2020: 2109-2119

skipping 130 more matches