-
BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready Software Systems D - Stať ve sborníkuDAUBNER, 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, 2023, s. 20-43. ISBN 978-3-031-36596-6. Dostupné z: https://doi.org/10.1007/978-3-031-36597-3_2.Podrobněji: https://is.muni.cz/publication/2297178/cs
-
Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication J - Článek v odborném periodikuBULLA, 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. Physical Review X. College Park: American Physical Society, 2023, roč. 13, č. 2, s. 1-12. ISSN 2160-3308. Dostupné z: https://doi.org/10.1103/PhysRevX.13.021001.Podrobněji: https://is.muni.cz/publication/2293017/cs
-
Business Process Model and Notation for Forensic-Ready Software Systems D - Stať ve sborníkuDAUBNER, 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, 2022, s. 95-106. ISBN 978-989-758-568-5. Dostupné z: https://doi.org/10.5220/0011041000003176.Podrobněji: https://is.muni.cz/publication/1856737/cs
-
Concept of Relational Similarity Search D - Stať ve sborníkuMÍČ, Vladimír a Pavel ZEZULA. Concept of Relational Similarity Search. 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, 2022, s. 89-103. ISBN 978-3-031-17848-1. Dostupné z: https://doi.org/10.1007/978-3-031-17849-8_8.Podrobněji: https://is.muni.cz/publication/2236342/cs
-
Data-dependent Metric Filtering J - Článek v odborném periodikuMÍČ, Vladimír a Pavel ZEZULA. Data-dependent Metric Filtering. Information systems. 2022, roč. 108, 12.5.2022, s. "101980", 21 s. ISSN 0306-4379. Dostupné z: https://doi.org/10.1016/j.is.2021.101980.Podrobněji: https://is.muni.cz/publication/1841617/cs
-
Enhancing Requirements Completeness of Automated Driving System in Concept Phase D - Stať ve sborníkuABBADI, Ahmad a Václav PŘENOSIL. Enhancing Requirements Completeness of Automated Driving System in Concept Phase. 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, 2022, s. 377-396. ISBN 978-3-030-98259-1. Dostupné z: https://doi.org/10.1007/978-3-030-98260-7_24.Podrobněji: https://is.muni.cz/publication/1846767/cs
-
Genre Annotation of Web Corpora: Scheme and Issues D - Stať ve sborníkuSUCHOMEL, Vít. Genre Annotation of Web Corpora: Scheme and Issues. In Kohei Arai, Supriya Kapoor, Rahul Bhatia. Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1. Vancouver, Canada: Springer Nature Switzerland AG, 2021, s. 738-754. ISBN 978-3-030-63127-7. Dostupné z: https://doi.org/10.1007/978-3-030-63128-4_55.Podrobněji: https://is.muni.cz/publication/1663744/cs
-
Risk-Oriented Design Approach For Forensic-Ready Software Systems D - Stať ve sborníkuDAUBNER, 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, 2021, s. 1-10. ISBN 978-1-4503-9051-4. Dostupné z: https://doi.org/10.1145/3465481.3470052.Podrobněji: https://is.muni.cz/publication/1787617/cs
-
Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations J - Článek v odborném periodikuZÁ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. IEEE Transactions on Visualization and Computer Graphics. IEEE, 2021, roč. 27, č. 2, s. 881-890. ISSN 1077-2626. Dostupné z: https://doi.org/10.1109/TVCG.2020.3030356.Podrobněji: https://is.muni.cz/publication/1681798/cs
-
Accelerating Metric Filtering by Improving Bounds on Estimated Distances D - Stať ve sborníkuMÍČ, Vladimír a Pavel ZEZULA. Accelerating Metric Filtering by Improving Bounds on Estimated Distances. 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, 2020, s. 3-17. ISBN 978-3-030-60935-1. Dostupné z: https://doi.org/10.1007/978-3-030-60936-8_1.Podrobněji: https://is.muni.cz/publication/1686161/cs
-
On the Application of Convex Transforms to Metric Search J - Článek v odborném periodikuCONNOR, Richard; Alan DEARLE; Vladimír MÍČ a Pavel ZEZULA. On the Application of Convex Transforms to Metric Search. Pattern Recognition Letters. 2020, roč. 138, October 2020, s. 563-570. ISSN 0167-8655. Dostupné z: https://doi.org/10.1016/j.patrec.2020.08.008.Podrobněji: https://is.muni.cz/publication/1673423/cs
-
Binary Sketches for Secondary Filtering J - Článek v odborném periodikuMÍČ, Vladimír; David NOVÁK a Pavel ZEZULA. Binary Sketches for Secondary Filtering. ACM Transactions on Information Systems. New York: ACM Press, 2019, roč. 37, č. 1, s. "1:1"-"1:28", 28 s. ISSN 1046-8188. Dostupné z: https://doi.org/10.1145/3231936.Podrobněji: https://is.muni.cz/publication/1421494/cs
-
Hybrid rule-based motion planner for mobile robot in cluttered workspace J - Článek v odborném periodikuABBADI, Ahmad a Radomil MATOUSEK. Hybrid rule-based motion planner for mobile robot in cluttered workspace. Soft computing. Germany: Springer, 2018, roč. 22, č. 6, s. 1815-1831. ISSN 1432-7643. Dostupné z: https://doi.org/10.1007/s00500-016-2103-4.Podrobněji: https://is.muni.cz/publication/1339218/cs
-
Selecting Sketches for Similarity Search D - Stať ve sborníkuMÍČ, 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, 2018, s. 127-141. ISBN 978-3-319-98397-4. Dostupné z: https://doi.org/10.1007/978-3-319-98398-1_9.Podrobněji: https://is.muni.cz/publication/1420844/cs
-
Semantic BMS: Allowing usage of building automation data in facility benchmarking J - Článek v odborném periodikuKUČERA, Adam a Tomáš PITNER. Semantic BMS: Allowing usage of building automation data in facility benchmarking. Advanced Engineering Informatics. 2018, roč. 35, January, s. 69-84. ISSN 1474-0346. Dostupné z: https://doi.org/10.1016/j.aei.2018.01.002.Podrobněji: https://is.muni.cz/publication/1406272/cs
-
Toward Stream-Based IP Flow Analysis J - Článek v odborném periodikuJIRSÍK, Tomáš; Milan ČERMÁK; Daniel TOVARŇÁK a Pavel ČELEDA. Toward Stream-Based IP Flow Analysis. IEEE Communications Magazine. IEEE, 2017, roč. 55, č. 7, s. 70-76. ISSN 0163-6804. Dostupné z: https://doi.org/10.1109/MCOM.2017.1600972.Podrobněji: https://is.muni.cz/publication/1385935/cs
-
Assessing similarity models for human-motion retrieval applications J - Článek v odborném periodikuVALČÍK, Jakub; Jan SEDMIDUBSKÝ a Pavel ZEZULA. Assessing similarity models for human-motion retrieval applications. Computer Animation and Virtual Worlds. John Wiley & Sons Ltd, 2016, roč. 27, č. 5, s. 484-500. ISSN 1546-4261. Dostupné z: https://doi.org/10.1002/cav.1674.Podrobněji: https://is.muni.cz/publication/1305925/cs
-
DSL Shared task 2016: Perfect Is The Enemy of Good Language Discrimination Through Expectation-Maximization and Chunk-based Language Model D - Stať ve sborníkuHERMAN, 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, 2016, s. 114-118. ISBN 978-4-87974-716-7.Podrobněji: https://is.muni.cz/publication/1366107/cs
-
HTTPS Traffic Analysis and Client Identification Using Passive SSL/TLS Fingerprinting J - Článek v odborném periodikuHUSÁK, Martin; Milan ČERMÁK; Tomáš JIRSÍK a Pavel ČELEDA. HTTPS Traffic Analysis and Client Identification Using Passive SSL/TLS Fingerprinting. EURASIP Journal on Information Security. 2016, roč. 2016, č. 1, s. 1-14. ISSN 2510-523X. Dostupné z: https://doi.org/10.1186/s13635-016-0030-7.Podrobněji: https://is.muni.cz/publication/1321931/cs
-
Semantic BMS: Ontology for Analysis of Building Automation Systems Data D - Stať ve sborníkuKUČERA, Adam a Tomáš PITNER. Semantic BMS: Ontology for Analysis of Building Automation Systems Data. 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, 2016, s. 46-53. ISBN 978-3-319-31164-7. Dostupné z: https://doi.org/10.1007/978-3-319-31165-4_5.Podrobněji: https://is.muni.cz/publication/1350086/cs
-
A Survey of Methods for Encrypted Traffic Classification and Analysis J - Článek v odborném periodikuVELAN, Petr; Milan ČERMÁK; Pavel ČELEDA a Martin DRAŠAR. A Survey of Methods for Encrypted Traffic Classification and Analysis. International Journal of Network Management. John Wiley & Sons, Ltd., 2015, roč. 25, č. 5, s. 355-374. ISSN 1055-7148. Dostupné z: https://doi.org/10.1002/nem.1901.Podrobněji: https://is.muni.cz/publication/1305020/cs
-
On Refinement of Büchi Automata for Explicit Model Checking D - Stať ve sborníkuBLAHOUDEK, František; Alexandre DURET-LUTZ; Vojtěch RUJBR a Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, s. 66-83. ISBN 978-3-319-23403-8. Dostupné z: https://doi.org/10.1007/978-3-319-23404-5_6.Podrobněji: https://is.muni.cz/publication/1309631/cs
-
The Hanoi Omega-Automata Format D - Stať ve sborníkuBABIAK, 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. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, s. 479-486. ISBN 978-3-319-21689-8. Dostupné z: https://doi.org/10.1007/978-3-319-21690-4_31.Podrobněji: https://is.muni.cz/publication/1306808/cs
-
Comparison of 3D Texture-based Image Descriptors in Fluorescence Microscopy D - Stať ve sborníkuMAJTNER, Tomáš a David SVOBODA. Comparison of 3D Texture-based Image Descriptors in Fluorescence Microscopy. In Reneta P. Barneva, Valentin E. Brimkov, Josef Šlapal. 16th International Workshop on Combinatorial Image Analysis (IWCIA) 2014. Switzerland: Springer International Publishing, 2014, s. 186-195. ISBN 978-3-319-07147-3. Dostupné z: https://doi.org/10.1007/978-3-319-07148-0_17.Podrobněji: https://is.muni.cz/publication/1173483/cs
-
Efficient k-NN based HEp-2 cells classifier J - Článek v odborném periodikuSTOKLASA, Roman; Tomáš MAJTNER a David SVOBODA. Efficient k-NN based HEp-2 cells classifier. PATTERN RECOGNITION. OXFORD: PERGAMON-ELSEVIER SCIENCE LTD, 2014, roč. 47, č. 7, s. 2409-2418. ISSN 0031-3203. Dostupné z: https://doi.org/10.1016/j.patcog.2013.09.021.Podrobněji: https://is.muni.cz/publication/1129437/cs
-
Finding Terms in Corpora for Many Languages with the Sketch Engine D - Stať ve sborníkuKILGARRIFF, 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, 2014, s. 53-56. ISBN 978-1-937284-75-6.Podrobněji: https://is.muni.cz/publication/1181590/cs
-
RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells D - Stať ve sborníkuMAJTNER, Tomáš; Roman STOKLASA a David SVOBODA. RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells. In 22nd International Conference on Pattern Recognition. Los Alamitos, California: IEEE Computer Society, 2014, s. 1194-1199. ISBN 978-1-4799-5208-3. Dostupné z: https://doi.org/10.1109/ICPR.2014.215.Podrobněji: https://is.muni.cz/publication/1173479/cs
-
A framework for monitoring and evaluation of learning processes D - Stať ve sborníkuPEKÁRKOVÁ, Lucie; Patrícia EIBENOVÁ a Tomáš PITNER. A framework for monitoring and evaluation of learning processes. In Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. Environmental Software Systems. Fostering Information Sharing. Berlin: Springer Berlin Heidelberg, 2013, s. 525-532. ISBN 978-3-642-41150-2. Dostupné z: https://doi.org/10.1007/978-3-642-41151-9_49.Podrobněji: https://is.muni.cz/publication/1126407/cs
-
A Key-Pose Similarity Algorithm for Motion Data Retrieval D - Stať ve sborníkuSEDMIDUBSKÝ, Jan; Jakub VALČÍK a Pavel ZEZULA. A Key-Pose Similarity Algorithm for Motion Data Retrieval. 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, 2013, s. 669-681. ISBN 978-3-319-02894-1. Dostupné z: https://doi.org/10.1007/978-3-319-02895-8_60.Podrobněji: https://is.muni.cz/publication/1117913/cs
-
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment D - Stať ve sborníkuBLAHOUDEK, 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. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, s. 24-38. ISBN 978-3-319-02443-1. Dostupné z: https://doi.org/10.1007/978-3-319-02444-8_4.Podrobněji: https://is.muni.cz/publication/1111172/cs
-
Evaluation of Mathematics Retrieval u - Účelové publikaceLÍŠKA, Martin. Evaluation of Mathematics Retrieval. školitel diplomové práce. Brno: Masarykova univerzita, 2013, 63 s.Podrobněji: https://is.muni.cz/publication/1083259/cs
-
Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules D - Stať ve sborníkuBYŠKA, Jan; Adam JURČÍK a Jiří SOCHOR. Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules. In Silvester Czanner and Wen Tang. TPCG 2013. Germany: Eurographics Association, 2013, s. 17-24. ISBN 978-3-905673-98-2.Podrobněji: https://is.muni.cz/publication/1122641/cs
-
Intelligent Facility Management for Sustainability and Risk Management D - Stať ve sborníkuKUČERA, Adam a Tomáš PITNER. Intelligent Facility Management for Sustainability and Risk Management. In Hřebíček, J.; Schimak, G.; Kubásek, M.; Rizzoli, A.E. Environmental Software Systems. Fostering Information Sharing. Berlin Heidelberg: Springer, 2013, s. 608-617. ISBN 978-3-642-41150-2. Dostupné z: https://doi.org/10.1007/978-3-642-41151-9_57.Podrobněji: https://is.muni.cz/publication/1131212/cs
-
Interactive algorithms for teaching and learning acute medicine in the network of medical faculties MEFANET J - Článek v odborném periodikuSCHWARZ, 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. Journal of medical Internet research. Toronto: JMIR Publications Inc., 2013, roč. 15, č. 7, s. 298-311. ISSN 1438-8871. Dostupné z: https://doi.org/10.2196/jmir.2590.Podrobněji: https://is.muni.cz/publication/1121757/cs
-
Parameter Estimation for LDA-Frames D - Stať ve sborníkuMATERNA, 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, 2013, s. 482-486. ISBN 978-1-937284-47-3.Podrobněji: https://is.muni.cz/publication/1119969/cs
-
Š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. Vyd. 1. Praha: Karolinum, 2013, 156 s. ISBN 978-80-246-2369-6.Podrobněji: https://is.muni.cz/publication/1123292/cs
-
The TenTen Corpus Family D - Stať ve sborníkuJAKUBÍČ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, 2013, s. 125-127.Podrobněji: https://is.muni.cz/publication/1120431/cs
-
Towards a System of Enhanced Transparency of Medical Curriculum J - Článek v odborném periodikuKOMENDA, Martin; Daniel SCHWARZ a Ladislav DUŠEK. Towards a System of Enhanced Transparency of Medical Curriculum. European Journal for Biomedical Informatics. 2013. ISSN 1801-5603.Podrobněji: https://is.muni.cz/publication/1131373/cs
-
Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools D - Stať ve sborníkuKOMENDA, Martin a Daniel SCHWARZ. Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools. 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, 2013, s. 618-629. ISBN 978-3-642-41150-2. Dostupné z: https://doi.org/10.1007/978-3-642-41151-9_58.Podrobněji: https://is.muni.cz/publication/1124567/cs
-
CAVER 3.0: A Tool for the Analysis of Transport Pathways in Dynamic Protein Structures J - Článek v odborném periodikuCHOVANCOVÁ, 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. PLoS Computational Biology. 2012, roč. 8, č. 10, s. "nestránkováno", 12 s. ISSN 1553-7358. Dostupné z: https://doi.org/10.1371/journal.pcbi.1002708.Podrobněji: https://is.muni.cz/publication/1070113/cs
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs J - Článek v odborném periodikuBARNAT, Jiří; Petr BAUCH; Luboš BRIM a Milan ČEŠKA. Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing. Elsevier, 2012, roč. 72, č. 9, s. 1083-1097. ISSN 0743-7315. Dostupné z: https://doi.org/10.1016/j.jpdc.2011.10.015.Podrobněji: https://is.muni.cz/publication/958069/cs
-
Deterministic Automata for the (F,G)-fragment of LTL D - Stať ve sborníkuKŘETÍNSKÝ, Jan a Javier ESPARZA. Deterministic Automata for the (F,G)-fragment of LTL. In Computer Aided Verification - 24th International Conference. Heidelberg Dordrecht London New York: Springer, 2012, s. 7-22. ISBN 978-3-642-31423-0. Dostupné z: https://doi.org/10.1007/978-3-642-31424-7_7.Podrobněji: https://is.muni.cz/publication/987377/cs
-
Efficient Web Crawling for Large Text Corpora D - Stať ve sborníkuSUCHOMEL, 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, 2012, s. 39-43.Podrobněji: https://is.muni.cz/publication/991660/cs
-
Encryption with weakly random keys using quantum ciphertext J - Článek v odborném periodikuBOUDA, Jan; Matej PIVOLUSKA a Martin PLESCH. Encryption with weakly random keys using quantum ciphertext. Quantum Information and Computing. Princeton, USA: Rinton, 2012, roč. 12, 5-6, s. 395-403. ISSN 1533-7146.Podrobněji: https://is.muni.cz/publication/977098/cs
-
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems J - Článek v odborném periodikuBENEŠ, Nikola; Jan KŘETÍNSKÝ; Kim G. LARSEN a Jiří SRBA. EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems. Information and Computation. Elsevier, 2012, roč. 218, September, s. 54-68. ISSN 0890-5401. Dostupné z: https://doi.org/10.1016/j.ic.2012.08.001.Podrobněji: https://is.muni.cz/publication/991084/cs
-
Checking Sanity of Software Requirements D - Stať ve sborníkuBARNAT, Jiří; Petr BAUCH a Luboš BRIM. Checking Sanity of Software Requirements. In George Eleftherakis , Mike Hinchey and Mike Holcombe. Proceedings of the 10th International Conference on Software Engineering and Formal Methods. Thessaloniki: Springer, 2012, s. 48-62. ISBN 978-3-642-33825-0. Dostupné z: https://doi.org/10.1007/978-3-642-33826-7_4.Podrobněji: https://is.muni.cz/publication/1066876/cs
-
Improving the Hadamard extractor J - Článek v odborném periodikuBOUDA, Jan; Matej PIVOLUSKA a Martin PLESCH. Improving the Hadamard extractor. Theoretical Computer Science. Amsterdam: Elsevier, 2012, roč. 459, 9 Nov 2012, s. 69-76. ISSN 0304-3975. Dostupné z: https://doi.org/10.1016/j.tcs.2012.07.030.Podrobněji: https://is.muni.cz/publication/1077733/cs
-
Medical faculties educational network: Multidimensional quality assessment J - Článek v odborném periodikuKOMENDA, Martin; Daniel SCHWARZ; Jitka FEBEROVÁ; Stanislav ŠTÍPEK; Vladimír MIHÁL a Ladislav DUŠEK. Medical faculties educational network: Multidimensional quality assessment. Computer Methods and Programs in Biomedicine. ELSEVIER, 2012, roč. 108, č. 3, s. 900-909. ISSN 0169-2607. Dostupné z: https://doi.org/10.1016/j.cmpb.2012.05.002.Podrobněji: https://is.muni.cz/publication/984037/cs
-
On the Credibility of Wireless Sensor Network Simulations: Evaluation of Intrusion Detection System D - Stať ve sborníkuSTETSKO, 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, 2012, s. 75-84. ISBN 978-1-4503-1510-4.Podrobněji: https://is.muni.cz/publication/977194/cs
-
Weak randomness seriously limits the security of quantum key distribution J - Článek v odborném periodikuBOUDA, Jan; Matej PIVOLUSKA; Martin PLESCH a Colin WILMOTT. Weak randomness seriously limits the security of quantum key distribution. Physical Review A. New York: American physical society, 2012, roč. 86, č. 6, s. 0623081-0623085. ISSN 1050-2947. Dostupné z: https://doi.org/10.1103/PhysRevA.86.062308.Podrobněji: https://is.muni.cz/publication/1077735/cs
-
Attack Detection vs. Privacy - How to Find the Link or How to Hide it? D - Stať ve sborníkuKŮR, Jiří; Václav MATYÁŠ; Andriy STETSKO a Petr ŠVENDA. Attack Detection vs. Privacy - How to Find the Link or How to Hide it? 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, 2011, s. 189-199. ISBN 978-3-642-25866-4. Dostupné z: https://doi.org/10.1007/978-3-642-25867-1_18.Podrobněji: https://is.muni.cz/publication/964898/cs
-
Computing Strongly Connected Components in Parallel on CUDA D - Stať ve sborníkuBARNAT, Jiří; Petr BAUCH; Luboš BRIM a Milan ČEŠKA. Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK: IEEE Computer Society, 2011, s. 544 - 555. ISBN 978-1-61284-372-8.Podrobněji: https://is.muni.cz/publication/920569/cs
-
EMEE – Well-founded feedback in learning management systems J - Článek v odborném periodikuKOMENDA, Martin; Lucie PEKÁRKOVÁ a Daniel SCHWARZ. EMEE – Well-founded feedback in learning management systems. AD ALTA - Journal of Interdisciplinary Research. Magnanimitas, 2011, s. 142-145, 164 s. ISSN 1804-7890.Podrobněji: https://is.muni.cz/publication/969360/cs
-
EMEE – Well-founded feedback in learning management systems D - Stať ve sborníkuKOMENDA, Martin; Lucie PEKÁRKOVÁ a Daniel SCHWARZ. EMEE – Well-founded feedback in learning management systems. 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, 2011. ISBN 978-80-904877-7-2.Podrobněji: https://is.muni.cz/publication/964332/cs
-
HOTSPOT WIZARD: WEB APPLICATION FOR PROTEIN ENGINEERING AND STRUCTURAL ANNOTATION k - Prezentace na konferencíchPAVELKA, Antonín; Eva CHOVANCOVÁ a Jiří DAMBORSKÝ. HOTSPOT WIZARD: WEB APPLICATION FOR PROTEIN ENGINEERING AND STRUCTURAL ANNOTATION. In 3Dsig 2011, Structural Bioinformatics and Computational Biophysics, Vienna,. 2011.Podrobněji: https://is.muni.cz/publication/947540/cs
-
Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues D - Stať ve sborníkuSOJKA, Petr a Martin LÍŠKA. Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues. 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, 2011, s. 228-243. ISBN 978-3-642-22672-4. Dostupné z: https://doi.org/10.1007/978-3-642-22673-1_16.Podrobněji: https://is.muni.cz/publication/945754/cs
-
The Art of Mathematics Retrieval D - Stať ve sborníkuSOJKA, 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, 2011, s. 57--60. ISBN 978-1-4503-0863-2. Dostupné z: https://doi.org/10.1145/2034691.2034703.Podrobněji: https://is.muni.cz/publication/952011/cs
-
A Context-Based Grammar Generation in Mixed Initiative Dialogue System for Visually Impaired D - Stať ve sborníkuPLHÁK, Jaromír. A Context-Based Grammar Generation in Mixed Initiative Dialogue System for Visually Impaired. In Computers Helping People with Special Needs, 12th International Conference. 6180/2010. Berlin: Springer-Verlag, 2010, s. 354-360. ISBN 978-3-642-14099-0. Dostupné z: https://doi.org/10.1007/978-3-642-14100-3_52.Podrobněji: https://is.muni.cz/publication/892569/cs
-
Access Rights in Enterprise Full-text Search D - Stať ve sborníkuKASPRZAK, Jan; Michal BRANDEJS; Matěj ČUHEL a Tomáš OBŠÍVAČ. Access Rights in Enterprise Full-text Search. 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, 2010, s. 32-39. ISBN 978-989-8425-04-1.Podrobněji: https://is.muni.cz/publication/890027/cs
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000 D - Stať ve sborníkuMATELA, Jiří; Vít RUSŇÁK a Petr HOLUB. GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. In MEMICS 2010 Proceedings. first. Brno: NOVPRESS, 2010, s. 126-134. ISBN 978-80-87342-10-7.Podrobněji: https://is.muni.cz/publication/904619/cs
-
Improving the Reliability of the Plagiarism Detection System D - Stať ve sborníkuKASPRZAK, 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, 2010, s. 1-10. ISBN 978-88-904810-0-0.Podrobněji: https://is.muni.cz/publication/902466/cs
-
Through Low-Cost Annotation to Reliable Parsing Evaluation D - Stať ve sborníkuJAKUBÍČEK, Miloš; Vojtěch KOVÁŘ a Marek GRÁC. Through Low-Cost Annotation to Reliable Parsing Evaluation. In PACLIC 24 Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation. Tokyo: Waseda University, 2010, s. 555-562. ISBN 978-4-905166-00-9.Podrobněji: https://is.muni.cz/publication/908010/cs
-
Detection and Annotation of Graphical Objects in Raster Images within the GATE Project D - Stať ve sborníkuKOPEČ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. In Proceedings of the 2009 International Conference on Internet Computing ICOMP 2009. USA: CSREA Press, 2009, s. 285-290. ISBN 1-60132-110-4.Podrobněji: https://is.muni.cz/publication/840919/cs
-
Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks D - Stať ve sborníkuSTETSKO, 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, 2009, s. 21-28. ISBN 978-0-7695-3983-6.Podrobněji: https://is.muni.cz/publication/890249/cs
-
Finding Plagiarism by Evaluating Document Similarities D - Stať ve sborníkuKASPRZAK, Jan; Michal BRANDEJS a Miroslav KŘIPAČ. Finding Plagiarism by Evaluating Document Similarities. In Proceedings of the SEPLN'09 Workshop on Uncovering Plagiarism, Authorship and Social Software Misuse. Vol. 502. San Sebastian, Španělsko: CEUR Workshop Proceedings, 2009, s. 24-28. ISSN 1613-0073.Podrobněji: https://is.muni.cz/publication/845820/cs
-
Syntactic Analysis as Pattern Matching: The SET Parsing System D - Stať ve sborníkuKOVÁŘ, Vojtěch; Aleš HORÁK a Miloš JAKUBÍČEK. Syntactic Analysis as Pattern Matching: The SET Parsing System. In Proceedings of 4th Language & Technology Conference. Poznań (Poland): Wydawnictwo Poznańskie, 2009, s. 100-104. ISBN 978-83-7177-746-2.Podrobněji: https://is.muni.cz/publication/855311/cs
-
The Satisfiability Problem for Probabilistic CTL D - Stať ve sborníkuBRÁZDIL, Tomáš; Vojtěch FOREJT; Jan KŘETÍNSKÝ a Antonín KUČERA. The Satisfiability Problem for Probabilistic CTL. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California: IEEE Computer Society, 2008, s. 391-402, 10 s. ISBN 978-0-7695-3183-0.Podrobněji: https://is.muni.cz/publication/771768/cs
-
Visually Impaired Users Create Web Pages D - Stať ve sborníkuBÁRTEK, Luděk a Jaromír PLHÁK. Visually Impaired Users Create Web Pages. In 11th International Conference on Computers Helping People with Special Needs. Berlin: Springer-Verlag, 2008, s. 466-473. ISBN 3-540-70539-2.Podrobněji: https://is.muni.cz/publication/789475/cs
-
Dependency and Phrasal Parsers of the Czech Language: A Comparison D - Stať ve sborníkuHORÁK, Aleš; Tomáš HOLAN; Vladimír KADLEC a Vojtěch KOVÁŘ. Dependency and Phrasal Parsers of the Czech Language: A Comparison. In Proceedings of 10th International Conference on Text, Speech, and Dialogue (TSD 2007). Berlin, Heidelberg: Springer, 2007, s. 76-84. ISBN 978-3-540-74627-0.Podrobněji: https://is.muni.cz/publication/746063/cs