• 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 322 matches

• 2025
• 
  Wenbo Zhou, Yujiao Zhao, Ye Zhang, Yiyuan Wang, Minghao Yin:
  A comprehensive survey of UPPAAL-assisted formal modeling and verification. Softw. Pract. Exp. 55(2): 272-297 (2025)
• 
  Shuyin Xia, Cheng Wang, Guoyin Wang, Xinbo Gao, Weiping Ding, JianHang Yu, Yujia Zhai, Zizhong Chen:
  GBRS: A Unified Granular-Ball Learning Model of Pawlak Rough Set and Neighborhood Rough Set. IEEE Trans. Neural Networks Learn. Syst. 36(1): 1719-1733 (2025)
• 
  Zhou Gu, Yujian Fan, Tingting Yin, Shen Yan:
  A Novel Event-Triggered Load Frequency Control for Power Systems With Electric Vehicle Integration. IEEE Trans. Syst. Man Cybern. Syst. 55(1): 599-608 (2025)
• 2024
• 
  Yu Li, Guo-Hua Zeng, Yong-Jia Liang, Hong-Rui Yang, Xi-Liang Zhu, Yu-Jia Zhai, Li-Xia Duan, Ying-Ying Xu:
  Improving quantitative prediction of protein subcellular locations in fluorescence images through deep generative models. Comput. Biol. Medicine 179: 108913 (2024)
• 
  Tianshi Liu, Kai Wang, Yujiang Xie, Bin He, Ting Lei, Nanqiao Du, Ping Tong, Yingjie Yang, Catherine A. Rychert, Nicholas Harmon, Giovanni Grasselli, Qinya Liu:
  Cube2sph : A toolkit enabling flexible and accurate continental-scale seismic wave simulations using the SPECFEM3D_Cartesian package. Comput. Geosci. 190: 105644 (2024)
• 
  Zhenyu Xu, Hailin Xu, Zhouyang Lu, Yingying Zhao, Rui Zhu, Yujiang Wang, Mingzhi Dong, Yuhu Chang, Qin Lv, Robert P. Dick, Fan Yang, Tun Lu, Ning Gu, Li Shang:
  Can Large Language Models Be Good Companions?: An LLM-Based Eyewear System with Conversational Common Ground. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 8(2): 87:1-87:41 (2024)
• 
  Yuge Nie, Yulei Chen, Yujia Jiang, Huayao Wu, Beibei Yin, Kai-Yuan Cai:
  A method of multidimensional software aging prediction based on ensemble learning: A case of Android OS. Inf. Softw. Technol. 170: 107422 (2024)
• 
  Yinghao Luo, Yahui Peng, Yujia Tang, Pengfei Huang, Qianqian Zhang, Chunying Wang, Weiting Zhang, Jing Zhou, Longyu Liang, YuXin Zhang, Kaijiang Yu, Changsong Wang:
  Effect of early serum phosphate disorder on in-hospital and 28-day mortality in sepsis patients: a retrospective study based on MIMIC-IV database. BMC Medical Informatics Decis. Mak. 24(1): 59 (2024)
• 
  Xiaolin Shi, Xinyao Li, Yujia Mao, Ying Ren:
  A spike-based background light suppression lock-in pixel for 2D&3D synchronous imaging. Microelectron. J. 154: 106482 (2024)
• 
  Yingjie Hu, Qiuyu Zhang, Qiwen Zhang, Yujiao Ba:
  An intelligent homomorphic audio signal encryption algorithm for secure interacting. Multim. Tools Appl. 83(9): 25675-25693 (2024)
• 
  Liangying Yin, Yaning Feng, Yujia Shi, Alexandria Lau, Jinghong Qiu, Pak Chung Sham, Hon-Cheong So:
  Estimation of causal effects of genes on complex traits using a Bayesian-network-based framework applied to GWAS data. Nat. Mac. Intell. 6(10): 1231-1244 (2024)
• 
  Yingjie Liu, Yujia Meng, Shuyu Jia, Jingyue Liu, He Wang:
  The promoting effect of the absence of second-party's punishment power on third-party punishment in maintaining social fairness norms: An EEG hyper-scanning study. NeuroImage 299: 120848 (2024)
• 
  Tongtong Yuan, Zulin Li, Bo Liu, Yinan Tang, Yujia Liu:
  ARPruning: An automatic channel pruning based on attention map ranking. Neural Networks 174: 106220 (2024)
• 
  Weizhi Ma, Yujia Zheng, Tianhao Li, Zhengping Li, Ying Li, Lijun Wang:
  A comprehensive review of deep learning in EEG-based emotion recognition: classifications, trends, and practical implications. PeerJ Comput. Sci. 10: e2065 (2024)
• 
  Wenbo Zhou, Yujiao Zhao, Ye Zhang, Liwen Mu, Yiyuan Wang, Minghao Yin:
  Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design. PeerJ Comput. Sci. 10: e2377 (2024)
