Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Counterexample Generation in Probabilistic Model Checking
Tingting Han, Katoen, J.-P., Berteun, D.
Published in IEEE transactions on software engineering (01.03.2009)
Published in IEEE transactions on software engineering (01.03.2009)
Get full text
Journal Article
Enhancing cancer diagnostics through a novel deep learning-based semantic segmentation algorithm: A low-cost, high-speed, and accurate approach
Benabbou, Tarik, Sahel, Aïcha, Badri, Abdelmajid, Mourabit, Ilham El
Published in Computers in biology and medicine (01.09.2025)
Published in Computers in biology and medicine (01.09.2025)
Get full text
Journal Article
XGBoost-SHAP-based interpretable diagnostic framework for alzheimer’s disease
Yi, Fuliang, Yang, Hui, Chen, Durong, Qin, Yao, Han, Hongjuan, Cui, Jing, Bai, Wenlin, Ma, Yifei, Zhang, Rong, Yu, Hongmei
Published in BMC medical informatics and decision making (25.07.2023)
Published in BMC medical informatics and decision making (25.07.2023)
Get full text
Journal Article
Dedicated breast CT: Fibroglandular volume measurements in a diagnostic population
Vedantham, Srinivasan, Shi, Linxi, Karellas, Andrew, O’Connell, Avice M.
Published in Medical physics (Lancaster) (01.12.2012)
Published in Medical physics (Lancaster) (01.12.2012)
Get full text
Journal Article
Machine intelligence in non-invasive endocrine cancer diagnostics
Published in Nature reviews. Endocrinology
(01.02.2022)
Get full text
Journal Article
Diagnostic classification of cancers using extreme gradient boosting algorithm and multi-omics data
Ma, Baoshan, Meng, Fanyu, Yan, Ge, Yan, Haowen, Chai, Bingjie, Song, Fengju
Published in Computers in biology and medicine (01.06.2020)
Published in Computers in biology and medicine (01.06.2020)
Get full text
Journal Article
Point cloud-guided ultrasound robotic scanning path planning for the kidney based on anatomical positioning
Wu, Chunyi, Lan, Hu, Ma, Jijie, Li, Xinhui, Wen, Jianming
Published in Computers in biology and medicine (01.06.2025)
Published in Computers in biology and medicine (01.06.2025)
Get full text
Journal Article
Diagnostic performance of classification trees and hematological functions in hematologic disorders: an application of multidimensional scaling and cluster analysis
Rahim, Fakher, Kazemnejad, Anoshirvan, Jahangiri, Mina, Malehi, Amal Saki, Gohari, Kimiya
Published in BMC medical informatics and decision making (10.11.2021)
Published in BMC medical informatics and decision making (10.11.2021)
Get full text
Journal Article