13000 / 13136 - Publications - 2023

13000 / 13136 - Department of Computer Science

Publications 2023

Papers in WoS Journals

AI, J., O. KUŽELKA, and Y. WANG. Hoeffding–Serfling Inequality for U-Statistics Without Replacement. JOURNAL OF THEORETICAL PROBABILITY. 2023, 36(1), 390-408. ISSN 0894-9840. DOI 10.1007/s10959-022-01169-x.

TRSOVA, I., et al. Expression of Circular RNAs in Myelodysplastic Neoplasms and their Association with Mutations in the Splicing Factor Gene SF3B1. Molecular Oncology. 2023, 17(12), 2565-2583. ISSN 1574-7891. DOI 10.1002/1878-0261.13486.

KURBANOV, T., M. CUCHÝ, and J. VOKŘÍNEK. Fast One-to-Many Multicriteria Shortest Path Search. IEEE Transactions on Intelligent Transportation Systems. 2023, 24(10), 10410-10419. ISSN 1524-9050. DOI 10.1109/TITS.2023.3282069.

HUBÁČEK, O. and G.S. ŠÍR. Beating the market with a bad predictive model. International Journal of Forecasting. 2023, 39(2), 691-719. ISSN 0169-2070. DOI 10.1016/j.ijforecast.2022.02.001.

ROZSYPÁLEK, Z., et al. Multidimensional Particle Filter for Long-Term Visual Teach and Repeat in Changing Environments. IEEE Robotics and Automation Letters. 2023, 8(4), 1951-1958. ISSN 2377-3766. DOI 10.1109/LRA.2023.3244418. Available from: https://ieeexplore.ieee.org/document/10042995

VALOUCH, D. and J. FAIGL. Caterpillar Heuristic for Gait-Free Planning With Multi-Legged Robot. IEEE Robotics and Automation Letters. 2023, 8(8), 5204-5211. ISSN 2377-3766. DOI 10.1109/LRA.2023.3293749. Available from: https://ieeexplore.ieee.org/document/10176305

BELBL, M., et al. Variations of the lumbrical muscles of the hand: Systematic review and meta-analysis. Annals of Anatomy. 2023, 247 1-10. ISSN 0940-9602. DOI 10.1016/j.aanat.2023.152065.

COX, J., et al. Visual Teach and Generalise (VTAG)-Exploiting Perceptual Aliasing for Scalable Autonomous Robotic Navigation in Horticultural Environments. Computers and Electronics in Agriculture. 2023, 212 1-11. ISSN 0168-1699. DOI 10.1016/j.compag.2023.108054.

VOTROUBEK, T., S. VANNUCCI, and T. KROUPA. Values of games over Boolean player sets. International Journal of Approximate Reasoning. 2023, 158 1-21. ISSN 1873-4731. DOI 10.1016/j.ijar.2023.108925. Available from: https://www.sciencedirect.com/science/article/pii/S0888613X23000567

NA, S., et al. Federated Reinforcement Learning for Collective Navigation of Robotic Swarms. IEEE Transactions on Cognitive and Developmental Systems. 2023, 15(4), 2122-2131. ISSN 2379-8920. DOI 10.1109/TCDS.2023.3239815.

ULLRICH, H., et al. CsFEVER and CTKFacts: Acquiring Czech Data for Fact Verification. Language Resources and Evaluation. 2023, 57(4), 1571-1605. ISSN 1574-020X. DOI 10.1007/s10579-023-09654-3.

RIGAKI, M. and S. GARCÍA. Stealing and evading malware classifiers and antivirus at low false positive conditions. Computers & Security. 2023, 2023(129), 1-17. ISSN 0167-4048. DOI 10.1016/j.cose.2023.103192.

Papers in Other Journals

URBANOVSKÁ, M. and A. KOMENDA. Analysis of Learning Heuristic Estimates for Grid Planning with Cellular Simultaneous Recurrent Networks. SN Computer Science. 2023, 4(6), ISSN 2662-995X. DOI 10.1007/s42979-023-02174-5.

ULRICH, J., et al. Real Time Fiducial Marker Localisation System with Full 6 DOF Pose Estimation. ACM SIGAPP Applied Computing Review. 2023, 23(1), 20-35. ISSN 1559-6915. DOI 10.1145/3594264.3594266.

BAYER, J., P. ČÍŽEK, and J. FAIGL. Autonomous Multi-robot Exploration with Ground Vehicles in DARPA Subterranean Challenge Finals. Field Robotics. 2023, 2023(3), 266-300. ISSN 2771-3989. DOI 10.55417/fr.2023008. Available from: https://fieldrobotics.net/Field_Robotics/Volume_3.html

