doc. RNDr. Tomáš Brázdil, Ph.D.

2023

• Privacy risks of whole-slide image sharing in digital pathology

  HOLUB Petr MÜLLER Heimo BÍL Tomáš PIREDDU Luca PLASS Markus PRASSER Fabian SCHLÜNDER Irene ZATLOUKAL Kurt NENUTIL Rudolf BRÁZDIL Tomáš

  Article in Periodical

  Nature Communications, year: 2023, volume: 14, edition: 2577, DOI

• Shedding light on the black box of a neural network used to detect prostate cancer in whole slide images by occlusion-based explainability

  GALLO Matej KRAJŇANSKÝ Vojtěch NENUTIL Rudolf HOLUB Petr BRÁZDIL Tomáš

  Article in Periodical

  NEW BIOTECHNOLOGY, year: 2023, volume: 78, edition: December, DOI

• xOpat: eXplainable Open Pathology Analysis Tool

  HORÁK Jiří FURMANOVÁ Katarína KOZLÍKOVÁ Barbora BRÁZDIL Tomáš HOLUB Petr KAČENGA Martin GALLO Matej NENUTIL Rudolf BYŠKA Jan RUSŇÁK Vít

  Article in Periodical

  COMPUTER GRAPHICS FORUM, year: 2023, volume: 42, edition: 3, DOI

2022

• Automated annotations of epithelial cells and stroma in hematoxylin–eosin-stained whole-slide images using cytokeratin re-staining

  BRÁZDIL Tomáš GALLO Matej NENUTIL Rudolf KUBANDA Andrej TOUFAR Martin HOLUB Petr

  Article in Periodical

  The Journal of Pathology: Clinical Research, year: 2022, volume: 8, edition: 2, DOI

• On-the-fly Adaptation of Patrolling Strategies in Changing Environments

  BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 2022

2021

• 4D-GRAPHS

  BRÁZDIL Tomáš PORTEŠ David FILIPOVIČ Jiří HOZZOVÁ Jana EVANGELIDIS Thomas TRIPSIANES Konstantinos

  Year: 2021

2020

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

  BLAHOUDEK František BRÁZDIL Tomáš NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Article in Proceedings

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, year: 2020

• Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu NOVOTNÝ Petr VAHALA Jiří

  Article in Proceedings

  The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019

• Strategy Representation by Decision Trees with Linear Classifiers

  ASHOK Pranav BRÁZDIL Tomáš CHATTERJEE Krishnendu KŘETÍNSKÝ Jan LAMPERT Christoph TOMAN Viktor

  Article in Proceedings

  Quantitative Evaluation of Systems (QEST 2019), year: 2019