13000 / 13136 - Publikace - 2021

13000 / 13136 - katedra počítačů

Publikační činnost 2021

Články v časopisech WoS

BENES, M. et al. A meta-analysis on the anatomical variability of the brachial plexus: Part II - Branching of the supraclavicular part. Annals of Anatomy. 2021, 238 1-10. ISSN 0940-9602. DOI 10.1016/j.aanat.2021.151788.

ŠTIBINGER, P. et al. Mobile Manipulator for Autonomous Localization, Grasping and Precise Placement of Construction Material in a Semi-structured Environment. IEEE Robotics and Automation Letters. 2021, 6(2), 2595-2602. ISSN 2377-3766. DOI 10.1109/LRA.2021.3061377. Dostupné z: https://ieeexplore.ieee.org/document/9361167

URBANOVSKÁ, M. a A. KOMENDA. Neural Networks for Model-free and Scale-free Automated Planning. Knowledge and Information Systems. 2021, 63(12), 3103-3138. ISSN 0219-1377. DOI 10.1007/s10115-021-01619-8.

REIS, L.M. et al. Comprehensive Phenotypic and Functional Analysis of Dominant and Recessive FOXE3 Alleles in Ocular Developmental Disorders. Human Molecular Genetics. 2021, 30(17), 1591-1606. ISSN 0964-6906. DOI 10.1093/hmg/ddab142.

KUNC, V. a J. KLÉMA. On Transformative Adaptive Activation Functions in Neural Networks for Gene Expression Inference. PLoS ONE. 2021, 16(1), 1-27. ISSN 1932-6203. DOI 10.1371/journal.pone.0243915. Dostupné z: https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0243915

BENEŠ, M. et al. The arcade of Frohse: a systematic review and meta-analysis. Surgical and Radiologic Anatomy. 2021, 43(5), 703-711. ISSN 0930-1038. DOI 10.1007/s00276-021-02718-5.

BROUGHTON, G. et al. Learning to see through the haze: Multi-sensor learning-fusion System for Vulnerable Traffic Participant Detection in Fog. Robotics and Autonomous Systems. 2021, 136 ISSN 0921-8890. DOI 10.1016/j.robot.2020.103687.

ŠÍR, G., F. ŽELEZNÝ a O. KUŽELKA. Beyond graph neural networks with lifted relational neural networks. Machine Learning. 2021, 2021(3), 1695-1738. ISSN 1573-0565. DOI 10.1007/s10994-021-06017-3. Dostupné z: https://link.springer.com/article/10.1007%2Fs10994-021-06017-3

SZADKOWSKI, R., M. PRÁGR a J. FAIGL. Self-Learning Event Mistiming Detector Based on Central Pattern Generator. Frontiers in Neurorobotics. 2021, 15 ISSN 1662-5218. DOI 10.3389/fnbot.2021.629652. Dostupné z: https://www.frontiersin.org/articles/10.3389/fnbot.2021.629652/full

BENES, M. et al. A Meta-analysis on the Anatomical Variability of the Brachial Plexus: Part I-Roots, Trunks, Divisions and Cords. Annals of Anatomy. 2021, 238 1-13. ISSN 0940-9602. DOI 10.1016/j.aanat.2021.151751.

Patenty a užitné vzory

AgentFly Technologies s.r.o.;České vysoké učení technické v Praze. Hybridní navigační a lokalizační jednotka pro bezpilotní letecké systémy. Původci: M. ROLLO et al. Česko. Užitný vzor CZ 35371. 2021-09-07. Dostupné z: https://isdv.upv.cz/webapp/resdb.print_detail.det?pspis=PUV/38420&plang=CS

Stati ve sbornících konferencí

SAHAN, M., V. ŠMÍDL a R. MAŘÍK. Active Learning for Text Classification and Fake News Detection. In: 2021 International Symposium on Computer Science and Intelligent Controls (ISCSIC). International Symposium on Computer Science and Intelligent Controls, Řím, 2022-02-12/2022-02-14. Los Alamitos: IEEE Computer Society, 2021. s. 87-94. ISBN 978-1-6654-1627-6. DOI 10.1109/ISCSIC54682.2021.00027. Dostupné z: https://ieeexplore.ieee.org/document/9644290

HERYNEK, J., P. VÁŇA a J. FAIGL. Finding 3D Dubins Paths with Pitch Angle Constraint Using Non-linear Optimization. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568787. Dostupné z: https://ieeexplore.ieee.org/document/9568787

KONRÁD, J. et al. Alquist 4.0: Towards Social Intelligence Using Generative Models and Dialogue Personalization. In: 4th Proceedings of Alexa Prize (Alexa Prize 2021). Alexa Live 2021, Online, 2021-08-16. Amazon, 2021. Dostupné z: https://d7qzviu3xw2xc.cloudfront.net/alexa/alexaprize/docs/sgc4/CTU-Alquist.pdf

SADEGHI AMJADI, A. et al. Cooperative Pollution Source Exploration and Cleanup with a Bio-inspired Swarm Robot Aggregation. In: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 16th EAI International Conference on Collaborative Computing: Networking, Applications, and Worksharing, Shanghai, 2020-10-16/2020-10-18. Berlin: Springer Science+Business Media, 2021. s. 469-481. ISSN 1867-8211. ISBN 978-3-030-67539-4. DOI 10.1007/978-3-030-67540-0_30.

FEBER, J., R. SZADKOWSKI a J. FAIGL. Gait Genesis Through Emergent Ordering of RBF Neurons on Central Pattern Generator for Hexapod Walking Robot. In: Proceedings of the 21st Conference Information Technologies – Applications and Theory (ITAT 2021). ITAT (Information Technologies – Applications and Theory), Heľpa, 2021-09-24/2021-09-28. Aachen: CEUR Workshop Proceedings, 2021. s. 114-122. sv. 2962. ISSN 1613-0073.

