Výpis 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Š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.

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.

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.

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.

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.

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.

Š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.

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.

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.

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.

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.

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.

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.

Š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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Š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.

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.

KUČERA, Tomáš. Zahrada světla. 2016.

Š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.

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.

Š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.

Š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.

Š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.

Š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.

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.

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.

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.

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.

Š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.

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.

Š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.

Š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.

Š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.

Š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.

Š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.

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.