Books, Book Chapters and Lecture Notes

FAIGL, J. and J. BAYER, eds. Graph-based LiDAR-Inertial SLAM Enhanced by Loosely-Coupled Visual Odometry. Sydney: IEEE, 2023.

Conference Proceedings

VALOUCH, D. and J. FAIGL. Motion Planning for Multi-legged Robots using Levenberg-Marquardt Optimization with Bezier Parametrization. In: Proceedings of 11th European Conference on Mobile Robots. 11th European Conference on Mobile Robots, Coimbra, 2023-09-04/2023-09-07. Brighton: Institute of Electrical and Electronics Engineers, 2023. p. 344-348. ISSN 2639-7919. ISBN 979-8-3503-0704-7. DOI 10.1109/ECMR59166.2023.10256284.

KOBZA, O., et al. Alquist 5.0: Dialogue Trees Meet Generative Models. A Novel Approach for Enhancing SocialBot Conversations. In: 5th Proceedings of Alexa Prize (Alexa Prize 2022). Alexa Prize Live 2023, Boston, 2023-09-06. Amazon, 2023. 1. vol. 1. ISSN 2331-8422. Available from: https://www.amazon.science/alexa-prize/proceedings/alquist-5-0-dialogue-trees-meet-generative-models-a-novel-approach-for-enhancing-socialbot-conversations

HULCHUK, V., J. BAYER, and J. FAIGL. Graph-based LiDAR-Inertial SLAM Enhanced by Loosely-Coupled Visual Odometry. In: Proceedings of 11th European Conference on Mobile Robots. 11th European Conference on Mobile Robots, Coimbra, 2023-09-04/2023-09-07. Brighton: Institute of Electrical and Electronics Engineers, 2023. p. 278-285. ISSN 2639-7919. ISBN 979-8-3503-0704-7. DOI 10.1109/ECMR59166.2023.10256360.

SZADKOWSKI, R., et al. Bootstrapping the Dynamic Gait Controller of the Soft Robot Arm. In: 2023 IEEE International Conference on Robotics and Automation. Londýn, 2023-05-29/2023-06-02. Piscataway: IEEE, 2023. p. 2669-2675. ISSN 2577-087X. ISBN 979-8-3503-2365-8. DOI 10.1109/ICRA48891.2023.10160579. Available from: https://ieeexplore.ieee.org/document/10160579

SLÁMA, J., J. HERYNEK, and J. FAIGL. Risk-Aware Emergency Landing Planning for Gliding Aircraft Model in Urban Environments. In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Detroit, MA, 2023-10-01/2023-10-05. Piscataway: IEEE, 2023. p. 4820-4826. ISSN 2153-0858. ISBN 978-1-6654-9191-4. DOI 10.1109/IROS55552.2023.10341622.

DECKEROVÁ, J., K. KUČEROVÁ, and J. FAIGL. On Improvement Heuristic to Solutions of the Close Enough Traveling Salesman Problem in Environments with Obstacles. In: Proceedings of 11th European Conference on Mobile Robots. 11th European Conference on Mobile Robots, Coimbra, 2023-09-04/2023-09-07. Brighton: Institute of Electrical and Electronics Engineers, 2023. p. 180-185. ISSN 2639-7919. ISBN 979-8-3503-0704-7. DOI 10.1109/ECMR59166.2023.10256328.

SIMON, M., et al. Performance Comparison of Visual Teach and Repeat Systems for Mobile Robots. In: Modelling and Simulation for Autonomous Systems (MESAS 2022). 9th International Conference on Modelling and Simulation for Autonomous Systems, Praha, 2022-10-20/2022-10-21. Springer, Cham, 2023. p. 3-24. LNCS. vol. 13866. ISSN 0302-9743. ISBN 978-3-031-31267-0. DOI 10.1007/978-3-031-31268-7_1.

KROUPA, T. and T. VOTROUBEK. Multiple Oracle Algorithm to Solve Continuous Games. In: Decision and Game Theory for Security. GameSec 2022 - Conference on Decision and Game Theory for Security, Pittsburgh, 2022-10-26/2022-10-28. Cham: Springer International Publishing, 2023. p. 149-167. LNCS. vol. 13727. ISSN 1611-3349. ISBN 978-3-031-26369-9. DOI 10.1007/978-3-031-26369-9_8. Available from: https://doi.org/10.1007/978-3-031-26369-9_8