KROUPA, T., S. VANNUCCI a T. VOTROUBEK. Separable Network Games with Compact Strategy Sets. In: Decision and Game Theory for Security. Praha, 2021-10-25/2021-10-27. Basel: Springer Nature Switzerland AG, 2021. s. 37-56. LNCS. sv. 13061. ISSN 0302-9743. ISBN 978-3-030-90369-5. DOI 10.1007/978-3-030-90370-1_3. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-90370-1_3

VALOUCH, D. a J. FAIGL. Gait-free Planning for Hexapod Walking Robot. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568834. Dostupné z: https://ieeexplore.ieee.org/document/9568834

KUČEROVÁ, K., P. VÁŇA a J. FAIGL. Variable-Speed Traveling Salesman Problem for Vehicles with Curvature Constrained Trajectories. In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Praha, 2021-09-27/2021-10-01. Piscataway: IEEE, 2021. s. 4714-4719. ISSN 2153-0866. ISBN 978-1-6654-1714-3. DOI 10.1109/IROS51168.2021.9636762. Dostupné z: https://ieeexplore.ieee.org/document/9636762

ZOULA, M., M. PRÁGR a J. FAIGL. On Building Communication Maps in Subterranean Environments. In: Modelling and Simulation for Autonomous Systems. MESAS: International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2020-10-21. Cham: Springer, 2021. s. 15-28. 1. ISSN 0302-9743. ISBN 978-3-030-70739-2. DOI 10.1007/978-3-030-70740-8_2.

SCHAEFER, M. et al. On-demand Robotic Fleet Routing in Capacitated Networks with Time-varying Transportation Demand. In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. 13th International Conference on Agents and Artificial Intelligence, Vídeň, 2021-02-04/2021-02-06. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2021. s. 907-915. ISBN 978-989-758-484-8. DOI 10.5220/0010261009070915. Dostupné z: https://www.scitepress.org/Link.aspx?doi=10.5220/0010261009070915

MILEC, D. et al. Complexity and Algorithms for Exploiting Quantal Opponents in Large Two-Player Games. In: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. 35th AAAI Conference on Artificial Intelligence, Virtual Conference, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 5575-5583. 35. ISSN 2374-3468. ISBN 978-1-57735-866-4. Dostupné z: https://ojs.aaai.org/index.php/AAAI/article/view/16701

ŠUSTR, M. et al. Sound Algorithms in Imperfect Information Games. In: AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, virtual, 2021-05-03/2021-05-07. New York: ACM, 2021. s. 1662-1664. ISSN 1548-8403. ISBN 978-1-7138-3262-1.

BRABEC, J. Learning Explainable Representations of Malware Behavior. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2021, Bilbao, 2021-09-13/2021-09-17. Berlin: Springer Science+Business Media, 2021. ISSN 0302-9743. ISBN 978-3-030-86519-1. DOI 10.1007/978-3-030-86514-6_4.

KOMÁREK, T. et al. Threat Hunting as a Similarity Search Problem on Multi-positive and Unlabeled Data. In: Proceedings of the 2021 IEEE International Conference on Big Data. 2021 IEEE International Conference on Big Data, Virtually, 2021-12-15/2021-12-18. IEEE Xplore, 2021. s. 2098-2103. ISBN 978-1-6654-3902-2. DOI 10.1109/BigData52589.2021.9671958.

SLÁMA, J., P. VÁŇA a J. FAIGL. Risk-aware Trajectory Planning in Urban Environments with Safe Emergency Landing Guarantee. In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). 17th International Conference on Automation Science and Engineering (CASE), Lyon, 2021-08-23/2021-08-27. Vienna: IEEE Industrial Electronic Society, 2021. s. 1606-1612. ISSN 2161-8089. ISBN 978-1-6654-1873-7. DOI 10.1109/CASE49439.2021.9551407. Dostupné z: https://ieeexplore.ieee.org/document/9551407

BAYER, J. a J. FAIGL. Vision-Based Localization for Multi-rotor Aerial Vehicle in Outdoor Scenarios. In: Modelling and Simulation for Autonomous Systems. MESAS: International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2020-10-21. Cham: Springer, 2021. s. 217-228. 1. ISSN 0302-9743. ISBN 978-3-030-70739-2. DOI 10.1007/978-3-030-70740-8_14.

BROUGHTON, G. et al. Robust Image Alignment for Outdoor Teach-and-Repeat Navigation. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568832. Dostupné z: https://ieeexplore.ieee.org/document/9568832

KUBÍK, J. et al. Experimental Leg Inverse Dynamics Learning of Multi-legged Walking Robot. In: Modelling and Simulation for Autonomous Systems. MESAS: International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2020-10-21. Cham: Springer, 2021. s. 154-168. 1. ISSN 0302-9743. ISBN 978-3-030-70739-2. DOI 10.1007/978-3-030-70740-8_10.

TOMÁŠEK, P. et al. Solving Partially Observable Stochastic Shortest-Path Games. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. The Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 2021-08-19/2021-09-27. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 4182-4189. ISBN 978-0-9992411-9-6. DOI 10.24963/ijcai.2021/575. Dostupné z: https://www.ijcai.org/proceedings/2021/575

BAYER, J. a J. FAIGL. Decentralized Topological Mapping for Multi-robot Autonomous Exploration under Low-bandwidth Communication. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568824. Dostupné z: https://ieeexplore.ieee.org/document/9568824

BENEDIKT, O. et al. Thermal-Aware Scheduling for MPSoC in the Avionics Domain: Tooling and Initial Results. In: 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Houston, TX, 2021-08-18/2021-08-20. Piscataway: IEEE, 2021. s. 159-168. ISSN 2325-1301. ISBN 978-1-6654-4188-9. DOI 10.1109/RTCSA52859.2021.00026.

LUKÁŠ, O.L. a S.G. GARCÍA. Deep generative models to extend active directory graphs with honeypot users. In: Proceedings of the 2nd International Conference on Deep Learning Theory and Applications - DeLTA. the 2nd International Conference on Deep Learning Theory and Applications, Online streaming, 2021-07-07/2021-07-09. Porto: SciTePress - Science and Technology Publications, 2021. s. 140-147. sv. 1. ISSN 2184-9277. ISBN 978-989-758-526-5. DOI 10.5220/0010556601400147.

