13000 / 13136 - Publikace - 2020
13000 / 13136 - katedra počítačů
Publikační činnost 2020
Články v časopisech WoS
MALINKA, F., F. ŽELEZNÝ a J. KLÉMA. Finding Semantic Patterns in Omics Data Using Concept Rule Learning with an Ontology-based Refinement Operator. BioData Mining. 2020, 13(13), ISSN 1756-0381. DOI 10.1186/s13040-020-00219-6.
DUDAKOVA, L. et al. Pseudodominant Nanophthalmos in a Roma Family Caused by a Novel PRSS56 Variant. Journal of Ophthalmology. 2020, 2020 ISSN 2090-004X. DOI 10.1155/2020/6807809.
SKALICKA, P. et al. Brittle cornea syndrome: Disease-causing mutations in ZNF469 and two novel variants identified in a patient followed for 26 years. Biomedical Papers. 2020, 164(2), 183-188. ISSN 1213-8118. DOI 10.5507/bp.2019.017.
MORAVIKOVA, J. et al. Phenotype Variability in Czech Patients Carrying PAX6 Disease-Causing Variants. Folia Biologica. 2020, 66(4), 123-132. ISSN 0015-5500.
LEDVINKA, M. a P. KŘEMEN. A comparison of object-triple mapping libraries. Semantic Web. 2020, 11(3), 483-524. ISSN 1570-0844. DOI 10.3233/SW-190345.
JANISCH, J., T. PEVNÝ a V. LISÝ. Classification with Costly Features as a Sequential Decision-making Problem. Machine Learning. 2020, 109(8), 1587-1615. ISSN 0885-6125. DOI 10.1007/s10994-020-05874-8.
KUNC, V. et al. Accessory Bones of the Elbow: Prevalence, Localization and Modified Classification. Journal of Anatomy. 2020, 237(4), 618-622. ISSN 0021-8782. DOI 10.1111/joa.13233.
ČERMÁK, J., V. LISÝ a B. BOŠANSKÝ. Automated Construction of Bounded-loss Imperfect-recall Abstractions in Extensive-form Games. Artificial Intelligence. 2020, 282 ISSN 0004-3702. DOI 10.1016/j.artint.2020.103248.
Patenty a užitné vzory
České vysoké učení technické v Praze, Jugoslávských partyzánů 1580/3, 160 00 Praha 6, Dejvice, Česká republika. Systém pro testování zařízení připojených k internetové síti. Původci: M. BUREŠ, V. RECHTBERGER a M. KLÍMA. Česká republika. Užitný vzor CZ 33926. 2020-04-28. Dostupné z: https://isdv.upv.cz/webapp/resdb.print_detail.det?pspis=PUV/36985&plang=CS
Články v ostatních periodikách
BASMADJIAN, R. et al. A Reference Architecture for Interoperable Reservation Systems in Electric Vehicle Charging. Smart Cities. 2020, 2020(3), 1405-1427. ISSN 2624-6511. DOI 10.3390/smartcities3040067. Dostupné z: https://www.mdpi.com/2624-6511/3/4/67
Knihy, kapitoly v knihách, skripta, sborníky
URBANOVSKÁ, M. et al., eds. Model-free Automated Planning Using Neural Networks. Nancy, 2020-10-26/2020-10-30. Menlo Park: AAAI Press, 2020.
HEIM, N., T. PEVNÝ a V. ŠMÍDL, eds. Neural Power Units. Neural Information Processing Systems Foundation, Inc., 2020. Dostupné z: https://proceedings.neurips.cc/paper/2020/hash/48e59000d7dfcf6c1d96ce4a603ed738-Abstract.html
Stati ve sbornících konferencí
DECKEROVÁ, J. a J. FAIGL. Hopfield Neural Network in Solution of the Close Enough Orienteering Problem. In: CEUR Workshop Proceedings. 20th Conference Information Technologies - Applicationsand Theory, Oravská Lesná, 2021-09-18/2021-09-22. CEUR-WS.org, 2020. s. 169-175. ISSN 1613-0073.
BAYER, J. a J. FAIGL. Handheld Localization Device for Indoor Environments. In: Proceedings of the 2020 4 th International Conference on Automation, Control and Robots. 4th International Conference on Automation, Control and Robots, Rome, 2020-11-11/2020-11-13. Piscataway: IEEE Service Center, 2020. s. 60-64. ISBN 978-1-7281-9207-9. DOI 10.1109/ICACR51161.2020.9265494.
MORAK, M.M. et al. On the Reversibility of Actions in Planning. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, 2020-09-12/2020-09-18. International Joint Conferences on Artificial Intelligence Organization, 2020. s. 652-661. ISSN 2334-1033. ISBN 978-0-9992411-7-2. DOI 10.24963/kr.2020/65.
ŠÍR, G., F. ŽELEZNÝ a O. KUŽELKA. Learning with Molecules beyond Graph Neural Networks. In: Machine Learning for Molecules Workshop @ NeurIPS 2020. virtual only, 2020-12-12. Massachusetts: OpenReview.net / University of Massachusetts, 2020. Dostupné z: https://ml4molecules.github.io/papers2020/ML4Molecules_2020_paper_24.pdf
PRÁGR, M., P. VÁŇA a J. FAIGL. Aerial Reconnaissance and Ground Robot Terrain Learning in Traversal Cost Assessment. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 3-10. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_1. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-43890-6_1
BAYER, J. a J. FAIGL. Speeded Up Elevation Map for Exploration of Large-Scale Subterranean Environments. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 190-202. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_15. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-43890-6_15
SAEEDA, L. et al. Entity Linking and Lexico-Semantic Patterns for Ontology Learning. In: The Semantic Web 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings. 17th European semantic Web conference - ESWC 2020, Crete, 2020-06-02/2020-06-04. Cham: Springer International Publishing, 2020. s. 138-153. 1. ISSN 0302-9743. ISBN 978-3-030-49460-5. DOI 10.1007/978-3-030-49461-2_9.
GOERTZEL, Z. Make E Smart Again (Short Paper). In: Lecture Notes in Computer Science. Automated Reasoning - 10th International Joint Conference, Paris, 2020-06-29/2020-07-06. Cham: Springer, 2020. s. 408-415. sv. 12167 LNAI. ISSN 0302-9743. ISBN 978-3-030-51053-4. DOI 10.1007/978-3-030-51054-1_26.
SZADKOWSKI, R., M. PRÁGR a J. FAIGL. Transfer of Inter-Robotic Inductive Classifier. In: Proceedings of the 2020 4 th International Conference on Automation, Control and Robots. 4th International Conference on Automation, Control and Robots, Rome, 2020-11-11/2020-11-13. Piscataway: IEEE Service Center, 2020. s. 32-36. ISBN 978-1-7281-9207-9. DOI 10.1109/ICACR51161.2020.9265509.
NAGASHIMA, Y. Simple Dataset for Proof Method Recommendation in Isabelle/HOL. In: Lecture Notes in Computer Science. 13th International Conference on Intelligent Computer Mathematics, Bertinoro, Forli, 2020-07-26/2020-07-31. Cham: Springer, 2020. s. 297-302. sv. 12236 LNAI. ISSN 0302-9743. ISBN 978-3-030-53517-9. DOI 10.1007/978-3-030-53518-6_21.
HEIM, N., T. PEVNÝ a V. ŠMÍDL. Neural Power Units. In: Advances in Neural Information Processing Systems 33 (NeurIPS 2020). NeurIPS2020: 33rd Neural Information Processing Systems, Vancouver, 2020-12-06/2020-12-12. Montreal: Neural Information Processing Society, 2020. ISSN 1049-5258. Dostupné z: https://proceedings.neurips.cc/paper/2020/hash/48e59000d7dfcf6c1d96ce4a603ed738-Abstract.html
KRAJNÍK, T. et al. CHRONOROBOTICS: Representing the Structure of Time for Service Robots. In: ISCSIC 2020: Proceedings of the 2020 4th International Symposium on Computer Science and Intelligent Control. ISCSIC 2020: 2020 4th International Symposium on Computer Science and Intelligent Control, Newcastle, 2020-11-17/2020-11-19. New York: Association for Computing Machinery, 2020. ISBN 978-1-4503-8889-4. DOI 10.1145/3440084.3441195.
LEDVINKA, M. et al. TermIt: A Practical Semantic Vocabulary Manager. In: Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS. 22nd International Conference on Enterprise Information Systems (ICEIS 2020), Prague, 2020-05-05/2020-05-07. Porto: SciTePress - Science and Technology Publications, 2020. s. 759-766. sv. 1. ISBN 978-989-758-423-7. DOI 10.5220/0009563707590766. Dostupné z: https://www.scitepress.org/PublicationsDetail.aspx?ID=9rIct+oAmq0=&t=1
VÁŇA, P. et al. Minimal 3D Dubins Path with Bounded Curvature and Pitch Angle. In: IEEE International Conference on Robotics and Automation (ICRA). 2020 IEEE International Conference on Robotics and Automation (ICRA), Paris, 2020-05-31/2020-08-31. IEEE Xplore, 2020. s. 8497-8503. ISSN 2577-087X. ISBN 978-1-7281-7395-5. DOI 10.1109/ICRA40945.2020.9197084. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9197084
SVATOŠ, M. et al. STRiKE: Rule-Driven Relational Learning Using Stratified k-Entailment. In: The proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). The 24th European Conference on Artificial Intelligence, Virtual online, 2020-08-29/2020-09-08. Oxford: IOS Press, 2020. s. 1515-1522. sv. 325. ISSN 0922-6389. ISBN 978-1-64368-100-9. DOI 10.3233/FAIA200259.
VINTR, T. et al. Natural Criteria for Comparison of Pedestrian Flow Forecasting Models. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. Las Vegas, 2020-10-25/2021-01-24. Piscataway: IEEE Robotics and Automation Society, 2020. s. 11197-11204. ISSN 2153-0866. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9341672. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9341672
BRABEC, J. et al. On Model Evaluation Under Non-constant Class Imbalance. In: Computational Science - ICCS 2020. 20th International Conference on Computational Science 2020, Amsterdam, 2020-06-03/2020-06-05. Cham: Springer, 2020. s. 74-87. sv. 12140. ISSN 0302-9743. ISBN 978-3-030-50422-9. DOI 10.1007/978-3-030-50423-6_6.
SZADKOWSKI, R. a J. FAIGL. Neurodynamic Sensory-Motor Phase Binding for Multi-Legged Walking Robots. In: Proceedings of 2020 International Joint Conference on Neural Networks. 2020 International Joint Conference on Neural Networks (IJCNN 2020), Glasgow, 2020-07-19/2020-07-24. Piscataway: IEEE Service Center, 2020. ISSN 2161-4407. ISBN 978-1-7281-6926-2. DOI 10.1109/IJCNN48605.2020.9207507. Dostupné z: https://ieeexplore.ieee.org/document/9207507
ČERMÁK, J., V. LISÝ a B. BOŠANSKÝ. Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Yokohama, 2020-07-11/2020-07-17. International Joint Conferences on Artificial Intelligence Organization, 2020. s. 5030-5034. ISBN 978-0-9992411-6-5. Dostupné z: https://www.ijcai.org/Proceedings/2020/0701.pdf
FIŠER, D., R. HORČÍK a A. KOMENDA. Strengthening Potential Heuristics with Mutexes and Disambiguations. In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. ICAPS 2020: the 30th International Conference on Automated Planning and Scheduling, Nancy, 2020-10-26/2020-10-30. Menlo Park: AAAI Press, 2020. s. 124-133. ISSN 2334-0835. ISBN 978-1-57735-824-4.
TOMÁŠEK, P., B. BOŠANSKÝ a T.H. NGUYEN. Using One-Sided Partially Observable Stochastic Games for Solving Zero-Sum Security Games with Sequential Attacks. In: Decision and Game Theory for Security. 11th Conference on Decision and Game Theory for Security, Maryland, 2020-10-26/2020-10-30. Cham: Springer International Publishing, 2020. s. 385-404. ISSN 0302-9743. ISBN 978-3-030-64792-6. DOI 10.1007/978-3-030-64793-3_21.
PRÁGR, M. a J. FAIGL. Terrain Learning Using Time Series of Ground Unit Traversal Cost. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 97-107. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_8. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-43890-6_8
FIŠER, D. Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems. In: Proceedings of the AAAI Conference on Artificial Intelligence. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, 2020-02-07/2020-02-12. Menlo Park: AAAI Press, 2020. s. 9835-9842. ISSN 2159-5399. ISBN 978-1-57735-835-0. DOI 10.1609/aaai.v34i06.6536.
KUČEROVÁ, K., P. VÁŇA a J. FAIGL. On finding time-efficient trajectories for fixed-wing aircraft using dubins paths with multiple radii. In: Proceedings of the ACM Symposium on Applied Computing. The 35th Annual ACM Symposium on Applied Computing, Brno, 2020-03-30/2020-04-03. New York: Association for Computing Machinery, 2020. s. 829-831. ISBN 978-1-4503-6866-7. DOI 10.1145/3341105.3374112.
ŠTEFANÍKOVÁ, P., P. VÁŇA a J. FAIGL. Greedy Randomized Adaptive Search Procedure for Close Enough Orienteering Problem. In: Proceedings of the ACM Symposium on Applied Computing. The 35th Annual ACM Symposium on Applied Computing, Brno, 2020-03-30/2020-04-03. New York: Association for Computing Machinery, 2020. s. 808-814. ISBN 978-1-4503-6866-7. DOI 10.1145/3341105.3374010.
Výzkumné zprávy
SAEEDA, L. et al. Analysis of the possibilities for transformation of non-structured data into structured data in the domain of aircraft reliability and quality. [Výzkumná zpráva] 2020.
13136 / 13141 - centrum umělé inteligence
Publikační činnost 2020
Články v časopisech WoS
RAMIČIĆ, M. a A. BONARINI. Correlation minimizing replay memory in temporal-difference reinforcement learning. Neurocomputing. 2020, 393 91-100. ISSN 0925-2312. DOI 10.1016/j.neucom.2020.02.004.
FAIGL, J. Unsupervised learning-based solution of the Close Enough Dubins Orienteering Problem. Neural Computing and Applications. 2020, 24(32), 18193-18211. ISSN 0941-0643. DOI 10.1007/s00521-019-04222-9.
KOPP, M., T. PEVNÝ a M. HOLEŇA. Anomaly explanation with random forests. Expert Systems with Applications. 2020, 2020(149), ISSN 0957-4174. DOI 10.1016/j.eswa.2020.113187.
VÁŇA, P. a J. FAIGL. Optimal solution of the Generalized Dubins Interval Problem: finding the shortest curvature-constrained path through a set of regions. Autonomous Robots. 2020, 2020(44), 1359-1376. ISSN 0929-5593. DOI 10.1007/s10514-020-09932-x.
VALLATI, M., L. CHRPA a I. SERINA. MEvo: A Framework for Effective Macro Sets Evolution. Journal of Experimental and Theoretical Artificial Intelligence. 2020, 32(4), 685-703. ISSN 0952-813X. DOI 10.1080/0952813X.2019.1672796.
ŠKVÁRA, V. et al. Detection of Alfven Eigenmodes on COMPASS with Generative Neural Networks. Fusion Science & Technology. 2020, 76(8), 962-971. ISSN 1536-1055. DOI 10.1080/15361055.2020.1820805.
MACA, V. et al. Incentivizing Commuter Cycling by Financial and Non-Financial Rewards. International Journal of Environmental Research and Public Health. 2020, 17(17), 1-14. ISSN 1660-4601. DOI 10.3390/ijerph17176033. Dostupné z: https://www.mdpi.com/1660-4601/17/17/6033
KOVAŘÍK, V. a V. LISÝ. Analysis of Hannan consistent selection for Monte Carlo tree search in simultaneous move games. Machine Learning. 2020, 109(1), 1-50. ISSN 0885-6125. DOI 10.1007/s10994-019-05832-z.
YANG, T. et al. Raindrop Removal With Light Field Image Using Image Inpainting. IEEE Access. 2020, 2020(8), 58416-58426. ISSN 2169-3536. DOI 10.1109/ACCESS.2020.2981641. Dostupné z: https://ieeexplore.ieee.org/ielx7/6287639/8948470/09040628.pdf
JANISCH, J., T. PEVNÝ a V. LISÝ. Classification with Costly Features as a Sequential Decision-making Problem. Machine Learning. 2020, 109(8), 1587-1615. ISSN 0885-6125. DOI 10.1007/s10994-020-05874-8.
ČERMÁK, J., V. LISÝ a B. BOŠANSKÝ. Automated Construction of Bounded-loss Imperfect-recall Abstractions in Extensive-form Games. Artificial Intelligence. 2020, 282 ISSN 0004-3702. DOI 10.1016/j.artint.2020.103248.
VÁŇA, P., J. SLÁMA a J. FAIGL. Surveillance Planning with Safe Emergency Landing Guarantee for Fixed-wing Aircraft. Robotics and Autonomous Systems. 2020, 133 1-13. ISSN 0921-8890. DOI 10.1016/j.robot.2020.103644.
PETRLÍK, M. et al. A Robust UAV System for Operations in a Constrained Environment. IEEE Robotics and Automation Letters. 2020, 5(2), 2169-2176. ISSN 2377-3766. DOI 10.1109/LRA.2020.2970980. Dostupné z: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8979150
Články v ostatních periodikách
BASMADJIAN, R. et al. A Reference Architecture for Interoperable Reservation Systems in Electric Vehicle Charging. Smart Cities. 2020, 2020(3), 1405-1427. ISSN 2624-6511. DOI 10.3390/smartcities3040067. Dostupné z: https://www.mdpi.com/2624-6511/3/4/67
DIFONZO, F. A Note on Attractivity for the Intersection of two Discontinuity Manifolds. Opuscula Mathematica. 2020, 40(6), 685-702. ISSN 1232-9274. DOI 10.7494/OpMath.2020.40.6.685.
Knihy, kapitoly v knihách, skripta, sborníky
URBANOVSKÁ, M. et al., eds. Model-free Automated Planning Using Neural Networks. Nancy, 2020-10-26/2020-10-30. Menlo Park: AAAI Press, 2020.
HEIM, N., T. PEVNÝ a V. ŠMÍDL, eds. Neural Power Units. Neural Information Processing Systems Foundation, Inc., 2020. Dostupné z: https://proceedings.neurips.cc/paper/2020/hash/48e59000d7dfcf6c1d96ce4a603ed738-Abstract.html
CHRPA, L. Modeling Planning Tasks: Representation Matters. In: Knowledge Engineering Tools and Techniques for AI Planning. Cham: Springer, 2020. s. 107-123. ISBN 978-3-030-38560-6.
CHRPA, L. Planning in a Real-World Application: An AUV Case Study. In: Knowledge Engineering Tools and Techniques for AI Planning. Cham: Springer, 2020. s. 249-259. ISBN 978-3-030-38560-6.
Stati ve sbornících konferencí
DECKEROVÁ, J. a J. FAIGL. Hopfield Neural Network in Solution of the Close Enough Orienteering Problem. In: CEUR Workshop Proceedings. 20th Conference Information Technologies - Applicationsand Theory, Oravská Lesná, 2021-09-18/2021-09-22. CEUR-WS.org, 2020. s. 169-175. ISSN 1613-0073.
ROUČEK, T. et al. DARPA Subterranean Challenge: Multi-robotic exploration of underground environments. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 274-290. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_22. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-43890-6_22
VOMLELOVÁ, M. et al. Automated Acquisition of Control Knowledge for Classical Planners. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence. ICAART 2020: the 12th International Conference on Agents and Artificial Intelligence, Valletta, 2020-02-22/2020-02-24. Porto: SciTePress - Science and Technology Publications, 2020. s. 959-966. sv. 2. ISSN 2184-433X. ISBN 978-989-758-395-7. DOI 10.5220/0009175209590966.
BAYER, J. a J. FAIGL. Handheld Localization Device for Indoor Environments. In: Proceedings of the 2020 4 th International Conference on Automation, Control and Robots. 4th International Conference on Automation, Control and Robots, Rome, 2020-11-11/2020-11-13. Piscataway: IEEE Service Center, 2020. s. 60-64. ISBN 978-1-7281-9207-9. DOI 10.1109/ICACR51161.2020.9265494.
BUMBÁLEK, R., M. ŠTOLBA a A. KOMENDA. Secure Multi-agent Planning via Sharemind. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence. ICAART 2020: the 12th International Conference on Agents and Artificial Intelligence, Valletta, 2020-02-22/2020-02-24. Porto: SciTePress - Science and Technology Publications, 2020. s. 852-859. sv. 2. ISSN 2184-433X. ISBN 978-989-758-395-7. DOI 10.5220/0009147908520859.
MORAK, M.M. et al. On the Reversibility of Actions in Planning. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, 2020-09-12/2020-09-18. International Joint Conferences on Artificial Intelligence Organization, 2020. s. 652-661. ISSN 2334-1033. ISBN 978-0-9992411-7-2. DOI 10.24963/kr.2020/65.
CHRPA, L. et al. Determining Action Reversibility in STRIPS Using Answer Set Programming. In: International Conference on Logic Programming 2020 Workshop Proceedings. International Conference on Logic Programming, Rende, 2020-09-18/2020-09-19. Aachen: CEUR Workshop Proceedings, 2020. ISSN 1613-0073.
PRÁGR, M., P. VÁŇA a J. FAIGL. Aerial Reconnaissance and Ground Robot Terrain Learning in Traversal Cost Assessment. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 3-10. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_1. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-43890-6_1
VALEROS, V. a S. GARCÍA. Growth and Commoditization of Remote Access Trojans. In: IEEE European Symposium on Security and Privacy Workshops. Genoa, 2020-09-07/2020-09-11. Brighton: Institute of Electrical and Electronics Engineers, 2020. s. 454-462. ISBN 978-1-7281-8597-2. DOI 10.1109/EuroSPW51379.2020.00067.
FAIGL, J., P. VÁŇA a J. DRCHAL. Fast Sequence Rejection for Multi-Goal Planning with Dubins Vehicle. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. Las Vegas, 2020-10-25/2021-01-24. Piscataway: IEEE Robotics and Automation Society, 2020. s. 6773-6780. ISSN 2153-0866. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9340644. Dostupné z: https://ieeexplore.ieee.org/document/9340644
YAN, Z. et al. EU Long-term Dataset with Multiple Sensors for Autonomous Driving. In: Proceedings of the 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 2020: the IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, 2020-10-24/2021-01-24. Los Alamitos: IEEE Computer Society, 2020. s. 10697-10704. ISSN 2153-0858. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9341406.
BAYER, J. a J. FAIGL. Speeded Up Elevation Map for Exploration of Large-Scale Subterranean Environments. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 190-202. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_15. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-43890-6_15
SZADKOWSKI, R., M. PRÁGR a J. FAIGL. Transfer of Inter-Robotic Inductive Classifier. In: Proceedings of the 2020 4 th International Conference on Automation, Control and Robots. 4th International Conference on Automation, Control and Robots, Rome, 2020-11-11/2020-11-13. Piscataway: IEEE Service Center, 2020. s. 32-36. ISBN 978-1-7281-9207-9. DOI 10.1109/ICACR51161.2020.9265509.
CHRPA, L., M. PILÁT a J. GEMROT. Compiling planning problems with non-deterministic events into FOND planning. In: 2019 Joint RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion and of the RCRA Incontri e Confronti Workshop. Rende, 2019-11-19/2019-11-20. CEUR-WS.org, 2020. ISSN 1613-0073. Dostupné z: http://ceur-ws.org/Vol-2538/paper6.pdf
DĚDIČ, M. et al. Loss Functions for Clustering in Multi-instance Learning. In: Proceedings of the 20th Conference Information Technologies - Applications and Theory (ITAT 2020). ITAT 2020: Information Technologies – Applications and Theory, hotel Tyrapol, Oravská Lesná, 2020-09-18/2020-09-22. Aachen: CEUR Workshop Proceedings, 2020. s. 137-146. ISSN 1613-0073. Dostupné z: http://ceur-ws.org/Vol-2718/paper05.pdf
HEIM, N., T. PEVNÝ a V. ŠMÍDL. Neural Power Units. In: Advances in Neural Information Processing Systems 33 (NeurIPS 2020). NeurIPS2020: 33rd Neural Information Processing Systems, Vancouver, 2020-12-06/2020-12-12. Montreal: Neural Information Processing Society, 2020. ISSN 1049-5258. Dostupné z: https://proceedings.neurips.cc/paper/2020/hash/48e59000d7dfcf6c1d96ce4a603ed738-Abstract.html
KRAJNÍK, T. et al. CHRONOROBOTICS: Representing the Structure of Time for Service Robots. In: ISCSIC 2020: Proceedings of the 2020 4th International Symposium on Computer Science and Intelligent Control. ISCSIC 2020: 2020 4th International Symposium on Computer Science and Intelligent Control, Newcastle, 2020-11-17/2020-11-19. New York: Association for Computing Machinery, 2020. ISBN 978-1-4503-8889-4. DOI 10.1145/3440084.3441195.
VÁŇA, P. et al. Minimal 3D Dubins Path with Bounded Curvature and Pitch Angle. In: IEEE International Conference on Robotics and Automation (ICRA). 2020 IEEE International Conference on Robotics and Automation (ICRA), Paris, 2020-05-31/2020-08-31. IEEE Xplore, 2020. s. 8497-8503. ISSN 2577-087X. ISBN 978-1-7281-7395-5. DOI 10.1109/ICRA40945.2020.9197084. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9197084
PAČES, P. Avionics Testing with Artificial Intelligence Support. In: LETSU-DAKE, E. et al., eds. 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) Proceedings. 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), San Antonio, Texas, 2020-10-11/2020-10-16. Piscataway: IEEE Service Center, 2020. ISSN 2155-7195. ISBN 978-1-7281-9825-5. DOI 10.1109/DASC50938.2020.9256563.
CHRPA, L., P. RYTÍŘ a R. HORČÍK. Acting in Dynamic Environments: Models of Agent-Environment Interaction. In: Proceedings of Workshop on Knowledge Engineering for Planning and Scheduling. Knowledge Engineering for Planning and Scheduling, Nancy, 2020-10-26/2020-10-30. Grenoble: Elsevier, 2020.
VALLATI, M. a L. CHRPA. Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study. In: AI 2020: Advances in Artificial Intelligence. Australasian Joint Conference on Artificial Intelligence, Canberra, 2020-11-29/2020-11-30. Cham: Springer, 2020. s. 69-81. ISSN 0302-9743. ISBN 978-3-030-64983-8. DOI 10.1007/978-3-030-64984-5_6.
VINTR, T. et al. Natural Criteria for Comparison of Pedestrian Flow Forecasting Models. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. Las Vegas, 2020-10-25/2021-01-24. Piscataway: IEEE Robotics and Automation Society, 2020. s. 11197-11204. ISSN 2153-0866. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9341672. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9341672
CHRPA, L., P. RYTÍŘ a R. HORČÍK. Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. In: Proceedings of the Twelfth International Symposium on Combinatorial Search. Thirteenth Annual Symposium on Combinatorial Search, Vídeň, 2020-05-26/2020-05-28. Menlo Park: AAAI Press, 2020. s. 20-28. ISBN 978-1-57735-822-0.
PETROVA, O. et al. Discovering Imperfectly Observable Adversarial Actions Using Anomaly Detection. In: Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems. International Conference on Autonomous Agents and Multi-Agent Systems, Auckland, 2020-05-09/2020-05-13. County of Richland: IFAAMAS, 2020. s. 1969-1971. ISSN 1548-8403. ISBN 978-1-4503-7518-4.
SZADKOWSKI, R. a J. FAIGL. Neurodynamic Sensory-Motor Phase Binding for Multi-Legged Walking Robots. In: Proceedings of 2020 International Joint Conference on Neural Networks. 2020 International Joint Conference on Neural Networks (IJCNN 2020), Glasgow, 2020-07-19/2020-07-24. Piscataway: IEEE Service Center, 2020. ISSN 2161-4407. ISBN 978-1-7281-6926-2. DOI 10.1109/IJCNN48605.2020.9207507. Dostupné z: https://ieeexplore.ieee.org/document/9207507
ČERMÁK, J., V. LISÝ a B. BOŠANSKÝ. Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Yokohama, 2020-07-11/2020-07-17. International Joint Conferences on Artificial Intelligence Organization, 2020. s. 5030-5034. ISBN 978-0-9992411-6-5. Dostupné z: https://www.ijcai.org/Proceedings/2020/0701.pdf
PEVNÝ, T. et al. Sum-Product-Transform Networks: Exploiting Symmetries using Invertible Transformations. In: Proceedings of the 10th International Conference on Probabilistic Graphical Models. International Conference on Probabilistic Graphical Models, Aalborg, 2020-09-23/2020-09-25. Proceedings of Machine Learning Research, 2020. s. 341-352. sv. 138. ISSN 2640-3498. Dostupné z: http://proceedings.mlr.press/v138/pevny20a.html
FIŠER, D., R. HORČÍK a A. KOMENDA. Strengthening Potential Heuristics with Mutexes and Disambiguations. In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. ICAPS 2020: the 30th International Conference on Automated Planning and Scheduling, Nancy, 2020-10-26/2020-10-30. Menlo Park: AAAI Press, 2020. s. 124-133. ISSN 2334-0835. ISBN 978-1-57735-824-4.
TOMÁŠEK, P., B. BOŠANSKÝ a T.H. NGUYEN. Using One-Sided Partially Observable Stochastic Games for Solving Zero-Sum Security Games with Sequential Attacks. In: Decision and Game Theory for Security. 11th Conference on Decision and Game Theory for Security, Maryland, 2020-10-26/2020-10-30. Cham: Springer International Publishing, 2020. s. 385-404. ISSN 0302-9743. ISBN 978-3-030-64792-6. DOI 10.1007/978-3-030-64793-3_21.
PRÁGR, M. a J. FAIGL. Terrain Learning Using Time Series of Ground Unit Traversal Cost. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. s. 97-107. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_8. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-43890-6_8
FIŠER, D. Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems. In: Proceedings of the AAAI Conference on Artificial Intelligence. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, 2020-02-07/2020-02-12. Menlo Park: AAAI Press, 2020. s. 9835-9842. ISSN 2159-5399. ISBN 978-1-57735-835-0. DOI 10.1609/aaai.v34i06.6536.
KUNGURTSEV, V. a J. MAREČEK. A Two-Step Pre-Processing for Semidefinite Programming. In: Proceedings of the 59th IEEE Conference on Decision and Control. 59th IEEE Conference on Decision and Control, Jeju Island, 2020-12-14/2020-12-18. Institute of Electrical and Electronics Engineers, Inc., 2020. s. 384-389. ISSN 2576-2370. ISBN 978-1-7281-7447-1. DOI 10.1109/CDC42340.2020.9304494. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9304494
CHRPA, L. et al. Towards Generating Effective Plans in Zero-sum Games by Estimating Strategy ofan Adversary. In: Proceedings of The first online Workshop of the UK Planning & Scheduling Special Interest Group. The first online Workshop of the UK Planning & Scheduling Special Interest Group, virtual conference, 2020-12-16. London: WordPress, 2020.
VALLATI, M. a L. CHRPA. A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions. In: AI 2020: Advances in Artificial Intelligence. Australasian Joint Conference on Artificial Intelligence, Canberra, 2020-11-29/2020-11-30. Cham: Springer, 2020. s. 82-93. ISSN 0302-9743. ISBN 978-3-030-64983-8. DOI 10.1007/978-3-030-64984-5_7.
ČERNÝ, J., B. BOŠANSKÝ a B. AN. Finite State Machines Play Extensive-Form Games. In: EC '20: Proceedings of the 21st ACM Conference on Economics and Computation. The Twenty-First ACM Conference on Economics and Computation (EC'20), Virtual On-line, 2020-07-13/2020-07-16. Association for Computing Machinery, 2020. s. 509-533. ISBN 978-1-4503-7975-5. DOI 10.1145/3391403.3399517. Dostupné z: https://dl.acm.org/doi/abs/10.1145/3391403.3399517
CHRPA, L., J. GERMOT a M. PILÁT. Planning and Acting with Non-deterministic Events:Navigating between Safe States. In: Proceedings of the AAAI Conference on Artificial Intelligence. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, 2020-02-07/2020-02-12. Menlo Park: AAAI Press, 2020. s. 9802-9809. ISSN 2159-5399. ISBN 978-1-57735-835-0.
KUČEROVÁ, K., P. VÁŇA a J. FAIGL. On finding time-efficient trajectories for fixed-wing aircraft using dubins paths with multiple radii. In: Proceedings of the ACM Symposium on Applied Computing. The 35th Annual ACM Symposium on Applied Computing, Brno, 2020-03-30/2020-04-03. New York: Association for Computing Machinery, 2020. s. 829-831. ISBN 978-1-4503-6866-7. DOI 10.1145/3341105.3374112.
ŠTEFANÍKOVÁ, P., P. VÁŇA a J. FAIGL. Greedy Randomized Adaptive Search Procedure for Close Enough Orienteering Problem. In: Proceedings of the ACM Symposium on Applied Computing. The 35th Annual ACM Symposium on Applied Computing, Brno, 2020-03-30/2020-04-03. New York: Association for Computing Machinery, 2020. s. 808-814. ISBN 978-1-4503-6866-7. DOI 10.1145/3341105.3374010.
ČÁP, M. a T. ROUN. Rebalancing in Vehicle-sharing Systems with Service Availability Guarantees. In: Proceedings of 2020 American Control Conference. 2020 American Control Conference, Denver, 2020-07-01/2020-07-03. Anchorage, Alaska: IEEE, 2020. s. 2635-2642. ISSN 2378-5861. ISBN 978-1-5386-8266-1. DOI 10.23919/ACC45564.2020.9147303. Dostupné z: https://ieeexplore.ieee.org/document/9147303
ČERNY, J. et al. Dinkelbach-type algorithm for computing quantal stackelberg equilibrium. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Yokohama, 2020-07-11/2020-07-17. International Joint Conferences on Artificial Intelligence Organization, 2020. s. 246-253. ISBN 978-0-9992411-6-5. Dostupné z: https://www.ijcai.org/Proceedings/2020/0035.pdf
Výzkumné zprávy
UBIEDO, L. et al. Current State of IPv6 Security in IoT. [Výzkumná zpráva] 2020. Zpráva č. Avast Software 2021.
13136 / 13142 - kabinet výuky informatiky
Publikační činnost 2020
Knihy, kapitoly v knihách, skripta, sborníky
VANÍČEK, J., I. NAGYOVÁ a M. TOMCSÁNYIOVÁ. Programování ve Scratch pro 2. stupeň základní školy. České Budějovice: Jihočeská univerzita v Českých Budějovicích, 2020. ISBN 978-80-7394-783-5. Dostupné z: https://www.imysleni.cz/ucebnice/programovani-ve-scratchi-pro-2-stupen-zakladni-skoly
Stati ve sbornících konferencí
MANNOVÁ, B., C. PRESTON a S. YOUNIE. TEACHERS AND LEADERS COLLABORATING ON A STRATEGIC RESEARCH APPROACH TO THE USE OF EDUCATION TECHNOLOGY IN THEIR SCHOOL. In: Edulearn20 Proceedings. 12th annual International Conference on Education and New Learning Technologies, Mallorca, 2020-07-06/2020-07-07. Valencia: IATED Academy, 2020. s. 3466-3472. ISSN 2340-1117. ISBN 978-84-09-17979-4. Dostupné z: https://library.iated.org/view/MANNOVA2020TEA
13136 / 13143 - Intelligent Data Analysis
Publikační činnost 2020
Články v časopisech WoS
MALINKA, F., F. ŽELEZNÝ a J. KLÉMA. Finding Semantic Patterns in Omics Data Using Concept Rule Learning with an Ontology-based Refinement Operator. BioData Mining. 2020, 13(13), ISSN 1756-0381. DOI 10.1186/s13040-020-00219-6.
ROSSNER, P. et al. Gene Expression and Epigenetic Changes in Mice Following Inhalation of Copper(II) Oxide Nanoparticles. Nanomaterials. 2020, 10(3), ISSN 2079-4991. DOI 10.3390/nano10030550. Dostupné z: https://www.mdpi.com/2079-4991/10/3/550
ROSSNEROVA, A. et al. DNA Methylation Profiles in a Group of Workers Occupationally Exposed to Nanoparticles. International Journal of Molecular Sciences. 2020, 21(7), ISSN 1422-0067. DOI 10.3390/ijms21072420. Dostupné z: https://pubmed.ncbi.nlm.nih.gov/32244494/
KUNC, V. a J. KLÉMA. On Tower and Checkerboard Neural Network Architectures for Gene Expression Inference. BMC Genomics. 2020, 21(5), ISSN 1471-2164. DOI 10.1186/s12864-020-06821-6. Dostupné z: https://bmcgenomics.biomedcentral.com/articles/10.1186/s12864-020-06821-6
DANESHMAND, A., G. SCUTARI a V. KUNGURTSEV. Second-Order Guarantees of Distributed Gradient Algorithms. SIAM Journal on Optimization. 2020, 30(4), 3029-3068. ISSN 1095-7189. DOI 10.1137/18M121784X. Dostupné z: https://epubs.siam.org/doi/abs/10.1137/18M121784X
CANNELLI, L. et al. Asynchronous Parallel Algorithms for Nonconvex Optimization. Mathematical Programming. 2020, 184(1-2), 121-154. ISSN 0025-5610. DOI 10.1007/s10107-019-01408-w.
SUWARTADI, E., V. KUNGURTSEV a J. JÄSCHKE. Fast Sensitivity-Based Economic Model Predictive Control for Degenerate Systems. Journal of Process Control. 2020, 88 54-62. ISSN 0959-1524. DOI 10.1016/j.jprocont.2020.02.006.
HRUBA, P. et al. Molecular Patterns of Isolated Tubulitis Differ from Tubulitis with Interstitial Inflammation in Early Indication Biopsies of Kidney Allografts. Scientific Reports. 2020, 10(1), ISSN 2045-2322. DOI 10.1038/s41598-020-79332-9. Dostupné z: https://www.researchgate.net/publication/347443232_Molecular_patterns_of_isolated_tubulitis_differ_from_tubulitis_with_interstitial_inflammation_in_early_indication_biopsies_of_kidney_allografts
BERGOU, E.H., Y. DIOUANE a V. KUNGURTSEV. Convergence and Complexity Analysis of a Levenberg-Marquardt Algorithm for Inverse Problems. JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS. 2020, 185(3), 927-944. ISSN 0022-3239. DOI 10.1007/s10957-020-01666-1.
SZIKSZAI, K. et al. LncRNA Profiling Reveals That the Deregulation of H19, WT1-AS, TCL6, and LEF1-AS1 Is Associated with Higher-Risk Myelodysplastic Syndrome. Cancers. 2020, 12(10), ISSN 2072-6694. DOI 10.3390/cancers12102726. Dostupné z: https://www.mdpi.com/2072-6694/12/10/2726
GILL, P.E., V. KUNGURTSEV a D.P. ROBINSON. A Shifted Primal-Dual Penalty-Barrier Method for Nonlinear Optimization. SIAM Journal on Optimization. 2020, 30(2), 1067-1093. ISSN 1052-6234. DOI 10.1137/19M1247425.
HRUSTINCOVA, A. et al. Circulating Small Noncoding RNAs Have Specific Expression Patterns in Plasma and Extracellular Vesicles in Myelodysplastic Syndromes and Are Predictive of Patient Outcome. Cells. 2020, 9(4), ISSN 2073-4409. DOI 10.3390/cells9040794. Dostupné z: https://pubmed.ncbi.nlm.nih.gov/32224889/
KUNC, Vo. et al. The Superficial Anatomical Landmarks are not Reliable for Predicting the Recurrent Branch of the Median Nerve. Surgical and Radiologic Anatomy. 2020, 42(8), 939-943. ISSN 0930-1038. DOI 10.1007/s00276-020-02475-x.
HRUBÁ, P. et al. Molecular Fingerprints of Borderline Changes in Kidney Allografts Are Influenced by Donor Category. Frontiers in Immunology. 2020, 11 1-10. ISSN 1664-3224. DOI 10.3389/fimmu.2020.00423.
KUNC, V. et al. Accessory Bones of the Elbow: Prevalence, Localization and Modified Classification. Journal of Anatomy. 2020, 237(4), 618-622. ISSN 0021-8782. DOI 10.1111/joa.13233.
SIMA, M. et al. The Differential Effect of Carbon Dots on Gene Expression and DNA Methylation of Human Embryonic Lung Fibroblasts as a Function of Surface Charge and Dose. International Journal of Molecular Sciences. 2020, 21(13), 1-23. ISSN 1422-0067. DOI 10.3390/ijms21134763. Dostupné z: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7369946/
Články v ostatních periodikách
FACCHINEI, F. et al. Convergence Rate for Diminishing Stepsize Methods in nonconvex Constrained Optimization via Ghost Penalties. Atti della Accademia Peloritana dei Pericolanti. Classe di Scienze Fisiche, Matematiche e Naturali. 2020, 98(S2), ISSN 1825-1242. DOI 10.1478/AAPP.98S2A8. Dostupné z: https://cab.unime.it/journals/index.php/AAPP/article/view/AAPP.98S2A8
Stati ve sbornících konferencí
BREMEN, T. a O. KUŽELKA. Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Yokohama, 2020-07-11/2020-07-17. International Joint Conferences on Artificial Intelligence Organization, 2020. s. 4252-4258. ISBN 978-0-9992411-6-5. DOI 10.24963/ijcai.2020/587. Dostupné z: https://www.ijcai.org/Proceedings/2020/587
KUŽELKA, O., V. KUNGURTSEV a Y. WANG. Lifted Weight Learning of Markov Logic Networks (Revisited One More Time). In: Proceedings of the 10th International Conference on Probabilistic Graphical Models. International Conference on Probabilistic Graphical Models, Aalborg, 2020-09-23/2020-09-25. Proceedings of Machine Learning Research, 2020. s. 269-280. sv. 138. ISSN 2640-3498. Dostupné z: http://proceedings.mlr.press/v138/kuzelka20a.html
ŠÍR, G., F. ŽELEZNÝ a O. KUŽELKA. Learning with Molecules beyond Graph Neural Networks. In: Machine Learning for Molecules Workshop @ NeurIPS 2020. virtual only, 2020-12-12. Massachusetts: OpenReview.net / University of Massachusetts, 2020. Dostupné z: https://ml4molecules.github.io/papers2020/ML4Molecules_2020_paper_24.pdf
KUŽELKA, O. Complex Markov Logic Networks: Expressivity and Liftability. In: Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence. The 36th Conference on Uncertainty in Artificial Intelligence, Virtual online, 2020-08-03/2020-08-06. Proceedings of Machine Learning Research, 2020. s. 749-758. ISSN 2640-3498. Dostupné z: http://proceedings.mlr.press/v124/kuzelka20a.html
SVATOŠ, M. et al. STRiKE: Rule-Driven Relational Learning Using Stratified k-Entailment. In: The proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). The 24th European Conference on Artificial Intelligence, Virtual online, 2020-08-29/2020-09-08. Oxford: IOS Press, 2020. s. 1515-1522. sv. 325. ISSN 0922-6389. ISBN 978-1-64368-100-9. DOI 10.3233/FAIA200259.
KUŽELKA, O. a Y. WANG. Domain-Liftability of Relational Marginal Polytopes. In: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics. The Twenty Third International Conference on Artificial Intelligence and Statistics, Palermo, 2020-06-03/2020-06-05. Proceedings of Machine Learning Research, 2020. s. 2284-2291. ISSN 2640-3498. Dostupné z: http://proceedings.mlr.press/v108/kuzelka20a.html
ZANON, M., V. KUNGURTSEV a S. GROS. Reinforcement Learning Based on Real-Time Iteration NMPC. In: Proceedings of the IFAC World Congress 2020. IFAC World Congress 2020, Berlín, 2020-07-11/2020-07-17. Laxenburg: IFAC, 2020. s. 5213-5218. IFAC-PapersOnLine. sv. 53. ISSN 2405-8963. DOI 10.1016/j.ifacol.2020.12.1195. Dostupné z: https://www.sciencedirect.com/science/article/pii/S2405896320315901?via%3Dihub
KUNGURTSEV, V. a J. MAREČEK. A Two-Step Pre-Processing for Semidefinite Programming. In: Proceedings of the 59th IEEE Conference on Decision and Control. 59th IEEE Conference on Decision and Control, Jeju Island, 2020-12-14/2020-12-18. Institute of Electrical and Electronics Engineers, Inc., 2020. s. 384-389. ISSN 2576-2370. ISBN 978-1-7281-7447-1. DOI 10.1109/CDC42340.2020.9304494. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9304494
13136 / 13144 - laboratoř inteligentního testování systémů
Publikační činnost 2020
Články v časopisech WoS
ČERNÝ, T. et al. On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. IEEE Access. 2020, 2020(8), 159449-159470. ISSN 2169-3536. DOI 10.1109/ACCESS.2020.3019985. Dostupné z: https://ieeexplore.ieee.org/document/9179733
TRNKA, M. et al. Securing Internet of Things Devices Using The Network Context. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2020, 16(6), 4017-4027. ISSN 1551-3203. DOI 10.1109/TII.2019.2954100.
HASAN, I.H. et al. Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples with a Mixed Neighborhood Tabu Search. International Journal of Software Engineering and Knowledge Engineering. 2020, 30(3), 363-398. ISSN 0218-1940. DOI 10.1142/S0218194020500151.
UKWANDU, E. et al. A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. Sensors. 2020, 20(24), ISSN 1424-8220. DOI 10.3390/s20247148. Dostupné z: https://www.mdpi.com/1424-8220/20/24/7148
BUREŠ, M. et al. Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. IEEE Transactions on Consumer Electronics. 2020, 66(2), 134-143. ISSN 0098-3063. DOI 10.1109/TCE.2020.2986049.
Patenty a užitné vzory
České vysoké učení technické v Praze, Jugoslávských partyzánů 1580/3, 160 00 Praha 6, Dejvice, Česká republika. Systém pro testování zařízení připojených k internetové síti. Původci: M. BUREŠ, V. RECHTBERGER a M. KLÍMA. Česká republika. Užitný vzor CZ 33926. 2020-04-28. Dostupné z: https://isdv.upv.cz/webapp/resdb.print_detail.det?pspis=PUV/36985&plang=CS
Stati ve sbornících konferencí
BUREŠ, M., P. HEROUT a B. AL-BEYWANEE. Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification. IEEE 13th International Conference on Software Testing, Validation and Verification, Porto, 2020-10-24/2020-10-28. Cannes: IEEE Computer Society, 2020. s. 442-447. ISSN 2159-4848. ISBN 978-1-7281-5778-8. DOI 10.1109/ICST46399.2020.00059. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9159070
BUREŠ, M. a V. RECHTBERGER. Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. In: ESSE 2020: Proceedings of the 2020 European Symposium on Software Engineering. 2020 European Symposium on Software Engineering, Rome, 2020-11-06/2020-11-08. New York: ACM, 2020. s. 72-79. ISBN 978-1-4503-7762-1. DOI 10.1145/3393822.3432333.
HINDY, H. et al. Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study. In: Selected Papers from the 12th International Networking Conference. 12th International Network Conference, Rhodes, 2020-09-19/2020-09-21. Cham: Springer International Publishing, 2020. s. 73-84. ISSN 2367-3370. ISBN 978-3-030-64757-5. DOI 10.1007/978-3-030-64758-2_6.
BUSHONG, V. et al. On Matching Log Analysis to Source Code: A Systematic Mapping Study. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. s. 181-187. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418262.
BUREŠ, M. et al. A Comprehensive View on Quality Characteristics of the IoT Solutions. In: Proceedings of 3rd EAI International Conference on IoT in Urban Space. 3rd EAI International Conference on IoT in Urban Space, Guimarães, 2018-11-21/2018-11-22. Cham: Springer International Publishing, 2020. s. 59-69. ISSN 2522-8609. ISBN 978-3-030-28925-6. DOI 10.1007/978-3-030-28925-6_6. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-28925-6_6
RICHTER, J. et al. Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. In: IEEE International Conference on Software Testing Verification and Validation Workshop. 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, Porto, 2020-10-24/2020-10-28. Los Alamitos: IEEE Computer Society, 2020. s. 185-190. ISSN 2159-4848. ISBN 978-1-7281-1075-2. DOI 10.1109/ICSTW50294.2020.00040. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9155621
AL-BEYWANEE, B., A. GARGANTINI a M. BUREŠ. An Automated Testing Framework For Smart TV apps Based on Model Separation. In: IEEE International Conference on Software Testing Verification and Validation Workshop. 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, Porto, 2020-10-24/2020-10-28. Los Alamitos: IEEE Computer Society, 2020. s. 62-73. ISSN 2159-4848. ISBN 978-1-7281-1075-2. DOI 10.1109/ICSTW50294.2020.00026. Dostupné z: https://ieeexplore.ieee.org/document/9155798
DAS, D. et al. Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. s. 188-195. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418263.
SVACINA, J. et al. On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. s. 175-180. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418261.
CERNY, T. et al. Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. s. 167-174. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418257.
BUREŠ, M. et al. Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study. In: Software Engineering and Formal Methods. Software Engineering and Formal Methods 2020, Amsterdam, 2020-09-14/2020-09-17. Basel: Springer Nature Switzerland AG, 2020. s. 93-112. ISSN 0302-9743. ISBN 978-3-030-58767-3. DOI 10.1007/978-3-030-58768-0_6.
RECHTBERGER, V., M. BUREŠ a B. AL-BEYWANEE. Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. In: Proceedings of The 2nd World Symposium on Software Engineering (WSSE 2020). The 2nd World Symposium on Software Engineering, Chengdu, 2020-09-25/2020-09-27. New York: ACM, 2020. s. 141-145. ISBN 978-1-4503-8787-3. DOI 10.1145/3425329.3425330.
Výzkumné zprávy
BUREŠ, M. et al. Cases studies from the pilot run of the IoT QA framework developed by the Quality Assurance System for the Internet of Things Technology project, TH02010296-V5. [Výzkumná zpráva] 2020.
13136 / 13145 - skupina znalostních softwarových systémů
Publikační činnost 2020
Knihy, kapitoly v knihách, skripta, sborníky
VILLATA, S., J. HARAŠTA a P. KŘEMEN, eds. Legal Knowledge and Information Systems. Praha, Brno, 2020-12-09/2020-12-11. Amsterdam: IOS Press, 2020. ISBN 978-1-64368-151-1. Dostupné z: http://ebooks.iospress.nl/volume/legal-knowledge-and-information-systems-jurix-2020-the-thirty-third-annual-conference-brno-czech-republic-december-911-2020
Stati ve sbornících konferencí
SAEEDA, L. et al. Entity Linking and Lexico-Semantic Patterns for Ontology Learning. In: The Semantic Web 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings. 17th European semantic Web conference - ESWC 2020, Crete, 2020-06-02/2020-06-04. Cham: Springer International Publishing, 2020. s. 138-153. 1. ISSN 0302-9743. ISBN 978-3-030-49460-5. DOI 10.1007/978-3-030-49461-2_9.
LEDVINKA, M. et al. TermIt: A Practical Semantic Vocabulary Manager. In: Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS. 22nd International Conference on Enterprise Information Systems (ICEIS 2020), Prague, 2020-05-05/2020-05-07. Porto: SciTePress - Science and Technology Publications, 2020. s. 759-766. sv. 1. ISBN 978-989-758-423-7. DOI 10.5220/0009563707590766. Dostupné z: https://www.scitepress.org/PublicationsDetail.aspx?ID=9rIct+oAmq0=&t=1
Výzkumné zprávy
SAEEDA, L. et al. Analysis of the possibilities for transformation of non-structured data into structured data in the domain of aircraft reliability and quality. [Výzkumná zpráva] 2020.