• 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 12,165 matches

• 2025
• 
  Ryosuke Abe, Shigeya Suzuki, Osamu Nakamura:
  A Conceptual Model for Claim Validation Based on Cryptographically Signed Data. IEEE Access 13: 2723-2735 (2025)
• 
  Yang Chen, Mohammed M. Olama, Maximiliano F. Ferrari, Guodong Liu, Qingxin Shi, Aditya Sundararajan, Byungkwon Park, Arturo A. Massol-Deya, Thomas Ben Ollis:
  Optimal Network Reconfiguration and Scheduling With Hardware-in-the-Loop Validation for Improved Microgrid Resilience. IEEE Access 13: 8042-8059 (2025)
• 
  Mohd Mustaqeem, Mahfooz Alam, Suhel Mustajab, Faisal Alshanketi, Shadab Alam, Mohammed Shuaib:
  Comprehensive Bibliographic Survey and Forward-Looking Recommendations for Software Defect Prediction: Datasets, Validation Methodologies, Prediction Approaches, and Tools. IEEE Access 13: 866-903 (2025)
• 
  Anand Kumar, P. Ravi Prakash, Mhd. Anwar Orabi:
  Modeling reinforced concrete structures under fire conditions in GiD-OpenSees: Framework, validations, and implications. Adv. Eng. Softw. 201: 103855 (2025)
• 
  Zhijie He, Ruiqi Zhang, Pengfei Qu, Yuxuan Meng, Jinrui Jia, Zhibo Wang, Peng Wang, Yu Ni, Li Shan, Mingzhi Liao, Yajun Li:
  Development and validation of an explainable model of brain injury in premature infants: A prospective cohort study. Comput. Methods Programs Biomed. 260: 108559 (2025)
• 
  Juan J. Sánchez-Gil, Aurora Sáez-Manzano, Rafael López-Luque, Juan-José Ochoa-Sepúlveda, Eduardo Canete-Carmona:
  Design and validation of PACTUS: A gamified electronic device for stroke rehabilitation. Comput. Methods Programs Biomed. 260: 108563 (2025)
• 
  Dorine Chagnon, Kevin Thiry-Atighehchi, Gérard Chalhoub:
  A Survey on Path Validation: Towards Digital Sovereignty. Comput. Networks 256: 110905 (2025)
• 
  Mohammad Dehghani Saryazdi, Ali Mostafaeipour:
  Identification and validation of key predictive factors for heart attack diagnosis using machine learning and fuzzy clustering. Eng. Appl. Artif. Intell. 142: 109968 (2025)
• 
  Fehima Achour, Emna Bouazizi, Wassim Jaziri:
  A semantics-based validation approach for enhancing QoS in distributed real-time DBMS. Int. J. Intell. Inf. Database Syst. 17(1): 124-142 (2025)
• 
  Ching-Hung Chang, Phung Anh Nguyen, Chien-Cheng Huang, Chung-Feng Liu, Septi Melisa, Chia-Jung Chen, Chien-Chin Hsu, Hung-Jung Lin, Min-Huei Hsu, Chun-Ming Shih, Ju-Chi Liu, Hung-Yu Yang, Jason C. Hsu:
  Acute myocardial infarction risk prediction in emergency chest pain patients: An external validation study. Int. J. Medical Informatics 193: 105683 (2025)
• 
  Zuhai Hu, Xiaosheng Li, Yuliang Yuan, Qianjie Xu, Wei Zhang, Haike Lei:
  Development and validation of machine learning models for predicting venous thromboembolism in colorectal cancer patients: A cohort study in China. Int. J. Medical Informatics 195: 105770 (2025)
• 
  Yue Hu, Fanghui Ma, Mengjie Hu, Binbing Shi, Defeng Pan, Jingjing Ren:
  Development and validation of a machine learning model to predict the risk of readmission within one year in HFpEF patients. Int. J. Medical Informatics 194: 105703 (2025)
• 
  Carlos M. Mejía-Granda, José Luis Fernández-Alemán, Juan Manuel Carrillo de Gea, José A. García-Berná:
  A method and validation for auditing e-Health applications based on reusable software security requirements specifications. Int. J. Medical Informatics 194: 105699 (2025)
• 
  Julia Bitencourt, Ana Wooley, Gregory Harris:
  Verification and validation of digital twins: a systematic literature review for manufacturing applications. Int. J. Prod. Res. 63(1): 342-370 (2025)
• 
  Iuliu Alexandru Zamfirache, Radu-Emil Precup, Emil M. Petriu:
  Safe reinforcement learning-based control using deep deterministic policy gradient algorithm and slime mould algorithm with experimental tower crane system validation. Inf. Sci. 692: 121640 (2025)