BLAHA, J., G. BROUGHTON a T. KRAJNÍK. Boosting the Performance of Object Detection CNNs with Context-Based Anomaly Detection. In: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 16th EAI International Conference on Collaborative Computing: Networking, Applications, and Worksharing, Shanghai, 2020-10-16/2020-10-18. Springer Nature, 2021. s. 159-176. 349. ISSN 1867-8211. ISBN 978-3-030-67536-3. DOI 10.1007/978-3-030-67537-0_11.

KOMÁREK, T., J. BRABEC a P. SOMOL. Explainable Multiple Instance Learning with Instance Selection Randomized Trees. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2021, Bilbao, 2021-09-13/2021-09-17. Berlin: Springer Science+Business Media, 2021. s. 715-730. ISSN 0302-9743. ISBN 978-3-030-86519-1. DOI 10.1007/978-3-030-86520-7_44.

13136 / 13141 - centrum umělé inteligence

Publikační činnost 2021

Články v časopisech WoS

ŠTIBINGER, P. et al. Mobile Manipulator for Autonomous Localization, Grasping and Precise Placement of Construction Material in a Semi-structured Environment. IEEE Robotics and Automation Letters. 2021, 6(2), 2595-2602. ISSN 2377-3766. DOI 10.1109/LRA.2021.3061377. Dostupné z: https://ieeexplore.ieee.org/document/9361167

KROUPA, T. a V. MARRA. The two-sorted algebraic theory of states, and the universal states of MV-algebras. Journal of Pure and Applied Algebra. 2021, 225(12), ISSN 0022-4049. DOI 10.1016/j.jpaa.2021.106771.

URBANOVSKÁ, M. a A. KOMENDA. Neural Networks for Model-free and Scale-free Automated Planning. Knowledge and Information Systems. 2021, 63(12), 3103-3138. ISSN 0219-1377. DOI 10.1007/s10115-021-01619-8.

NA, S. et al. Bio-inspired Artificial Pheromone System for Swarm Robotics Applications. Adaptive Behavior. 2021, 29(4), 395-415. ISSN 1059-7123. DOI 10.1177/1059712320918936.

VALLATI, M. et al. On the Importance of Domain Model Configuration for Automated Planning Engines. Journal of Automated Reasoning. 2021, 65(6), 727-773. ISSN 0168-7433. DOI 10.1007/s10817-021-09592-1.

BROUGHTON, G. et al. Learning to see through the haze: Multi-sensor learning-fusion System for Vulnerable Traffic Participant Detection in Fog. Robotics and Autonomous Systems. 2021, 136 ISSN 0921-8890. DOI 10.1016/j.robot.2020.103687.

EGGER, D.J., J. MAREČEK a S. WOERNER. Warm-starting quantum optimization. Quantum. 2021, 5(1), 1-20. ISSN 2521-327X. DOI 10.22331/q-2021-06-17-479. Dostupné z: https://quantum-journal.org/papers/q-2021-06-17-479/

FABER, W., M. MORAK a L. CHRPA. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory and Practice of Logic Programming. 2021, 21(5), 646-662. ISSN 1471-0684. DOI 10.1017/S1471068421000429.

ČÍŽEK, P., M. ZOULA a J. FAIGL. Design, Construction, and Rough-Terrain Locomotion Control of Novel Hexapod Walking Robot With Four Degrees of Freedom Per Leg. IEEE Access. 2021, 9(9), 17866-17881. ISSN 2169-3536. DOI 10.1109/ACCESS.2021.3053492. Dostupné z: https://ieeexplore.ieee.org/document/9330519

NEKOVÁŘ, F., J. FAIGL a M. SASKA. Multi-tour Set Traveling Salesman Problem in Planning Power Transmission Line Inspection. IEEE Robotics and Automation Letters. 2021, 6(4), 6196-6203. ISSN 2377-3766. DOI 10.1109/LRA.2021.3091695. Dostupné z: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9463765

BERNARD, S. et al. Explicit Optimization of min max Steganographic Game. IEEE Transactions on Information Forensics and Security. 2021, 2020(16), 812-823. ISSN 1556-6013. DOI 10.1109/TIFS.2020.3021913.

SZADKOWSKI, R., M. PRÁGR a J. FAIGL. Self-Learning Event Mistiming Detector Based on Central Pattern Generator. Frontiers in Neurorobotics. 2021, 15 ISSN 1662-5218. DOI 10.3389/fnbot.2021.629652. Dostupné z: https://www.frontiersin.org/articles/10.3389/fnbot.2021.629652/full

SEVCIK, J. et al. Solvability of the Power Flow Problem in DC Overhead Wire Circuit Modeling. Applications of Mathematics. 2021, 66(6), 837-855. ISSN 0862-7940. DOI 10.21136/AM.2021.0280-20.

Patenty a užitné vzory

AgentFly Technologies s.r.o.;České vysoké učení technické v Praze. Hybridní navigační a lokalizační jednotka pro bezpilotní letecké systémy. Původci: M. ROLLO et al. Česko. Užitný vzor CZ 35371. 2021-09-07. Dostupné z: https://isdv.upv.cz/webapp/resdb.print_detail.det?pspis=PUV/38420&plang=CS

Články v ostatních periodikách

JINDAL, K. et al. Design and deployment of an autonomous unmanned ground vehicle for urban firefighting scenarios. Field Robotics. 2021, 1 186-202. ISSN 2771-3989. DOI 10.55417/fr.2021007. Dostupné z: https://fieldrobotics.net/Field_Robotics/Volume_1_files/7_Jindal.pdf

Knihy, kapitoly v knihách, skripta, sborníky

MAREČEK, J. et al. Network and Storage. In: Mathematical Optimization for Efficient and Robust Energy Networks. Cham: Springer International Publishing AG, 2021. s. 27-51. ISSN 2523-7047. ISBN 978-3-030-57444-4. DOI 10.1007/978-3-030-57442-0_2.

