Masaryk University

Publication Records

česky | in English

Filter publications

    2020

    1. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Petr NOVOTNÝ and Jiří VAHALA. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. Online. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. Palo Alto, California, USA: AAAI Press, 2020, p. 9794-9801. ISBN 978-1-57735-823-7. Available from: https://dx.doi.org/10.1609/aaai.v34i06.6531.
      URL
      RIV/00216224:14330/20:00114279 Proceedings paper. English. United States of America.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Novotný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Vahala, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: reinforcement learning; Markov decision processes; Monte Carlo tree search; risk aversion
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 15/5/2024 01:27.
      More: https://is.muni.cz/publication/1674916/en

    2019

    1. BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256
      SÝS, Marek, Dušan KLINEC, Karel KUBÍČEK and Petr ŠVENDA. BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256. In E-Business and Telecommunications 14th International Joint Conference, ICETE 2017. Madrid: Springer, 2019, p. 123-149. ISBN 978-3-030-11038-3. Available from: https://dx.doi.org/10.1007/978-3-030-11039-0_7.
      Webpage with paper supplementary materials
      Name in Czech: BoolTest: rychlé testovanie náhodnosti na bázy boolovských funkcií DES, 3-DES, MD5, MD6 and SHA-256
      RIV/00216224:14330/19:00107243 Proceedings paper. English. Germany.
      Sýs, Marek (703 Slovakia, guarantor, belonging to the institution) -- Klinec, Dušan (703 Slovakia, belonging to the institution) -- Kubíček, Karel (203 Czech Republic, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: Statistical randomness testing; hypothesis testing; boolean function
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 11:06.
      More: https://is.muni.cz/publication/1490410/en
    2. Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course
      CHREN, Stanislav, Barbora BÜHNOVÁ, Martin MACÁK, Lukáš DAUBNER and Bruno ROSSI. Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course. Online. In Sarah Beecham, Daniela Damian. Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training. Piscataway, NJ, USA: IEEE Press, 2019, p. 100-109. ISBN 978-1-7281-1000-4. Available from: https://dx.doi.org/10.1109/ICSE-SEET.2019.00019.
      URL URL
      RIV/00216224:14330/19:00109059 Proceedings paper. English. United States of America.
      Chren, Stanislav (703 Slovakia, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Macák, Martin (703 Slovakia, belonging to the institution) -- Daubner, Lukáš (203 Czech Republic, belonging to the institution) -- Rossi, Bruno (380 Italy, belonging to the institution)
      Keywords in English: Software Engineering; Unified Modelling Language; Common Mistakes; Software Engineering Course
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Stanislav Chren, Ph.D., učo 255471. Changed: 20/3/2020 01:24.
      More: https://is.muni.cz/publication/1490378/en

    2018

    1. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability
      UKROP, Martin and Václav MATYÁŠ. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability. In Nigel P. Smart. Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018. Švýcarsko: Springer International Publishing, 2018, p. 45-64. ISBN 978-3-319-76952-3. Available from: https://dx.doi.org/10.1007/978-3-319-76953-0_3.
      URL
      RIV/00216224:14330/18:00100813 Proceedings paper. English. United States of America.
      Ukrop, Martin (703 Slovakia, guarantor, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: usable security;cryptographic library;API
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 15:28.
      More: https://is.muni.cz/publication/1406887/en

    2016

    1. Learning Robust Features for Gait Recognition by Maximum Margin Criterion
      BALÁŽIA, Michal and Petr SOJKA. Learning Robust Features for Gait Recognition by Maximum Margin Criterion. Online. In Eduardo Bayro-Corrochano, Gabrielle Sanniti di Baja, Gérard Medioni. Proceedings of the 23rd IEEE/IAPR International Conference on Pattern Recognition (ICPR 2016). USA: IEEE, 2016, p. 901-906. ISBN 978-1-5090-4847-2. Available from: https://dx.doi.org/10.1109/ICPR.2016.7899750.
      DOI conference web Proceedings
      RIV/00216224:14330/16:00090367 Proceedings paper. Informatics. English. United States of America.
      Balážia, Michal (703 Slovakia, guarantor, belonging to the institution) -- Sojka, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: gait recognition
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 4/4/2018 17:04.
      More: https://is.muni.cz/publication/1349591/en

    2014

    1. Distributed Event-Driven Model for Intelligent Monitoring of Cloud Datacenters
      TOVARŇÁK, Daniel, Filip NGUYEN and Tomáš PITNER. Distributed Event-Driven Model for Intelligent Monitoring of Cloud Datacenters. In Zavoral, Filip and Jung, Jason J. and Badica, Costin. Intelligent Distributed Computing VII. Cham: Springer International Publishing Switzerland, 2014, p. 87-92. ISBN 978-3-319-01570-5. Available from: https://dx.doi.org/10.1007/978-3-319-01571-2_11.
      RIV/00216224:14330/14:00074740 Proceedings paper. Informatics. English. Switzerland.
      Tovarňák, Daniel (203 Czech Republic, guarantor, belonging to the institution) -- Nguyen, Filip (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: cloud;monitoring;CEP
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 00:27.
      More: https://is.muni.cz/publication/1121881/en
    2. Surface-based visualization on human face variation
      CHALÁS, Igor, Zuzana FERKOVÁ, Petra URBANOVÁ, Barbora KOZLÍKOVÁ, Zuzana KOTULANOVÁ and Jiří SOCHOR. Surface-based visualization on human face variation. Online. In Ivan Viola, Katja Buhler, Timo Ropinski. Poster Session Presented at the Eurographics Workshop on Visual Computing for Biology and Medicine. 1st. Postfach, Germany: Eurographics Association, 2014. ISBN 978-3-905674-62-0.
      Informatics. English. Czech Republic.
      Keywords in English: human face; morphological variation;computer-aided comparison
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Igor Chalás, učo 172798. Changed: 30/11/2015 10:00.
      More: https://is.muni.cz/publication/1197933/en

    2012

    1. HEp-2 Cells Classifier (software)
      STOKLASA, Roman, Tomáš MAJTNER, David SVOBODA and Michal BATKO. HEp-2 Cells Classifier. 2012.
      http://cbia.fi.muni.cz/projects/hep-2-cells-classifier.html
      Name in Czech: Klasifikátor HEp-2 buniek
      RIV/00216224:14330/12:00057512 Software. Computer hardware and software. English. Czech Republic.
      Stoklasa, Roman (703 Slovakia, belonging to the institution) -- Majtner, Tomáš (703 Slovakia, belonging to the institution) -- Svoboda, David (203 Czech Republic, guarantor, belonging to the institution) -- Batko, Michal (203 Czech Republic, belonging to the institution)
      Keywords in English: classifier; image; classification; cells
      International impact: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 22/4/2013 15:42.
      More: https://is.muni.cz/publication/988729/en
    2. Normalization of Digital Mathematics Library Content
      FORMÁNEK, David, Martin LÍŠKA, Michal RŮŽIČKA and Petr SOJKA. Normalization of Digital Mathematics Library Content. In CEUR Workshop Proceedings, Volume 921. Aachen: Neuveden, 2012, p. 91-103, 12 pp. ISSN 1613-0073.
      Full text
      Name in Czech: Normalizace obsahu digitální matematické knihovny
      Name (in English): Normalization of Digital Mathematics Library Content
      RIV/00216224:14330/12:00067426 Proceedings paper. Informatics. English. Germany.
      Formánek, David (203 Czech Republic, belonging to the institution) -- Líška, Martin (703 Slovakia, belonging to the institution) -- Růžička, Michal (203 Czech Republic, belonging to the institution) -- Sojka, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: MathML normalization; canonicalization; digital mathematics libraries; DML; presentation MathML
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 10:53.
      More: https://is.muni.cz/publication/986146/en
Displayed: 14/11/2024 09:49