• 
  Yuejiang Han, Jiamin Zou, Alexandre Presas, Yin Luo, Jianping Yuan:
  Off-Design Operation and Cavitation Detection in Centrifugal Pumps Using Vibration and Motor Stator Current Analyses. Sensors 24(11): 3410 (2024)
• 
  Yu-Jiao Chen, Xu-Guang Li, Gao-Xia Fan, Yingwei Zhang:
  Consensus for a Class of Multiagent Systems With Time Delays: A Systematic Study in Parameter Space. IEEE Trans. Autom. Control. 69(3): 1796-1803 (2024)
• 
  Xiaoyi Zhou, Kaiyue Hou, Yu-Jian Zhuang, Zhaoxia Yin, Wenbao Han:
  General Pairwise Modification Framework for Reversible Data Hiding in JPEG Images. IEEE Trans. Circuits Syst. Video Technol. 34(1): 153-167 (2024)
• 
  Cui-Hua Zhang, Yu-Jia Li, Changchun Hua, Ying Zhang:
  A New Event-Triggered Adaptive Fixed-Time Control Design for Uncertain Nonlinear Systems. IEEE Trans. Cybern. 54(7): 4204-4215 (2024)
• 
  Yujiao Zhu, Mingzhe Chen, Sihua Wang, Ye Hu, Yuchen Liu, Changchuan Yin:
  Collaborative Reinforcement Learning Based Unmanned Aerial Vehicle (UAV) Trajectory Design for 3D UAV Tracking. IEEE Trans. Mob. Comput. 23(12): 10787-10802 (2024)
• 
  Jiadi Cui, Junming Cao, Fuqiang Zhao, Zhipeng He, Yifan Chen, Yuhui Zhong, Lan Xu, Yujiao Shi, Yingliang Zhang, Jingyi Yu:
  LetsGo: Large-Scale Garage Modeling and Rendering via LiDAR-Assisted Gaussian Primitives. ACM Trans. Graph. 43(6): 172:1-172:18 (2024)
• 
  Hongshu Guo, Yining Ma, Zeyuan Ma, Jiacheng Chen, Xinglin Zhang, Zhiguang Cao, Jun Zhang, Yue-Jiao Gong:
  Deep Reinforcement Learning for Dynamic Algorithm Selection: A Proof-of-Principle Study on Differential Evolution. IEEE Trans. Syst. Man Cybern. Syst. 54(7): 4247-4259 (2024)
• 
  Yujia Ming, Yong Liu, Yingpeng Li, Yongze Song:
  Unraveling nonlinear and spatial non-stationary effects of urban form on surface urban heat islands using explainable spatial machine learning. Comput. Environ. Urban Syst. 114: 102200 (2024)
• 
  Yue-Jiang Dong, Yuan-Chen Guo, Ying-Tian Liu, Fang-Lue Zhang, Song-Hai Zhang:
  PPEA-Depth: Progressive Parameter-Efficient Adaptation for Self-Supervised Monocular Depth Estimation. AAAI 2024: 1609-1617
• 
  Runchu Tian, Yining Ye, Yujia Qin, Xin Cong, Yankai Lin, Yinxu Pan, Yesai Wu, Haotian Hui, Weichuan Liu, Zhiyuan Liu, Maosong Sun:
  DebugBench: Evaluating Debugging Capability of Large Language Models. ACL (Findings) 2024: 4173-4198
• 
  Zeyuan Ma, Jiacheng Chen, Hongshu Guo, Yining Ma, Yue-Jiao Gong:
  Auto-configuring Exploration-Exploitation Tradeoff in Evolutionary Computation via Deep Reinforcement Learning. GECCO 2024
• 
  Jiacheng Chen, Zeyuan Ma, Hongshu Guo, Yining Ma, Jie Zhang, Yue-Jiao Gong:
  SYMBOL: Generating Flexible Black-Box Optimizers through Symbolic Equation Learning. ICLR 2024
• 
  Yujia Qin, Shihao Liang, Yining Ye, Kunlun Zhu, Lan Yan, Yaxi Lu, Yankai Lin, Xin Cong, Xiangru Tang, Bill Qian, Sihan Zhao, Lauren Hong, Runchu Tian, Ruobing Xie, Jie Zhou, Mark Gerstein, Dahai Li, Zhiyuan Liu, Maosong Sun:
  ToolLLM: Facilitating Large Language Models to Master 16000+ Real-world APIs. ICLR 2024
• 
  Yujia Yin, Xinyi Chen, Chenxiang Ma, Jibin Wu, Kay Chen Tan:
  Efficient Online Learning for Networks of Two-Compartment Spiking Neurons. IJCNN 2024: 1-8
• 
  Congyun Jin, Ming Zhang, Weixiao Ma, Yujiao Li, Yingbo Wang, Yabo Jia, Yuliang Du, Tao Sun, Haowen Wang, Cong Fan, Jinjie Gu, Chenfei Chi, Xiangguo Lv, Fangzhou Li, Wei Xue, Yiran Huang:
  RJUA-MedDQA: A Multimodal Benchmark for Medical Document Question Answering and Clinical Reasoning. KDD 2024: 5218-5229

skipping 292 more matches