BANDHANA, A., et al. Catch Me if You Can: Improving Adversaries in Cyber-Security with Q-Learning Algorithms. In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence. the 15th International Conference on Agents and Artificial Intelligence, Lisbon, 2023-02-22/2023-02-24. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2023. p. 442-449. ISSN 2184-433X. ISBN 978-989-758-623-1. DOI 10.5220/0011684500003393. Available from: https://www.scitepress.org/Link.aspx?doi=10.5220/0011684500003393

LUKÁŠ, O. and S. GARCÍA. Disrupting Active Directory Attacks with Deep Learning for Organic Honeyuser Placement. In: Deep Learning Theory and Applications. First International Conference and Second International Conference, Virtual, 2021-07-08/2021-07-10. Basel: Springer Nature Switzerland AG, 2023. p. 111-133. ISSN 1865-0929. ISBN 978-3-031-37319-0. DOI 10.1007/978-3-031-37320-6_6.

NYPORKO, A. and L. CHRPA. Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract]. In: Sixteenth International Symposium on Combinatorial Search (SoCS 2023). SoCS 2023: the 16th International Symposium on Combinatorial Search, Praha, 2023-07-14/2023-07-16. Menlo Park, California: AAAI Press, 2023. p. 173-174. ISSN 2832-9171. ISBN 978-1-57735-882-4. DOI 10.1609/socs.v16i1.27300.

SVATOŠ, M., et al. On Discovering Interesting Combinatorial Integer Sequences. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Thirty-Second International Joint Conference on Artificial Intelligence, Macao, 2023-08-19/2023-08-25. International Joint Conferences on Artificial Intelligence Organization, 2023. p. 3338-3346. ISBN 978-1-956792-03-4. DOI 10.24963/ijcai.2023/372. Available from: https://www.ijcai.org/proceedings/2023/372

URBANOVSKÁ, M. and A. KOMENDA. Semantically Layered Representation for Planning Problems and Its Usage for Heuristic Computation Using Cellular Simultaneous Recurrent Neural Networks. In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence. the 15th International Conference on Agents and Artificial Intelligence, Lisbon, 2023-02-22/2023-02-24. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2023. p. 493-500. ISSN 2184-433X. ISBN 978-989-758-623-1. DOI 10.5220/0011691000003393. Available from: https://www.scitepress.org/PublicationsDetail.aspx?ID=9B9fyCJqZxM=&t=1

TÓTH, J. and O. KUŽELKA. Lifted Inference with Linear Order Axiom. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. 37th AAAI Conference on Artificial Intelligence (AAAI-23), Washington, DC, 2023-02-07/2023-02-14. Menlo Park: AAAI Press, 2023. p. 12295-12304. ISSN 2374-3468. ISBN 978-1-57735-880-0. DOI 10.1609/aaai.v37i10.26449. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26449

SZADKOWSKI, R. and J. FAIGL. Hexapod Gait Control Through Internal Model Belief Update. In: Proceedings of The 11th International Symposium on Adaptive Motion of Animals and Machines. 11th International Symposium on Adaptive Motion of Animals and Machines, Kyoto, 2023-06-06/2023-06-09. Kobe University, 2023. p. 107-108. ISSN 2186-9510. DOI 10.18910/92290.

FAIGL, J., M. PRÁGR, and J. KUBÍK. On Autonomous Mobile Robot Exploration Projects in Robotics Course. In: Lecture Notes in Networks and Systems (Volume 747 LNNS). 14th International Conference on Robotics in Education, Limassol, 2023-04-19/2023-04-21. Wien: Springer, 2023. p. 3-15. ISSN 2367-3370. ISBN 978-3-031-38453-0. DOI 10.1007/978-3-031-38454-7_1.

REKABI-BANA, F., et al. Mechatronic Design for Multi Robots-Insect Swarms Interactions. In: Proceedings of 2023 IEEE International Conference on Mechatronics. IEEE International Conference on Mechatronics, Loughborough, 2023-03-15/2023-03-17. IEEE Xplore, 2023. ISBN 978-1-6654-6661-5. DOI 10.1109/ICM54990.2023.10102026. Available from: https://ieeexplore.ieee.org/document/10102026

LIU, X., Z. ROZSYPÁLEK, and T. KRAJNÍK. Self-supervised Learning for Fusion of IR and RGB Images in Visual Teach and Repeat Navigation. In: Proceedings of 11th European Conference on Mobile Robots. 11th European Conference on Mobile Robots, Coimbra, 2023-09-04/2023-09-07. Brighton: Institute of Electrical and Electronics Engineers, 2023. p. 57-63. ISSN 2639-7919. ISBN 979-8-3503-0704-7. DOI 10.1109/ECMR59166.2023.10256333.

