Vámi zvolený výběr obsahuje 59 výsledků. Upravit výběr.
Filtrování publikací

    2022

    1. AdaptOr: Objective-Centric Adaptation Framework for Language Models
      ŠTEFÁNIK, Michal, Vít NOVOTNÝ, Nikola GROVEROVÁ a Petr SOJKA. AdaptOr: Objective-Centric Adaptation Framework for Language Models. Online. In Valerio Basile, Zornitsa Kozareva, Sanja Stajner. Proceedings of the 60th Conference of Association of Computational Linguistics, ACL 2022. Dublin, Irsko: Association for Computational Linguistics, ACL, 2022, s. 261-269. ISBN 978-1-955917-24-7. Dostupné z: https://dx.doi.org/10.18653/v1/2022.acl-demo.26.
      paper with code Preprint publisher's PDF
      Název anglicky: AdaptOr: Objective-Centric Adaptation Framework for Language Models
      RIV/00216224:14330/22:00125674 Stať ve sborníku. angličtina. Spojené státy.
      Štefánik, Michal (703 Slovensko, garant, domácí) -- Novotný, Vít (203 Česká republika, domácí) -- Groverová, Nikola (203 Česká republika) -- Sojka, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Adaptor library; domain adaptation; similarity search; vector space; embeddings
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2024 09:59.
      Podrobněji: https://is.muni.cz/publication/1847597/cs
    2. Markdown 2.15.0: What's new?
      NOVOTNÝ, Vít, Dominik REHÁK, Michal HOFTICH a Tereza VRABCOVÁ. Markdown 2.15.0: What's new? TUGboat. Portland, OR 97208-2311, U.S.A: TUG, 2022, roč. 43, č. 1, 6 s. ISSN 0896-3207. Dostupné z: https://dx.doi.org/10.47397/tb/43-1/tb133novotny-markdown.
      DOI
      angličtina. Spojené státy.
      Klíčová slova anglicky: Markdown; Lua; LuaTeX; LaTeX; ConTeXt; TeX
      Mezinárodní význam: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 29. 12. 2022 16:16.
      Podrobněji: https://is.muni.cz/publication/2211036/cs
    3. Vysokoúrovňové jazyky pro TeX
      NOVOTNÝ, Vít. Vysokoúrovňové jazyky pro TeX. Zpravodaj CSTUG. Brno: CSTUG, 2022, roč. 32, 1-4, s. 25-48. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2022-1-4/35.
      DOI
      Název česky: Vysokoúrovňové jazyky pro TeX
      Název anglicky: High-Level Languages for TeX
      RIV/00216224:14330/22:00129826 Článek v odborném periodiku. čeština. Česká republika.
      Novotný, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: ε-TeX; pdfTeX; LuaTeX; LuaMetaTeX; LaTeX 2ε; LaTeX3; expl3; XML; DocBook; TEI; XHTML; XSLT; CSS; CSL; ConTeXt; HTML; markdown; YAML; Pandoc; TikZ; BibLaTeX; BibLaTeXML; LyLuaTeX
      Recenzováno: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 10. 8. 2023 10:56.
      Podrobněji: https://is.muni.cz/publication/2235699/cs
    4. When FastText Pays Attention: Efficient Estimation of Word Representations using Constrained Positional Weighting
      NOVOTNÝ, Vít, Michal ŠTEFÁNIK, Eniafe Festus AYETIRAN, Petr SOJKA a Radim ŘEHŮŘEK. When FastText Pays Attention: Efficient Estimation of Word Representations using Constrained Positional Weighting. Journal of Universal Computer Science. New York, USA: J.UCS Consortium, 2022, roč. 28, č. 2, s. 181-201. ISSN 0948-695X. Dostupné z: https://dx.doi.org/10.3897/jucs.69619.
      preprint DOI
      RIV/00216224:14330/22:00124923 Článek v odborném periodiku. angličtina. Česká republika.
      Novotný, Vít (203 Česká republika, garant, domácí) -- Štefánik, Michal (703 Slovensko, domácí) -- Ayetiran, Eniafe Festus (566 Nigérie, domácí) -- Sojka, Petr (203 Česká republika, domácí) -- Řehůřek, Radim (203 Česká republika)
      Klíčová slova anglicky: Word embeddings; fastText; attention
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Změněno: 23. 9. 2024 10:14.
      Podrobněji: https://is.muni.cz/publication/1762317/cs
    5. When Tesseract Meets PERO : Open-Source Optical Character Recognition of Medieval Texts
      NOVOTNÝ, Vít a Aleš HORÁK. When Tesseract Meets PERO : Open-Source Optical Character Recognition of Medieval Texts. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022. Brno: Tribun EU, 2022, s. 157-161. ISBN 978-80-263-1752-4.
      Plný text Domovská stránka workshopu
      RIV/00216224:14330/22:00127481 Stať ve sborníku. angličtina. Česká republika.
      Novotný, Vít (203 Česká republika, garant, domácí) -- Horák, Aleš (203 Česká republika, domácí)
      Klíčová slova anglicky: optical character recognition; OCR; medieval texts; AHISTO project
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 09:24.
      Podrobněji: https://is.muni.cz/publication/2240146/cs

    2021

    1. Advances in Xmipp for Cryo–Electron Microscopy: From Xmipp to Scipion
      STŘELÁK, David, Amaya JIMÉNEZ-MORENO, José VILAS, Erney RAMÍREZ-APORTELA, Ruben SÁNCHEZ-GARCÍA, David MALUENDA, Javier VARGAS, David HERREROS, Estrella FERNÁNDEZ-GIMÉNEZ, Federico DE ISIDRO-GÓMEZ, Jan HORÁČEK, David MYŠKA, Martin HORÁČEK, Pablo CONESA, Yunior FONSECA-REYNA, Jorge JIMÉNEZ, Marta MARTÍNEZ, Mohamad HARASTANI, Slavica JONIĆ, Jiří FILIPOVIČ, Roberto MARABINI, José CARAZO a Carlos SORZANO. Advances in Xmipp for Cryo–Electron Microscopy: From Xmipp to Scipion. Molecules. Mayer und Muller, 2021, roč. 26, č. 20, s. 1-14. ISSN 1420-3049. Dostupné z: https://dx.doi.org/10.3390/molecules26206224.
      URL
      RIV/00216224:14330/21:00122593 Článek v odborném periodiku. angličtina. Švýcarsko.
      Střelák, David (203 Česká republika, garant, domácí) -- Jiménez-Moreno, Amaya (724 Španělsko) -- Vilas, José (724 Španělsko) -- Ramírez-Aportela, Erney (724 Španělsko) -- Sánchez-García, Ruben (724 Španělsko) -- Maluenda, David (724 Španělsko) -- Vargas, Javier (724 Španělsko) -- Herreros, David (724 Španělsko) -- Fernández-Giménez, Estrella (724 Španělsko) -- de Isidro-Gómez, Federico (724 Španělsko) -- Horáček, Jan (203 Česká republika, domácí) -- Myška, David (203 Česká republika, domácí) -- Horáček, Martin (203 Česká republika, domácí) -- Conesa, Pablo (724 Španělsko) -- Fonseca-Reyna, Yunior (724 Španělsko) -- Martínez, Marta (724 Španělsko) -- Harastani, Mohamad (250 Francie) -- Jonić, Slavica (250 Francie) -- Filipovič, Jiří (203 Česká republika, domácí) -- Marabini, Roberto (724 Španělsko) -- Carazo, José (724 Španělsko) -- Sorzano, Carlos (724 Španělsko)
      Klíčová slova anglicky: Xmipp; Cryo-EM; Scipion; single-particle analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. David Střelák, Ph.D., učo 373911. Změněno: 24. 1. 2022 18:04.
      Podrobněji: https://is.muni.cz/publication/1798282/cs
    2. Application of Super-Resolution Models in Optical Character Recognition of Czech Medieval Texts
      BANKOVIČ, Mikuláš, Vít NOVOTNÝ a Petr SOJKA. Application of Super-Resolution Models in Optical Character Recognition of Czech Medieval Texts. In Horák, Rychlý, Rambousek. Recent Advances in Slavonic Natural Language Processing (RASLAN 2021). Brno: Tribun EU, 2021, s. 11-18. ISBN 978-80-263-1670-1.
      Domovská stránka workshopu Full text PDF
      RIV/00216224:14330/21:00119900 Stať ve sborníku. angličtina. Česká republika.
      Bankovič, Mikuláš (703 Slovensko, garant, domácí) -- Novotný, Vít (203 Česká republika, domácí) -- Sojka, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Super-resolution; Optical character recognition; Medieval texts
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 10:24.
      Podrobněji: https://is.muni.cz/publication/1809720/cs
    3. CICM'21 Systems Entries
      LÍŠKA, Martin, Dávid LUPTÁK, Vít STARÝ NOVOTNÝ, Michal RŮŽIČKA, Boris SHMINKE, Petr SOJKA, Michal ŠTEFÁNIK a Makarius WENZEL. CICM'21 Systems Entries. Online. In 978-3-030-81097-9. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021). CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2021, s. 245-248. ISBN 978-3-030-81096-2. Dostupné z: https://dx.doi.org/10.1007/978-3-030-81097-9_20.
      angličtina. Německo.
      Klíčová slova anglicky: CICM tools
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 8. 2023 16:27.
      Podrobněji: https://is.muni.cz/publication/2302943/cs
    4. Human Psychophysiology Is Influenced by Low-Level Magnetic Fields: Solar Activity as the Cause
      HANZELKA, Michael, Jiří DAN, Pavel FIALA a Přemysl DOHNAL. Human Psychophysiology Is Influenced by Low-Level Magnetic Fields: Solar Activity as the Cause. Atmosphere. MDPI, 2021, roč. 12, č. 12, s. 1600:1-1600:10, 10 s. ISSN 2073-4433. Dostupné z: https://dx.doi.org/10.3390/atmos12121600.
      URL
      angličtina. Švýcarsko.
      Klíčová slova anglicky: BioGraph Infiniti; skin resistance; abdominal/diaphragmatic breathing; EMG
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 10. 2022 16:50.
      Podrobněji: https://is.muni.cz/publication/2222759/cs
    5. Markdown 2.10.0: LaTeX themes & snippets, two flavors of comments, and LuaMetaTeX
      NOVOTNÝ, Vít. Markdown 2.10.0: LaTeX themes & snippets, two flavors of comments, and LuaMetaTeX. TUGboat. Portland, OR 97208-2311, U.S.A: TUG, 2021, roč. 42, č. 2, 8 s. ISSN 0896-3207. Dostupné z: https://dx.doi.org/10.47397/tb/42-2/tb131novotny-markdown.
      User manual Preprint Package documentation DOI Article
      angličtina. Spojené státy.
      Klíčová slova anglicky: Markdown; Lua; LuaTeX; LaTeX; ConTeXt; TeX
      Mezinárodní význam: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 11. 8. 2022 16:15.
      Podrobněji: https://is.muni.cz/publication/2211035/cs
    6. Markdown 2.10.0: LaTeXová témata a snippety
      NOVOTNÝ, Vít. Markdown 2.10.0: LaTeXová témata a snippety. Zpravodaj CSTUG. Brno: CSTUG, 2021, roč. 31, 1-4, s. 76-82. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2021-1-4/76.
      DOI
      Název česky: Markdown 2.10.0: LaTeXová témata a snippety
      Název anglicky: Markdown 2.10.0: LaTeX Themes & Snippets
      čeština. Česká republika.
      Klíčová slova anglicky: Markdown, LaTeX; LaTeX themes; LaTeX snippets
      Recenzováno: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 30. 11. 2022 13:56.
      Podrobněji: https://is.muni.cz/publication/2211037/cs
    7. Methods and Experiments for Sensing Variations in Solar Activity and Defining Their Impact on Heart Variability
      HANZELKA, Michael, Jiří DAN, Zoltán SZABÓ, Zdeněk ROUBAL, Přemysl DOHNAL a Radim KADLEC. Methods and Experiments for Sensing Variations in Solar Activity and Defining Their Impact on Heart Variability. Sensors. Švýcarsko: MDPI, 2021, roč. 21, č. 14, s. 4817:1-4817:13, 13 s. ISSN 1424-8220. Dostupné z: https://dx.doi.org/10.3390/s21144817.
      URL
      angličtina. Švýcarsko.
      Klíčová slova anglicky: ULF; SLF; ELF; BioGraph Infiniti; heart rate variability; sympathetic and parasympathetic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 10. 2022 16:49.
      Podrobněji: https://is.muni.cz/publication/2222762/cs
    8. Overleaf: Kolaborativní webový editor LaTeXu
      NOVOTNÝ, Vít. Overleaf: Kolaborativní webový editor LaTeXu. Zpravodaj CSTUG. Brno: CSTUG, 2021, roč. 31, 1-4, s. 3-8. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2021-1-4/3.
      DOI
      Název česky: Overleaf: Kolaborativní webový editor LaTeXu
      Název anglicky: Overleaf, Collaborative Online LaTeX Editor
      čeština. Česká republika.
      Klíčová slova anglicky: text editor; Overleaf; LaTeX
      Recenzováno: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 30. 11. 2022 13:57.
      Podrobněji: https://is.muni.cz/publication/2235698/cs
    9. Regressive Ensemble for Machine Translation Quality Evaluation
      ŠTEFÁNIK, Michal, Vít NOVOTNÝ a Petr SOJKA. Regressive Ensemble for Machine Translation Quality Evaluation. Online. In Loïc Barrault et al. Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21). Online and Punta Cana, Dominican Republi: ACL, 2021, s. 1041-1048. ISBN 978-1-954085-94-7.
      paper preprint
      RIV/00216224:14330/21:00122292 Stať ve sborníku. angličtina. Spojené státy.
      Štefánik, Michal (703 Slovensko, domácí) -- Novotný, Vít (203 Česká republika, domácí) -- Sojka, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: machine translation; translation quality metrics; regressive ensemble for machine translation quality evaluation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 8. 2024 15:24.
      Podrobněji: https://is.muni.cz/publication/1790577/cs
    10. When Tesseract Brings Friends: Layout Analysis, Language Identification, and Super-Resolution in the Optical Character Recognition of Medieval Texts
      NOVOTNÝ, Vít, Kristýna SEIDLOVÁ, Tereza VRABCOVÁ a Aleš HORÁK. When Tesseract Brings Friends: Layout Analysis, Language Identification, and Super-Resolution in the Optical Character Recognition of Medieval Texts. In Horák, Rychlý, Rambousek. Recent Advances in Slavonic Natural Language Processing (RASLAN 2021). Brno: Tribun EU, 2021, s. 29-39. ISBN 978-80-263-1670-1.
      Full text PDF Domovská stránka workshopu
      RIV/00216224:14330/21:00119901 Stať ve sborníku. angličtina. Česká republika.
      Novotný, Vít (203 Česká republika, garant, domácí) -- Seidlová, Kristýna (203 Česká republika, domácí) -- Vrabcová, Tereza (203 Česká republika, domácí) -- Horák, Aleš (203 Česká republika, domácí)
      Klíčová slova anglicky: Optical character recognition · Layout analysis; Language identification; Image super-resolution; Medieval texts
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 09:25.
      Podrobněji: https://is.muni.cz/publication/1809738/cs

    2020

    1. On Symbolic Execution of Decompiled Programs
      KORENČIK, Lukáš, Petr ROČKAI, Henrich LAUKO a Jiří BARNAT. On Symbolic Execution of Decompiled Programs. In Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Neuveden: IEEE Computer Society, 2020, s. 265-272. ISBN 978-1-7281-8914-7. Dostupné z: https://dx.doi.org/10.1109/QRS51102.2020.00044.
      RIV/00216224:14330/20:00114781 Stať ve sborníku. angličtina. Spojené státy.
      Korenčik, Lukáš (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; decompilation; model checking; llvm
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:16.
      Podrobněji: https://is.muni.cz/publication/1760802/cs

    2019

    1. A Simulator for LLVM Bitcode
      ROČKAI, Petr a Jiří BARNAT. A Simulator for LLVM Bitcode. In K. G. Larsen, T. Willemse. 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019. Scham: Springer Verlag, 2019, s. 127-142. ISBN 978-3-030-27007-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-27008-7_8.
      URL
      RIV/00216224:14330/19:00107776 Stať ve sborníku. angličtina. Švýcarsko.
      Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: simulator; LLVM; verification; counterexample
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2024 16:25.
      Podrobněji: https://is.muni.cz/publication/1577797/cs
    2. Extending DIVINE with Symbolic Verification Using SMT
      LAUKO, Henrich, Vladimír ŠTILL, Petr ROČKAI a Jiří BARNAT. Extending DIVINE with Symbolic Verification Using SMT. In Beyer, Dirkand Huisman, Mariekeand Kordon, Fabriceand Steffen, Bernhard. Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing, 2019, s. 204-208. ISBN 978-3-030-17501-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17502-3_14.
      URL
      RIV/00216224:14330/19:00107528 Stať ve sborníku. angličtina. Švýcarsko.
      Lauko, Henrich (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbolic Computation; Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:37.
      Podrobněji: https://is.muni.cz/publication/1547580/cs
    3. Fantasia Apocalyptica: Česká premiéra
      LUPTÁK, Dávid. Fantasia Apocalyptica: Česká premiéra. Zpravodaj CSTUG. Brno: CSTUG, 2019, roč. 29, 1-4, s. 11-18. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2019-1-4/11.
      Zpravodaj 1-4/2019
      Název česky: Fantasia Apocalyptica: Česká premiéra
      Název anglicky: Fantasia Apocalyptica: The Czech Première
      Česká republika.
      Klíčová slova anglicky: report; event report; multimedia performance
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 4. 2020 06:10.
      Podrobněji: https://is.muni.cz/publication/1584116/cs
    4. Local Nontermination Detection for Parallel C++ Programs
      ŠTILL, Vladimír a Jiří BARNAT. Local Nontermination Detection for Parallel C++ Programs. In Ölveczky P., Salaün G. International Conference on Software Engineering and Formal Methods. Cham: Springer, 2019, s. 373-390. ISBN 978-3-030-30445-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30446-1_20.
      Author's page Publisher's page
      RIV/00216224:14330/19:00107759 Stať ve sborníku. angličtina. Švýcarsko.
      Štill, Vladimír (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: termination; nontermination; local nontermination; parallel programs; c++; model checking; DIVINE
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:04.
      Podrobněji: https://is.muni.cz/publication/1576677/cs
    5. Quo Vadis, Math Information Retrieval
      SOJKA, Petr, Vít NOVOTNÝ, Eniafe Festus AYETIRAN, Dávid LUPTÁK a Michal ŠTEFÁNIK. Quo Vadis, Math Information Retrieval. In Aleš Horák and Pavel Rychlý and Adam Rambousek. Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019. Brno: Tribun EU, 2019, s. 117-128. ISBN 978-80-263-1517-9.
      Domovská stránka workshopu full paper
      RIV/00216224:14330/19:00111500 Stať ve sborníku. angličtina. Česká republika.
      Sojka, Petr (203 Česká republika, garant, domácí) -- Novotný, Vít (203 Česká republika, domácí) -- Ayetiran, Eniafe Festus (566 Nigérie, domácí) -- Lupták, Dávid (703 Slovensko, domácí) -- Štefánik, Michal (703 Slovensko, domácí)
      Klíčová slova anglicky: math information retrieval; question answering; STEM; digital mathematical libraries; embeddings; MIaS; MIaSNG; DML
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 01:13.
      Podrobněji: https://is.muni.cz/publication/1585240/cs
    6. Reproducible Execution of POSIX Programs with DiOS
      ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ a Jiří BARNAT. Reproducible Execution of POSIX Programs with DiOS. In Peter Csaba Ölveczky and Gwen Salaün. Software Engineering and Formal Methods. 17th ed. Cham: Springer International Publishing, 2019, s. 333-349. ISBN 978-3-030-30445-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30446-1_18.
      URL
      RIV/00216224:14330/19:00107772 Stať ve sborníku. angličtina. Švýcarsko.
      Ročkai, Petr (703 Slovensko, domácí) -- Baranová, Zuzana (703 Slovensko, domácí) -- Mrázek, Jan (203 Česká republika, domácí) -- Kejstová, Katarína (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: DIVINE; DiOS; operating system; formal verification; model checking; POSIX; C; C++
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Jan Mrázek, učo 422279. Změněno: 25. 10. 2021 13:11.
      Podrobněji: https://is.muni.cz/publication/1577576/cs
    7. RoFICoM - First Open-Hardware Connector for Metamorphic Robots
      MRÁZEK, Jan a Jiří BARNAT. RoFICoM - First Open-Hardware Connector for Metamorphic Robots. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Neuveden: IEEE, 2019, s. 2720-2725. ISBN 978-1-7281-4004-9. Dostupné z: https://dx.doi.org/10.1109/IROS40897.2019.8968167.
      URL
      RIV/00216224:14330/19:00110967 Stať ve sborníku. angličtina.
      Mrázek, Jan (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: RoFI; metamorphic robots; connector
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2024 17:24.
      Podrobněji: https://is.muni.cz/publication/1569778/cs

    2018

    1. DiVM: Model checking with LLVM and graph memory
      ROČKAI, Petr, Vladimír ŠTILL, Ivana ČERNÁ a Jiří BARNAT. DiVM: Model checking with LLVM and graph memory. Journal of Systems and Software. Elsevier, 2018, roč. 143, Oct, s. 1-13. ISSN 0164-1212. Dostupné z: https://dx.doi.org/10.1016/j.jss.2018.04.026.
      URL
      RIV/00216224:14330/18:00106878 Článek v odborném periodiku. angličtina. Nizozemské království.
      Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: Model checking; C plus; Virtual machine; Verification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:28.
      Podrobněji: https://is.muni.cz/publication/1528139/cs
    2. Implementation Notes for the Soft Cosine Measure
      NOVOTNÝ, Vít. Implementation Notes for the Soft Cosine Measure. Online. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18). Torino, Italy: Association for Computing Machinery, 2018, s. 1639-1642. ISBN 978-1-4503-6014-2. Dostupné z: https://dx.doi.org/10.1145/3269206.3269317.
      Postprint DOI
      RIV/00216224:14330/18:00101853 Stať ve sborníku. angličtina. Itálie.
      Novotný, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Vector Space Model; computational complexity; similarity measure
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 04:56.
      Podrobněji: https://is.muni.cz/publication/1430596/cs
    3. MIaS: Math-Aware Retrieval in Digital Mathematical Libraries
      SOJKA, Petr, Michal RŮŽIČKA a Vít NOVOTNÝ. MIaS: Math-Aware Retrieval in Digital Mathematical Libraries. Online. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18). Torino, Italy: Association for Computing Machinery, 2018, s. 1923-1926. ISBN 978-1-4503-6014-2. Dostupné z: https://dx.doi.org/10.1145/3269206.3269233.
      DOI Postprint
      RIV/00216224:14330/18:00100679 Stať ve sborníku. angličtina. Itálie.
      Sojka, Petr (203 Česká republika, garant, domácí) -- Růžička, Michal (203 Česká republika, domácí) -- Novotný, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: Math Information Retrieval; DML; EuDML; Digital Mathematical Libraries
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:25.
      Podrobněji: https://is.muni.cz/publication/1430425/cs
    4. Model Checking of C++ Programs Under the x86-TSO Memory Model
      ŠTILL, Vladimír a Jiří BARNAT. Model Checking of C++ Programs Under the x86-TSO Memory Model. In Jing Sun, Meng Sun. Formal Methods and Software Engineering. Cham: Springer, 2018, s. 124-140. ISBN 978-3-030-02449-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02450-5_8.
      Publisher's page Author's page
      RIV/00216224:14330/18:00101450 Stať ve sborníku. angličtina. Švýcarsko.
      Štill, Vladimír (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: relaxed memory; model checking; c++; x86; memory model; DIVINE
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:36.
      Podrobněji: https://is.muni.cz/publication/1479960/cs
    5. On clock-aware LTL parameter synthesis of timed automata
      BEZDĚK, Peter, Nikola BENEŠ, Ivana ČERNÁ a Jiří BARNAT. On clock-aware LTL parameter synthesis of timed automata. Journal of Logical and Algebraic Methods in Programming. ELSEVIER SCIENCE INC, 360 PARK AVE SOUTH: Elsevier, 2018, roč. 99, Oct, s. 114-142. ISSN 2352-2208. Dostupné z: https://dx.doi.org/10.1016/j.jlamp.2018.05.004.
      URL URL URL
      RIV/00216224:14330/18:00101069 Článek v odborném periodiku. angličtina. Spojené státy.
      Bezděk, Peter (703 Slovensko, domácí) -- Beneš, Nikola (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: Parameter Synthesis; Parametric Timed Automata; Linear Temporal Logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 13. 10. 2020 09:22.
      Podrobněji: https://is.muni.cz/publication/1423692/cs
    6. Příprava Zpravodaje CSTUG
      NOVOTNÝ, Vít. Příprava Zpravodaje CSTUG. Zpravodaj CSTUG. Brno: CSTUG, 2018, roč. 28, 1-4, s. 1-10. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2018-1-4/1.
      DOI
      Název česky: Příprava Zpravodaje CSTUG
      Název anglicky: Preparing the CSTUG Bulletin
      RIV/00216224:14330/18:00115041 Článek v odborném periodiku. čeština. Česká republika.
      Novotný, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: TeX; LaTeX; publishing; scientific publishing; desktop publishing
      Recenzováno: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 3. 4. 2021 21:12.
      Podrobněji: https://is.muni.cz/publication/1509236/cs
    7. Symbolic Computation via Program Transformation
      LAUKO, Henrich, Petr ROČKAI a Jiří BARNAT. Symbolic Computation via Program Transformation. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, s. 313-332. ISBN 978-3-030-02507-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02508-3_17.
      URL
      RIV/00216224:14330/18:00101301 Stať ve sborníku. angličtina. Švýcarsko.
      Lauko, Henrich (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbolic Computation; Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 20. 9. 2022 11:14.
      Podrobněji: https://is.muni.cz/publication/1459216/cs
    8. Weighting of Passages in Question Answering
      NOVOTNÝ, Vít a Petr SOJKA. Weighting of Passages in Question Answering. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2018. Brno: Tribun EU, 2018, s. 31-40. ISBN 978-80-263-1517-9.
      Domovská stránka workshopu full paper
      RIV/00216224:14330/18:00101863 Stať ve sborníku. angličtina. Česká republika.
      Novotný, Vít (203 Česká republika, domácí) -- Sojka, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: passage retrieval; question answering; Godwin’s law; SemEval; weighting of document passages
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Starý Novotný, Ph.D., učo 409729. Změněno: 3. 1. 2023 13:53.
      Podrobněji: https://is.muni.cz/publication/1473521/cs

    2017

    1. An Immersive Virtual Environment for Collaborative Geovisualization
      DOLEŽAL, Milan, Jiří CHMELÍK a Fotis LIAROKAPIS. An Immersive Virtual Environment for Collaborative Geovisualization. Online. In 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017). Athens, Greece: IEEE Computer Society, 2017, s. 272-275. ISBN 978-1-5090-5812-9. Dostupné z: https://dx.doi.org/10.1109/VS-GAMES.2017.8056613.
      URL
      RIV/00216224:14330/17:00097849 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Doležal, Milan (203 Česká republika, domácí) -- Chmelík, Jiří (203 Česká republika, domácí) -- Liarokapis, Fotis (300 Řecko, domácí)
      Klíčová slova anglicky: virtual reality; collaborative environments; user studies
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Fotios Liarokapis, PhD, učo 235197. Změněno: 31. 8. 2018 11:33.
      Podrobněji: https://is.muni.cz/publication/1392114/cs
    2. BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication
      KEROUŠ, Bojan a Fotis LIAROKAPIS. BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication. In Proc. of the International Symposium on Mixed and Augmented Reality (ISMAR 2017) - Adjunct Proceedings. France: IEEE Computer Society, 2017, s. 279-283. ISBN 978-0-7695-6327-5. Dostupné z: https://dx.doi.org/10.1109/ISMAR-Adjunct.2017.91.
      RIV/00216224:14330/17:00097925 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kerouš, Bojan (70 Bosna a Hercegovina, domácí) -- Liarokapis, Fotis (300 Řecko, domácí)
      Klíčová slova anglicky: interaction styles; graphical user interfaces
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Fotios Liarokapis, PhD, učo 235197. Změněno: 31. 8. 2018 11:34.
      Podrobněji: https://is.muni.cz/publication/1392458/cs
    3. Detecting Attractors in Biological Models with Uncertain Parameters
      BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. Computational Methods in Systems Biology. CMSB 2017. LNCS 10545. Cham: Springer International Publishing, 2017, s. 40-56. ISBN 978-3-319-67470-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67471-1_3.
      Název anglicky: Detecting Attractors in Biological Models with Uncertain Parameters
      RIV/00216224:14330/17:00094899 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí) -- Šafránek, David (203 Česká republika, domácí) -- Beneš, Nikola (203 Česká republika, domácí) -- Demko, Martin (703 Slovensko, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Hajnal, Matej (703 Slovensko, domácí)
      Klíčová slova anglicky: model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms;
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 13. 5. 2021 13:12.
      Podrobněji: https://is.muni.cz/publication/1387860/cs
    4. From Model Checking to Runtime Verification and Back
      KEJSTOVÁ, Katarína, Petr ROČKAI a Jiří BARNAT. From Model Checking to Runtime Verification and Back. In Shuvendu Lahiri, Giles Reger. Runtime Verification - 17th International Conference, RV 2017. neuvedeno: Springer, 2017, s. 225-240. ISBN 978-3-319-67530-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67531-2_14.
      Název anglicky: From Model Checking to Runtime Verification and Back
      RIV/00216224:14330/17:00095134 Stať ve sborníku. Informatika. angličtina.
      Kejstová, Katarína (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: model checking; runtime verification
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:25.
      Podrobněji: https://is.muni.cz/publication/1394289/cs
    5. Model Checking of C and C++ with DIVINE 4
      BARANOVÁ, Zuzana, Jiří BARNAT, Katarína KEJSTOVÁ, Tadeáš KUČERA, Henrich LAUKO, Jan MRÁZEK, Petr ROČKAI a Vladimír ŠTILL. Model Checking of C and C++ with DIVINE 4. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, s. 201-207. ISBN 978-3-319-68166-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-68167-2_14.
      URL
      RIV/00216224:14330/17:00095126 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baranová, Zuzana (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Kejstová, Katarína (703 Slovensko, domácí) -- Kučera, Tadeáš (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Mrázek, Jan (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí)
      Klíčová slova anglicky: Model Checking; Verification; C; C++; DIVINE
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 10. 2018 16:24.
      Podrobněji: https://is.muni.cz/publication/1394153/cs
    6. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
      MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO a Jiří BARNAT. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II. Berlin, Heidelberg: Springer, 2017, s. 390-393. ISBN 978-3-662-54579-9. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5_29.
      URL
      RIV/00216224:14330/17:00095131 Stať ve sborníku. Informatika. angličtina. Německo.
      Mrázek, Jan (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: program verification; model checking; formula optimizations; caching
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:23.
      Podrobněji: https://is.muni.cz/publication/1394228/cs
    7. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components
      ALDEGHERI, Stefano, Jiří BARNAT, Nicola BOMBIERI, Federico BUSATO a Milan ČEŠKA. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components. In 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016. Cham: Springer Verlag, 2017, s. 519-531. ISBN 978-3-319-58942-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-58943-5_42.
      RIV/00216224:14330/17:00100646 Stať ve sborníku. angličtina. Švýcarsko.
      Aldegheri, Stefano (380 Itálie) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Bombieri, Nicola (380 Itálie) -- Busato, Federico (380 Itálie) -- Češka, Milan (203 Česká republika)
      Klíčová slova anglicky: Directed graphs; Distributed computer systems; Problem solving
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 1. 2019 14:28.
      Podrobněji: https://is.muni.cz/publication/1417426/cs
    8. Using Off-the-Shelf Exception Support Components in C++ Verification
      ŠTILL, Vladimír, Petr ROČKAI a Jiří BARNAT. Using Off-the-Shelf Exception Support Components in C++ Verification. Online. In IEEE International Conference on Software Quality, Reliability and Security - QRS 2017. Neuveden: IEEE, 2017, s. 54-64. ISBN 978-1-5386-0592-9. Dostupné z: https://dx.doi.org/10.1109/QRS.2017.15.
      URL
      RIV/00216224:14330/17:00095127 Stať ve sborníku. Informatika. angličtina.
      Štill, Vladimír (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: C++; Exceptions; Verification; Testing; Model Checking; DIVINE
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 10. 2018 16:25.
      Podrobněji: https://is.muni.cz/publication/1394157/cs

    2016

    1. Mé obrazy jsou prostředky pro komunikaci diváků s jejich nitrem
      KUČERA, Tomáš. Mé obrazy jsou prostředky pro komunikaci diváků s jejich nitrem. Praha: Sféra, 2016, s. 18-21. ISSN 1214-9454.
      Sféra
      Název anglicky: My paintings are mediums for communication viewers with their inner feelings
      Umění, architektura, kulturní dědictví. čeština. Česká republika.
      Klíčová slova anglicky: Sféra;interview;Vladimír Kiseljov;art;energy;Richard Wagner
      Změnil: Mgr. Bc. Tomáš Kučera, učo 19811. Změněno: 9. 4. 2016 17:59.
      Podrobněji: https://is.muni.cz/publication/1341809/cs
    2. Zahrada světla (software)
      KUČERA, Tomáš. Zahrada světla. 2016.
      www
      Název anglicky: Garden of the Light
      Informatika. čeština. Česká republika.
      Klíčová slova anglicky: text game;web
      Změnil: Mgr. Bc. Tomáš Kučera, učo 19811. Změněno: 9. 4. 2016 18:33.
      Podrobněji: https://is.muni.cz/publication/1341810/cs

    2014

    1. Medycyna jako reprodukowana bezsilność: Codzienność czeskiej medycyny reprodukcyjnej z punktu widzenia lekarzy i lekarek
      ŠMÍDOVÁ, Iva a Lenka SLEPIČKOVÁ. Medycyna jako reprodukowana bezsilność: Codzienność czeskiej medycyny reprodukcyjnej z punktu widzenia lekarzy i lekarek. In Magdalena Radkowska-Walkowicz, Hubert Wiercinski. Etnografie biomedycyny. Warszawa: Wydavnictwa Uniwersytetu Warszawskiego/Warsaw University Press, 2014, s. 47-66. ISBN 978-83-235-1581-4.
      Název česky: Medicína jako reprodukovaná bezmoc: Každodennost české reprodukční medicíny pohledem lékařů a lékařek
      Název anglicky: Medicine as a reproduced powerlessness: Everyday routine of Czech reproductive medicine in the perspective of physicians
      RIV/00216224:14230/14:00073981 Kapitola resp. kapitoly v odborné knize. Sociologie, demografie. polština. Polsko.
      Šmídová, Iva (203 Česká republika, garant, domácí) -- Slepičková, Lenka (203 Česká republika, domácí)
      Klíčová slova anglicky: medical profession; medicine; attitudes of physicians; sociology of reproductive medicine
      Recenzováno: ano
      Změnila: Mgr. Lenka Slepičková, Ph.D., učo 42916. Změněno: 3. 11. 2014 14:49.
      Podrobněji: https://is.muni.cz/publication/1203383/cs
    2. Postoje českých lékařů k medicíně a ke změnám v praxi reprodukční medicíny
      SLEPIČKOVÁ, Lenka a Iva ŠMÍDOVÁ. Postoje českých lékařů k medicíně a ke změnám v praxi reprodukční medicíny. Data a výzkum. AV ČR, Sociologický ústav, 2014, roč. 8, č. 1, s. 63-95. ISSN 1802-8152. Dostupné z: https://dx.doi.org/10.13060/23362391.2014.8.1.110.
      Název anglicky: Attitudes of Czech doctors towards medicine and changes in the field of reproductive medicine
      RIV/00216224:14230/14:00073890 Článek v odborném periodiku. Sociologie, demografie. čeština. Česká republika.
      Slepičková, Lenka (203 Česká republika, garant, domácí) -- Šmídová, Iva (203 Česká republika, domácí)
      Klíčová slova anglicky: medical sociology; changes and problems of Czech medicine; attitudes to new technologies; reproductive medicine; profession of medical doctors
      Recenzováno: ano
      Změnila: Mgr. Lenka Slepičková, Ph.D., učo 42916. Změněno: 25. 9. 2014 23:59.
      Podrobněji: https://is.muni.cz/publication/1199063/cs

    2013

    1. členka Rady vlády ČR pro rovné příležitosti žen a mužů; místopředsedkyně pracovní skupiny Muži a genderová rovnost
      ŠMÍDOVÁ, Iva. členka Rady vlády ČR pro rovné příležitosti žen a mužů; místopředsedkyně pracovní skupiny Muži a genderová rovnost. Rada vlády ČR pro rovné příležitosti žen a mužů, 2013.
      seznam členek a čelnů Rady
      Název česky: členka Rady vlády ČR pro rovné příležitosti žen a mužů; místopředsedkyně pracovní skupiny Muži a genderová rovnost
      Název anglicky: member of the Governmental Board for Equal Opoortunities of Women and Men; vice.chair of its Working group on Men and Gender Equality
      Sociologie, demografie. čeština. Česká republika.
      Klíčová slova anglicky: equal opportunities; gender; governmental body
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 29. 7. 2014 15:12.
      Podrobněji: https://is.muni.cz/publication/1130132/cs
    2. Desired and Required Childbirth: the Doctors View
      ŠMÍDOVÁ, Iva. Desired and Required Childbirth: the Doctors View. In Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s). The 3rd Annual Health in Transition Conference. 2013.
      webové stránky konference, program, abstrakta, seznam účastníků ke stažení
      Název česky: Vytoužený a požadovaný porod: perspektiva lékařů
      Název anglicky: Desired and Required Childbirth: the Doctors View
      Sociologie, demografie. angličtina. Polsko.
      Klíčová slova anglicky: postsocialism; medicine; gender
      Mezinárodní význam: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 20. 11. 2013 12:52.
      Podrobněji: https://is.muni.cz/publication/1130136/cs
    3. Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie
      ŠMÍDOVÁ, Iva a Lenka SLEPIČKOVÁ. Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie. In Radek Ptáček; Jiří Raboch; Vladimír Kebza. Burnout syndrom jako mezioborový jev. Praha: Grada Publishing, 2013, s. 97-104. Edice celoživotního vzdělávání ČLK. ISBN 978-80-247-5114-6.
      Název česky: Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie
      Název anglicky: Physicians and burning out: burning everyday issues of the medical profession from the sociological perspective
      RIV/00216224:14230/13:00066630 Kapitola resp. kapitoly v odborné knize. Sociologie, demografie. čeština. Česká republika.
      Šmídová, Iva (203 Česká republika, garant, domácí) -- Slepičková, Lenka (203 Česká republika, domácí)
      Klíčová slova anglicky: burnout syndrome; reproductive medicine; health care transformation; autonomy of patients; hierarchies in medicine
      Změnila: Mgr. Lenka Slepičková, Ph.D., učo 42916. Změněno: 20. 12. 2013 16:12.
      Podrobněji: https://is.muni.cz/publication/1137655/cs
    4. Medical Childbirth Made in the Czech Republic: Required and Desired Practices
      ŠMÍDOVÁ, Iva. Medical Childbirth Made in the Czech Republic: Required and Desired Practices. In British Sociological Association (BSA) Medical Sociology Group 45th Annual Conference 2013. 2013.
      webová stránka konference s odkazy na program, abstrakta apod.
      Název česky: Lékařský porod Made in Česká republika: vyžadované a vytoužené praktiky
      Název anglicky: Medical Childbirth Made in the Czech Republic: Required and Desired Practices
      Sociologie, demografie. angličtina. Velká Británie a Severní Irsko.
      Klíčová slova anglicky: medicine; reproduction; childbirth
      Mezinárodní význam: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 20. 11. 2013 12:50.
      Podrobněji: https://is.muni.cz/publication/1130142/cs
    5. Men and Masculinities in Europe
      PRINGLE, Keith, Jeff HEARN, Network WITH MEMBERS OF CROME a Iva ŠMÍDOVÁ. Men and Masculinities in Europe. 2. vyd. London: Whiting & Birch, 2013, 292 s. Critical Studies in Socio-Cultural Diversity. ISBN 1-86177-042-1.
      URL
      Název česky: Muži a mužství v Evropě
      Sociologie, demografie. angličtina. Velká Británie a Severní Irsko.
      Klíčová slova anglicky: masculinities; gender; Europe; men
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 20. 4. 2015 15:18.
      Podrobněji: https://is.muni.cz/publication/1210736/cs
    6. Studying Men´s violences in Europe. Towards a Research Framework
      HEARN, Jeff, Irina NOVIKOVA, Keith PRINGLE, Iva ŠMÍDOVÁ, Gunilla BJERÉN, Marjut JYRKINEN, LeeAnn IOVANNI, Fátima ARRANZ a et. AL. Studying Men´s violences in Europe. Towards a Research Framework. 1. vyd. Orebro: Orebro university, 2013, 140 s. Centre for Feminist Social Studies. ISBN 978-91-7668-985-1.
      Název česky: Studium mužského násilí v Evropě. Směřování k výzkumnému rámci.
      Název anglicky: Studying Men´s violences in Europe. Towards a Research Framework
      RIV/00216224:14230/13:00071764 Výzkumná zpráva. Sociologie, demografie. angličtina. Švédsko.
      Hearn, Jeff (826 Velká Británie a Severní Irsko) -- Novikova, Irina (428 Lotyšsko) -- Pringle, Keith (826 Velká Británie a Severní Irsko) -- Šmídová, Iva (203 Česká republika, garant, domácí) -- Bjerén, Gunilla (208 Dánsko) -- Jyrkinen, Marjut (246 Finsko) -- Iovanni, LeeAnn (752 Švédsko) -- Arranz, Fátima (724 Španělsko) -- al., et. (752 Švédsko)
      Klíčová slova anglicky: gender; violence; men; Europe
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 3. 2. 2014 14:33.
      Podrobněji: https://is.muni.cz/publication/1163365/cs
    7. Studying Men’s Violences: Some Key Methodological Principles in Developing a European Research Framework
      HEARN, Jeff, Irina NOVIKOVA, Keith PRINGLE, Iva ŠMÍDOVÁ, Marjut JYRKINEN, LeeAnn IOVANNI, Fátima ARRANZ, Voldemar KOLGA a Dag BALKMAR. Studying Men’s Violences: Some Key Methodological Principles in Developing a European Research Framework. MSC - Masculinities and social change. Barcelona, Španělsko: Hipathia Press, 2013, roč. 2, č. 1, s. 82-115. ISSN 2014-3605. Dostupné z: https://dx.doi.org/10.4471/MCS.2013.22.
      URL
      Název česky: Studium mužského násilí: některé klíčové metodologické principy pro rozvoj evropského výzkumného rámce
      Název anglicky: Studying Men’s Violences: Some Key Methodological Principles in Developing a European Research Framework
      RIV/00216224:14230/13:00095722 Článek v odborném periodiku. Sociologie, demografie. angličtina. Španělsko.
      Hearn, Jeff (246 Finsko) -- Novikova, Irina (428 Lotyšsko) -- Pringle, Keith (752 Švédsko) -- Šmídová, Iva (203 Česká republika, garant, domácí) -- Jyrkinen, Marjut (246 Finsko) -- Iovanni, LeeAnn (208 Dánsko) -- Arranz, Fátima (724 Španělsko) -- Kolga, Voldemar (233 Estonsko) -- Balkmar, Dag (208 Dánsko)
      Klíčová slova anglicky: Abuse; Europe; men; masculinities; methodology; research; violation; violence
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Blanka Farkašová, učo 97333. Změněno: 17. 5. 2018 14:32.
      Podrobněji: https://is.muni.cz/publication/1089229/cs
    8. Utváření vztahu rodičů k předčasně narozeným dětem
      CHLEBOUNOVÁ, Michaela a Ivo ČERMÁK. Utváření vztahu rodičů k předčasně narozeným dětem. Československá psychologie. Praha: Academia, 2013, roč. 57, č. 4, s. 307-316. ISSN 0009-062X.
      Název anglicky: Forming the parental relation to premature born children

      Klíčová slova anglicky: preterm labor; premature infants; parenting; relationship formation; fatherhood
      Recenzováno: ano
      Změnila: Mgr. Blanka Farkašová, učo 97333. Změněno: 12. 2. 2019 10:06.
      Podrobněji: https://is.muni.cz/publication/1391066/cs
    9. 3rd Annual Health in Transition Conference: Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s)
      ŠMÍDOVÁ, Iva, Eva ŠLESINGEROVÁ, Lenka SLEPIČKOVÁ a Hubert WIERCINSKI. 3rd Annual Health in Transition Conference: Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s). 2013.
      tematická mezinárodní konference spolupořádaná FSS MU a Institutem etnologie Varšavské univerzity
      Název česky: 3. ročník každoroční konference zdraví a změna: výzvy pro 21. století: minulost, součastnost a budoucost medicíny a zdravotní péče v postsocialistickém světě
      Název anglicky: 3rd Annual Health in Transition Conference: Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s)
      RIV/00216224:14230/13:00066531 Uspořádání konference. Sociologie, demografie. angličtina. Polsko.
      Šmídová, Iva (203 Česká republika, garant, domácí) -- Šlesingerová, Eva (203 Česká republika, domácí) -- Slepičková, Lenka (203 Česká republika, domácí) -- Wiercinski, Hubert (616 Polsko)
      Klíčová slova anglicky: social sciences; medicine; health care; research; transition
      Mezinárodní význam: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 29. 7. 2014 15:13.
      Podrobněji: https://is.muni.cz/publication/1130131/cs

    2012

    1. Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext
      SLEPIČKOVÁ, Lenka, Eva ŠLESINGEROVÁ a Iva ŠMÍDOVÁ. Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext. Sociologický časopis/ Czech Sociological Review. Praha: Sociologický ústav AV ČR, 2012, roč. 48, č. 1, s. 85-106. ISSN 0038-0288.
      Název česky: Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext
      Název anglicky: Biopower and Reproductive Biomedicine: a Conceptual Inspiration for Czech Sociology of Medicine
      RIV/00216224:14230/12:00057271 Článek v odborném periodiku. Sociologie, demografie. čeština. Česká republika.
      Slepičková, Lenka (203 Česká republika, garant, domácí) -- Šlesingerová, Eva (203 Česká republika, domácí) -- Šmídová, Iva (203 Česká republika, domácí)
      Klíčová slova anglicky: biopower; reproductive biomedicine; medicalization; DNA and embryo manipulation; assisted reproduction; childbirth
      Recenzováno: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 12. 4. 2012 13:14.
      Podrobněji: https://is.muni.cz/publication/972525/cs
    2. “Boys with the toys”. Hegemonies of Men over Reproduction: Biomedical Childbirth Made in Czech Republic.
      ŠMÍDOVÁ, Iva. “Boys with the toys”. Hegemonies of Men over Reproduction: Biomedical Childbirth Made in Czech Republic. In The Second ISA Forum of Sociology Social justice and democratization Buenos Aires, Argentina August 1-4, 2012. 2012.
      URL
      Název česky: "Kluci s hračkama": Hegemonie mužů nad reprodukcí: biomedicínský porod "Made in Česká republika"
      Název anglicky: “Boys with the toys”. Hegemonies of Men over Reproduction: Biomedical Childbirth Made in Czech Republic.
      RIV/00216224:14230/12:00058295 Konferenční abstrakt. Sociologie, demografie. angličtina. Argentina.
      Šmídová, Iva (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: medical sociology; gender; hegemony; childbirth
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 30. 1. 2013 13:42.
      Podrobněji: https://is.muni.cz/publication/1083352/cs
    3. členka Rady vlády ČR pro rovné příležitosti žen a mužů
      ŠMÍDOVÁ, Iva. členka Rady vlády ČR pro rovné příležitosti žen a mužů. Rada vlády ČR pro rovné příležitosti žen a mužů, 2012.
      URL
      Název anglicky: member of The Government Council for Equal Opportunities for Women and Men
      RIV/00216224:14230/12:00063048 Členství ve věd. radách, odb. grémiích, expert. komisích apod.. Sociologie, demografie. čeština. Česká republika.
      Šmídová, Iva (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: equality
      Mezinárodní význam: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 26. 1. 2013 13:19.
      Podrobněji: https://is.muni.cz/publication/1083350/cs
    4. Hraniční práce ve feministických studiích. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028
      ŠMÍDOVÁ, Iva a Marcela LINKOVÁ. Hraniční práce ve feministických studiích. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028. 1. vyd. Praha: Sociologický ústav AV ČR, 2012, s. 1-114.
      Název česky: Hraniční práce ve feministických studiích. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028
      Název anglicky: Border work in feminist studies. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028
      RIV/00216224:14230/12:00063047 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Sociologie, demografie. čeština. Česká republika.
      Šmídová, Iva (203 Česká republika, garant, domácí) -- Linková, Marcela (203 Česká republika)
      Klíčová slova anglicky: feminist studies; gender; analyses
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 26. 1. 2013 13:09.
      Podrobněji: https://is.muni.cz/publication/1083347/cs
    5. Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog. /7.ročník genderových konfrontací
      ŠMÍDOVÁ, Iva, Eva ŠLESINGEROVÁ a Lenka SLEPIČKOVÁ. Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog. /7.ročník genderových konfrontací. 2012.
      URL
      Název česky: Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog./7.ročník genderových konfrontací
      Název anglicky: Reproductive medicine and reproduction of medicine
      RIV/00216224:14230/12:00057638 Uspořádání workshopu. Sociologie, demografie. čeština. Česká republika.
      Šmídová, Iva (203 Česká republika, garant, domácí) -- Šlesingerová, Eva (203 Česká republika) -- Slepičková, Lenka (203 Česká republika)
      Klíčová slova anglicky: medicine reproduction power
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 4. 2. 2013 11:52.
      Podrobněji: https://is.muni.cz/publication/1068198/cs
    6. Nepřerušený zápas o ženská těla (recenze Dudová, Radka. 2012. Interrupce v České republice: zápas o ženská těla
      ŠMÍDOVÁ, Iva. Nepřerušený zápas o ženská těla (recenze Dudová, Radka. 2012. Interrupce v České republice: zápas o ženská těla. 1. vyd. Praha: Sociologický ústav AV ČR, 2012, 4 s. Gender, rovné příležitosti, výzkum 2/2012. ISSN 1213-0028.
      Název česky: Nepřerušený zápas o ženská těla (recenze Dudová, Radka. 2012. Interrupce v České republice: zápas o ženská těla
      Název anglicky: Uninterrupted Struggle for Women s Bodies (a book review of Dudová, Radka. 2012. Abortions in the CZ: Struggle for Women s Bodies)
      RIV/00216224:14230/12:00058319 Popularizační texty a aktivity. Sociologie, demografie. čeština. Česká republika.
      Šmídová, Iva (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: gender; reproduction; abortion
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 30. 1. 2013 13:17.
      Podrobněji: https://is.muni.cz/publication/1084392/cs
    7. The Second ISA Forum of Sociology: Social justice and democratization: Zpráva z konference
      VIDOVICOVÁ, Lucie, Lucie GALČANOVÁ a Iva ŠMÍDOVÁ. The Second ISA Forum of Sociology: Social justice and democratization: Zpráva z konference. 1. vyd. Praha: Sociologický ústav AV ČR, 2012, 8 s. Gender, rovné příležitosti, výzkum 2/2012. ISSN 1213-0028.
      Název česky: The Second ISA Forum of Sociology: Social justice and democratization: Zpráva z konference
      Název anglicky: The Second ISA Forum of Sociology: Social justice and democratization: Report from the Conference
      RIV/00216224:14230/12:00058321 Popularizační texty a aktivity. Sociologie, demografie. čeština. Česká republika.
      Vidovicová, Lucie (203 Česká republika, domácí) -- Galčanová, Lucie (203 Česká republika, domácí) -- Šmídová, Iva (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: conference; sociology; report
      Změnila: doc. PhDr. Iva Šmídová, Ph.D., učo 7385. Změněno: 30. 1. 2013 13:40.
      Podrobněji: https://is.muni.cz/publication/1084397/cs
Zobrazeno: 9. 12. 2024 20:47