Publications

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, und Marcel Steinmetz. 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 nopdf] URL

David Nam, Julius Chapiro, Valerie Paradis, Tobias Paul Seraphin, und Jakob Nikolas Kather. Artificial intelligence in liver diseases: Improving diagnostics, prognostics and response prediction. JHEP Rep., (4)4:100443, Elsevier BV, April 2022. [PUMA: topic_lifescience AI, Artificial CNN, Communications DICOM, Diagnosis; Digital HCC, Imaging Individual ML, MVI, Medicine; NAFLD, NASH, Prognosis Reporting TACE, TRIPOD, Transparent WSIs, a and artificial carcinoma; chemoembolisation; convolutional data deep diagnostic disease; fatty for hepatocellular images; imaging; in integration intelligence; invasion; learning; liver machine microvascular model multimodal multivariable network; neural non-alcoholic of or prediction slide steatohepatitis; support system; transarterial whole]