HEREL, D., H. CISNEROS, and T. MIKOLOV. Preserving Semantics in Textual Adversarial Attacks. In: European Conference on Artificial Intelligence 2023. 26th European Conference on Artificial Intelligence ECAI 2023, Krakov, 2023-09-30/2023-10-04. Amsterdam: IOS Press, 2023. p. 1036-1043. Frontiers in Artificial Intelligence and Applications. vol. 372. ISSN 0922-6389. ISBN 978-1-64368-436-9. DOI 10.3233/FAIA230376.

13136 / 13141 - Artificial Intelligence Center

Publications 2023

Papers in WoS Journals

ZHOU, Q., J. MAREČEK, and R. SHORTEN. Fairness in Forecasting of Observations of Linear Dynamical Systems. Journal of Artificial Intelligence Research. 2023, 76 1247-1280. ISSN 1076-9757. DOI 10.1613/jair.1.14050.

KOVAŘÍK, V., et al. Value functions for depth-limited solving in zero-sum imperfect-information games. Artificial Intelligence. 2023, 314 ISSN 1872-7921. DOI 10.1016/j.artint.2022.103805. Available from: https://www.sciencedirect.com/science/article/abs/pii/S000437022200145X

ZHOU, Q., J. MAREČEK, and R. SHORTEN. Subgroup fairness in two-sided markets. PLoS ONE. 2023, 18(2), ISSN 1932-6203. DOI 10.1371/journal.pone.0281443. Available from: https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0281443

HORÁK, K., et al. Solving zero-sum one-sided partially observable stochastic games. Artificial Intelligence. 2023, 316 ISSN 0004-3702. DOI 10.1016/j.artint.2022.103838.

KOMRSKA, T., L. ADAM, and Z. PEROUTKA. Multiphase Converter Voltage Optimization With Minimum Effort Principle. IEEE Transactions on Industrial Electronics. 2023, 70(7), 6461-6469. ISSN 0278-0046. DOI 10.1109/TIE.2022.3204963.

PRÁGR, M., J. BAYER, and J. FAIGL. Autonomous Exploration with Online Learning of Traversable Yet Visually Rigid Obstacles. Autonomous Robots. 2023, 47 161-180. ISSN 0929-5593. DOI 10.1007/s10514-022-10075-4.

KUCNER, T.P., et al. Survey of Maps of Dynamics for Mobile Robots. International Journal of Robotics Research. 2023, 42(11), ISSN 0278-3649. DOI 10.1177/02783649231190428.

PAPAFITSOROS, K., L. ADAM, and G. SCHOFIELD. A Social Media-based Framework for Quantifying Temporal Changes to Wildlife Viewing Intensity. Ecological Modelling. 2023, 476 ISSN 0304-3800. DOI 10.1016/j.ecolmodel.2022.110223.

NEKOVÁŘ, F., J. FAIGL, and M. SASKA. Multi-vehicle Dynamic Water Surface Monitoring. IEEE Robotics and Automation Letters. 2023, 8(10), 6323-6330. ISSN 2377-3766. DOI 10.1109/LRA.2023.3304533. Available from: https://ieeexplore.ieee.org/abstract/document/10214661

GIBOULOT, Q., T. PEVNÝ, and A.D. KER. The Non-Zero-Sum Game of Steganography in Heterogeneous Environments. IEEE Transactions on Information Forensics and Security. 2023, 18 4436-4448. ISSN 1556-6013. DOI 10.1109/TIFS.2023.3295945.

ULLRICH, H., et al. CsFEVER and CTKFacts: Acquiring Czech Data for Fact Verification. Language Resources and Evaluation. 2023, 57(4), 1571-1605. ISSN 1574-020X. DOI 10.1007/s10579-023-09654-3.

MAREČEK, J., et al. Predictability and fairness in load aggregation and operations of virtual power plants. Automatica. 2023, 147 ISSN 0005-1098. DOI 10.1016/j.automatica.2022.110743.

KUNGURTSEV, V., et al. On the Ergodic Control of Ensembles in the Presence of Non-linear Filters. Automatica. 2023, 152 ISSN 0005-1098. DOI 10.1016/j.automatica.2023.110946.

Papers in Other Journals

ULRICH, J., et al. Real Time Fiducial Marker Localisation System with Full 6 DOF Pose Estimation. ACM SIGAPP Applied Computing Review. 2023, 23(1), 20-35. ISSN 1559-6915. DOI 10.1145/3594264.3594266.

Books, Book Chapters and Lecture Notes