• 
  J. A. M. Van Doormaal, Tim Fick, Ernest Boskovic, Eelco W. Hoving, Pierre A. J. T. Robe, T. P. C. Van Doormaal:
  Development and Validation of a Neurosurgical Phantom for Simulating External Ventricular Drain Placement. J. Medical Syst. 49(1): 1 (2025)
• 
  Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend:
  Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. 220: 112229 (2025)
• 
  Mika Yamamuro, Yoshiyuki Asai, Takahiro Yamada, Yuichi Kimura, Kazunari Ishii, Yohan Kondo:
  Development and validation of the surmising model for volumetric breast density using X-ray exposure conditions in digital mammography. Medical Biol. Eng. Comput. 63(1): 169-179 (2025)
• 
  Alessio Fumagalli, Francesco Saverio Patacchini:
  Numerical validation of an adaptive model for the determination of nonlinear-flow regions in highly heterogeneous porous media. Math. Comput. Simul. 230: 306-322 (2025)
• 
  Andrew Hao Sen Fang, Wan Tin Lim, Tharmmambal Balakrishnan:
  Correction: Early warning score validation methodologies and performance metrics: a systematic review. BMC Medical Informatics Decis. Mak. 25(1): 4 (2025)
• 
  Billy Ogwel, Vincent H. Mzazi, Alex O. Awuor, Caleb Okonji, Raphael O. Anyango, Caren Oreso, John B. Ochieng, Stephen Munga, Dilruba Nasrin, Kirkby D. Tickell, Patricia B. Pavlinac, Karen L. Kotloff, Richard Omore:
  Derivation and validation of a clinical predictive model for longer duration diarrhea among pediatric patients in Kenya using machine learning algorithms. BMC Medical Informatics Decis. Mak. 25(1): 28 (2025)
• 
  Patrick Rockenschaub, Ela Marie Akay, Benjamin Gregory Carlisle, Adam Hilbert, Joshua Wendland, Falk Meyer-Eschenbach, Anatol-Fiete Näher, Dietmar Frey, Vince Istvan Madai:
  External validation of AI-based scoring systems in the ICU: a systematic review and meta-analysis. BMC Medical Informatics Decis. Mak. 25(1): 5 (2025)
• 
  Linghong Wu, Xiaozhong Peng, Yao Lu, Cuiping Fu, Liujun She, Guangwei Zhu, Xianglong Zhuo, Wei Hu, Xiangtao Xie:
  Correction: Development and validation of a nomogram model for prolonged length of stay in spinal fusion patients: a retrospective analysis. BMC Medical Informatics Decis. Mak. 25(1): 2 (2025)
• 
  Karla Ivankovic, Alessandro Principe, Justo Montoya-Gálvez, Linus Manubens-Gil, Riccardo Zucca, Pablo Villoslada, Mara Dierssen, Rodrigo Rocamora:
  A novel way to use cross-validation to measure connectivity by machine learning allows epilepsy surgery outcome prediction. NeuroImage 306: 120990 (2025)
• 
  Shams Mhmood Abd Ali, Mohd Najwadi Yusoff, Je Sen Teh, Hasan Falah Hasan:
  OREVI_PCH: An optimized resource-efficient redaction mechanism with integrity validation in policy-based chameleon hash for IoT applications. Peer Peer Netw. Appl. 18(1): 1-17 (2025)
• 
  Siyang Zhang, Chi Zhao, Zherui Zhang, Yecheng Lv:
  Driving simulator validation studies: A systematic review. Simul. Model. Pract. Theory 138: 103020 (2025)
• 
  Amelia Gagnon, Samantha N. Hasler, Juliana Chew, William J. Blackwell, Robert Vincent Leslie, Michael DiLiberto, Kerri L. Cahoy:
  An Initial Validation of the NASA TROPICS Pathfinder Microwave Radiometer Observations. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 18: 2512-2525 (2025)
• 
  Aml G. Abdelkader, Hanaa ZainEldin, Mahmoud M. Saafan:
  Optimizing wind power forecasting with RNN-LSTM models through grid search cross-validation. Sustain. Comput. Informatics Syst. 45: 101054 (2025)
• 
  Daniel Comaduran Marquez, Sarah J. Anderson, Kent G. Hecker, Kartikeya Murari:
  A Current-Based EEG Amplifier and Validation With a Saline Phantom and an SSVEP Paradigm. IEEE Trans. Biomed. Eng. 72(1): 445-453 (2025)
• 
  Ozan Özgül, Victor Gonçalves Marques, Ben Hermans, Arne van Hunnik, Sander Verheule, Ali Gharaviri, Simone Pezzuto, Angelo Auricchio, Ulrich Schotten, Pietro Bonizzi, Stef Zeemering:
  High-Density and High-Coverage Composite Atrial Activation Maps: An In-Silico Validation Study. IEEE Trans. Biomed. Eng. 72(1): 79-89 (2025)

skipping 12,135 more matches