GARCÍA, S. et al., eds. Cybercrime Specialization: An Expose of a Malicious Android Obfuscation-As-A-Service. online, 2023-09-06/2023-09-10. Vienna: IEEE Industrial Electronic Society, 2021. sv. 2021.

Stati ve sbornících konferencí

SAHAN, M., V. ŠMÍDL a R. MAŘÍK. Active Learning for Text Classification and Fake News Detection. In: 2021 International Symposium on Computer Science and Intelligent Controls (ISCSIC). International Symposium on Computer Science and Intelligent Controls, Řím, 2022-02-12/2022-02-14. Los Alamitos: IEEE Computer Society, 2021. s. 87-94. ISBN 978-1-6654-1627-6. DOI 10.1109/ISCSIC54682.2021.00027. Dostupné z: https://ieeexplore.ieee.org/document/9644290

HORČÍK, R. a D. FIŠER. Endomorphisms of Classical Planning Tasks. In: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. 35th AAAI Conference on Artificial Intelligence, Virtual Conference, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 11835-11843. 35. ISSN 2374-3468. ISBN 978-1-57735-866-4. Dostupné z: https://ojs.aaai.org/index.php/AAAI/article/view/17406

ZHOU, Q., J. MAREČEK a R.N. SHORTEN. Fairness in Forecasting and Learning Linear Dynamical Systems. In: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. 35th AAAI Conference on Artificial Intelligence, Virtual Conference, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 11134-11142. 35. ISSN 2374-3468. ISBN 978-1-57735-866-4. Dostupné z: https://arxiv.org/abs/2006.07315

HERYNEK, J., P. VÁŇA a J. FAIGL. Finding 3D Dubins Paths with Pitch Angle Constraint Using Non-linear Optimization. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568787. Dostupné z: https://ieeexplore.ieee.org/document/9568787

LAUER, P. et al. Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. The Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 2021-08-19/2021-09-27. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 4119-4126. ISBN 978-0-9992411-9-6. DOI 10.24963/ijcai.2021/567. Dostupné z: https://www.ijcai.org/proceedings/2021/567

ZHAO, Ch. et al. Monocular Teach-and-Repeat Navigation using a Deep Steering Network with Scale Estimation. In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Praha, 2021-09-27/2021-10-01. Piscataway: IEEE, 2021. s. 2613-2619. ISSN 2153-0866. ISBN 978-1-6654-1714-3. DOI 10.1109/IROS51168.2021.9635912. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9635912

YAN, Z. et al. A Quantifiable Stratification Strategy for Tidy-up in Service Robotics. In: Proceedings of IEEE Workshop on Advanced Robotics and its Social Impacts. 2021 IEEE International Conference on Advanced Robotics and Its Social Impacts, Virtual Conference, 2021-07-08/2021-07-10. IEEE Xplore, 2021. s. 182-187. ISSN 2162-7568. ISBN 978-1-6654-4953-3. DOI 10.1109/ARSO51874.2021.9542842. Dostupné z: https://ieeexplore.ieee.org/document/9542842

CHRPA, L., M. PILÁT a J. MED. On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. tThe 8th International Conference on Principles of Knowledge Representation and Reasoning, Virtual conference, 2021-11-03/2021-11-12. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 184-193. ISSN 2334-1033. ISBN 978-1-956792-99-7. DOI 10.24963/kr.2021/18.

SADEGHI AMJADI, A. et al. Cooperative Pollution Source Exploration and Cleanup with a Bio-inspired Swarm Robot Aggregation. In: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 16th EAI International Conference on Collaborative Computing: Networking, Applications, and Worksharing, Shanghai, 2020-10-16/2020-10-18. Berlin: Springer Science+Business Media, 2021. s. 469-481. ISSN 1867-8211. ISBN 978-3-030-67539-4. DOI 10.1007/978-3-030-67540-0_30.

FEBER, J., R. SZADKOWSKI a J. FAIGL. Gait Genesis Through Emergent Ordering of RBF Neurons on Central Pattern Generator for Hexapod Walking Robot. In: Proceedings of the 21st Conference Information Technologies – Applications and Theory (ITAT 2021). ITAT (Information Technologies – Applications and Theory), Heľpa, 2021-09-24/2021-09-28. Aachen: CEUR Workshop Proceedings, 2021. s. 114-122. sv. 2962. ISSN 1613-0073.

KROUPA, T., S. VANNUCCI a T. VOTROUBEK. Separable Network Games with Compact Strategy Sets. In: Decision and Game Theory for Security. Praha, 2021-10-25/2021-10-27. Basel: Springer Nature Switzerland AG, 2021. s. 37-56. LNCS. sv. 13061. ISSN 0302-9743. ISBN 978-3-030-90369-5. DOI 10.1007/978-3-030-90370-1_3. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-90370-1_3

VALOUCH, D. a J. FAIGL. Gait-free Planning for Hexapod Walking Robot. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568834. Dostupné z: https://ieeexplore.ieee.org/document/9568834

VALLATI, M., E. SCALA a L. CHRPA. A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles. In: Proceedings of 2021 IEEE International Intelligent Transportation Systems Conference. 24th IEEE International Conference on Intelligent Transportation Systems, Indianapolis, 2021-09-19/2021-09-22. IEEE Xplore, 2021. s. 3821-3826. ISBN 978-1-7281-9142-3. DOI 10.1109/ITSC48978.2021.9564838. Dostupné z: https://ieeexplore.ieee.org/document/9564838

CHRPA, L., W. FABER a M. MORAK. Universal and Uniform Action Reversibility. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. tThe 8th International Conference on Principles of Knowledge Representation and Reasoning, Virtual conference, 2021-11-03/2021-11-12. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 651-655. ISSN 2334-1033. ISBN 978-1-956792-99-7. DOI 10.24963/kr.2021/63.