FU, J., T. KROUPA, and Y. HAYEL, eds. 14th International Conference GameSec 2023 Proceedings. Avignon, 2023-10-18/2023-10-20. Basel: Springer Nature Switzerland AG, 2023. ISSN 0302-9743. ISBN 978-3-031-50669-7.

FAIGL, J. and J. BAYER, eds. Graph-based LiDAR-Inertial SLAM Enhanced by Loosely-Coupled Visual Odometry. Sydney: IEEE, 2023.

EDELKAMP, S. Algorithmic Intelligence: Towards an Algorithmic Foundation for Artificial Intelligence. Springer Nature, 2023. ISBN 978-3-319-65595-6. DOI 10.1007/978-3-319-65596-3.

ŠMUCLEROVÁ, M., L. KRÁL, and J. DRCHAL. AI Life Cycle and Human Rights: Risks and Remedies. In: QUINTAVALLA, A. and J. TEMPERMAN, eds. Artificial Intelligence and Human Rights. Oxford: Oxford University Press, 2023. p. 16-41. ISBN 978-0-19-288248-6.

Conference Proceedings

SAYED, M.A., et al. Cyber Deception Against Zero-Day Attacks: A Game Theoretic Approach. In: Decision and Game Theory for Security. GameSec 2022 - Conference on Decision and Game Theory for Security, Pittsburgh, 2022-10-26/2022-10-28. Cham: Springer International Publishing, 2023. p. 44-63. LNCS. vol. 13727. ISSN 1611-3349. ISBN 978-3-031-26369-9. DOI 10.1007/978-3-031-26369-9_3.

CHRESTIEN, L., et al. Optimize Planning Heuristics to Rank, not to Estimate Cost-to-Goal. In: Advances in Neural Information Processing Systems 36 (NeurIPS 2023). Thirty-seventh Conference on Neural Information Processing Systems, New Orleans, 2023-12-10/2023-12-16. Montreal: Neural Information Processing Society, 2023.

WARSAME, Y. and S. EDELKAMP. Capacitated Multi-Robot Task Allocation with Time Windows Using Location-Routing Task-Motion Planning. In: International Conference on Advanced Robotics and Intelligent Systems. 21st International Conference on Advanced Robotics, Abhu Dhabi, 2023-12-05/2023-12-08. Institute of Electrical and Electronics Engineers, Inc., 2023. p. 42-48. ISSN 2374-3255. ISBN 979-8-3503-4229-1. DOI 10.1109/ICAR58858.2023.10406618.

EDELKAMP, S. Improving Computer Play in Skat with Hope Cards. In: Lecture Notes in Computer Science. 11th International Conference on Computers and Games, Virtual, 2022-11-22/2022-11-24. Berlin: Springer Science+Business Media, 2023. p. 133-145. ISSN 0302-9743. ISBN 978-3-031-34016-1. DOI 10.1007/978-3-031-34017-8_12.

BALTES, J., et al. Learning Through Competitions—The FIRA Youth Mission Impossible Competition. In: Lecture Notes in Networks and Systems (Volume 747 LNNS). 14th International Conference on Robotics in Education, Limassol, 2023-04-19/2023-04-21. Wien: Springer, 2023. p. 383-394. ISSN 2367-3370. ISBN 978-3-031-38453-0. DOI 10.1007/978-3-031-38454-7_31.

PAPEŽ, M., et al. Sum-Product-Set Networks. In: Proceedings of the 6th Workshop on Tractable Probabilistic Modeling. 6th Workshop on Tractable Probabilistic Modeling, UAI 2023, Pittsburgh, 2023-08-04. Massachusetts: OpenReview.net / University of Massachusetts, 2023. Available from: https://openreview.net/forum?id=8hqxY5fUwg

WARSAME, Y. and S. EDELKAMP. Electric Vehicle Location-Routing Task-Motion Planning. In: IEEE International Conference on Automation Science and Engineering (CASE). Aucland, 2023-08-26/2023-08-30. Vienna: IEEE Industrial Electronic Society, 2023. 19. ISSN 2161-8070. ISBN 979-8-3503-2070-1. DOI 10.1109/CASE56687.2023.10260622.

CIBUĽA, M. and R. MAŘÍK. Coupled-Tensor Generated Word Embeddings and Their Composition. In: Lecture Notes in Networks and Systems. Computing Conference 2023, Londýn, 2023-06-22/2023-06-24. Cham: Springer International Publishing AG, 2023. p. 753-767. vol. 711. ISSN 2367-3370. ISBN 978-3-031-37716-7. DOI 10.1007/978-3-031-37717-4_49.

