Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2023

    1. DAUBNER, Lukáš, Raimundas MATULEVIČIUS, Barbora BÜHNOVÁ a Tomáš PITNER. BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready Software Systems. Online. In Evaluation of Novel Approaches to Software Engineering. Cham: Springer Nature Switzerland. s. 20-43. ISBN 978-3-031-36596-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-36597-3_2
      URL
      RIV/00216224:14330/23:00131217 Stať ve sborníku. angličtina.
      Daubner, Lukáš (203 Česká republika, garant, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Forensic readiness;Forensic-ready software systems;Modelling;BPMN;Software design;Risk management;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: 7. 4. 2024 23:06.
    2. BULLA, Lukas, Matej PIVOLUSKA, Kristian HJORTH, Oskar KOHOUT, Jan LANG, Sebastian ECKER, Sebastian P NEUMANN, Julius BITTERMANN, Robert KINDLER, Marcus HUBER, Martin BOHMANN a Rupert URSIN. Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication. Online. Physical Review X. College Park: American Physical Society, roč. 13, č. 2, s. 1-12. ISSN 2160-3308. Dostupné z: https://dx.doi.org/10.1103/PhysRevX.13.021001
      URL
      Název anglicky: Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication
      RIV/00216224:14610/23:00131028 Článek v odborném periodiku. angličtina. Spojené státy.
      Pivoluska, Matej (703 Slovensko, garant, domácí)
      Klíčová slova anglicky: KEY DISTRIBUTION;ENTANGLEMENT;LASER
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 20. 3. 2024 15:42.

    2022

    1. DAUBNER, Lukáš, Raimundas MATULEVIČIUS, Barbora BÜHNOVÁ a Tomáš PITNER. Business Process Model and Notation for Forensic-Ready Software Systems. Online. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering. Setúbal, Portugal: SciTePress. s. 95-106. ISBN 978-989-758-568-5. Dostupné z: https://dx.doi.org/10.5220/0011041000003176
      URL
      RIV/00216224:14330/22:00125901 Stať ve sborníku. angličtina.
      Daubner, Lukáš (203 Česká republika, garant, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Forensic Readiness; Forensic-Ready Software Systems; Modelling; BPMN; Software Design
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Lukáš Daubner, Ph.D., učo 410034. Změněno: 1. 2. 2023 14:24.
    2. MÍČ, Vladimír a Pavel ZEZULA. Concept of Relational Similarity Search. Online. In Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5 - October 7, 2022, Proceedings. Cham: Springer. s. 89-103. ISBN 978-3-031-17848-1. Dostupné z: https://dx.doi.org/10.1007/978-3-031-17849-8_8
      URL
      RIV/00216224:14330/22:00127336 Stať ve sborníku. angličtina. Švýcarsko.
      Míč, Vladimír (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Efficient similarity search;Relational similarity;Similarity comparisons;Effective similarity search
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vladimír Míč, Ph.D., učo 359890. Změněno: 22. 11. 2023 16:43.
    3. MÍČ, Vladimír a Pavel ZEZULA. Data-dependent Metric Filtering. Online. Information systems. roč. 108, 12.5.2022, s. "101980", 21 s. ISSN 0306-4379. Dostupné z: https://dx.doi.org/10.1016/j.is.2021.101980
      URL
      RIV/00216224:14330/22:00125539 Článek v odborném periodiku. angličtina. Nizozemské království.
      Míč, Vladimír (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Metric Space Searching;Similarity Search;Metric Filtering;Data Dependent Filtering
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vladimír Míč, Ph.D., učo 359890. Změněno: 12. 5. 2022 12:50.
    4. ABBADI, Ahmad a Václav PŘENOSIL. Enhancing Requirements Completeness of Automated Driving System in Concept Phase. Online. In Mazal. International Conference on Modelling and Simulation for Autonomous Systems / MESAS 2021: Modelling and Simulation for Autonomous Systems. 1st. Switzerland: Springer Nature Switzerland AG. s. 377-396. ISBN 978-3-030-98259-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-98260-7_24
      URL
      Název česky: Zvyšování požadavků na úplnost systému automatizovaného řízení ve fázi konceptu
      Název anglicky: Enhancing Requirements Completeness of Automated Driving System in Concept Phase
      RIV/00216224:14330/22:00125656 Stať ve sborníku. angličtina. Švýcarsko.
      Abbadi, Ahmad (203 Česká republika, garant, domácí) -- Přenosil, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: requirement engineering; system engineering; holistic thinking; automated driving system
      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. 3. 2023 10:12.

    2021

    1. SUCHOMEL, Vít. Genre Annotation of Web Corpora: Scheme and Issues. Online. In Kohei Arai, Supriya Kapoor, Rahul Bhatia. Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1. Vancouver, Canada: Springer Nature Switzerland AG. s. 738-754. ISBN 978-3-030-63127-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-63128-4_55
      Elektronická verze sborníku
      RIV/00216224:14330/21:00118741 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Suchomel, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Corpus annotation; Inter-annotator agreement; Text genre; Web corpora
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vít Suchomel, Ph.D., učo 139723. Změněno: 10. 1. 2023 11:49.
    2. DAUBNER, Lukáš a Raimundas MATULEVIČIUS. Risk-Oriented Design Approach For Forensic-Ready Software Systems. Online. In The 16th International Conference on Availability, Reliability and Security (ARES 2021). New York, NY, USA: Association for Computing Machinery. s. 1-10. ISBN 978-1-4503-9051-4. Dostupné z: https://dx.doi.org/10.1145/3465481.3470052
      Název anglicky: Risk-Oriented Design Approach For Forensic-Ready Software Systems
      RIV/00216224:14330/21:00122160 Stať ve sborníku. angličtina. Spojené státy.
      Daubner, Lukáš (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Forensic Readiness; Forensic-Ready Software Systems; Information System Security Risk Management
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 11:56.
    3. ZÁKOPČANOVÁ, Kristína, Marko ŘEHÁČEK, Jozef BÁTRNA, Daniel PLAKINGER, Sergej STOPPEL a Barbora KOZLÍKOVÁ. Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations. Online. IEEE Transactions on Visualization and Computer Graphics. IEEE, roč. 27, č. 2, s. 881-890. ISSN 1077-2626. Dostupné z: https://dx.doi.org/10.1109/TVCG.2020.3030356
      URL
      Název anglicky: Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations
      RIV/00216224:14330/21:00120051 Článek v odborném periodiku. angličtina. Spojené státy.
      Zákopčanová, Kristína (203 Česká republika, domácí) -- Řeháček, Marko (703 Slovensko, domácí) -- Bátrna, Jozef (703 Slovensko, domácí) -- Plakinger, Daniel (703 Slovensko, domácí) -- Stoppel, Sergej (276 Německo) -- Kozlíková, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Criminal investigation;visualization;network;exploration;interaction;tracking;diagram
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 08:30.

    2020

    1. MÍČ, Vladimír a Pavel ZEZULA. Accelerating Metric Filtering by Improving Bounds on Estimated Distances. Online. In Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór JónssonRasmus Pagh. Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings. Cham: Springer. s. 3-17. ISBN 978-3-030-60935-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-60936-8_1
      URL
      RIV/00216224:14330/20:00116699 Stať ve sborníku. angličtina. Švýcarsko.
      Míč, Vladimír (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Metric space;Similarity search;Triangle inequality;Metric filtering;Estimating unknown distance
      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: 10. 5. 2021 06:02.
    2. CONNOR, Richard, Alan DEARLE, Vladimír MÍČ a Pavel ZEZULA. On the Application of Convex Transforms to Metric Search. Online. Pattern Recognition Letters. roč. 138, October 2020, s. 563-570. ISSN 0167-8655. Dostupné z: https://dx.doi.org/10.1016/j.patrec.2020.08.008
      URL
      RIV/00216224:14330/20:00116150 Článek v odborném periodiku. angličtina. Nizozemské království.
      Connor, Richard (826 Velká Británie a Severní Irsko) -- Dearle, Alan (826 Velká Británie a Severní Irsko) -- Míč, Vladimír (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: similarity search; transformation of distance function; metric space; convex transform
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:51.

    2019

    1. MÍČ, Vladimír, David NOVÁK a Pavel ZEZULA. Binary Sketches for Secondary Filtering. Online. ACM Transactions on Information Systems. New York: ACM Press, roč. 37, č. 1, s. "1:1"-"1:28", 28 s. ISSN 1046-8188. Dostupné z: https://dx.doi.org/10.1145/3231936
      URL
      RIV/00216224:14330/19:00107167 Článek v odborném periodiku. angličtina. Spojené státy.
      Míč, Vladimír (203 Česká republika, domácí) -- Novák, David (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Top-k retrieval in databases;Retrieval efficiency;Retrieval effectiveness;Similarity measures;

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 4. 2020 23:22.

    2018

    1. ABBADI, Ahmad a Radomil MATOUSEK. Hybrid rule-based motion planner for mobile robot in cluttered workspace. Online. Soft computing. Germany: Springer, roč. 22, č. 6, s. 1815-1831. ISSN 1432-7643. Dostupné z: https://dx.doi.org/10.1007/s00500-016-2103-4
      URL
      RIV/00216224:14330/18:00101937 Článek v odborném periodiku. Využití počítačů, robotika a její aplikace. angličtina. Německo.
      Abbadi, Ahmad (760 Sýrie, domácí) -- Matousek, Radomil (203 Česká republika)
      Klíčová slova anglicky: Motion planning; Path planning; Rule-based; Sampling-based planner; Guided planner; RRT; Cell decomposition; Adaptive sampling
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2019 14:53.
    2. MÍČ, Vladimír, David NOVÁK, Lucia VADICAMO a Pavel ZEZULA. Selecting Sketches for Similarity Search. Online. In András Benczúr, Bernhard Thalheim, Tomáš Horváth. Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018. Cham: Springer International Publishing. s. 127-141. ISBN 978-3-319-98397-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-98398-1_9
      Název anglicky: Selecting Sketches for Similarity Search
      RIV/00216224:14330/18:00101009 Stať ve sborníku. angličtina. Švýcarsko.
      Míč, Vladimír (203 Česká republika, domácí) -- Novák, David (203 Česká republika, domácí) -- Vadicamo, Lucia (380 Itálie) -- Zezula, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: bit string sketches;similarity search;selecting technique
      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:41.
    3. KUČERA, Adam a Tomáš PITNER. Semantic BMS: Allowing usage of building automation data in facility benchmarking. Online. Advanced Engineering Informatics. roč. 35, January, s. 69-84. ISSN 1474-0346. Dostupné z: https://dx.doi.org/10.1016/j.aei.2018.01.002
      URL
      RIV/00216224:14330/18:00102257 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Kučera, Adam (203 Česká republika, garant, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Facility management; Building automation systems; Semantic sensor network ontology; Decision support; Data integration
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 3. 5. 2019 13:25.

    2017

    1. JIRSÍK, Tomáš, Milan ČERMÁK, Daniel TOVARŇÁK a Pavel ČELEDA. Toward Stream-Based IP Flow Analysis. Online. IEEE Communications Magazine. IEEE, roč. 55, č. 7, s. 70-76. ISSN 0163-6804. Dostupné z: https://dx.doi.org/10.1109/MCOM.2017.1600972
      URL
      Název anglicky: Toward Stream-Based IP Flow Analysis
      RIV/00216224:14610/17:00094364 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Jirsík, Tomáš (203 Česká republika, garant, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Tovarňák, Daniel (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: IP networks; Monitoring; Real-time systems; Data analysis; Computer security; Delays; Telecommunication traffic
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Milan Čermák, Ph.D., učo 325314. Změněno: 12. 4. 2018 09:10.

    2016

    1. VALČÍK, Jakub, Jan SEDMIDUBSKÝ a Pavel ZEZULA. Assessing similarity models for human-motion retrieval applications. Online. Computer Animation and Virtual Worlds. John Wiley & Sons Ltd, roč. 27, č. 5, s. 484-500. ISSN 1546-4261. Dostupné z: https://dx.doi.org/10.1002/cav.1674
      RIV/00216224:14330/16:00087724 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Valčík, Jakub (203 Česká republika, domácí) -- Sedmidubský, Jan (203 Česká republika, garant, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: human-motion retrieval; similarity model; effectiveness evaluation; motion capture data; action recognition
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. RNDr. Jan Sedmidubský, Ph.D., učo 60474. Změněno: 16. 4. 2019 07:36.
    2. HERMAN, Ondřej, Vít SUCHOMEL, Vít BAISA a Pavel RYCHLÝ. DSL Shared task 2016: Perfect Is The Enemy of Good Language Discrimination Through Expectation-Maximization and Chunk-based Language Model. Online. In Preslav Nakov, Marcos Zampieri, Liling Tan, Nikola Ljubešić, Jörg Tiedemann, Shervin Malmasi. Proceedings of the Third Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial3). Osaka: Association for Natural Language Processing (ANLP), Osaka, Japan. s. 114-118. ISBN 978-4-87974-716-7
      URL
      RIV/00216224:14330/16:00092557 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Herman, Ondřej (203 Česká republika, garant, domácí) -- Suchomel, Vít (203 Česká republika, domácí) -- Baisa, Vít (203 Česká republika, domácí) -- Rychlý, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: language discrimination;expectation maximization;language model
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vít Suchomel, Ph.D., učo 139723. Změněno: 1. 11. 2017 12:13.
    3. HUSÁK, Martin, Milan ČERMÁK, Tomáš JIRSÍK a Pavel ČELEDA. HTTPS Traffic Analysis and Client Identification Using Passive SSL/TLS Fingerprinting. Online. EURASIP Journal on Information Security. roč. 2016, č. 1, s. 1-14. ISSN 2510-523X. Dostupné z: https://dx.doi.org/10.1186/s13635-016-0030-7
      URL
      RIV/00216224:14610/16:00089221 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Husák, Martin (203 Česká republika, garant, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Jirsík, Tomáš (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: Network monitoring;HTTPS;User-Agent;SSL;TLS;Fingerprinting
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 18. 4. 2019 15:31.
    4. KUČERA, Adam a Tomáš PITNER. Semantic BMS: Ontology for Analysis of Building Automation Systems Data. Online. In Luis M. Camarinha-Matos, António J. Falcão, Nazanin Vafaei, Shirin Najdi. DoCEIS 2016: Technological Innovation for Cyber-Physical Systems. Cham: Springer International Publishing. s. 46-53. ISBN 978-3-319-31164-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-31165-4_5
      URL
      RIV/00216224:14330/16:00090418 Stať ve sborníku. Informatika. angličtina. Německo.
      Kučera, Adam (203 Česká republika, garant, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Computer-aided facility management;Building management systems;Intelligent buildings;Building automation systems;Semantic web;Ontology;Semantic sensor network ontology;Data integration
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Adam Kučera, Ph.D., učo 255658. Změněno: 13. 4. 2018 15:56.

    2015

    1. VELAN, Petr, Milan ČERMÁK, Pavel ČELEDA a Martin DRAŠAR. A Survey of Methods for Encrypted Traffic Classification and Analysis. Online. International Journal of Network Management. John Wiley & Sons, Ltd., roč. 25, č. 5, s. 355-374. ISSN 1055-7148. Dostupné z: https://dx.doi.org/10.1002/nem.1901
      URL URL
      Název česky: Přehled metod pro klasifikaci a analýzu šifrovaného síťového provozu
      RIV/00216224:14610/15:00080523 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Velan, Petr (203 Česká republika, garant, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí) -- Drašar, Martin (203 Česká republika, domácí)
      Klíčová slova anglicky: encrypted traffic; monitoring; network; traffic classification; traffic analysis; machine learning; encryption protocols
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 27. 4. 2018 13:17.
    2. BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR a Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. Online. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing. s. 66-83. ISBN 978-3-319-23403-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23404-5_6
      Název česky: O zpřesňování Büchiho automatů pro explicitní metodu ověřování modelu.
      RIV/00216224:14330/15:00080986 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Rujbr, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit model checking; specification refinement
      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 20:47.
    3. BABIAK, Tomáš, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ, David MÜLLER, David PARKER a Jan STREJČEK. The Hanoi Omega-Automata Format. Online. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer. s. 479-486. ISBN 978-3-319-21689-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-21690-4_31
      RIV/00216224:14330/15:00080919 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Babiak, Tomáš (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klein, Joachim (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Müller, David (276 Německo) -- Parker, David (826 Velká Británie a Severní Irsko) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: automata; infinite words; 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. 4. 2016 14:24.

    2014

    1. MAJTNER, Tomáš a David SVOBODA. Comparison of 3D Texture-based Image Descriptors in Fluorescence Microscopy. Online. In Reneta P. Barneva, Valentin E. Brimkov, Josef Šlapal. 16th International Workshop on Combinatorial Image Analysis (IWCIA) 2014. Switzerland: Springer International Publishing. s. 186-195. ISBN 978-3-319-07147-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-07148-0_17
      URL
      RIV/00216224:14330/14:00073552 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Švýcarsko.
      Majtner, Tomáš (703 Slovensko, garant, domácí) -- Svoboda, David (203 Česká republika, domácí)
      Klíčová slova anglicky: 3D images; Texture descriptors; Fluorescence microscopy; Local Binary Patterns
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Ing. Bc. Tomáš Majtner, Ph.D., učo 172786. Změněno: 9. 1. 2015 15:37.
    2. STOKLASA, Roman, Tomáš MAJTNER a David SVOBODA. Efficient k-NN based HEp-2 cells classifier. Online. PATTERN RECOGNITION. OXFORD: PERGAMON-ELSEVIER SCIENCE LTD, roč. 47, č. 7, s. 2409-2418. ISSN 0031-3203. Dostupné z: https://dx.doi.org/10.1016/j.patcog.2013.09.021
      URL
      RIV/00216224:14330/14:00073423 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Stoklasa, Roman (703 Slovensko, garant, domácí) -- Majtner, Tomáš (703 Slovensko, domácí) -- Svoboda, David (203 Česká republika, domácí)
      Klíčová slova anglicky: HEp-2 cells; Classifier; Image descriptor; Classification; Nearest neighbours; IIF; Indirect Immunofluorescence
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 21:41.
    3. KILGARRIFF, Adam, Miloš JAKUBÍČEK, Vojtěch KOVÁŘ, Pavel RYCHLÝ a Vít SUCHOMEL. Finding Terms in Corpora for Many Languages with the Sketch Engine. Online. In Proceedings of the Demonstrations at the 14th Conferencethe European Chapter of the Association for Computational Linguistics. Gothenburg, Sweden: The Association for Computational Linguistics. s. 53-56. ISBN 978-1-937284-75-6
      Plný text výsledku
      RIV/00216224:14330/14:00075387 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Kilgarriff, Adam (826 Velká Británie a Severní Irsko) -- Jakubíček, Miloš (203 Česká republika, garant, domácí) -- Kovář, Vojtěch (203 Česká republika, domácí) -- Rychlý, Pavel (203 Česká republika, domácí) -- Suchomel, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: terminology; terms; corpora; sketch engine
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vít Suchomel, Ph.D., učo 139723. Změněno: 29. 10. 2014 09:19.
    4. MAJTNER, Tomáš, Roman STOKLASA a David SVOBODA. RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells. Online. In 22nd International Conference on Pattern Recognition. Los Alamitos, California: IEEE Computer Society. s. 1194-1199. ISBN 978-1-4799-5208-3. Dostupné z: https://dx.doi.org/10.1109/ICPR.2014.215
      RIV/00216224:14330/14:00073550 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Spojené státy.
      Majtner, Tomáš (703 Slovensko, garant, domácí) -- Stoklasa, Roman (703 Slovensko, domácí) -- Svoboda, David (203 Česká republika, domácí)
      Klíčová slova anglicky: texture descriptor;rsurf;hep-2
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Ing. Bc. Tomáš Majtner, Ph.D., učo 172786. Změněno: 9. 1. 2015 15:37.

    2013

    1. PEKÁRKOVÁ, Lucie, Patrícia EIBENOVÁ a Tomáš PITNER. A framework for monitoring and evaluation of learning processes. Online. In Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. Environmental Software Systems. Fostering Information Sharing. Berlin: Springer Berlin Heidelberg. s. 525-532. ISBN 978-3-642-41150-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-41151-9_49
      RIV/00216224:14330/13:00069770 Stať ve sborníku. Informatika. angličtina. Rakousko.
      Pekárková, Lucie (203 Česká republika, domácí) -- Eibenová, Patrícia (703 Slovensko, domácí) -- Pitner, Tomáš (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: course on introduction to environmental science; Medusy project; process-oriented teaching and learning
      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. 4. 2014 23:24.
    2. SEDMIDUBSKÝ, Jan, Jakub VALČÍK a Pavel ZEZULA. A Key-Pose Similarity Algorithm for Motion Data Retrieval. Online. In J. Blanc-Talon et al. (Eds.). Proceedings of 12th International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS 2013), LNCS 8192. Switzerland: Springer International Publishing. s. 669-681. ISBN 978-3-319-02894-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02895-8_60
      RIV/00216224:14330/13:00065724 Stať ve sborníku. Informatika. angličtina. Polsko.
      Sedmidubský, Jan (203 Česká republika, garant, domácí) -- Valčík, Jakub (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: motion capture data; motion retrieval; subsequence retrieval; similar sub-motions
      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. 2014 00:25.
    3. BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. Online. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer. s. 24-38. ISBN 978-3-319-02443-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_4
      Název česky: Efektivní překlad LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066175 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- Babiak, Tomáš (703 Slovensko, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:58.
    4. LÍŠKA, Martin. Evaluation of Mathematics Retrieval. Online. školitel diplomové práce. Brno: Masarykova univerzita. 63 s
      Archiv závěrečné práce
      RIV/00216224:14330/13:00067658 Účelové publikace. Informatika. angličtina. Česká republika.
      Líška, Martin (703 Slovensko, garant, domácí)
      Klíčová slova anglicky: information retrieval; IR; mathematics; search; MIR; MIaS; precision; recall; formula; collection; IR history; relevance judgment; query; NTCIR; EuDML

      Změnil: RNDr. Martin Líška, učo 255768. Změněno: 25. 1. 2013 13:57.
    5. BYŠKA, Jan, Adam JURČÍK a Jiří SOCHOR. Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules. Online. In Silvester Czanner and Wen Tang. TPCG 2013. Germany: Eurographics Association. s. 17-24. ISBN 978-3-905673-98-2
      Název česky: Geometrické algoritmy pro detekci asymetrických tunelů v proteinech
      RIV/00216224:14330/13:00069322 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Byška, Jan (203 Česká republika, garant, domácí) -- Jurčík, Adam (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: voxels;protein; tunnel; computational geometry; visualization
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. Ing. Jiří Sochor, CSc., učo 2446. Změněno: 27. 11. 2013 09:45.
    6. KUČERA, Adam a Tomáš PITNER. Intelligent Facility Management for Sustainability and Risk Management. Online. In Hřebíček, J.; Schimak, G.; Kubásek, M.; Rizzoli, A.E. Environmental Software Systems. Fostering Information Sharing. Berlin Heidelberg: Springer. s. 608-617. ISBN 978-3-642-41150-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-41151-9_57
      URL
      RIV/00216224:14330/13:00070309 Stať ve sborníku. Informatika. angličtina. Německo.
      Kučera, Adam (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: building management systems; business intelligence; computer-aided facility management; energy management; intelligent buildings; monitoring systems; risk management; sustainable development
      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: 24. 4. 2014 22:03.
    7. SCHWARZ, Daniel, Petr ŠTOURAČ, Martin KOMENDA, Hana HARAZIM, Martina KOSINOVÁ, Jakub GREGOR, Richard HŮLEK, Olga SMÉKALOVÁ, Ivo KŘIKAVA, Roman ŠTOUDEK a Ladislav DUŠEK. Interactive algorithms for teaching and learning acute medicine in the network of medical faculties MEFANET. Online. Journal of medical Internet research. Toronto: JMIR Publications Inc., roč. 15, č. 7, s. 298-311. ISSN 1438-8871. Dostupné z: https://dx.doi.org/10.2196/jmir.2590
      Název anglicky: Interactive algorithms for teaching and learning acute medicine in the network of medical faculties MEFANET
      RIV/00216224:14110/13:00069216 Článek v odborném periodiku. Ostatní lékařské obory. angličtina. Kanada.
      Schwarz, Daniel (203 Česká republika, garant, domácí) -- Štourač, Petr (203 Česká republika, domácí) -- Komenda, Martin (203 Česká republika, domácí) -- Harazim, Hana (703 Slovensko, domácí) -- Kosinová, Martina (203 Česká republika, domácí) -- Gregor, Jakub (203 Česká republika, domácí) -- Hůlek, Richard (203 Česká republika, domácí) -- Smékalová, Olga (203 Česká republika, domácí) -- Křikava, Ivo (203 Česká republika, domácí) -- Štoudek, Roman (203 Česká republika, domácí) -- Dušek, Ladislav (203 Česká republika, domácí)
      Klíčová slova anglicky: algorithms; community networks; medical education; patient simulation; problem-based learning; serious games; students; survey
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Soňa Böhmová, učo 232884. Změněno: 17. 3. 2014 11:27.
    8. MATERNA, Jiří. Parameter Estimation for LDA-Frames. Online. In Lucy Vanderwende, Hal Daume III, Katrin Kirchhoff. Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Atlanta, Georgia: Association for Computational Linguistics. s. 482-486. ISBN 978-1-937284-47-3
      URL
      Název česky: Odhad parametrů pro LDA rámce
      RIV/00216224:14330/13:00069065 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Materna, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: LDA-Frames; semantic frames; valency frames; non-parametric methods
      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. 2. 2018 15:57.
    9. ŠTUKA, Čestmír, Patrícia MARTINKOVÁ, Martin VEJRAŽKA, Jan TRNKA a Martin KOMENDA. Testování při výuce medicíny. Konstrukce a analýza testů na lékařských fakultách.. Online. Vyd. 1. Praha: Karolinum. 156 s. ISBN 978-80-246-2369-6
      URL
      Název anglicky: Student Assessment in Medical Education. Construction and analysis of tests at medical schools.
      RIV/00216224:14110/13:00069481 Odborná kniha. Ostatní lékařské obory. čeština. Česká republika.
      Štuka, Čestmír (203 Česká republika) -- Martinková, Patrícia (203 Česká republika) -- Vejražka, Martin (203 Česká republika) -- Trnka, Jan (203 Česká republika) -- Komenda, Martin (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: knowledge testing; electronic test; medical education; e-learning

      Změnila: Ing. Mgr. Věra Pospíšilíková, učo 9005. Změněno: 1. 10. 2013 14:51.
    10. JAKUBÍČEK, Miloš, Adam KILGARRIFF, Vojtěch KOVÁŘ, Pavel RYCHLÝ a Vít SUCHOMEL. The TenTen Corpus Family. Online. In 7th International Corpus Linguistics Conference CL 2013. Lancaster. s. 125-127
      Webové stránky konference Konferenční sborník abstraktů

      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: 5. 3. 2024 11:47.
    11. KOMENDA, Martin, Daniel SCHWARZ a Ladislav DUŠEK. Towards a System of Enhanced Transparency of Medical Curriculum. Online. European Journal for Biomedical Informatics. ISSN 1801-5603
      URL
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: Medical curriculum, outcome-based approach, computer- aided management system
      Recenzováno: ano

      Změnila: Ing. Mgr. Věra Pospíšilíková, učo 9005. Změněno: 12. 10. 2015 09:11.
    12. KOMENDA, Martin a Daniel SCHWARZ. Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools. Online. In Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. Environmental Software Systems : Fostering Information Sharing. IFIP AICT vol. 413. Heidelberg: Springer. s. 618-629. ISBN 978-3-642-41150-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-41151-9_58
      Název anglicky: Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools
      RIV/00216224:14110/13:00069611 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Komenda, Martin (203 Česká republika, garant, domácí) -- Schwarz, Daniel (203 Česká republika, domácí)
      Klíčová slova anglicky: Visual analytics; learning analytics; human cognition; environmental data visualization

      Změnila: Ing. Mgr. Věra Pospíšilíková, učo 9005. Změněno: 26. 4. 2014 14:06.

    2012

    1. CHOVANCOVÁ, Eva, Antonín PAVELKA, Petr BENEŠ, Ondřej STRNAD, Jan BREZOVSKÝ, Barbora KOZLÍKOVÁ, Artur Wiktor GORA, Vilém ŠUSTR, Martin KLVAŇA, Petr MEDEK, Lada BIEDERMANNOVÁ, Jiří SOCHOR a Jiří DAMBORSKÝ. CAVER 3.0: A Tool for the Analysis of Transport Pathways in Dynamic Protein Structures. Online. PLoS Computational Biology. roč. 8, č. 10, s. "nestránkováno", 12 s. ISSN 1553-7358. Dostupné z: https://dx.doi.org/10.1371/journal.pcbi.1002708
      URL
      Název česky: CAVER 3.0: nástroj pro analýzu transportních cest v dynamických proteinových strukturách
      Název anglicky: CAVER 3.0: A Tool for the Analysis of Transport Pathways in Dynamic Protein Structures
      RIV/00216224:14310/12:00057117 Článek v odborném periodiku. Biochemie. angličtina. Spojené státy.
      Chovancová, Eva (203 Česká republika, domácí) -- Pavelka, Antonín (203 Česká republika, domácí) -- Beneš, Petr (203 Česká republika, domácí) -- Strnad, Ondřej (203 Česká republika, domácí) -- Brezovský, Jan (203 Česká republika, domácí) -- Kozlíková, Barbora (203 Česká republika, domácí) -- Gora, Artur Wiktor (616 Polsko, domácí) -- Šustr, Vilém (203 Česká republika, domácí) -- Klvaňa, Martin (203 Česká republika, domácí) -- Medek, Petr (203 Česká republika, domácí) -- Biedermannová, Lada (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Damborský, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: software tool; tunnel; channel; structural analysis; protein design; drug design; CAVER; dynamics
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnila: Ing. Andrea Mikešková, učo 137293. Změněno: 12. 4. 2013 13:20.
    2. BARNAT, Jiří, Petr BAUCH, Luboš BRIM a Milan ČEŠKA. Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Online. Journal of Parallel and Distributed Computing. Elsevier, roč. 72, č. 9, s. 1083-1097. ISSN 0743-7315. Dostupné z: https://dx.doi.org/10.1016/j.jpdc.2011.10.015
      URL
      Název anglicky: Designing Fast LTL Model Checking Algorithms for Many-core GPUs
      RIV/00216224:14330/12:00057210 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, domácí) -- Bauch, Petr (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Parallel model checking; Linear temporal logic; Massively parallel architectures; CUDA technology; Multiple CUDA devices
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: Mgr. Petr Bauch, Ph.D., učo 208047. Změněno: 12. 12. 2012 11:09.
    3. KŘETÍNSKÝ, Jan a Javier ESPARZA. Deterministic Automata for the (F,G)-fragment of LTL. Online. In Computer Aided Verification - 24th International Conference. Heidelberg Dordrecht London New York: Springer. s. 7-22. ISBN 978-3-642-31423-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-31424-7_7
      RIV/00216224:14330/12:00057483 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Esparza, Javier (724 Španělsko)
      Klíčová slova anglicky: linear temporal logic; automata; determinism
      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: 22. 4. 2013 23:42.
    4. SUCHOMEL, Vít a Jan POMIKÁLEK. Efficient Web Crawling for Large Text Corpora. Online. In Adam Kilgarriff, Serge Sharoff. Proceedings of the seventh Web as Corpus Workshop (WAC7). Lyon. s. 39-43
      Proceedings of the seventh Web as Corpus Workshop (WAC7)
      Název česky: Efektivní automatické stahování z webu pro velké textové korpusy
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: crawler; web crawling; corpus; web corpus; text corpus
      Mezinárodní význam: ano

      Změnil: RNDr. Vít Suchomel, Ph.D., učo 139723. Změněno: 9. 4. 2013 11:49.
    5. BOUDA, Jan, Matej PIVOLUSKA a Martin PLESCH. Encryption with weakly random keys using quantum ciphertext. Online. Quantum Information and Computing. Princeton, USA: Rinton, roč. 12, 5-6, s. 395-403. ISSN 1533-7146
      Název anglicky: Encryption with weakly random keys using quantum ciphertext
      RIV/00216224:14330/12:00057319 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Bouda, Jan (203 Česká republika, garant, domácí) -- Pivoluska, Matej (703 Slovensko, domácí) -- Plesch, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: quantum cryptography weak randomness encryption
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 15:46.
    6. BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems. Online. Information and Computation. Elsevier, roč. 218, September, s. 54-68. ISSN 0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2012.08.001
      RIV/00216224:14330/12:00057563 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Beneš, Nikola (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: modal transition systems; refinement; computational complexity
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:17.
    7. BARNAT, Jiří, Petr BAUCH a Luboš BRIM. Checking Sanity of Software Requirements. Online. In George Eleftherakis , Mike Hinchey and Mike Holcombe. Proceedings of the 10th International Conference on Software Engineering and Formal Methods. Thessaloniki: Springer. s. 48-62. ISBN 978-3-642-33825-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33826-7_4
      URL
      RIV/00216224:14330/12:00057623 Stať ve sborníku. Informatika. angličtina. Řecko.
      Barnat, Jiří (203 Česká republika, domácí) -- Bauch, Petr (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí)
      Klíčová slova anglicky: model checking; sanity checking; consistency; vacuity; completeness
      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: 23. 4. 2013 13:25.
    8. BOUDA, Jan, Matej PIVOLUSKA a Martin PLESCH. Improving the Hadamard extractor. Online. Theoretical Computer Science. Amsterdam: Elsevier, roč. 459, 9 Nov 2012, s. 69-76. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2012.07.030
      URL
      Název česky: Improving the Hadamard extractor
      RIV/00216224:14330/12:00057909 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Bouda, Jan (203 Česká republika, garant, domácí) -- Pivoluska, Matej (703 Slovensko, domácí) -- Plesch, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: Weak randomness; Randomness extractor; Hadamard matrix
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 12:17.
    9. KOMENDA, Martin, Daniel SCHWARZ, Jitka FEBEROVÁ, Stanislav ŠTÍPEK, Vladimír MIHÁL a Ladislav DUŠEK. Medical faculties educational network: Multidimensional quality assessment. Online. Computer Methods and Programs in Biomedicine. ELSEVIER, roč. 108, č. 3, s. 900-909. ISSN 0169-2607. Dostupné z: https://dx.doi.org/10.1016/j.cmpb.2012.05.002
      URL
      RIV/00216224:14110/12:00057424 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Komenda, Martin (203 Česká republika, garant, domácí) -- Schwarz, Daniel (203 Česká republika, domácí) -- Feberová, Jitka (203 Česká republika) -- Štípek, Stanislav (203 Česká republika) -- Mihál, Vladimír (203 Česká republika) -- Dušek, Ladislav (203 Česká republika, domácí)
      Klíčová slova anglicky: Educational portal; E-learning; Computer communication network; E-publishing; Quality assessment tools; Medical education
      Mezinárodní význam: ano

      Změnila: Ing. Mgr. Věra Pospíšilíková, učo 9005. Změněno: 16. 4. 2013 16:36.
    10. STETSKO, Andriy, Tobiáš SMOLKA, Filip JURNEČKA a Václav MATYÁŠ. On the Credibility of Wireless Sensor Network Simulations: Evaluation of Intrusion Detection System. Online. In SIMUTOOLS '12: Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques. Belgium: ICST. s. 75-84. ISBN 978-1-4503-1510-4
      RIV/00216224:14330/12:00057321 Stať ve sborníku. Informatika. angličtina. Belgie.
      Stetsko, Andriy (804 Ukrajina, garant, domácí) -- Smolka, Tobiáš (703 Slovensko, domácí) -- Jurnečka, Filip (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: Intrusion detection;Castalia;Cooja;comparison;evaluation;MiXiM;simulator;wireless sensor network;WSNet
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Andrij Stecko, Ph.D., učo 184905. Změněno: 1. 4. 2013 10:16.
    11. BOUDA, Jan, Matej PIVOLUSKA, Martin PLESCH a Colin WILMOTT. Weak randomness seriously limits the security of quantum key distribution. Online. Physical Review A. New York: American physical society, roč. 86, č. 6, s. 0623081-0623085. ISSN 1050-2947. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.86.062308
      URL
      RIV/00216224:14330/12:00057910 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Bouda, Jan (203 Česká republika, garant, domácí) -- Pivoluska, Matej (703 Slovensko, domácí) -- Plesch, Martin (703 Slovensko, domácí) -- Wilmott, Colin (372 Irsko, domácí)
      Klíčová slova anglicky: weak randomness; quantum key distribution
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 15:51.

    2011

    1. KŮR, Jiří, Václav MATYÁŠ, Andriy STETSKO a Petr ŠVENDA. Attack Detection vs. Privacy - How to Find the Link or How to Hide it?. Online. In B. Christianson et al. Security Protocols XIX - 19th International Workshop, Cambridge, UK, March 2011, Revised Selected Papers. Neuveden: Springer Heidelberg Dordrecht London New York. s. 189-199. ISBN 978-3-642-25866-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25867-1_18
      RIV/00216224:14330/11:00050343 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Kůr, Jiří (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Stetsko, Andriy (804 Ukrajina, garant, domácí) -- Švenda, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: intrusion detection; privacy mechanism; wireless sensor network
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jiří Kůr, Ph.D., učo 98692. Změněno: 10. 4. 2013 15:09.
    2. BARNAT, Jiří, Petr BAUCH, Luboš BRIM a Milan ČEŠKA. Computing Strongly Connected Components in Parallel on CUDA. Online. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK: IEEE Computer Society. s. 544 - 555. ISBN 978-1-61284-372-8
      URL
      RIV/00216224:14330/11:00049681 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, domácí) -- Bauch, Petr (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: parallel graph algorithms; strongly connected components; CUDA
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 20. 12. 2011 14:28.
    3. KOMENDA, Martin, Lucie PEKÁRKOVÁ a Daniel SCHWARZ. EMEE – Well-founded feedback in learning management systems. Online. AD ALTA - Journal of Interdisciplinary Research. Magnanimitas, s. 142-145, 164 s. ISSN 1804-7890
      URL
      Název anglicky: EMEE – Well-founded feedback in learning management systems

      Klíčová slova anglicky: feedback, learning management system, analytic tool, e-learning, Moodle
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Martin Komenda, Ph.D., učo 98951. Změněno: 3. 2. 2012 09:26.
    4. KOMENDA, Martin, Lucie PEKÁRKOVÁ a Daniel SCHWARZ. EMEE – Well-founded feedback in learning management systems. Online. In Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2011. 2. vyd. Hradec Králové: MAGNANIMITAS. ISBN 978-80-904877-7-2

      Klíčová slova anglicky: feedback, learning management system, analytic tool, e-learning, Moodle
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Martin Komenda, Ph.D., učo 98951. Změněno: 22. 1. 2012 10:11.
    5. PAVELKA, Antonín, Eva CHOVANCOVÁ a Jiří DAMBORSKÝ. HOTSPOT WIZARD: WEB APPLICATION FOR PROTEIN ENGINEERING AND STRUCTURAL ANNOTATION. Online. In 3Dsig 2011, Structural Bioinformatics and Computational Biophysics, Vienna,
      RIV/00216224:14310/11:00049453 Prezentace na konferencích. Informatika. angličtina. Rumunsko.
      Pavelka, Antonín (203 Česká republika, domácí) -- Chovancová, Eva (203 Česká republika, domácí) -- Damborský, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: PROTEIN ENGINEERING; HOTSPOT WIZARD
      Druh účasti: aktivní účast

      Změnil: prof. Mgr. Jiří Damborský, Dr., učo 1441. Změněno: 12. 8. 2011 12:54.
    6. SOJKA, Petr a Martin LÍŠKA. Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues. Online. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe. Intelligent Computer Mathematics Lecture Notes in Computer Science, 2011, Volume 6824/2011. Berlin / Heidelberg: Springer. s. 228-243. ISBN 978-3-642-22672-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-22673-1_16
      DOI
      Název česky: Indexování a vyhledávání matematiky v digitálních knihovnách -- Architektura, návrh a škálovatelnost
      RIV/00216224:14330/11:00067289 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Sojka, Petr (203 Česká republika, garant, domácí) -- Líška, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: math indexing and retrieval; mathematical digital libraries; information systems; information retrieval; mathematical content search; document ranking of mathematical papers; math text mining; MIaS; WebMIaS
      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. 2014 04:01.
    7. SOJKA, Petr a Martin LÍŠKA. The Art of Mathematics Retrieval. Online. In Matthew R. B. Hardy, Frank Wm. Tompa. Proceedings of the 2011 ACM Symposium on Document Engineering. Mountain View, CA, USA: ACM. s. 57--60. ISBN 978-1-4503-0863-2. Dostupné z: https://dx.doi.org/10.1145/2034691.2034703
      conference web DOI poster preprint
      Název česky: Umění indexování a vyhledávání matematiky
      RIV/00216224:14330/11:00053335 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Sojka, Petr (203 Česká republika, garant, domácí) -- Líška, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: math indexing and retrieval; mathematical digital libraries; information systems; information retrieval; mathematical content search; document ranking of mathematical papers; math text mining; MIaS; WebMIaS
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Změněno: 10. 5. 2013 12:43.

    2010

    1. PLHÁK, Jaromír. A Context-Based Grammar Generation in Mixed Initiative Dialogue System for Visually Impaired. Online. In Computers Helping People with Special Needs, 12th International Conference. 6180/2010. Berlin: Springer-Verlag. s. 354-360. ISBN 978-3-642-14099-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-14100-3_52
      RIV/00216224:14330/10:00065877 Stať ve sborníku. Informatika. angličtina. Německo.
      Plhák, Jaromír (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: web page creation; dialogue system; grammar; accessibility; visually impaired
      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: 30. 4. 2014 04:18.
    2. KASPRZAK, Jan, Michal BRANDEJS, Matěj ČUHEL a Tomáš OBŠÍVAČ. Access Rights in Enterprise Full-text Search. Online. In ICEIS 2010: Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 1: Databases and Information Systems Integration. 2010. vyd. Funchal, Portugal: INSTICC – Institute for Systems and Technologies of Information, Control and Communication. s. 32-39. ISBN 978-989-8425-04-1
      URL
      Název česky: Přístupová práva ve fulltextovém vyhledávání v podnikových systémech
      RIV/00216224:14330/10:00044274 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      Kasprzak, Jan (203 Česká republika, domácí) -- Brandejs, Michal (203 Česká republika, garant, domácí) -- Čuhel, Matěj (203 Česká republika, domácí) -- Obšívač, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Full-text search; Intranet; Security; Access rights; Document permissions; Document-level security
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: doc. Ing. Michal Brandejs, CSc., učo 2116. Změněno: 24. 11. 2012 20:48.
      ID=890027
    3. MATELA, Jiří, Vít RUSŇÁK a Petr HOLUB. GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. Online. In MEMICS 2010 Proceedings. first. Brno: NOVPRESS. s. 126-134. ISBN 978-80-87342-10-7
      RIV/00216224:14330/10:00057180 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Matela, Jiří (203 Česká republika, garant, domácí) -- Rusňák, Vít (203 Česká republika, domácí) -- Holub, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: EBCOT;JPEG2000;Tier-1;GPU;context modeller
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jiří Matela, Ph.D., učo 99087. Změněno: 15. 2. 2013 18:45.
    4. KASPRZAK, Jan a Michal BRANDEJS. Improving the Reliability of the Plagiarism Detection System. Online. In Notebook Papers of CLEF 2010 LABs and Workshops. Padova: University of Padova. s. 1-10. ISBN 978-88-904810-0-0
      URL
      RIV/00216224:14330/10:00045065 Stať ve sborníku. Informatika. angličtina. Itálie.
      Kasprzak, Jan (203 Česká republika, garant, domácí) -- Brandejs, Michal (203 Česká republika, domácí)
      Klíčová slova anglicky: plagiarism; document similarity; external plagiarism; intrinsic plagiarism
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jan Kasprzak, Ph.D., učo 1885. Změněno: 11. 5. 2015 22:27.
    5. JAKUBÍČEK, Miloš, Vojtěch KOVÁŘ a Marek GRÁC. Through Low-Cost Annotation to Reliable Parsing Evaluation. Online. In PACLIC 24 Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation. Tokyo: Waseda University. s. 555-562. ISBN 978-4-905166-00-9
      URL
      RIV/00216224:14330/10:00065887 Stať ve sborníku. Jazykověda. angličtina. Japonsko.
      Jakubíček, Miloš (203 Česká republika, domácí) -- Kovář, Vojtěch (203 Česká republika, garant, domácí) -- Grác, Marek (703 Slovensko, domácí)
      Klíčová slova anglicky: noun phrases;parsing;parser evaluation;annotation;inter-annotator agreement
      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. 2014 10:04.

    2009

    1. KOPEČEK, Ivan, Radek OŠLEJŠEK, Jaromír PLHÁK a Fedor TIRŠEL. Detection and Annotation of Graphical Objects in Raster Images within the GATE Project. Online. In Proceedings of the 2009 International Conference on Internet Computing ICOMP 2009. USA: CSREA Press. s. 285-290. ISBN 1-60132-110-4
      Název česky: Detekce a anotace grafických objektů v rastrových obrázcích v rámci projektu GATE
      RIV/00216224:14330/09:00029425 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kopeček, Ivan (203 Česká republika, garant, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Plhák, Jaromír (203 Česká republika, domácí) -- Tiršel, Fedor (703 Slovensko, domácí)
      Klíčová slova anglicky: object detection; annotation
      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: 19. 7. 2013 16:05.
    2. STETSKO, Andriy a Václav MATYÁŠ. Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks. Online. In EC2ND 2009 : European Conference on Computer Network Defense. Los Alamitos (CA, USA): IEEE Computer Society. s. 21-28. ISBN 978-0-7695-3983-6
      URL
      RIV/00216224:14330/09:00044286 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Stetsko, Andriy (804 Ukrajina, garant, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: evaluation metrics;intrusion detection system;wireless sensor network
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Andrij Stecko, Ph.D., učo 184905. Změněno: 1. 4. 2013 10:33.
    3. KASPRZAK, Jan, Michal BRANDEJS a Miroslav KŘIPAČ. Finding Plagiarism by Evaluating Document Similarities. Online. In Proceedings of the SEPLN'09 Workshop on Uncovering Plagiarism, Authorship and Social Software Misuse. Vol. 502. San Sebastian, Španělsko: CEUR Workshop Proceedings. s. 24-28. ISSN 1613-0073
      Stránky soutěže a workshopu Sborník v PDF
      Název česky: Hledání plagiátů pomocí vyhodnocení podobností dokumentů
      RIV/00216224:14330/09:00036624 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Kasprzak, Jan (203 Česká republika, garant) -- Brandejs, Michal (203 Česká republika) -- Křipač, Miroslav (203 Česká republika)
      Klíčová slova anglicky: Plagiarism Similar Documents Document Overlap Distributed Computing Parallelism
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jan Kasprzak, Ph.D., učo 1885. Změněno: 26. 3. 2010 11:52.
    4. KOVÁŘ, Vojtěch, Aleš HORÁK a Miloš JAKUBÍČEK. Syntactic Analysis as Pattern Matching: The SET Parsing System. Online. In Proceedings of 4th Language & Technology Conference. Poznań (Poland): Wydawnictwo Poznańskie. s. 100-104. ISBN 978-83-7177-746-2
      Název česky: Syntaktická analýza s využitím konečných vzorků: Analyzátor SET
      RIV/00216224:14330/09:00037189 Stať ve sborníku. Informatika. angličtina. Polsko.
      Kovář, Vojtěch (203 Česká republika, domácí) -- Horák, Aleš (203 Česká republika, garant, domácí) -- Jakubíček, Miloš (203 Česká republika, domácí)
      Klíčová slova anglicky: syntactic analysis;pattern matching;SET
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vojtěch Kovář, Ph.D., učo 139915. Změněno: 20. 9. 2012 11:48.

    2008

    1. BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KŘETÍNSKÝ a Antonín KUČERA. The Satisfiability Problem for Probabilistic CTL. Online. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California: IEEE Computer Society. s. 391-402, 10 s. ISBN 978-0-7695-3183-0
      Název česky: Problém splnitelnosti pro pravděpodobnostní CTL
      RIV/00216224:14330/08:00026224 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Křetínský, Jan (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Stochastic systems; branching-time temporal logics
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:16.
    2. BÁRTEK, Luděk a Jaromír PLHÁK. Visually Impaired Users Create Web Pages. Online. In 11th International Conference on Computers Helping People with Special Needs. Berlin: Springer-Verlag. s. 466-473. ISBN 3-540-70539-2
      Název česky: Zrakově postižení uživatelé vytvařejí stránky
      RIV/00216224:14330/08:00026666 Stať ve sborníku. Teorie informace. angličtina. Česká republika.
      Bártek, Luděk (203 Česká republika, garant) -- Plhák, Jaromír (203 Česká republika)
      Klíčová slova anglicky: web creation; dialogue; accessibility
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Jaromír Plhák, Ph.D., učo 60773. Změněno: 31. 3. 2010 09:40.

    2007

    1. HORÁK, Aleš, Tomáš HOLAN, Vladimír KADLEC a Vojtěch KOVÁŘ. Dependency and Phrasal Parsers of the Czech Language: A Comparison. Online. In Proceedings of 10th International Conference on Text, Speech, and Dialogue (TSD 2007). Berlin, Heidelberg: Springer. s. 76-84. ISBN 978-3-540-74627-0
      Název česky: Porovnání závislostních a frázových syntaktických analyzátorů pro češtinu
      RIV/00216224:14330/07:00019525 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Horák, Aleš (203 Česká republika, garant, domácí) -- Holan, Tomáš (203 Česká republika) -- Kadlec, Vladimír (203 Česká republika, domácí) -- Kovář, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: parsing; Czech
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: RNDr. Vojtěch Kovář, Ph.D., učo 139915. Změněno: 8. 11. 2011 13:33.
Zobrazeno: 24. 4. 2024 05:19