KUČEROVÁ, K., P. VÁŇA a J. FAIGL. Variable-Speed Traveling Salesman Problem for Vehicles with Curvature Constrained Trajectories. In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Praha, 2021-09-27/2021-10-01. Piscataway: IEEE, 2021. s. 4714-4719. ISSN 2153-0866. ISBN 978-1-6654-1714-3. DOI 10.1109/IROS51168.2021.9636762. Dostupné z: https://ieeexplore.ieee.org/document/9636762

SCHAEFER, M. et al. On-demand Robotic Fleet Routing in Capacitated Networks with Time-varying Transportation Demand. In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. 13th International Conference on Agents and Artificial Intelligence, Vídeň, 2021-02-04/2021-02-06. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2021. s. 907-915. ISBN 978-989-758-484-8. DOI 10.5220/0010261009070915. Dostupné z: https://www.scitepress.org/Link.aspx?doi=10.5220/0010261009070915

ADAM, L. et al. Double Oracle Algorithm for Computing Equilibria in Continuous Games. In: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. 35th AAAI Conference on Artificial Intelligence, Virtual Conference, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 5070-5077. 35. ISSN 2374-3468. ISBN 978-1-57735-866-4. Dostupné z: https://ojs.aaai.org/index.php/AAAI/article/view/1664

ZOULA, M., M. PRÁGR a J. FAIGL. On Building Communication Maps in Subterranean Environments. In: Modelling and Simulation for Autonomous Systems. MESAS: International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2020-10-21. Cham: Springer, 2021. s. 15-28. 1. ISSN 0302-9743. ISBN 978-3-030-70739-2. DOI 10.1007/978-3-030-70740-8_2.

SUN, L. et al. Robust and Long-term Monocular Teach and Repeat Navigation using a Single-experience Map. In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Praha, 2021-09-27/2021-10-01. Piscataway: IEEE, 2021. s. 2635-2642. ISSN 2153-0866. ISBN 978-1-6654-1714-3. DOI 10.1109/IROS51168.2021.9635886. Dostupné z: https://ieeexplore.ieee.org/abstract/document/9635886

ČERNÝ, J. et al. Computing Quantal Stackelberg Equilibrium in Extensive-Form Games. In: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. AAAI 2021: Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, 2021-02-02/2021-02-09. Menlo Park: AAAI Press, 2021. s. 5260-5268. ISSN 2159-5399. ISBN 978-1-57735-866-4.

ŠUSTR, M. et al. Sound Algorithms in Imperfect Information Games. In: AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, virtual, 2021-05-03/2021-05-07. New York: ACM, 2021. s. 1662-1664. ISSN 1548-8403. ISBN 978-1-7138-3262-1.

MILEC, D. et al. Complexity and Algorithms for Exploiting Quantal Opponents in Large Two-Player Games. In: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. 35th AAAI Conference on Artificial Intelligence, Virtual Conference, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 5575-5583. 35. ISSN 2374-3468. ISBN 978-1-57735-866-4. Dostupné z: https://ojs.aaai.org/index.php/AAAI/article/view/16701

CHRPA, L. et al. Adversary Strategy Sampling for Effective Plan Generation. In: Proceedings of the International Symposium on Combinatorial Search. The 14th International Symposium on Combinatorial Search, Virtual conference, 2021-07-26/2021-07-30. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 164-166. ISBN 9781713834557.

AHDAB, M.A. et al. Parameter Estimation for a Jump Diffusion Model of Type 2 Diabetic Patients in the Presence of Unannounced Meals. In: 2021 IEEE Conference on Control Technology and Applications (CCTA). San Diego, 2021-08-09/2021-08-11. New York: Institute of Electrical and Electronics Engineers, 2021. s. 176-183. ISSN 2768-0770. ISBN 978-1-6654-3643-4. DOI 10.1109/CCTA48906.2021.9658718. Dostupné z: https://ieeexplore.ieee.org/document/9658718

FIŠER, D. et al. Custom-Design of FDR Encodings: The Case of Red-Black Planning. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. The Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 2021-08-19/2021-09-27. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 4054-4061. ISBN 978-0-9992411-9-6. DOI 10.24963/ijcai.2021/558. Dostupné z: https://www.ijcai.org/proceedings/2021/558

SLÁMA, J., P. VÁŇA a J. FAIGL. Risk-aware Trajectory Planning in Urban Environments with Safe Emergency Landing Guarantee. In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). 17th International Conference on Automation Science and Engineering (CASE), Lyon, 2021-08-23/2021-08-27. Vienna: IEEE Industrial Electronic Society, 2021. s. 1606-1612. ISSN 2161-8089. ISBN 978-1-6654-1873-7. DOI 10.1109/CASE49439.2021.9551407. Dostupné z: https://ieeexplore.ieee.org/document/9551407

PAČES, P. a C. INSAURRALDE. Artificially Intelligent Assistance for Pilot Performance Assessment. In: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC). San Antonio, Texas, 2021-10-03/2021-10-07. Piscataway: Institute of Electrical and Electronics Engineers, 2021. s. 1-6. 1. sv. 1. ISBN 978-1-6654-3420-1. DOI 10.1109/DASC52595.2021.9594487.

BAYER, J. a J. FAIGL. Vision-Based Localization for Multi-rotor Aerial Vehicle in Outdoor Scenarios. In: Modelling and Simulation for Autonomous Systems. MESAS: International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2020-10-21. Cham: Springer, 2021. s. 217-228. 1. ISSN 0302-9743. ISBN 978-3-030-70739-2. DOI 10.1007/978-3-030-70740-8_14.

BROUGHTON, G. et al. Robust Image Alignment for Outdoor Teach-and-Repeat Navigation. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568832. Dostupné z: https://ieeexplore.ieee.org/document/9568832

KUBÍK, J. et al. Experimental Leg Inverse Dynamics Learning of Multi-legged Walking Robot. In: Modelling and Simulation for Autonomous Systems. MESAS: International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2020-10-21. Cham: Springer, 2021. s. 154-168. 1. ISSN 0302-9743. ISBN 978-3-030-70739-2. DOI 10.1007/978-3-030-70740-8_10.

