Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. ACM SIGAPP Applied Computing Review, (24)3:5–17, Association for Computing Machinery (ACM), New York, Oct 1, 2024. [PUMA: FIS_scads concrete logics, power, topic_knowledge model expressive domains, description theory]
The human genome's vocabulary as proposed by the DNA language model GROVER. bioRxiv, July 2023. [PUMA: language DNA Xack model GROVER]
Advancement of a blended hydrologic model for robust model performance. March 2023. [PUMA: Advancement robust hydrologic model performance Yaff blended]
MLcps: machine learning cumulative performance score for classification problems. Gigascience, (12)December 2022. [PUMA: problems; topic_federatedlearn score unified learning; package; evaluation machine Python evaluation; model classification]
Model soups improve performance of dermoscopic skin cancer classifiers. Eur. J. Cancer, (173):307--316, Elsevier BV, September 2022. [PUMA: Artificial intelligence; learning; Deep Melanoma; soups; Dermatology; Robustness Calibration; Ensembles; topic_lifescience Model Generalisation; Nevus;]
Artificial intelligence in liver diseases: Improving diagnostics, prognostics and response prediction. JHEP Rep., (4)4:100443, Elsevier BV, April 2022. [PUMA: a disease; HCC, or intelligence; liver multivariable non-alcoholic multimodal ML, artificial WSIs, images; prediction support integration TACE, DICOM, AI, network; deep neural Digital Diagnosis; MVI, transarterial fatty topic_lifescience microvascular convolutional in learning; imaging; Communications invasion; NAFLD, chemoembolisation; hepatocellular Reporting steatohepatitis; Transparent Individual slide machine Prognosis Artificial data for NASH, whole Medicine; TRIPOD, of CNN, and Imaging carcinoma; diagnostic system; model]
Modeling and processing up-to-dateness of patient information in probabilistic therapy decision support. Artif. Intell. Med., (104)101842:101842, Elsevier BV, April 2020. [PUMA: Therapy decision modules; Decision neck delay; Arden and logic system; Medical model syntax; oncology; support Head]
Markov state modelling of disease courses and mortality risks of patients with community-acquired pneumonia. J. Clin. Med., (9)2:393, MDPI AG, February 2020. [PUMA: Markov medical decision pneumonia; score; making; SOFA continuous-time stochastic model; model sepsis; community-acquired prognosis;]
TraceVis: Towards Visualization for Deep Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, 27–46, Springer-Verlag, Berlin, Heidelberg, 2020. [PUMA: Networks Visualization Model Statistical Checking Neural] URL