HORČÍK, R. and D. FIŠER. Gaifman Graphs in Lifted Planning. In: European Conference on Artificial Intelligence 2023. 26th European Conference on Artificial Intelligence ECAI 2023, Krakov, 2023-09-30/2023-10-04. Amsterdam: IOS Press, 2023. p. 1052-1059. Frontiers in Artificial Intelligence and Applications. vol. 372. ISSN 0922-6389. ISBN 978-1-64368-436-9. DOI 10.3233/FAIA230378.

CHRESTIEN, L., et al. Heuristic Search Optimisation Using Planning and Curriculum Learning Techniques. In: Progress in Artificial Intelligence, 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5–8, 2023, Proceedings, Part I. 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, 2023-09-05/2023-09-08. Springer, Cham, 2023. p. 495-507. vol. 1. ISSN 0302-9743. ISBN 978-3-031-49007-1. DOI 10.1007/978-3-031-49008-8_39.

Research Reports

ŠMUCLEROVÁ, M., et al. Umělá inteligence a lidská práva: Soubor doporučení pro subjekty životního cyklu AI. [Research Report] Ambis, a.s., 2023. Report no. TL05000484-V3.

ŠMUCLEROVÁ, M., et al. Umělá inteligence a lidská práva: rizika, příležitosti a regulace. [Research Report] Ambis, a.s., 2023. Report no. TL05000484-V1.

ŠMUCLEROVÁ, M., et al. Umělá inteligence a lidská práva: Soubor doporučení pro veřejnou správu. [Research Report] Ambis, a.s., 2023. Report no. TL05000484-V2.

13136 / 13142 - Center for Software Training

Publications 2023

Conference Proceedings

PROKOP, Y., O. TROFYMENKO, and O. ZADEREYKO. Developing students’ code style skills. In: 2023 IEEE 18th International Conference on Computer Science and Information Technologies (CSIT). Lviv, 2023-10-19/2023-10-21. Lviv: IEEE Ukraine Section, 2023. p. 1-4. ISSN 2766-3639. ISBN 979-8-3503-6046-2. DOI 10.1109/CSIT61576.2023.10324182. Available from: https://ieeexplore.ieee.org/document/10324182

13136 / 13143 - Intelligent Data Analysis

Publications 2023

Papers in WoS Journals

RYŠAVÝ, P. and F. ŽELEZNÝ. Reference-free phylogeny from sequencing data. BioData Mining. 2023, 2023(16), ISSN 1756-0381. DOI 10.1186/s13040-023-00329-x.

KUNGURTSEV, V., et al. Decentralized Bayesian Learning with Metropolis-adjusted Hamiltonian Monte Carlo. Machine Learning. 2023, 112(8), 2791-2819. ISSN 0885-6125. DOI 10.1007/s10994-023-06345-6.

HUBÁČEK, O. and G.S. ŠÍR. Beating the market with a bad predictive model. International Journal of Forecasting. 2023, 39(2), 691-719. ISSN 0169-2070. DOI 10.1016/j.ijforecast.2022.02.001.

KUNGURTSEV, V. and J. JASCHKE. Pathfollowing for Parametric Mathematical Programs with Complementarity Constraints. Optimization and Engineering. 2023, 24(4), 2795-2826. ISSN 1389-4420. DOI 10.1007/s11081-023-09794-z.

BREMEN, T. and O. KUŽELKA. Lifted Inference with Tree Axioms. Artificial Intelligence. 2023, 324 ISSN 0004-3702. DOI 10.1016/j.artint.2023.103997.

KUNGURTSEV, V., et al. Decentralized Asynchronous Non-convex Stochastic Optimization on Directed Graphs. IEEE Transactions on Control of Network Systems. 2023, 10(4), 1796-1804. ISSN 2325-5870. DOI 10.1109/TCNS.2023.3242043.

SAVELEVA, L., et al. Transcriptomic Alterations in the Olfactory Bulb Induced by Exposure to Air Pollution: Identification of Potential Biomarkers and Insights into Olfactory System Function. Environmental Toxicology and Pharmacology. 2023, 104 ISSN 1382-6689. DOI 10.1016/j.etap.2023.104316.

KUNGURTSEV, V. and V. SHIKHMAN. Regularized Quasi-monotone Method for Stochastic Optimization. Optimization Letters. 2023, 17(5), 1215-1228. ISSN 1862-4472. DOI 10.1007/s11590-022-01931-4.