HORČÍK, R. a D. FIŠER. Endomorphisms of Lifted Planning Problems. In: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling. 31st International Conference on Automated Planning and Scheduling, virtuální konference, 2021-08-02/2021-08-13. Menlo Park: AAAI Press, 2021. s. 174-183. sv. 31. ISSN 2334-0835. ISBN 978-1-7138-3231-7.

BAYER, J. a J. FAIGL. Decentralized Topological Mapping for Multi-robot Autonomous Exploration under Low-bandwidth Communication. In: Proceedings of the 10th European Conference on Mobile Robots. The 10th European Conference on Mobile Robots, Bonn, 2021-08-31/2021-09-03. Brussels: IEEE, 2021. ISBN 978-1-6654-1213-1. DOI 10.1109/ECMR50962.2021.9568824. Dostupné z: https://ieeexplore.ieee.org/document/9568824

SAMSINGER, M. et al. When Should You Defend Your Classifier? A Game-Theoretical Analysis of Countermeasures Against Adversarial Examples. In: International Conference on Decision and Game Theory for Security. the 12th Conference on Decision and Game Theory for Security, Online conference, 2021-10-25/2021-10-27. Basel: Springer Nature Switzerland AG, 2021. s. 158-177. ISSN 0302-9743. ISBN 978-3-030-90369-5. DOI 10.1007/978-3-030-90370-1_9.

TOMÁŠEK, P. et al. Solving Partially Observable Stochastic Shortest-Path Games. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. The Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 2021-08-19/2021-09-27. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 4182-4189. ISBN 978-0-9992411-9-6. DOI 10.24963/ijcai.2021/575. Dostupné z: https://www.ijcai.org/proceedings/2021/575

LUKÁŠ, O.L. a S.G. GARCÍA. Deep generative models to extend active directory graphs with honeypot users. In: Proceedings of the 2nd International Conference on Deep Learning Theory and Applications - DeLTA. the 2nd International Conference on Deep Learning Theory and Applications, Online streaming, 2021-07-07/2021-07-09. Porto: SciTePress - Science and Technology Publications, 2021. s. 140-147. sv. 1. ISSN 2184-9277. ISBN 978-989-758-526-5. DOI 10.5220/0010556601400147.

BLAHA, J., G. BROUGHTON a T. KRAJNÍK. Boosting the Performance of Object Detection CNNs with Context-Based Anomaly Detection. In: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 16th EAI International Conference on Collaborative Computing: Networking, Applications, and Worksharing, Shanghai, 2020-10-16/2020-10-18. Springer Nature, 2021. s. 159-176. 349. ISSN 1867-8211. ISBN 978-3-030-67536-3. DOI 10.1007/978-3-030-67537-0_11.

ŠEMBERA, V. et al. Cybercrime Specialization: An Exposé of a Malicious Android Obfuscation-as-a-Service. In: 2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE European Symposium on Security and Privacy Workshops, Vienna, 2021-09-06/2021-09-10. Brighton: Institute of Electrical and Electronics Engineers, 2021. s. 213-226. ISBN 978-1-6654-1012-0. DOI 10.1109/EuroSPW54576.2021.00029.

PETRLÍK, M., T. KRAJNÍK a M. SASKA. LIDAR-based Stabilization, Navigation and Localization for UAVs Operating in Dark Indoor Environments. In: VALAVANIS, K., ed. 2021 International Conference on Unmanned Aircraft Systems (ICUAS). 2021 International Conference on Unmanned Aircraft Systems, ICUAS 2021, Athens, 2021-06-15/2021-06-18. IEEE Xplore, 2021. s. 243-251. ISBN 978-0-7381-3115-3. DOI 10.1109/ICUAS51884.2021.9476837. Dostupné z: https://ieeexplore.ieee.org/document/9476837

VALLATI, M. a L. CHRPA. Effective Real-Time Urban Traffic Routing: An Automated Planning Approach. In: Proceedings of 7th International Conference on Models and Technologies for Intelligent Transportation Systems. 7th International Conference on Models and Technologies for Intelligent Transportation Systems, Vitual conference, 2021-06-16/2021-06-17. Institute of Electrical and Electronics Engineers, Inc., 2021. ISBN 978-1-7281-8995-6. DOI 10.1109/MT-ITS49943.2021.9529329.

13136 / 13142 - kabinet výuky informatiky

Publikační činnost 2021

Knihy, kapitoly v knihách, skripta, sborníky

EFMERTOVÁ, M., P. GOLAN a B. MANNOVÁ. Česká stopa v historii výpočetní techniky. Praha: České vysoké učení technické v Praze, 2021. 1. sv. 1. ISBN 978-80-01-06918-9.

Stati ve sbornících konferencí

ANDRES, P. a B. MANNOVÁ. ON-LINE TEACHING DURING AND AFTER PANDEMIC ON CTU IN PRAGUE. In: 16th International Conference DisCo 2021. online, 2021-09-06/2021-09-07. CEITEC – open access, 2021. s. 1-452. ISBN 978-80-86302-88-1.

PRESTON, C. et al. The established theories that scaffold teaching, learning and mentoring online. In: GÓMEZ CHOVA, L., A. LÓPEZ MARTÍNEZ a I. CANDEL TORRES, eds. Edulearn21 Proceedings - 13th International Conference on Education and New Learning Technologies. 13th International Conference on Education and New Learning Technologies, online, 2021-07-05/2021-07-06. Valencia: IATED Academy, 2021. s. 1-3472. ISSN 2340-1117. ISBN 978-84-09-31267-2. Dostupné z: https://library.iated.org/publications/EDULEARN21

13136 / 13143 - Intelligent Data Analysis

Publikační činnost 2021

Články v časopisech WoS

LÍBALOVÁ, H. et al. Transcription Profiles in BEAS-2B Cells Exposed to Organic Extracts from Particulate Emissions Produced by a Port-fuel Injection Vehicle, Fueled with Conventional Fossil Gasoline and Gasoline-ethanol Blend. Mutation Research - GENETIC TOXICOLOGY AND ENVIRONMENTAL MUTAGENESIS. 2021, 872 ISSN 1383-5718. DOI 10.1016/j.mrgentox.2021.503414.

