Filtrování publikací

    2022

    1. Š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.
    2. 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.
    3. CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL a Jan STREJČEK. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, s. 462-467. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_32.
      URL
      RIV/00216224:14330/22:00125696 Stať ve sborníku. angličtina. Švýcarsko.
      Chalupa, Marek (203 Česká republika, domácí) -- Mihalkovič, Vincent (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic;BSELF;SV-COMP;program analysis;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: 28. 3. 2023 12:49.
    4. 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.
    5. 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.
    6. 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.

    2021

    1. 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.
    2. SCHWARZEROVÁ, Jana, Adam BAJGER, I. PIERDOU, Lubomír POPELÍNSKÝ, Karel SEDLÁŘ a W. WECKWERTH. An Innovative Perspective on Metabolomics Data Analysis in Biomedical Research Using Concept Drift Detection. Online. In Yufei Huang and Lukasz A. Kurgan and Feng Luo and Xiaohua Hu and Yidong Chen and Edward R. Dougherty and Andrzej Kloczkowski and Yaohang Li. Proceedings of BIBM 2021. Houston, TX, USA: IEEE, 2021, s. 3075-3082. ISBN 978-1-6654-0126-5. Dostupné z: https://dx.doi.org/10.1109/BIBM52615.2021.9669418.
      Název česky: An Innovative Perspective on Metabolomics Data Analysis in Biomedical Research Using Concept Drift Detection
      Název anglicky: An Innovative Perspective on Metabolomics Data Analysis in Biomedical Research Using Concept Drift Detection
      RIV/00216224:14330/21:00126185 Stať ve sborníku. angličtina. Česká republika.
      Schwarzerová, Jana (203 Česká republika) -- Bajger, Adam (203 Česká republika, domácí) -- Popelínský, Lubomír (203 Česká republika, domácí) -- Sedlář, Karel (203 Česká republika)
      Klíčová slova anglicky: Machine Learning; Concept drift; Metabolomics Analysis; Biomedical engineering; Computational biomedical analysis; Metabolomic prediction
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:24.
    3. 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.
    4. 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.
    5. 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.
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. Š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.
    11. 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.

    2020

    1. TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ a Jan ČERVENÝ. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. Online. In Ankit Gupta, Tatjana Petrov. 9th International Workshop on Static Analysis and Systems Biology (SASB). ENTCS 350. Amsterdam: Elsevier, 2020, s. 91-116. ISSN 1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2020.06.006.
      URL
      RIV/00216224:14330/20:00114281 Stať ve sborníku. angličtina.
      Troják, Matej (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Šalagovič, Jakub (703 Slovensko) -- Červený, Jan (203 Česká republika)
      Klíčová slova anglicky: rule-based modelling; formal specification; static analysis
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 02:04.
    2. 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.
    3. KEATING, Sarah M, Dagmar WALTEMATH, Matthias KÖNIG, Fengkai ZHANG, Andreas DRÄGER, Claudine CHAOUIYA, Frank T BERGMANN, Andrew FINNEY, Colin S GILLESPIE, Tomáš HELIKAR, Stefan HOOPS, Rahuman S Malik SHERIFF, Stuart L MOODIE, Ion I MORARU, Chris J MYERS, Aurélien NALDI, Brett G OLIVIER, Sven SAHLE, James C SCHAFF, Lucian P SMITH, Maciej J SWAT, Denis THIEFFRY, Leandro WATANABE, Darren J WILKINSON, Michael L BLINOV, Kimberly BEGLEY, James R FAEDER, Harold F GÓMEZ, Thomas M HAMM, Yuichiro INAGAKI, Wolfram LIEBERMEISTER, Allyson L LISTER, Daniel LUCIO, Eric MJOLSNESS, Carole J PROCTOR, Karthik RAMAN, Nicolas RODRIGUEZ, CLIFFORD, SHAFFER, Bruce E SHAPIRO, Joerg STELLING, Neil SWAINSTON, Naoki TANIMURA, John WAGNER, Martin Meier SCHELLERSHEIM, Herbert M SAURO, Bernhard PALSSON, Hamid BOLOURI, Hiroaki KITANO, Akira FUNAHASHI, Henning HERMJAKOB, John C DOYLE, Michael HUCKA, SBML Level Community MEMBERS, Richard R ADAMS, NICHOLAS, ALLEN, Bastian R ANGERMANN, Marco ANTONIOTTI, Gary D BADER, Jan ČERVENÝ, Mélanie COURTOT, Chris D COX, Piero Dalle PEZZE, Emek DEMIR, William S DENNEY, Harish DHARURI, Julien DORIER, Dirk DRASDO, Ali EBRAHIM, Johannes EICHNER, Johan ELF, Lukas ENDLER, Chris T EVELO, Christoph FLAMM, Ronan MT FLEMING, Martina FRÖHLICH, Mihai GLONT, Emanuel GONÇALVES, Martin GOLEBIEWSKI, Hovakim GRABSKI, Alex GUTTERIDGE, Damon HACHMEISTER, LEONARD, HARRIS, Benjamin D HEAVNER, Ron HENKEL, William S HLAVACEK, Bin HU, Daniel R HYDUKE, Hidde de JONG, Nick JUTY, Peter D KARP, Jonathan R KARR, Douglas B KELL, Roland KELLER, Ilya KISELEV, Steffen KLAMT, Edda KLIPP, Christian KNÜPFER, Fedor KOLPAKOV, Falko KRAUSE, Martina KUTMON, Camille LAIBE, Conor LAWLESS, Lu LI, Leslie M LOEW, Rainer MACHNE, Yukiko MATSUOKA, Pedro MENDES, Huaiyu MI, Florian MITTAG, Pedro T MONTEIRO, Kedar Nath NATARAJAN, Poul MF NIELSEN, Tramy NGUYEN, Alida PALMISANO, Jean Baptiste PETTIT, Thomas PFAU, Robert D PHAIR, Tomas RADIVOYEVITCH, Johann M ROHWER, OLIVER, RUEBENACKER, Julio Saez RODRIGUEZ, Martin SCHARM, Henning SCHMIDT, Falk SCHREIBER, Michael SCHUBERT, Roman SCHULTE, Stuart C SEALFON, Kieran SMALLBONE, Sylvain SOLIMAN, Melanie I STEFAN, Devin P SULLIVAN, Koichi TAKAHASHI, Bas TEUSINK, David TOLNAY, Ibrahim VAZIRABAD, Axel von KAMP, Ulrike WITTIG, Clemens WRZODEK, Finja WRZODEK, Ioannis XENARIOS, Anna ZHUKOVA a Jeremy ZUCKER. SBML Level 3: an extensible format for the exchange and reuse of biological modelsAutoři. Online. Molecular systems biology. EMBOpress, 2020, roč. 16, č. 8, s. e9110. Dostupné z: https://dx.doi.org/10.15252/msb.20199110.

      Klíčová slova anglicky: computational modeling, file format, interoperability, reproducibility, systems biology

      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 10. 9. 2020 11:19.
    4. CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.
      URL
      Název anglicky: Symbiotic 7: Integration of Predator and More (Competition Contribution)
      RIV/00216224:14330/20:00114113 Stať ve sborníku. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika)
      Klíčová slova anglicky: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:25.

    2019

    1. 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.
    2. TROJÁK, Matej, David ŠAFRÁNEK, Jan ČERVENÝ, Marek HAVLÍK, Lukrécia MERTOVÁ, Matej HAJNAL, Jakub HRABEC a Jakub ŠALAGOVIČ. Comprehensive Modelling Platform. In 6th Workshop on Hybrid Systems & Biology. 2019.
      URL
      Název anglicky: Comprehensive Modelling Platform
      angličtina. Česká republika.
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Matej Troják, Ph.D., učo 410129. Změněno: 13. 4. 2019 21:45.
    3. 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.
    4. 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.
    5. Š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.
    6. 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.
    7. 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.
    8. 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.
    9. BARTOŠ, Václav, Martin ŽÁDNÍK, Pavel KROBOT, Lukáš HUTÁK, Martin HUSÁK, Jaroslav KAŠPAR a Petr VELAN. Systém pro sdílení a analýzu bezpečnostních událostí. 2019.
      URL
      Název anglicky: System for sharing and analysis of network security alerts
      RIV/00216224:14610/19:00108314 Technicky realizované výsledky (prototyp, funkční vzorek). čeština. Česká republika.
      Bartoš, Václav (203 Česká republika) -- Žádník, Martin (203 Česká republika) -- Huták, Lukáš (203 Česká republika) -- Husák, Martin (203 Česká republika, garant, domácí) -- Kašpar, Jaroslav (203 Česká republika, domácí) -- Velan, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: System;sharing;analysis;network;event
      Mezinárodní význam: ano

      Změnil: RNDr. Martin Husák, Ph.D., učo 256631. Změněno: 17. 4. 2020 15:48.

    2018

    1. SEGEČOVÁ, Anna, Jan ČERVENÝ a Thomas ROITSCH. Advancement of the cultivation and upscaling of photoautotrophic suspension cultures using Chenopodium rubrum as a case study. Plant Cell, Tissue and Organ Culture. Dordrecht: Springer, 2018, roč. 135, č. 1, s. 37-51. ISSN 0167-6857. Dostupné z: https://dx.doi.org/10.1007/s11240-018-1441-6.
      URL
      RIV/00216224:14310/18:00109166 Článek v odborném periodiku. angličtina. Nizozemské království.
      Segečová, Anna (703 Slovensko, garant, domácí) -- Červený, Jan (203 Česká republika)
      Klíčová slova anglicky: Biotechnology; Growth characterization; Photobioreactor; Photosynthesis; Physiology
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Mgr. Marie Novosadová Šípková, DiS., učo 437722. Změněno: 11. 5. 2020 12:30.
    2. RAČEK, Tomáš, Radka SVOBODOVÁ VAŘEKOVÁ, Dan POLANSKÝ, Karel BERKA a Jaroslav KOČA. bio.tools Sum – tool for exploration of summary information about bioinformatics services in bio.tools. In F1000Research. 2018. Dostupné z: https://dx.doi.org/10.7490/f1000research.1115564.1.
      angličtina. Česká republika.
      Mezinárodní význam: ano

      Změnila: Mgr. Pavla Foltynová, Ph.D., učo 106624. Změněno: 26. 3. 2019 15:23.
    3. 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.
    4. TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ, Matej HAJNAL, Lukrécia MERTOVÁ, Katarína PALUBOVÁ a Marek HAVLÍK. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In 16th International Conference on Computational Methods in Systems Biology. 2018.
      URL
      angličtina. Česká republika.
      Klíčová slova anglicky: cyanobacteria; systems biology; model analysis
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Matej Troják, Ph.D., učo 410129. Změněno: 13. 4. 2019 22:00.
    5. BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ a Matej TROJÁK. Fully Automated Attractor Analysis of Cyanobacteria Models. In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing. Neuveden: IEEE, 2018, s. 354-359. ISBN 978-1-5386-4444-7. Dostupné z: https://dx.doi.org/10.1109/ICSTCC.2018.8540762.
      URL
      Název česky: Plne Automatizovaná Analýza Atraktorů Modelů Cyanobaktérií
      Název anglicky: Fully Automated Attractor Analysis of Cyanobacteria Models
      RIV/00216224:14330/18:00101265 Stať ve sborníku. angličtina.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Červený, Jan (203 Česká republika) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, domácí) -- Šalagovič, Jakub (703 Slovensko) -- Troják, Matej (703 Slovensko, domácí)
      Klíčová slova anglicky: attractors; parametrised graph; terminal strongly connected components; cyanobacteria
      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: 13. 5. 2020 19:34.
    6. 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.
    7. ČERVENÝ, Jan, Jakub ŠALAGOVIČ, František MUZIKA, David ŠAFRÁNEK a Igor SCHREIBER. Influence of circadian clocks on optimal regime of central C-N metabolism of cyanobacteria. Online. In Mishra, A. K.; Tiwari, D.; Rai, A. N. Cyanobacteria: From Basic Science to Applications. 1st ed. Neuveden: Academic Press, 2018, s. 193-206. ISBN 978-0-12-814667-5. Dostupné z: https://dx.doi.org/10.1016/B978-0-12-814667-5.00009-X.
      URL
      RIV/00216224:14330/18:00104828 Kapitola resp. kapitoly v odborné knize. angličtina.
      Červený, Jan (203 Česká republika) -- Šalagovič, Jakub (703 Slovensko) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Computational modeling; Bioreactor; Formal methods; Industry 4.0; Microalgae; Network analysis; Optimization; Process control
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 6. 2022 13:23.
    8. 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.
    9. Š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.
    10. 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.
    11. SEGEČOVÁ, Anna, Jan ČERVENÝ a Thomas ROITSCH. Photoautotrophic cell cultures – a model system for photosynthesis research on cellular level. In Panzarová, K. IPAP 2018 International Plant and Algal Phenomics Meeting - Program, Book of Abstracts, List of Participants. 2018, s. 1-9.

      Klíčová slova anglicky: plant cell culture, physiology, high-throughput, biotechnology, cultivation
      Druh sborníku: předkonferenční sborník

      Změnila: Mgr. et Mgr. Anna Segečová, Ph.D., učo 75589. Změněno: 20. 2. 2019 10:08.
    12. SEGEČOVÁ, Anna, Jan ČERVENÝ a Thomas ROITSCH. Photoautotrophic cell cultures – a model system for photosynthesis research on cellular level. In Messinger, J.; Styring, S. First European Congress on Photosynthesis Research, ePS-1. 2018, s. 99-100.

      Klíčová slova anglicky: plant cell culture, physiology, high-throughput, biotechnology, cultivation

      Změnila: Mgr. et Mgr. Anna Segečová, Ph.D., učo 75589. Změněno: 20. 2. 2019 10:03.
    13. 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.
    14. SVOBODOVÁ VAŘEKOVÁ, Radka, Adam MIDLIK, Ivana HUTAŘOVÁ VAŘEKOVÁ, Jan HUTAŘ, Veronika NAVRÁTILOVÁ, Jaroslav KOČA a Karel BERKA. Secondary Structure Elements-Annotations and Schematic 2D Visualizations Stable for Individual Protein Families. In Biophysical Society 62nd Annual Meeting, San Francisco, California. 2018. ISSN 0006-3495. Dostupné z: https://dx.doi.org/10.1016/j.bpj.2017.11.307.
      URL
      angličtina. Česká republika.
      Mezinárodní význam: ano

      Změnila: Mgr. Marie Novosadová Šípková, DiS., učo 437722. Změněno: 1. 7. 2020 12:21.
    15. 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.
    16. KADLEC, Miroslav, Jan ROSECKÝ, Filip PROCHÁZKA, Barbora BÜHNOVÁ a Tomáš PITNER. Towards Discovering the Limits of Smart Grid Communication Infrastructure. In Gandolfo Dominici. Governing Business Systems. Cham, Switzerland: Springer, 2018, s. 87-99. ISBN 978-3-319-66034-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66036-3_5.
      URL
      RIV/00216224:14330/18:00102096 Stať ve sborníku. Informatika. angličtina.
      Kadlec, Miroslav (203 Česká republika, domácí) -- Rosecký, Jan (203 Česká republika) -- Procházka, Filip (203 Česká republika) -- Bühnová, Barbora (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Smart grid Communication; Modeling; Simulation
      Druh sborníku: postkonferenční sborník
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:19.
    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.
      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.

    2017

    1. 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.
    2. 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.
    3. 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.
    4. ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ, Mike JUST a Martin UKROP. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study. Infocommunications Journal. Scientific Association for Infocommunications, 2017, roč. 9, č. 1, s. 18-23. ISSN 2061-2079.
      URL
      RIV/00216224:14330/17:00096673 Článek v odborném periodiku. Informatika. angličtina. Maďarsko.
      Šťavová, Vlasta (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Just, Mike (826 Velká Británie a Severní Irsko) -- Ukrop, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: security software; usable security; user decision; mobile device
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Martin Ukrop, Ph.D., učo 374297. Změněno: 15. 4. 2020 15:22.
    5. MUSIL, Miloš, Jan ŠTOURAČ, Jaroslav BENDL, Jan BREZOVSKÝ, Zbyněk PROKOP, Jaroslav ZENDULKA, Tomáš MARTÍNEK, David BEDNÁŘ a Jiří DAMBORSKÝ. FireProt: Web Server for Automated Design of Thermostable Proteins. Nucleic Acids Research. Oxford: Oxford University Press, 2017, roč. 45, W1, s. "W393"-"W399", 7 s. ISSN 0305-1048. Dostupné z: https://dx.doi.org/10.1093/nar/gkx285.
      URL
      RIV/00216224:14310/17:00095410 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
      Musil, Miloš (203 Česká republika, domácí) -- Štourač, Jan (203 Česká republika, domácí) -- Bendl, Jaroslav (203 Česká republika, domácí) -- Brezovský, Jan (203 Česká republika, domácí) -- Prokop, Zbyněk (203 Česká republika, domácí) -- Zendulka, Jaroslav (203 Česká republika) -- Martínek, Tomáš (203 Česká republika, domácí) -- Bednář, David (203 Česká republika, domácí) -- Damborský, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: MULTIPLE SEQUENCE ALIGNMENTS; CORRELATED MUTATIONS; STABILITY CHANGES; EVOLUTIONARY CONSERVATION; HALOALKANE DEHALOGENASE; STATISTICAL POTENTIALS; PATHWAYS; BIOCATALYSTS; PREDICTION; FAMILIES

      Změnila: Ing. Nicole Zrilić, učo 240776. Změněno: 3. 4. 2018 16:05.
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. HON, Jiří, Matej LEXA, Tomáš MARTÍNEK a Jaroslav ZENDULKA. pqsfinder: identification of potential quadruplex forming sequences. 2017. Dostupné z: https://dx.doi.org/10.18129/B9.bioc.pqsfinder.
      pqsfinder: Identification of potential quadruplex forming sequences
      Název česky: pqsfinder: R/Bioconductor balíček pro identifikaci sekvencí tvořících kvadruplexy
      RIV/00216224:14330/17:00094706 Software. Informatika. angličtina. Česká republika.
      Hon, Jiří (203 Česká republika) -- Lexa, Matej (703 Slovensko, domácí) -- Martínek, Tomáš (203 Česká republika) -- Zendulka, Jaroslav (203 Česká republika)
      Klíčová slova anglicky: G-quadruplex; quadruplex; DNA; R; Bioconductor; pattern matching; searching; annotation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Ing. Matej Lexa, Ph.D., učo 31298. Změněno: 6. 11. 2017 22:43.
    11. Š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.

    2016

    1. ZAVŘEL, Tomáš, Hening KNOOP, Ralf STEUER, Jones PATRIK, Jan ČERVENÝ a Martin TRTÍLEK. A quantitative evaluation of ethylene production in the recombinant cyanobacterium Synechocystis sp. PCC 6803 harboring the ethylene-forming enzyme by membrane inlet mass spectrometry. Bioresource Technology. 2016, roč. 202, s. 142–151.
      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 14. 6. 2016 14:55.
    2. VLACHYNSKÁ, Alžběta, Jan ČERVENÝ, V. ČMIEL a T. TUREČEK. Automatic Image-Based Method for Quantitative Analysis of Photosynthetic Cell Cultures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016, roč. 7209, s. 402–413. ISSN 0302-9743. Dostupné z: https://dx.doi.org/10.1007/978-3-319-32034-2_34.
      URL
      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 27. 6. 2016 23:41.
    3. TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ a Františka ROMANOVSKÁ. Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes. In MEMICS 2016. 2016.
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: formal specification; biological systems; systems biology; rule-based language
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Matej Troják, Ph.D., učo 410129. Změněno: 5. 9. 2017 11:54.
    4. ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ a Mike JUST. Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms. In Foresti, Sara and Lopez, Javier. Information Security Theory and Practice: 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26--27, 2016, Proceedings. Švýcarsko: Springer, 2016, s. 35-50. ISBN 978-3-319-45930-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-45931-8_3.
      URL
      Název anglicky: Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms
      RIV/00216224:14330/16:00091209 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Šťavová, Vlasta (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Just, Mike (826 Velká Británie a Severní Irsko)
      Klíčová slova anglicky: usable security; authentication methods; usability; qr code; trusted person
      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.
    5. TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ a Matej HAJNAL. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. 2016.
      URL
      Název česky: E-cyanobacterium.org: Webová platforma pre modelovanie siníc
      Název anglicky: E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria
      RIV/00216224:14330/16:00101019 Software. angličtina. Česká republika.
      Troják, Matej (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, domácí) -- Hrabec, Jakub (203 Česká republika, domácí) -- Šalagovič, Jakub (703 Slovensko, domácí) -- Červený, Jan (203 Česká republika, domácí) -- Hajnal, Matej (703 Slovensko, domácí)
      Klíčová slova anglicky: systems biology; cyanobacteria; database; annotation
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Matej Troják, Ph.D., učo 410129. Změněno: 22. 6. 2018 14:30.
    6. JAKUBÍČEK, Miloš a Pavel ŠMERK. Large Scale Keyword Extraction using a Finite State Backend. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016. Brno: Tribun EU, 2016, s. 143-146. ISBN 978-80-263-1095-2.
      URL
      RIV/00216224:14330/16:00092379 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Jakubíček, Miloš (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: terminology extraction; keyword extraction; fsa; Sketch Engine

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 21. 5. 2021 23:15.
    7. 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.
    8. ČERVENÝ, Jan, Tomáš ZAVŘEL, Dominik CHMELÍK, Diana BÚZOVÁ, Jan FEDORKO, Petra LITERÁKOVÁ, Kateřina SUKAČOVÁ, Anna SEGEČOVÁ a Thomas ROITSCH. Microalgal adaptive biotechnologies for a sustainable future. In Global Change & Ecosystems: Climate Change Adaptation Pathways from Molecules to Society. 2016. ISBN 978-80-87902-17-2.

      Mezinárodní význam: ano

      Změnila: Mgr. et Mgr. Anna Segečová, Ph.D., učo 75589. Změněno: 4. 7. 2017 10:48.
    9. ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ a Mike JUST. On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications. Online. In David Balenson. Euro Usable Security (EuroUSEC) Workshop Programme. Neuveden: Internet Society, 2016, s. nestránkováno, 8 s. ISBN 1-891562-45-2. Dostupné z: https://dx.doi.org/10.14722/eurousec.2016.23003.
      URL
      Název anglicky: On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications
      RIV/00216224:14330/16:00091220 Stať ve sborníku. Informatika. angličtina.
      Šťavová, Vlasta (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Just, Mike (826 Velká Británie a Severní Irsko)
      Klíčová slova anglicky: usable security; potentially unwanted applications;
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 31. 10. 2019 14:01.
    10. ZAVŘEL, Tomáš, Jan ČERVENÝ, Henning KNOOP a Ralf STEUER. Optimizing cyanobacterial product synthesis: Meeting the challenges. BIOENGINEERED. PHILADELPHIA: TAYLOR & FRANCIS INC, 2016, roč. 7, č. 6, s. 490-496. ISSN 2165-5979. Dostupné z: https://dx.doi.org/10.1080/21655979.2016.1207017.
      URL
      angličtina.
      Klíčová slova anglicky: biofuels; biotechnology; cyanobacteria; ethylene; genome-scale models (GSM); MIMS; photobioreactors; systems biology
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 20. 2. 2018 15:08.
    11. BENDL, Jaroslav, Miloš MUSIL, Jan ŠTOURAČ, Jaroslav ZENDULKA, Jiří DAMBORSKÝ a Jan BREZOVSKÝ. PredictSNP2: A Unified Platform for Accurately Evaluating SNP Effects by Exploiting the Different Characteristics of Variants in Distinct Genomic Regions. PLOS COMPUTATIONAL BIOLOGY 12: e100496. 2016, roč. 12, č. 5, s. "nestrankovano", 18 s. ISSN 1553-734X. Dostupné z: https://dx.doi.org/10.1371/journal.pcbi.1004962.
      URL
      RIV/00216224:14310/16:00092839 Článek v odborném periodiku. Biochemie. angličtina. Spojené státy.
      Bendl, Jaroslav (203 Česká republika, domácí) -- Musil, Miloš (203 Česká republika, domácí) -- Štourač, Jan (203 Česká republika, domácí) -- Zendulka, Jaroslav (203 Česká republika) -- Damborský, Jiří (203 Česká republika, garant, domácí) -- Brezovský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: GENETIC-VARIATION; REGULATORY VARIANTS; SEQUENCE VARIATION; PROTEIN FUNCTION; CAUSAL VARIANTS; COMPLEX TRAITS; MUTATIONS; DISEASE; CANCER; ELEMENTS

      Změnila: Ing. Andrea Mikešková, učo 137293. Změněno: 9. 4. 2017 15:35.
    12. ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ a Kamil MALINKA. The Challenge of Increasing Safe Response of Antivirus Software Users. In Jan Kofroň, Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science. Švýcarsko: Springer International Publishing,, 2016, s. 133-143. ISBN 978-3-319-29816-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-29817-7_12.
      URL
      RIV/00216224:14330/16:00089514 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Šťavová, Vlasta (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Malinka, Kamil (203 Česká republika, domácí)
      Klíčová slova anglicky: usable security
      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: 13. 5. 2020 19:18.
    13. 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.

    2015

    1. ŠKOLA, Filip, Szymon FIAŁEK a Fotis LIAROKAPIS. Augmenting the Rubber Hand Illusion. ERCIM News. ERCIM, 2015, roč. 2015, č. 103, s. 25-26. ISSN 0926-4981.
      URL
      RIV/00216224:14330/15:00084042 Článek v odborném periodiku. Informatika. angličtina. Francie.
      Škola, Filip (203 Česká republika, domácí) -- Fiałek, Szymon (616 Polsko) -- Liarokapis, Fotis (300 Řecko, garant, domácí)
      Klíčová slova anglicky: augmented reality; rubber hand
      Mezinárodní význam: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 4. 5. 2016 01:35.
    2. CHABADA, Tomáš, Tomáš HAMPEJS, Jan SKALÍK, Eva VÝTVAROVÁ a Jaroslav HLINKA. Connecting to Nature in the Lab through “Earth Song” : The Malleability of Implicit and Explicit Attitudes towards Nature. Sociální studia. Masarykova univerzita, 2015, roč. 12, č. 3, s. 113-133. ISSN 1214-813X.
      URL
      RIV/00216224:14230/15:00085381 Článek v odborném periodiku. Sociologie, demografie. angličtina. Česká republika.
      Chabada, Tomáš (703 Slovensko, garant, domácí) -- Hampejs, Tomáš (203 Česká republika, domácí) -- Skalík, Jan (203 Česká republika, domácí) -- Výtvarová, Eva (203 Česká republika, domácí) -- Hlinka, Jaroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: Environmental attitudes; Connectedness to Nature Scale; New Ecological Paradigm Scale; Implicit Association Test; implicit attitudes; context sensitivity
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Ing. Alena Raisová, učo 36962. Změněno: 8. 4. 2016 12:55.
    3. BUKAČ, Vít, Zdeněk ŘÍHA, Lukáš NĚMEC, Vlasta ŠŤAVOVÁ a Václav MATYÁŠ. DDoSaaS: DDoS jako služba. Online. In IS2: From trends to solutions. Praha: Tate International, 2015, s. 35-39. ISBN 978-80-86813-28-8.
      Název česky: DDoSaaS: DDoS jako služba
      Název anglicky: DDoS as a service
      Informatika. čeština. Česká republika.
      Klíčová slova anglicky: ddosaas;denial of service;kill chain;ddos attack

      Změnil: Mgr. Vít Bukač, Ph.D., učo 172999. Změněno: 6. 6. 2015 01:41.
    4. OSOLSOBĚ, Klára, Pavel ŠMERK, Karel PALA a Dana HLAVÁČKOVÁ. Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy. In Seminář o digitálních zdrojích a službách ve společenských a humanitních vědách, Praha, 24. 9. 2015. 2015.
      Název anglicky: Deriv— Softwaretool for Exploring of Czech Derivational Morphology
      RIV/00216224:14210/15:00085882 Prezentace na konferencích. Jazykověda. čeština. Česká republika.
      Osolsobě, Klára (203 Česká republika, garant, domácí) -- Šmerk, Pavel (203 Česká republika, domácí) -- Pala, Karel (203 Česká republika, domácí) -- Hlaváčková, Dana (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; softwaretool
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: prof. PhDr. Klára Osolsobě, Dr., učo 1996. Změněno: 19. 2. 2018 09:57.
    5. OSOLSOBĚ, Klára, Pavel ŠMERK, Karel PALA a Dana HLAVÁČKOVÁ. Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy. In Hlaváčová, Jaroslava. Sborník semináře o digitálních zdrojích a službách ve společenských a humanitních vědách. 1. vyd. Praha: ÚFAL MFF UK, 2015, s. 42-46. ISBN 978-80-904571-9-5.
      URL
      Název anglicky: Deriv— Softwaretool for Exploring of Czech Derivational Morphology
      RIV/00216224:14210/15:00084118 Stať ve sborníku. Jazykověda. čeština. Česká republika.
      Osolsobě, Klára (203 Česká republika, garant, domácí) -- Šmerk, Pavel (203 Česká republika, domácí) -- Pala, Karel (203 Česká republika, domácí) -- Hlaváčková, Dana (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; softwaretool
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: prof. PhDr. Klára Osolsobě, Dr., učo 1996. Změněno: 19. 2. 2018 09:58.
    6. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV: Stať ve sborníku. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: RNDr. Daniel Jakubík, učo 139797. Změněno: 14. 12. 2024 12:56.
    7. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV: Stať ve sborníku. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: RNDr. Daniel Jakubík, učo 139797. Změněno: 9. 12. 2024 15:27.
    8. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV: Stať ve sborníku. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: RNDr. Daniel Jakubík, učo 139797. Změněno: 9. 12. 2024 15:26.
    9. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV: Stať ve sborníku. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: RNDr. Daniel Jakubík, učo 139797. Změněno: 9. 12. 2024 15:26.
    10. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV: Stať ve sborníku. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: RNDr. Daniel Jakubík, učo 139797. Změněno: 9. 12. 2024 15:24.
    11. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV: Stať ve sborníku. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: RNDr. Daniel Jakubík, učo 139797. Změněno: 9. 12. 2024 15:24.
    12. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      RIV/00216224:14330/15:00085554 Stať ve sborníku. Jazykověda. angličtina. Německo.
      Pala, Karel (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: derivational morphology; word formation; Czech language
      Druh sborníku: předkonferenční sborník

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 9. 2018 16:36.
    13. PALA, Karel a Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, s. 515-523. ISSN 2565-4373. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.
      Název anglicky: Derivancze - Derivational Analyzer of Czech
      angličtina. Německo.
      Klíčová slova anglicky: derivational morphology; word formation; Czech language

      Změnil: Bc. Andrej Dravecký, učo 445432. Změněno: 16. 12. 2024 16:25.
    14. ONDRÁČEK, Martin, Luděk NOVOTNÝ, David RŮŽIČKA, Roman URBANSKÝ, Václav MATYÁŠ, Vlasta ŠŤAVOVÁ a David ŠMAHEL. Prototypový autentizační systém obnovy hesla. 2015.
      Název anglicky: Prototype authentication system for password recovery
      RIV/00216224:14330/15:00086734 Software. Informatika. čeština. Česká republika.
      Ondráček, Martin (203 Česká republika) -- Novotný, Luděk (203 Česká republika) -- Růžička, David (203 Česká republika) -- Urbanský, Roman (203 Česká republika) -- Matyáš, Václav (203 Česká republika, garant, domácí) -- Šťavová, Vlasta (203 Česká republika, domácí) -- Šmahel, David (203 Česká republika, domácí)
      Klíčová slova anglicky: authentication system; password recovery

      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 17. 10. 2018 09:37.
    15. RUDOVÁ, Hana, Zuzana MÜLLEROVÁ a Müller TOMÁŠ. Rozvrhování předmětů na Masarykově univerzitě. In Jan Rychlík. EUNIS-CZ - Sborník příspěvků ke konferenci Studijní a informační systémy a IS na podporu výzkumu a vývoje. Plzeň, Česká republika: Západočeská univerzita v Plzni, Univerzitní knihovna, 2015, s. 51-57. ISBN 978-80-261-0507-7.
      Název anglicky: Course timetabling at Masaryk Univeristy
      RIV/00216224:14330/15:00081690 Stať ve sborníku. Informatika. čeština. Česká republika.
      Rudová, Hana (203 Česká republika, garant, domácí) -- Müllerová, Zuzana (203 Česká republika) -- Tomáš, Müller (203 Česká republika)
      Klíčová slova anglicky: educational timetabling; UniTime; automated timetabling; timetabling system
      Druh sborníku: předkonferenční sborník

      Změnila: doc. Mgr. Hana Rudová, Ph.D., učo 3840. Změněno: 6. 4. 2016 21:29.
    16. ŠMERK, Pavel. Semantic Regularity of Derivational Relations. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Ninth Workshop on Recent Advances in Slavonic Natural Language Processing. Brno: Tribun EU, 2015, s. 87-92. ISBN 978-80-263-0974-1.
      URL
      RIV/00216224:14330/15:00085164 Stať ve sborníku. Jazykověda. angličtina. Česká republika.
      Šmerk, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: derivational morphology; semantics of the derivational relations; word2vec

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 21. 5. 2021 23:14.
    17. BUKAČ, Vít, Vlasta ŠŤAVOVÁ, Lukáš NĚMEC, Zdeněk ŘÍHA a Václav MATYÁŠ. Service in denial – clouds going with the winds. In Qiu, M., Xu, S., Yung, M., Zhang, H. Network and System Security, 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings. 1. vyd. Switzerland: Springer International Publishing, 2015, s. 130-143. ISBN 978-3-319-25644-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-25645-0_9.
      URL
      RIV/00216224:14330/15:00084690 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Bukač, Vít (203 Česká republika, garant, domácí) -- Šťavová, Vlasta (203 Česká republika, domácí) -- Němec, Lukáš (203 Česká republika, domácí) -- Říha, Zdeněk (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: DDoS
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 4. 1. 2017 10:54.
    18. JANČA, Radim, Kamil MALINKA a Vlasta ŠŤAVOVÁ. Systém pro distribuci dotazníků v počítačových učebnách. 2015.
      Zdrojový kód aplikace evi_questionare
      Název česky: Systém pro distribuci dotazníků v počítačových učebnách
      Název anglicky: The system for questionnaire distribution in computer study rooms
      RIV/00216224:14610/15:00087049 Software. Informatika. čeština. Česká republika.
      Janča, Radim (203 Česká republika, domácí) -- Malinka, Kamil (203 Česká republika, domácí) -- Šťavová, Vlasta (203 Česká republika, domácí)
      Klíčová slova anglicky: questionare; policy; powershell; mysql

      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 17. 5. 2016 15:42.

    2014

    1. Š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.
    2. LINKOV, Václav, Pavel ŠMERK, Bingbing LI a David ŠMAHEL. Personality Perception in Instant Messenger Communication in the Czech Republic and People’s Republic of China. Studia psychologica : an international journal of research and theory in psychological sciences. 2014, roč. 56, č. 4, s. 287-300. ISSN 0039-3320. Dostupné z: https://dx.doi.org/10.21909/sp.2014.04.667.
      RIV/00216224:14230/14:00073245 Článek v odborném periodiku. Psychologie. angličtina. Slovensko.
      Linkov, Václav (203 Česká republika, domácí) -- Šmerk, Pavel (203 Česká republika, garant, domácí) -- Li, Bingbing (156 Čína) -- Šmahel, David (203 Česká republika, domácí)
      Klíčová slova anglicky: personality perception accuracy; cues for personality perception; Big Five; social perception; computer mediated communication
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 19. 3. 2020 23:47.
    3. 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.
    4. ŠMERK, Pavel. Tools for Fast Morphological Analysis Based on Finite State Automata. In Eighth Workshop on Recent Advances in Slavonic Natural Language Processing. Brno: Tribun EU, 2014, s. 147-150. ISSN 2336-4289.
      URL
      RIV/00216224:14330/14:00077522 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Šmerk, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: morphological analysis; minimal deterministic finite state automata
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 21. 5. 2021 23:13.

    2013

    1. Š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.
    2. Š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.
    3. JAKUBÍČEK, Miloš, Pavel ŠMERK a Pavel RYCHLÝ. Fast Construction of a Word-Number Index for Large Data. In A. Horák, P. Rychlý. RASLAN 2013 Recent Advances in Slavonic Natural Language Processing. Brno: Tribun EU, 2013, s. 63-67. ISBN 978-80-263-0520-0.
      URL
      RIV/00216224:14330/13:00070327 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Jakubíček, Miloš (203 Česká republika, garant, domácí) -- Šmerk, Pavel (203 Česká republika, domácí) -- Rychlý, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: word to number index; number to word index; finite state automata; hat-trie
      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: 21. 5. 2021 23:13.
    4. BRÁZDOVÁ, Marie, Tomáš MARTÍNEK a Matej LEXA. In silico search for secondary structures in p53 target genes using R/Bioconductor. In Tomáš Vinař, Martin Holeňa, Matej Lexa, Ladislav Peška, Peter Vojtáš. ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials). Neuvedeno: CreateSpace Independent Publishing Platform, 2013, s. 42-46. ISBN 1-4909-5208-X.
      URL
      RIV/00216224:14330/13:00068953 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brázdová, Marie (203 Česká republika) -- Martínek, Tomáš (203 Česká republika) -- Lexa, Matej (703 Slovensko, garant, domácí)
      Klíčová slova anglicky: R/bioconductor; p53; bioinformatika; analýza sekvence DNA
      Druh sborníku: předkonferenční sborník

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 06:20.
    5. Š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.
    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.
      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.
    7. 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.
    8. 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.
    9. 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.
    10. 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.
    11. Š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.

    2012

    1. 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.
    2. FOREJT, Vojtěch, Petr JANČAR, Stefan KIEFER a James WORRELL. Bisimilarity of Probabilistic Pushdown Automata. Online. In Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. FSTTCS. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012, s. 448-460. ISBN 978-3-939897-47-7.
      URL
      RIV/00216224:14330/12:00064716 Stať ve sborníku. Informatika. angličtina. Německo.
      Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Jančar, Petr (203 Česká republika) -- Kiefer, Stefan (276 Německo) -- Worrell, James (826 Velká Británie a Severní Irsko)
      Klíčová slova anglicky: Bisimulation; infinite state systems; stochastic system

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 09:34.
    3. Š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.
    4. ŠPONER, Jiří, Claudio A MORGADO a Daniel SVOZIL. Comment on "Computational Model for Predicting Experimental RNA and DNA Nearest-Neighbor Free Energy Rankings". Journal of Physical Chemistry B. WASHINGTON: AMER CHEMICAL SOC, 2012, roč. 116, č. 28, s. 8331-8332. ISSN 1520-6106. Dostupné z: https://dx.doi.org/10.1021/jp300659f.
      URL
      Biofyzika. angličtina. Spojené státy.
      Klíčová slova anglicky: ACID BASE-PAIRS; STACKING ENERGIES; STABILITY; PARAMETERS; STEPS
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Olga Křížová, učo 56639. Změněno: 28. 4. 2014 16:10.
    5. Š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.
    6. SMOLKA, Tobiáš, Petr ŠVENDA, Lukáš SEKANINA a Václav MATYÁŠ. Evolutionary Design of Message Efficient Secrecy Amplification Protocols. In Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta. LNCS 7244, Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012. Berlin: Springer Verlag, 2012, s. 194-205. ISBN 978-3-642-29138-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-29139-5_17.
      Název anglicky: Evolutionary Design of Message Efficient Secrecy Amplification Protocols
      RIV/00216224:14330/12:00057349 Stať ve sborníku. Informatika. angličtina. Německo.
      Smolka, Tobiáš (703 Slovensko, garant, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Sekanina, Lukáš (203 Česká republika) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: linear genetic programming; secrecy amplification protocols
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:13.
    7. KARAS, Pavel, David SVOBODA a Pavel ZEMČÍK. GPU Optimization of Convolution for Large 3-D Real Images. In Blanc-Talon, Jacques and Philips, Wilfried and Popescu, Dan and Scheunders, Paul and Zemcík, Pavel. Proceedings of the International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS’12). Neuveden: Springer Berlin / Heidelberg, 2012, s. 59-71. ISBN 978-3-642-33139-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33140-4_6.
      URL
      RIV/00216224:14330/12:00057444 Stať ve sborníku. Informatika. angličtina. Německo.
      Karas, Pavel (203 Česká republika, garant, domácí) -- Svoboda, David (203 Česká republika, domácí) -- Zemčík, Pavel (203 Česká republika)
      Klíčová slova anglicky: gpu; convolution; 3-D; image processing
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Karas, Ph.D., učo 106808. Změněno: 2. 4. 2013 15:36.
    8. Š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.
    9. Š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.
    10. Š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.
    11. SINETOVA, M, Jan ČERVENÝ, Tomáš ZAVŘEL a Ladislav NEDBAL. On the dynamics and constraints of batch culture growth of the cyanobacterium Cyanothece sp. ATCC 51142. Journal of Biotechnology. 2012. Dostupné z: https://dx.doi.org/10.1016/j.jbiotec.2012.04.009.

      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 28. 11. 2014 14:10.
    12. SINETOVA, MA, Jan ČERVENÝ, Tomáš ZAVŘEL a Ladislav NEDBAL. On the dynamics and constraints of batch culture growth of the cyanobacterium Cyanothece sp ATCC 51142. Journal of Biotechnology. Amsterdam: Elsevier, 2012, roč. 162, č. 1, s. 148-155. ISSN 0168-1656. Dostupné z: https://dx.doi.org/10.1016/j.jbiotec.2012.04.009.
      angličtina.
      Klíčová slova anglicky: Growth limitation; Photoprotection; Oscillations; Nitrogen fixation; Microbial communication
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 28. 11. 2014 13:51.
    13. ZAVŘEL, Tomáš, Jan ČERVENÝ, Maria SINETOVA, Zaneta POCHYLOVA a Ladislav NEDBAL. On the dynamics and constraints of batch culture growth of two cyanobacterial unicellular strains: Cyanothece sp. ATCC 51142 and Synechocystis sp. PCC 6803. In Young Algaeneers Symposium, Book of Abstract. 2012.
      Změnil: Mgr. Tomáš Zavřel, Ph.D., učo 184747. Změněno: 27. 6. 2014 12:14.
    14. FISER, J, P ZITEK a Jan ČERVENÝ. RELAY FEEDBACK OSCILLATOR DESIGN FOR MODELING CIRCADIAN RHYTHMS IN CYANOBACTERIA. NEW YORK: AMER SOC MECHANICAL ENGINEERS, 2012, s. 549-556.
      angličtina.
      Klíčová slova anglicky: circadian rhythms; oscillator; limit cycle; relay characteristics; cyanobacteria growth

      Změnil: Ing. Jan Červený, Ph.D., učo 118661. Změněno: 28. 11. 2014 13:52.
    15. ŠPONER, Jiří, Arnošt MLÁDEK, Judit ŠPONEROVÁ, Daniel SVOZIL, Marie ZGARBOVÁ, Pavel BANÁŠ, Petr JUREČKA a Michal OTYEPKA. The DNA and RNA sugar–phosphate backbone emerges as the key player. An overview of quantum-chemical, structural biology and simulation studies. PHYSICAL CHEMISTRY CHEMICAL PHYSICS. CAMBRIDGE: ROYAL SOC CHEMISTRY, 2012, roč. 14, č. 44, s. 15257-15277. ISSN 1463-9076. Dostupné z: https://dx.doi.org/10.1039/c2cp41987d.
      URL
      RIV/00216224:14740/12:00057887 Článek v odborném periodiku. Biofyzika. angličtina. Velká Británie a Severní Irsko.
      Šponer, Jiří (203 Česká republika, garant, domácí) -- Mládek, Arnošt (203 Česká republika, domácí) -- Šponerová, Judit (348 Maďarsko, domácí) -- Svozil, Daniel (203 Česká republika) -- Zgarbová, Marie (203 Česká republika) -- Banáš, Pavel (203 Česká republika) -- Jurečka, Petr (203 Česká republika) -- Otyepka, Michal (203 Česká republika)
      Klíčová slova anglicky: HEPATITIS-DELTA-VIRUS; MOLECULAR-DYNAMICS SIMULATIONS; NUCLEIC-ACID BACKBONE; DENSITY-FUNCTIONAL CALCULATIONS; INTRAMOLECULAR HYDROGEN-BONDS; SINGLE-STRAND BREAKS; INTRINSIC CONFORMATIONAL PROPERTIES; MAIN-GROUP THERMOCHEMISTRY; SELF-CLEAVING RIBOZYMES
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Olga Křížová, učo 56639. Změněno: 28. 2. 2013 07:30.
    16. 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.
    17. MORGADO, Claudio A, Daniel SVOZIL, Douglas H TURNER a Jiří ŠPONER. Understanding the role of base stacking in nucleic acids. MD and QM analysis of tandem GA base pairs in RNA duplexes. Physical Chemistry Chemical Physics. CAMBRIDGE: ROYAL SOC CHEMISTRY, 2012, roč. 14, č. 36, s. 12580-12591. ISSN 1463-9076. Dostupné z: https://dx.doi.org/10.1039/c2cp40556c.
      URL
      RIV/00216224:14740/12:00057881 Článek v odborném periodiku. Biofyzika. angličtina. Velká Británie a Severní Irsko.
      Morgado, Claudio A (152 Chile) -- Svozil, Daniel (203 Česká republika) -- Turner, Douglas H (840 Spojené státy) -- Šponer, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: DENSITY-FUNCTIONAL THEORY; GAUSSIAN-BASIS SETS; DOT-A MISMATCHES; MAGNETIC-RESONANCE-SPECTROSCOPY; RELAXATION MATRIX APPROACH; EMPIRICAL DISPERSION TERM; UNIQUE DINUCLEOTIDE STEPS; MOLECULAR-ORBITAL METHODS; LARGE SUBUNIT 23S-LIKE; PROTEIN DATA-BANK
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Olga Křížová, učo 56639. Změněno: 6. 4. 2013 17:36.
    18. POCHYLOVA, Zaneta, Tomáš ZAVŘEL, Jan ČERVENÝ, Maria SINETOVA a Ladislav NEDBAL. Unicellular cyanobacterium Synechocystis sp. PCC 6803 and its recombinant strain with ethylene forming gene: growth optimization and ethylene production. 2012.
      Změnil: Mgr. Tomáš Zavřel, Ph.D., učo 184747. Změněno: 27. 6. 2014 12:16.
    19. LOKOČ, Jakub, David NOVÁK, Michal BATKO a Tomáš SKOPAL. Visual Image Search: Feature Signatures or/and Global Descriptors. In Navarro, Gonzalo and Pestov, Vladimir. Similarity Search and Applications. Berlin / Heidelberg: Springer, 2012, s. 177-191. ISBN 978-3-642-32152-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-32153-5_13.
      publisher site
      RIV/00216224:14330/12:00057558 Stať ve sborníku. Informatika. angličtina. Německo.
      Lokoč, Jakub (203 Česká republika) -- Novák, David (203 Česká republika, garant, domácí) -- Batko, Michal (203 Česká republika, domácí) -- Skopal, Tomáš (203 Česká republika)
      Klíčová slova anglicky: similarity search; CBIR; global visual descriptors; visual signatures; SQFD
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:17.
    20. KUČERA, Antonín, Thomas A. HENZINGER, Jaroslav NEŠETŘIL, Tomáš VOJNAR a David ANTOŠ. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS, 2012. ISBN 978-80-87342-15-2.
      Informatika. angličtina. Česká republika.
      Druh sborníku: předkonferenční sborník

      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 5. 12. 2012 20:56.

    2011

    1. MARTÍNEK, Tomáš a Matej LEXA. Architecture Model for Approximate Tandem Repeat Detection. In 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors. Santa Monica, California, US: IEEE CS, 2011, s. 239-242. ISBN 978-1-4577-1290-6. Dostupné z: https://dx.doi.org/10.1109/FCCM.2010.21.
      RIV/00216224:14330/11:00050002 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Martínek, Tomáš (203 Česká republika, garant) -- Lexa, Matej (703 Slovensko, domácí)
      Klíčová slova anglicky: Approximate tandem repeat; Architecture model; Automated mapping; FPGA;
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Ing. Matej Lexa, Ph.D., učo 31298. Změněno: 17. 1. 2013 16:43.
    2. HANÁČEK, Petr a Petr ŠVENDA. Cryptography for (partially) compromised sensor networks. In Eva Racková. Information Security Summit - Crisis Plans and Security. Praha: DSM - data security management, 2011, s. 102-118. ISBN 978-80-86813-22-6.
      Název anglicky: Cryptography for (partially) compromised sensor networks
      RIV/00216224:14330/11:00065747 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Hanáček, Petr (203 Česká republika) -- Švenda, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: wireless sensor networks; cryptographic smart cards

      Změnil: doc. RNDr. Petr Švenda, Ph.D., učo 4085. Změněno: 13. 12. 2013 16:50.
    3. BARTÁKOVÁ, Vendula, Veronika TANHÄUSEROVÁ, Lukáš PÁCAL, Katarína KURICOVÁ, Petra LINHARTOVÁ a Kateřina KAŇKOVÁ. Diabetic nephropathy - Pharmacogenomics and variability in genes of renin-angiotensin-aledosterone system. In XV. Setkání biochemiků a molekulárních biologů. Brno: Masarykova univerzita. 2011. ISBN 978-80-210-5594-0.
      URL
      Název česky: Diabetická nefropatie - farmakogenomika a variablita v genech renin-angiotensin-aldosteronového systému
      Název anglicky: Diabetic nephropathy - Pharmacogenomics and variability in genes of renin-angiotensin-aledosterone system
      Genetika a molekulární biologie. angličtina. Česká republika.
      Klíčová slova anglicky: diabetes mellitus, diabetic nephropathy, renin-angiotenzin-aldosterone system, pharmacogenomics
      Druh účasti: aktivní účast

      Změnila: MUDr. Vendula Bartáková, Ph.D., učo 141885. Změněno: 2. 11. 2011 09:38.
    4. MRÁZKOVÁ, Kateřina. Kartografické dovednosti ve výuce zeměpisu: teoretický model a výsledky výzkumného šetření. In Janík, T., Najvar, P., Kubiatko, M. a kol. Kvalita kurikula a výuky: výzkumné přístupy a nástroje. 1. vyd. Brno: Masarykova univerzita, 2011, s. 195-207. Pedagogický výzkum v teorii a praxi, svazek 23. ISBN 978-80-210-5705-0.
      Název česky: Kartografické dovednosti ve výuce zeměpisu: teoretický model a výsledky výzkumného šetření
      Název anglicky: Map Skills in Geography Teaching: Theoretic Model and Results of Research
      RIV/00216224:14410/11:00055923 Kapitola resp. kapitoly v odborné knize. Pedagogika a školství. čeština. Česká republika.
      Mrázková, Kateřina (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: map; map skills; skills; pupils;

      Změnila: Mgr. Kateřina Gorčíková, Ph.D., učo 129111. Změněno: 4. 3. 2012 22:50.
    5. HERMAN, Jiří, Radan KUČERA a Jaromír ŠIMŠA. Metody řešení matematických úloh I. 3. vyd. Brno: Masarykova univerzita, 2011, 278 s. ISBN 978-80-210-5636-7.
      Obecná matematika. čeština. Česká republika.
      Změnila: Mgr. Radka Vyskočilová, učo 2368. Změněno: 16. 4. 2012 08:24.
    6. KUBIATKO, Milan, Kateřina MRÁZKOVÁ a Tomáš JANKO. Postoje žáků 2. stupně základních škol k vyučovacímu předmětu zeměpis. Pedagogika. 2011, roč. 61, č. 3, s. 257-270. ISSN 0031-3815.
      Název anglicky: The attitudes of lower secondary-school pupils’ to geography as a teaching subject
      RIV/00216224:14410/11:00053534 Článek v odborném periodiku. Pedagogika a školství. čeština. Česká republika.
      Kubiatko, Milan (703 Slovensko, garant, domácí) -- Mrázková, Kateřina (203 Česká republika, domácí) -- Janko, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: questionnaire; attitudes; geography; lower secondary school pupils
      Recenzováno: ano

      Změnil: PaedDr. Milan Kubiatko, PhD., učo 108312. Změněno: 8. 3. 2013 13:48.
    7. MATYSKA, Luděk, Michal KOZUBEK, Tomáš VOJNAR, Pavel ZEMČÍK a David ANTOŠ. Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4.
      URL
      Název česky: MEMICS 2010: Šestý doktorský workshop o matematických a inženýrských metodách v Computer Science -- Vybrané články
      RIV/00216224:14330/11:00049744 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Počítačový hardware a software. angličtina. Česká republika.
      Matyska, Luděk (203 Česká republika, garant, domácí) -- Kozubek, Michal (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika) -- Zemčík, Pavel (203 Česká republika) -- Antoš, David (203 Česká republika, domácí)
      Klíčová slova anglicky: MEMICS; workshop

      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 11. 4. 2011 17:40.

    2008

    1. CoUniverse (software)
      HOLUB, Petr a Miloš LIŠKA. CoUniverse. 2008.
      URL
      Název česky: CoUniverse
      RIV/00216224:14330/08:00027476 Software. Informatika. angličtina. Česká republika.
      Holub, Petr (203 Česká republika, garant) -- Liška, Miloš (203 Česká republika)
      Klíčová slova anglicky: CoUniverse; self-organizing systems
      Mezinárodní význam: ano

      Změnil: RNDr. Miloš Liška, Ph.D., učo 39565. Změněno: 17. 6. 2009 17:45.
    2. LIŠKA, Miloš a Petr HOLUB. CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications. In Lecture Notes in Computer Science vol. 5415 Euro-Par 2008 Workshops - Parallel Processing. Las Palmas de Gran Canaria, Spain: Springer Berlin / Heidelberg, 2008, s. 339-351, 12 s. ISBN 978-3-642-00954-9.
      URL
      Název česky: CoUniverse: Framework pro uživatelem řízená kolaborativní prostředí v reálném čase
      RIV/00216224:14330/08:00026095 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Liška, Miloš (203 Česká republika, domácí) -- Holub, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: CoUniverse; self-organizing systems
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. RNDr. Petr Holub, Ph.D., učo 3248. Změněno: 22. 12. 2010 11:40.
    3. ŠTEFLOVÁ, Lenka. Časopis Kamarád. In Vojtěch Blodig. Terezínské listy. Praha: Oswald, 2008, s. 163-178. ISBN 978-80-87242-04-9.

      Klíčová slova anglicky: Terezin; magazine; child; Kamarad

      Změnila: Mgr. Lenka Geidt, Ph.D., učo 144293. Změněno: 26. 1. 2014 20:45.
    4. MATYSKA, Luděk, Eva HLADKÁ, Petr HOLUB a Miloš LIŠKA. High Quality Large Scale Virtual Classroom. In Proceedings of the 14th International Conference of European University Information Systems (EUNIS 2008). Århus, Denmark: Aarhus University, 2008, 4 s. ISBN 978-87-91234-58-3.
      Název česky: Rozsáhlá virtuální třída ve vysoké kvalitě
      RIV/00216224:14330/08:00026096 Stať ve sborníku. Informatika. angličtina. Dánsko.
      Matyska, Luděk (203 Česká republika, garant) -- Hladká, Eva (203 Česká republika) -- Holub, Petr (203 Česká republika) -- Liška, Miloš (203 Česká republika)
      Klíčová slova anglicky: virtual classroom; HD video; lecture recording
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. RNDr. Petr Holub, Ph.D., učo 3248. Změněno: 30. 3. 2010 09:27.
    5. WESLEY-SMITH, Ian N., Miloš LIŠKA a Petr HOLUB. Implementation of DXT Compression for UltraGrid. CESNET, 2008. Technical report 4/2008.
      URL
      Informatika. angličtina.
      Mezinárodní význam: ano

      Změnil: doc. RNDr. Petr Holub, Ph.D., učo 3248. Změněno: 29. 8. 2013 14:57.

    2007

    1. SVOBODOVÁ VAŘEKOVÁ, Radka, Zuzana JIROUŠKOVÁ, Jakub VANĚK, Šimon SUCHOMEL a Jaroslav KOČA. Electronegativity Equalization Method: Parameterization and Validation for Large Sets of Organic, Organohalogene and Organometal Molecule. International Journal of Molecular Sciences. Basel, Switzerland: MDPI Center, 2007, roč. 2007, č. 8, s. 572-582. ISSN 1422-0067.
      URL
      Název česky: Electronegativity Equalization Method: Parameterization and Validation for Large Sets of Organic, Organohalogene and Organometal Molecule
      RIV/00216224:14310/07:00022795 Článek v odborném periodiku. Fyzikální chemie a teoretická chemie. angličtina. Česká republika.
      Svobodová Vařeková, Radka (203 Česká republika, domácí) -- Jiroušková, Zuzana (203 Česká republika, domácí) -- Vaněk, Jakub (203 Česká republika) -- Suchomel, Šimon (203 Česká republika, domácí) -- Koča, Jaroslav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Charge Distribution; Electronegativity Equalization Method; Parameterization; Organohalogenes; Organometals
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 1. 2019 13:45.

    2006

    1. GREGAR, Tomáš, Zuzana NEVĚŘILOVÁ, Adam RAMBOUSEK a Tomáš PITNER. Vizualizace znalostí v e-learningu. In SCO 2006, Sharable Content Objects, 3. ročník konference o elektronické podpoře výuky. 2006. vyd. Brno: Masarykova univerzita, 2006, s. 39-45. ISBN 80-210-3923-X.
      Web konference
      Název anglicky: Knowledge visualization in E-learning
      RIV/00216224:14330/06:00015294 Stať ve sborníku. Informatika. čeština. Česká republika.
      Gregar, Tomáš (203 Česká republika, garant, domácí) -- Nevěřilová, Zuzana (203 Česká republika, domácí) -- Rambousek, Adam (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: visualisation; RDF/OWL; ontology; e-learning; Java; web service

      Změnil: RNDr. Adam Rambousek, Ph.D., učo 60380. Změněno: 8. 7. 2022 13:35.

    2001

    1. NEPIL, Miloslav, Lubomír POPELÍNSKÝ a Eva ŽÁČKOVÁ. Part-of-Speech Tagging by Means of Shallow Parsing, ILP and Active Learning. In Proceedings of the Third Workshop on Learning Language in Logic, LLL 2001, Strasbourg, France, September 2001. Brno: FI MU, 2001, s. 58-66.
      RIV/00216224:14330/01:00005024 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Francie.
      Klíčová slova anglicky: part-of-speech tagging;shallow parsing;active learning;inductive logic programming

      Změnil: Mgr. Miloslav Nepil, Ph.D., učo 3360. Změněno: 12. 12. 2001 18:04.

    2000

    1. ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ a Miloslav NEPIL. Automatic Tagging of Compound Verb Groups in Czech Corpora. Edited by Sojka P., Kopeček I. and Pala K. In Text, Speech and Dialogue: Third International Workshop, TSD 2000, Brno, Czech Republic, September 2000. 1st ed. Berlin: Springer Verlag, 2000, s. 115-120. Lecture Notes in Artificial Intelligence 1902. ISBN 3-540-41042-2.
      RIV/00216224:14330/00:00002785 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Německo.
      Klíčová slova anglicky: compound verb groups;Czech language;corpora;morphosyntactic tagging;inductive logic programming

      Změnila: Mgr. Eva Mráková, Ph.D., učo 2575. Změněno: 23. 1. 2001 12:37.
    2. ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ a Miloslav NEPIL. Recognition and Tagging of Compound Verb Groups in Czech. In Proceedings of CoNLL-2000 and LLL-2000, Lisbon, Portugal, September 2000. New Brunswick: Association for Computational Linguistics, 2000, s. 219-225.
      RIV/00216224:14330/00:00002819 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Spojené státy.
      Klíčová slova anglicky: compound verb groups;chunking;morphosyntactic tagging;inductive logic programming

      Změnil: Mgr. Miloslav Nepil, Ph.D., učo 3360. Změněno: 30. 1. 2001 15:55.

    1999

    1. ŽÁČKOVÁ, Eva a Karel PALA. Corpus-Based Rules for Czech Verb Discontinuous Constituents. Edited by Matoušek V., Mautner P., Ocelíková J., Sojka P. In Text, Speech and Dialogue: Second International Workshop TSD '99, Plzen, Czech Republic, September 13-17, 1999. 1st ed. Berlin: Springer Verlag, 1999, s. 325-328. Lecture Notes in Artificial Intelligence 1692. ISBN 3-540-66494-7.
      RIV/00216224:14330/99:00001566 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Německo.
      Klíčová slova anglicky: verb groups;Czech language;syntactic analysis;discontinuous constituents;corpora

      Změnila: Mgr. Eva Mráková, Ph.D., učo 2575. Změněno: 24. 2. 2000 11:38.
      Přír. čísla: 4200505436

    1998

    1. ŽÁČKOVÁ, Eva a Pavel SMRŽ. New Tools for Disambiguation of Czech Texts. Edit. P. Sojka, V. Matoušek, K. Pala, I. Kopeček. In Text, speech, dialogue : proceedings of the First Workshop on Text, Speech, Dialogue - TSD '98, Brno, Czech Republic, September_23-26,_1998. 1st ed. Brno: Masaryk University, 1998, s. 129-134. ISBN 80-210-1900-X.
      URL
      RIV/00216224:14330/98:00000874 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Česká republika.
      Klíčová slova anglicky: text;disambiguation;computational linguistics;syntactic analysis;corpora

      Změnil: doc. RNDr. Pavel Smrž, Ph.D., učo 1297. Změněno: 19. 3. 2001 09:27.
    2. MISÁKOVÁ, Miroslava. Písmo s variantní šířkou: nová naděje pro naše úzké sloupce? Zpravodaj CSTUG. Brno: CSTUG, 1998, roč. 8, č. 2, s. 65-81. ISSN 1211-6661.
      Název anglicky: Typesetting with varying width: a new hope for our narrow collumns?
      RIV: Článek v odborném periodiku. Počítačový hardware a software. čeština. Česká republika.
      Klíčová slova anglicky: TeX typesetting fonts typography

      Změnila: RNDr. Miroslava Misáková, učo 2660. Změněno: 17. 5. 1999 21:39.
    3. MISÁKOVÁ, Miroslava. Trendy ve vývoji etických standardů v IT. In Sborník konference RUFIS'98 (Úloha universit v budoucí informační společnosti). 1998. vyd. Liberec: Technická univerzita v Liberci, 1998, s. 143-148. ISBN 80-7083-303-3.
      Text článku. Anketa k problematice.
      Název anglicky: Trends in development of IT ethical standards
      RIV/00216224:14330/98:00000795 Stať ve sborníku. Využití počítačů, robotika a její aplikace. čeština. Česká republika.
      Klíčová slova anglicky: ethics; computer laws; profesional code of computer scientist

      Změnila: RNDr. Miroslava Misáková, učo 2660. Změněno: 13. 1. 2000 18:47.
    4. MISÁKOVÁ, Miroslava. Typesetting with varying letter widths: New hope for your narrow columns 355. TUGboat : The Communications of the TeX Users Group. San Francisco: TeX Users Group, Portland, Oregon, USA, 1998, roč. 19, č. 4, s. 355-364. ISSN 0896-3207.
      Název anglicky: Typesetting with varying letter widths: New hope for your narrow columns 355
      RIV: Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
      Klíčová slova anglicky: varying letter widths; TeX; typesetting; typography

      Změnila: RNDr. Miroslava Misáková, učo 2660. Změněno: 17. 5. 1999 21:50.
Zobrazeno: 1. 1. 2025 08:57