LE, A.V., et al. Improved recovery and annotation of genes in metagenomes through the prediction of fungal introns. Molecular Ecology Resources. 2023, 23(8), 1800-1811. ISSN 1755-098X. DOI 10.1111/1755-0998.13852.

KUNGURTSEV, V., et al. On the Ergodic Control of Ensembles in the Presence of Non-linear Filters. Automatica. 2023, 152 ISSN 0005-1098. DOI 10.1016/j.automatica.2023.110946.

HRUBA, P., et al. Novel Transcriptomic Signatures Associated with Premature Kidney Allograft Failure. EBioMedicine. 2023, 96 ISSN 2352-3964. DOI 10.1016/j.ebiom.2023.104782.

KUMAR, N., O. KUŽELKA, and L. DE RAEDT. First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs. Journal of Artificial Intelligence Research. 2023, 77 683-735. ISSN 1076-9757. DOI 10.1613/jair.1.13657.

Books, Book Chapters and Lecture Notes

ŠÍR, G., F. ŽELEZNÝ, and O. KUŽELKA. Lifted Relational Neural Networks: from Graphs to Deep Relational Learning. In: A Compendium of Neuro-Symbolic Artificial Intelligence. Amsterdam: IOS Press, 2023. p. 308-336. ISSN 0922-6389. ISBN 978-1-64368-406-2. DOI 10.3233/FAIA230147.

Conference Proceedings

VAHIDIAN, S., et al. Efficient Distribution Similarity Identification in Clustered Federated Learning via Principal Angles between Client Data Subspaces. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. 37th AAAI Conference on Artificial Intelligence (AAAI-23), Washington, DC, 2023-02-07/2023-02-14. Menlo Park: AAAI Press, 2023. p. 10043-10052. ISSN 2374-3468. ISBN 978-1-57735-880-0. DOI 10.1609/aaai.v37i8.26197. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26197

ŠÍR, G., O. KUŽELKA, and F. ŽELEZNÝ. Beyond Graph Neural Networks with Lifted Relational Neural Networks. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. 37th AAAI Conference on Artificial Intelligence (AAAI-23), Washington, DC, 2023-02-07/2023-02-14. Menlo Park: AAAI Press, 2023. ISSN 2374-3468. ISBN 978-1-57735-880-0. DOI 10.48448/4eps-hs54. Available from: https://underline.io/lecture/69510-beyond-graph-neural-networks-with-lifted-relational-neural-networks

KUŽELKA, O. Counting and Sampling Models in First-Order Logic. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Thirty-Second International Joint Conference on Artificial Intelligence, Macao, 2023-08-19/2023-08-25. International Joint Conferences on Artificial Intelligence Organization, 2023. p. 7020-7025. ISBN 978-1-956792-03-4. DOI 10.24963/ijcai.2023/801. Available from: https://www.ijcai.org/proceedings/2023/801

WANG, Y., et al. On Exact Sampling in the Two-Variable Fragment of First-Order Logic. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, 2023-06-26/2023-06-29. IEEE Xplore, 2023. ISSN 2575-5528. ISBN 979-8-3503-3587-3. DOI 10.1109/LICS56636.2023.10175742. Available from: https://ieeexplore.ieee.org/document/10175742

13136 / 13144 - System Testing IntelLigent Lab

Publications 2023

Papers in WoS Journals

BAYRAM, F. and B. AL-BEYWANEE. A Domain-region Based Evaluation of ML Performance Robustness to Covariate Shift. Neural Computing and Applications. 2023, 35(24), 17555-17577. ISSN 0941-0643. DOI 10.1007/s00521-023-08622-w.

CHAHED,, H., et al. AIDA-A Holistic AI-driven Networking and Processing Framework for Industrial IoT Applications. Internet of Things. 2023, 22 ISSN 2542-6605. DOI 10.1016/j.iot.2023.100805. Available from: https://www.sciencedirect.com/science/article/pii/S2542660523001282

SILHAVY, R., et al. More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology. IEEE Internet of Things Journal. 2023, 10(21), 19312-19327. ISSN 2327-4662. DOI 10.1109/JIOT.2023.3281614. Available from: https://ieeexplore.ieee.org/abstract/document/10139806

HINDY, H., et al. Leveraging siamese networks for one-shot intrusion detection model. Journal of Intelligent Information Systems. 2023, 60(2), 407-436. ISSN 0925-9902. DOI 10.1007/s10844-022-00747-z.

BAYRAM,, F., et al. DA-LSTM: A Dynamic Drift-adaptive Learning Framework for Interval Load Forecasting with LSTM Networks. Engineering Applications of Artificial Intelligence. 2023, 123 ISSN 0952-1976. DOI 10.1016/j.engappai.2023.106480.