KUNGURTSEV, V. a F. RINALDI. A Zeroth Order Method for Stochastic Weakly Convex Optimization. Computational Optimization and Applications. 2021, 80 731-753. ISSN 1573-2894. DOI 10.1007/s10589-021-00313-3. Dostupné z: https://link.springer.com/article/10.1007/s10589-021-00313-3#Abs1

HYZDALOVA, M. et al. A Prolonged Exposure of Human Lung Carcinoma Epithelial Cells to Benzo[a]pyrene Induces p21-dependent Epithelial-to-mesenchymal Transition (EMT)-like Phenotype. Chemosphere. 2021, 263 ISSN 0045-6535. DOI 10.1016/j.chemosphere.2020.128126.

KUNC, V. a J. KLÉMA. On Transformative Adaptive Activation Functions in Neural Networks for Gene Expression Inference. PLoS ONE. 2021, 16(1), 1-27. ISSN 1932-6203. DOI 10.1371/journal.pone.0243915. Dostupné z: https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0243915

FACCHINEI, F. et al. Ghost Penalties in Nonconvex Constrained Optimization: Diminishing Stepsizes and Iteration Complexity. Mathematics of Operations Research. 2021, 46(2), 595-627. ISSN 0364-765X. DOI 10.1287/moor.2020.1079.

BERGOU, E., Y. DIOUANE a V. KUNGURTSEV. Complexity Iteration Analysis for Strongly Convex Multi-objective Optimization Using a Newton Path-following Procedure. Optimization Letters. 2021, 15(4), 1215-1227. ISSN 1862-4472. DOI 10.1007/s11590-020-01623-x.

BERGOU, E.H. et al. A Nonmonotone Matrix-Free Algorithm for Nonlinear Equality-Constrained Least-Squares Problems. SIAM Journal on Scientific Computing. 2021, 43(4), S743-S766. ISSN 1064-8275. DOI 10.1137/20M1349138.

ŠÍR, G., F. ŽELEZNÝ a O. KUŽELKA. Beyond graph neural networks with lifted relational neural networks. Machine Learning. 2021, 2021(3), 1695-1738. ISSN 1573-0565. DOI 10.1007/s10994-021-06017-3. Dostupné z: https://link.springer.com/article/10.1007%2Fs10994-021-06017-3

UHRÍN, M. et al. Optimal sports betting strategies in practice: an experimental review. IMA Journal of Management Mathematics. 2021, 34(4), 465-489. ISSN 1471-678X. DOI 10.1093/imaman/dpaa029.

OSICKOVA, K. et al. Predictive Potential of Flow Cytometry Crossmatching in Deceased Donor Kidney Transplant Recipients Subjected to Peritransplant Desensitization. Frontiers in Medicine. 2021, 8 1-8. ISSN 2296-858X. DOI 10.3389/fmed.2021.780636. Dostupné z: https://www.frontiersin.org/articles/10.3389/fmed.2021.780636/full?&utm_source=Email_to_authors_&utm_medium=Email&utm_content=T1_11.5e1_author&utm_campaign=Email_publication&field=&journalName=Frontiers_in_Medicine&id=780636

CERVENA, T. et al. Ordinary Gasoline Emissions Induce a Toxic Response in Bronchial Cells Grown at Air-Liquid Interface. International Journal of Molecular Sciences. 2021, 22(1), 1-22. ISSN 1422-0067. DOI 10.3390/ijms22010079. Dostupné z: https://www.mdpi.com/1422-0067/22/1/79

KUŽELKA, O. Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers. Journal of Artificial Intelligence Research. 2021, 70 1281-1307. ISSN 1076-9757. DOI 10.1613/jair.1.12320.

Stati ve sbornících konferencí

NADIRADZE, G. et al. Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent. In: Proceedings of the AAAI Conference on Artificial Intelligence. AAAI 2021: Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 9037-9045. ISSN 2374-3468. ISBN 978-1-57735-866-4. Dostupné z: https://ojs.aaai.org/index.php/AAAI/article/view/17092

VAN BREMEN, T. a O. KUŽELKA. Lifted Inference with Tree Axioms. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. tThe 8th International Conference on Principles of Knowledge Representation and Reasoning, Virtual conference, 2021-11-03/2021-11-12. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 599-608. ISSN 2334-1033. ISBN 978-1-956792-99-7. DOI 10.24963/kr.2021/57.

KUNGURTSEV, V. et al. Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence. AAAI 2021: Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, 2021-02-02/2021-02-09. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2021. s. 8209-8216. ISSN 2159-5399. ISBN 978-1-57735-866-4.

MARRA, G. a O. KUŽELKA. Neural Markov Logic Networks. In: Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence. The Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, Online, 2021-07-27/2021-07-30. ML Research Press, 2021. s. 908-917. ISSN 2640-3498.

KUMAR, N. a O. KUŽELKA. Context-Specific Likelihood Weighting. In: Proceedings of Machine Learning Research. The 24th International Conference on Artificial Intelligence and Statistics, Virtual konference, 2021-04-13/2021-04-15. Proceedings of Machine Learning Research, 2021. 130. ISSN 2640-3498. Dostupné z: http://proceedings.mlr.press/v130/kumar21b.html

ZÁVODNÁ, T. et al. Toxic responses in human lung epithelial cells (BEAS-2B) exposed to particulate matter exhaust emissions from gasoline and biogasoline. In: NANOCON Conference Proceedings - International Conference on Nanomaterials. Nanocon 2020, Brno, 2020-10-21/2020-10-23. Ostrava: TANGER, 2021. s. 453-458. ISSN 2694-930X. ISBN 978-80-87294-98-7. DOI 10.37904/nanocon.2020.3763. Dostupné z: https://www.confer.cz/nanocon/2020/3763-toxic-responses-in-human-lung-epithelial-cells-beas-2b-exposed-to-particulate-matter-exhaust-emissions-from-gasoline-and-biogasoline

