Vámi zvolený výběr obsahuje 59 výsledků. Upravit výběr.
Filtrování publikací
-
Š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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Š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 -
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 -
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 -
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 -
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 -
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 -
Š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 -
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 -
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 -
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 -
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 -
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 -
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 -
Š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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Š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 -
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 -
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 -
Š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 -
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 -
Š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 -
Š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 -
Š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 -
Š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 -
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 -
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 -
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 -
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 -
Š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 -
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 -
Š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 -
Š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 -
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 -
Š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 -
Š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 -
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
2022
2021
2020
2019
2018
2017
2016
2014
2013
2012
Zobrazeno: 8. 12. 2024 15:14