ALIPIO, M. and M. BUREŠ. Deep Reinforcement Learning Perspectives on Improving Reliable Transmissions in IoT Networks: Problem Formulation, Parameter Choices, Challenges, and Future Directions. Internet of Things. 2023, 23 ISSN 2542-6605. DOI 10.1016/j.iot.2023.100846. Available from: https://www.sciencedirect.com/science/article/abs/pii/S2542660523001695

ALIPIO, M. and M. BUREŠ. Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes. IEEE Internet of Things Journal. 2023, 10(20), 18067-18081. ISSN 2327-4662. DOI 10.1109/JIOT.2023.3277590. Available from: https://ieeexplore.ieee.org/document/10129125

KLÍMA, M., et al. Specialized Path-based Technique to Test Internet of Things System Functionality under Limited Network Connectivity. Internet of Things. 2023, 22 ISSN 2543-1536. DOI 10.1016/j.iot.2023.100706.

PARKER, G., et al. Visualizing Anti-Patterns in Microservices at Runtime: A Systematic Mapping Study. IEEE Access. 2023, 11 4434-4442. ISSN 2169-3536. DOI 10.1109/ACCESS.2023.3236165. Available from: https://ieeexplore.ieee.org/document/10015027

Conference Proceedings

SMITH, S., et al. Benchmarks for End-to-End Microservices Testing. In: 2023 IEEE International Conference on Service-Oriented System Engineering (SOSE). 2023 IEEE International Conference on Service-Oriented System Engineering, Atény, 2023-07-17/2023-07-20. Los Alamitos: IEEE Computer Society, 2023. p. 60-66. ISSN 2642-6587. ISBN 979-8-3503-2239-2. DOI 10.1109/SOSE58276.2023.00013.

KLÍMA, M., et al. Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2023 IEEE International Conference on Software Testing, Verification and Validation, Dublin, 2023-04-16/2023-04-20. Los Alamitos: IEEE Computer Society Press, 2023. p. 126-130. ISSN 2159-4848. ISBN 979-8-3503-3335-0. DOI 10.1109/ICSTW58534.2023.00034.

CHAGUILE, C., M. ALIPIO, and M. BUREŠ. A Classification of Cross-Layer Optimization Approaches in LoRaWAN for Internet of Things. In: 2023 Fourteenth International Conference on Ubiquitous and Future Networks (ICUFN). 2023 Fourteenth International Conference on Ubiquitous and Future Networks, Paris, 2023-07-04/2023-07-07. ???: IEEE Industrial Electronic Society, 2023. p. 259-264. ISSN 2165-8536. ISBN 979-8-3503-3538-5. DOI 10.1109/ICUFN57995.2023.10199434. Available from: https://ieeexplore.ieee.org/abstract/document/10199434

BAYRAM, F., et al. DQSOps: Data Quality Scoring Operations Framework for Data-Driven Applications. In: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering. 27th International Conference on Evaluation and Assessment in Software Engineering, Oulu, 2023-06-13/2023-06-16. New York: Association for Computing Machinery, 2023. p. 32-41. ISBN 979-8-4007-0044-6. DOI 10.1145/3593434.3593445.

13136 / 13145 - Knowledge-based Software Systems

Publications 2023

Conference Proceedings

LEDVINKA, M. Java Binding for JSON-LD. In: Proceedings of the 19th International Conference on Web Information Systems and Technologies. 19th International Conference on Web Information Systems and Technologies WEBIST, Rome, 2023-11-15/2023-11-17. Setúbal: INSTICC Press, 2023. p. 207-214. vol. 1. ISSN 2184-3252. ISBN 978-989-758-672-9. DOI 10.5220/0012168500003584.

The page was created 20.04.2024 05:00:01

Responsible person: RNDr. Patrik Mottl, Ph.D.

Faculty of Electrical Engineering

Czech Technical University in Prague

CTU in Prague

From electrons to clouds.

13000 / 13136 - Publications - 2023

13000 / 13136 - Department of Computer Science

Publications 2023

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

13136 / 13141 - Artificial Intelligence Center

Publications 2023

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

Research Reports

13136 / 13142 - Center for Software Training

Publications 2023

Conference Proceedings

13136 / 13143 - Intelligent Data Analysis

Publications 2023

Papers in WoS Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

13136 / 13144 - System Testing IntelLigent Lab

Publications 2023

Papers in WoS Journals

Conference Proceedings

13136 / 13145 - Knowledge-based Software Systems

Publications 2023

Conference Proceedings