The human genome's vocabulary as proposed by the DNA language model GROVER. bioRxiv, Juli 2023. [PUMA: DNA GROVER Xack language model]
Advancement of a blended hydrologic model for robust model performance. März 2023. [PUMA: Advancement Yaff blended hydrologic model performance robust]
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, 01.10.2024. [PUMA: topic_knowledge FIS_scads concrete description domains, expressive logics, model power, theory]
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: Checking Model Networks Neural Statistical Visualization] URL
Model soups improve performance of dermoscopic skin cancer classifiers. Eur. J. Cancer, (173):307--316, Elsevier BV, September 2022. [PUMA: topic_lifescience Artificial Calibration; Deep Dermatology; Ensembles; Generalisation; Melanoma; Model Nevus; Robustness intelligence; learning; soups;]