VAN BREMEN, T. a O. KUŽELKA. Faster Lifting for Two-variable Logic Using Cell Graphs. In: Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence. The Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, Online, 2021-07-27/2021-07-30. ML Research Press, 2021. s. 1393-1402. ISSN 2640-3498.

WANG, Y. et al. Fast Algorithms for Relational Marginal Polytopes. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. The Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 2021-08-19/2021-09-27. International Joint Conferences on Artificial Intelligence Organization, 2021. s. 4266-4274. ISSN 1045-0823. ISBN 978-0-9992411-9-6. DOI 10.24963/ijcai.2021/586.

ŠÍR, G., F. ŽELEZNÝ a O. KUŽELKA. Lossless Compression of Structured Convolutional Models via Lifting. In: International Conference on Learning Representations. Vienna (Virtual Only), 2021-05-04/2021-05-08. Massachusetts: OpenReview.net / University of Massachusetts, 2021. Dostupné z: https://openreview.net/forum?id=oxnp2q-PGL4

13136 / 13144 - laboratoř inteligentního testování systémů

Publikační činnost 2021

Články v časopisech WoS

HINDY, H. et al. Utilising Flow Aggregation to Classify Benign Imitating Attacks. Sensors - Open Access Journal. 2021, 21(5), 1-17. ISSN 1424-8220. DOI 10.3390/s21051761. Dostupné z: https://www.mdpi.com/1424-8220/21/5/1761

KADER, M., K. ZAMLI a B. AL-BEYWANEE. A systematic review on emperor penguin optimizer. Neural Computing and Applications. 2021, 2021(September), 15933-15953. ISSN 0941-0643. DOI 10.1007/s00521-021-06442-4.

BUSHONG, V. et al. On Microservice Analysis and Architecture Evolution: A Systematic Mapping Study. Applied Sciences. 2021, 11(17), 1-27. ISSN 2076-3417. DOI 10.3390/app11177856. Dostupné z: https://www.mdpi.com/2076-3417/11/17/7856

Patenty a užitné vzory

ČVUT v Praze. Method of Testing of IoT System Behaviour in Case of Limited Network Connection. Původci: M. BUREŠ a M. KLÍMA. Spojené státy. Patent US11194700. 2021-12-07. Dostupné z: https://worldwide.espacenet.com/patent/search/family/074221195/publication/US11194700B2?q=pn%3DUS11194700B2

Články v ostatních periodikách

DAS, D. et al. Technical Debt Resulting from Architectural Degradation and Code Smells: A Systematic Mapping Study. ACM SIGAPP Applied Computing Review. 2021, 21(4), 20-36. ISSN 1559-6915. DOI 10.1145/3512753.3512755.

Stati ve sbornících konferencí

SÝKORA, K., B. AL-BEYWANEE a M. BUREŠ. Code Coverage Aware Test Generation Using Constraint Solver. In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. Software Engineering and Formal Methods 2020, Amsterdam, 2020-09-14/2020-09-17. Basel: Springer Nature Switzerland AG, 2021. s. 58-66. ISSN 0302-9743. ISBN 978-3-030-67219-5. DOI 10.1007/978-3-030-67220-1_5.

BUSHONG, V. et al. On Log Analysis and Stack Trace Use to Improve Program Slicing. In: Information Science and Applications - Proceedings of ICISA 2020. International Conference on Information Science and Applications, Virtual Conference, 2020-12-16/2020-12-18. Berlin: Springer Science+Business Media, 2021. s. 265-275. sv. 739. ISSN 1876-1100. ISBN 9789813363847. DOI 10.1007/978-981-33-6385-4_25.

KLÍMA, M. a M. BUREŠ. A Testing Tool for IoT Systems Operating with Limited Network Connectivity. In: Trends and Applications in Information Systems and Technologies. 9th World Conference on Information Systems and Technologies, Terceira, 2021-03-30/2021-04-02. Cham: Springer, 2021. s. 570-576. sv. 3. ISSN 2194-5357. ISBN 978-3-030-72659-1. DOI 10.1007/978-3-030-72660-7_54.

KLÍMA, M. et al. Quality and Reliability Metrics for IoT Systems: A Consolidated View. In: Science and Technologies for Smart Cities. 5th EAI International Conference on IoT in Urban Space, virtuální, 2020-12-03. Cham: Springer, 2021. s. 635-650. ISSN 1867-8211. ISBN 978-3-030-76062-5. DOI 10.1007/978-3-030-76063-2_42. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-76063-2_42

BUREŠ, M. et al. Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting Their Security and Reliability. In: Trends and Applications in Information Systems and Technologies. 9th World Conference on Information Systems and Technologies, Terceira, 2021-03-30/2021-04-02. Cham: Springer, 2021. s. 546-556. sv. 3. ISSN 2194-5357. ISBN 978-3-030-72659-1. DOI 10.1007/978-3-030-72660-7_52.

BUREŠ, M. et al. PatrIoT: IoT Automated Interoperability and Integration Testing Framework. In: IEEE 14th International Conference on Software Testing, Verification and Validation. 14th IEEE Conference on Software Testing, Verification and Validation, virtuální, 2021-04-12/2021-04-16. Los Alamitos: IEEE Computer Society Press, 2021. s. 454-459. ISSN 2159-4848. ISBN 978-1-7281-6836-4. DOI 10.1109/ICST49551.2021.00059. Dostupné z: https://www.computer.org/csdl/proceedings-article/icst/2021/683600a454/1tRP90B4aNa

MILTNER, M. Autonomous Driving Technology Landscape in 2020: Technical Challenges and Policy Overview. In: Proceedings of the Cambridge St Edmund's Interdisciplinary Conference 2021. Cambridge St Edmund's Interdisciplinary Conference 2021, Cambridge, 2021-02-27. University of Cambridge, 2021. 1..

Stránka vytvořena 13.10.2024 05:00:01
Za obsah odpovídá: RNDr. Patrik Mottl, Ph.D.