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

2024

• Interpreting convolutional neural network classifiers applied to laser-induced breakdown optical emission spectra

  KÉPEŠ Erik VRÁBEL Jakub BRÁZDIL Tomáš HOLUB Petr POŘÍZKA Pavel KAISER Jozef

  Článek v odborném periodiku

  Talanta, rok: 2024, ročník: 266, vydání: 124946, DOI

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áš

  Článek v odborném periodiku

  Nature Communications, rok: 2023, ročník: 14, vydání: 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áš

  Článek v odborném periodiku

  NEW BIOTECHNOLOGY, rok: 2023, ročník: 78, vydání: 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

  Článek v odborném periodiku

  COMPUTER GRAPHICS FORUM, rok: 2023, ročník: 42, vydání: 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

  Článek v odborném periodiku

  The Journal of Pathology: Clinical Research, rok: 2022, ročník: 8, vydání: 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

  Článek ve sborníku

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

2021

• 4D-GRAPHS

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

  Software

  Rok: 2021

2020

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Článek ve sborníku

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