13000 / 13136 - Publications - 2022

13000 / 13136 - Department of Computer Science

Publications 2022

Papers in WoS Journals

BENEŠ, M., et al. A meta-analysis on the anatomical variability of the brachial plexus: Part III – Branching of the infraclavicular part. Annals of Anatomy. 2022, 244 ISSN 0940-9602. DOI 10.1016/j.aanat.2022.151976.

AI, J., O. KUŽELKA, and Y. WANG. Hoeffding and Bernstein Inequalities for U-statistics without Replacement. Statistics and Probability Letters. 2022, 187 ISSN 0167-7152. DOI 10.1016/j.spl.2022.109528.

AHMAD, J. and P. KŘEMEN. Foundational Patterns Benchmark. Applied Ontology. 2022, 17(4), 465-494. ISSN 1570-5838. DOI 10.3233/AO-220274.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Forty years of score-based soccer match outcome prediction: an experimental review. IMA Journal of Management Mathematics. 2022, 33(1), 1-18. ISSN 1471-678X. DOI 10.1093/imaman/dpab029.

ŠTOLBA, M., M. URBANOVSKÁ, and A. KOMENDA. Privacy Leakage of Search-based Multi-agent Planning Algorithms. Autonomous Agents and Multi-Agent Systems. 2022, 36(2), 1-32. ISSN 1387-2532. DOI 10.1007/s10458-022-09568-4.

ŠKVÁRA, V., et al. Comparison of Anomaly Detectors: Context Matters. IEEE Transactions on Neural Networks and Learning Systems. 2022, 33(6), 2494-2507. ISSN 2162-2388. DOI 10.1109/TNNLS.2021.3116269. Available from: https://ieeexplore.ieee.org/document/9569766

LISKOVA, P., et al. Posterior Corneal Vesicles are not Associated with the Genetic Variants That Cause Posterior Polymorphous Corneal Dystrophy. Acta Ophthalmologica. 2022, 100(7), E1426-E1430. ISSN 1755-375X. DOI 10.1111/aos.15114.

KUNC, V., et al. Ambiguity of the Radiographs around the Elbow Joint: Anatomical Variant versus Degenerative Changes. Journal of the Anatomical Society of India. 2022, 71(4), 303-306. ISSN 0003-2778. DOI 10.4103/jasi.jasi_80_21.

ROZSYPÁLEK, Z., et al. Contrastive Learning for Image Registration in Visual Teach and Repeat Navigation. Sensors. 2022, 22(8), ISSN 1424-8220. DOI 10.3390/s22082975. Available from: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9030179/

ROUČEK, T., et al. Self-Supervised Robust Feature Matching Pipeline for Teach and Repeat Navigation. Sensors. 2022, 22(8), ISSN 1424-8220. DOI 10.3390/s22082836. Available from: https://www.mdpi.com/1424-8220/22/8/2836

MANDLÍK, Š., et al. JsonGrinder.jl: Automated Differentiable Neural Architecture for Embedding Arbitrary JSON Data. Journal of Machine Learning Research. 2022, 23 1-5. ISSN 1532-4435.

MERKEROVA, M.D., et al. Noncoding RNAs and Their Response Predictive Value in Azacitidine-treated Patients With Myelodysplastic Syndrome and Acute Myeloid Leukemia With Myelodysplasia-related Changes. Cancer Genomics & Proteomics. 2022, 19(2), 205-228. ISSN 1109-6535. DOI 10.21873/cgp.20315.

BROUGHTON, G., et al. Embedding Weather Simulation in Auto-Labelling Pipelines Improves Vehicle Detection in Adverse Conditions. Sensors. 2022, 22(22), 1-22. ISSN 1424-8220. DOI 10.3390/s22228855. Available from: https://pubmed.ncbi.nlm.nih.gov/36433451/

ZOREK, M., et al. Semi-supervised deep networks for plasma state identification. Plasma Physics and Controlled Fusion. 2022, 64(12), 1-16. ISSN 1361-6587. DOI 10.1088/1361-6587/ac9926. Available from: https://iopscience.iop.org/article/10.1088/1361-6587/ac9926

Papers in Other Journals

MRKOS, J. and R. BASMADJIAN. Dynamic Pricing for Charging of EVs with Monte Carlo Tree Search. Smart Cities. 2022, 5(1), 223-240. ISSN 2624-6511. DOI 10.3390/smartcities5010014. Available from: https://www.mdpi.com/2624-6511/5/1/14

BERGOU, E., et al. A Subsampling Line-Search Method with Second-Order Results. INFORMS JOURNAL ON OPTIMIZATION. 2022, 4(4), 403-425. ISSN 2575-1484. DOI 10.1287/ijoo.2022.0072.

VINTR, T., et al. Toward Benchmarking of Long-Term Spatio-Temporal Maps of Pedestrian Flows for Human-Aware Navigation. Frontiers in Robotics and AI. 2022, 9 ISSN 2296-9144. DOI 10.3389/frobt.2022.890013. Available from: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9289192/

Conference Proceedings

URBANOVSKÁ, M. and A. KOMENDA. Learning Heuristic Estimates for Planning in Grid Domains by Cellular Simultaneous Recurrent Networks. In: ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2. THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, Online Streaming, 2022-03-03/2022-03-05. Porto: SciTePress - Science and Technology Publications, 2022. p. 203-213. ISSN 2184-433X. ISBN 978-989-758-547-0. DOI 10.5220/0010813900003116. Available from: https://www.scitepress.org/Link.aspx?doi=10.5220/0010813900003116

JUNG, P. and O. KUŽELKA. Graph Generation with Graphon Generative Adversarial Networks. In: Proceedings of The 31st International Conference on Inductive Logic Programming. 31st International Conference on Inductive Logic Programming, Cumberland Lodge, 2022-09-28/2022-09-30. Proceedings of Machine Learning Research, 2022.

SAHAN, M., V. ŠMÍDL, and R. MAŘÍK. Batch Active Learning for Text Classification and Sentiment Analysis. In: CCRIS '22: Proceedings of the 2022 3rd International Conference on Control, Robotics and Intelligent System. Virtual Event, 2022-08-26/2022-08-28. New York: Association for Computing Machinery, 2022. p. 111-116. ISBN 978-1-4503-9685-1. DOI 10.1145/3562007.3562028.

BARVÍNEK, J., et al. Automatic Conjecturing of P-Recursions Using Lifted Inference. In: Inductive Logic Programming. 30th International Conference on Inductive Logic Programming, Virtual - Online, 2021-10-25/2021-10-27. Springer Science and Business Media Deutschland GmbH, 2022. p. 17-25. ISSN 0302-9743. ISBN 978-3-030-97453-4. DOI 10.1007/978-3-030-97454-1_2.

ROZSYPÁLEK, Z., et al. Semi-supervised Learning for Image Alignment in Teach and Repeat Navigation. In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 37th ACM/SIGAPP Symposium on Applied Computing, Virtual, 2022-04-25/2022-04-29. New York: ACM, 2022. p. 731-738. ISBN 978-1-4503-8713-2. DOI 10.1145/3477314.3507045.

KUNC, V. and J. KLÉMA. On Functional Annotation with Gene Co-expression Networks. In: Proceedings of The 2022 IEEE International Conference on Bioinformatics and Biomedicine. 2022 IEEE International Conference on Bioinformatics and Biomedicine, Las Vegas, 2022-12-06/2022-12-08. IEEE Xplore, 2022. p. 3055-3062. ISBN 978-1-6654-6819-0. DOI 10.1109/BIBM55620.2022.9995542. Available from: https://ieeexplore.ieee.org/document/9995542

URBANOVSKÁ, M. and A. KOMENDA. Grid Representation in Neural Networks for Automated Planning. In: ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3. THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, Online Streaming, 2022-03-03/2022-03-05. Porto: SciTePress - Science and Technology Publications, 2022. p. 871-880. ISSN 2184-433X. ISBN 978-989-758-547-0. DOI 10.5220/0010918500003116. Available from: https://www.scitepress.org/Link.aspx?doi=10.5220/0010918500003116

BROUGHTON, G., et al. Bootstrapped Learning for Car Detection in Planar Lidars. In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 37th ACM/SIGAPP Symposium on Applied Computing, Virtual, 2022-04-25/2022-04-29. New York: ACM, 2022. p. 758-765. ISBN 978-1-4503-8713-2. DOI 10.1145/3477314.3507312.

ULRICH, J., et al. Towards Fast Fiducial Marker with full 6 DOF Pose Estimation. In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 37th ACM/SIGAPP Symposium on Applied Computing, Virtual, 2022-04-25/2022-04-29. New York: ACM, 2022. p. 723-730. ISBN 978-1-4503-8713-2. DOI 10.1145/3477314.3507043.

FIEDLER, D., et al. Map Matching Algorithm for Large-scale Datasets. In: ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3. THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, Online Streaming, 2022-03-03/2022-03-05. Porto: SciTePress - Science and Technology Publications, 2022. p. 500-508. ISSN 2184-433X. ISBN 978-989-758-547-0. DOI 10.5220/0010849100003116. Available from: https://www.scitepress.org/Papers/2022/108491/108491.pdf

ŽAMPACHŮ, K., et al. A Vision-based System for Social Insect Tracking. In: 2022 2nd International Conference on Robotics, Automation and Artificial Intelligence. 2nd International Conference on Robotics, Automation and Artificial Intelligence, Singapore, 2022-12-09/2022-12-11. IEEE Xplore, 2022. p. 277-283. ISBN 978-1-6654-5944-0. DOI 10.1109/RAAI56146.2022.10092977. Available from: https://ieeexplore.ieee.org/document/10092977

KURBANOV, T., M. CUCHÝ, and J. VOKŘÍNEK. Heuristics for Fast One-to-Many Multicriteria Shortest Path Search. In: ITSC 2022: IEEE Conference on Intelligent Transportation Systems. 25th IEEE Conference on Intelligent Transportation Systems, Macau, 2022-09-18/2022-10-12. Institute of Electrical and Electronics Engineers, Inc., 2022. p. 594-599. ISBN 9781665468800. DOI 10.1109/ITSC55140.2022.9922586.

EDELKAMP, S., X. DANG, and L. CHRPA. Deep RRT. In: Proceedings of the Fifteenth International Symposium on Combinatorial Search. SOCS 2022 : Symposium on Combinatorial Search, Vídeň, 2022-07-21/2022-07-23. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2022. p. 333-335. vol. 15. ISBN 978-1-57735-873-2. DOI 10.1609/socs.v15i1.21803. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/21803

SVATOŠ, M., et al. Learning to Generate Molecules From Small Datasets Using Neural Markov Logic Networks. In: International Joint Conference on Learning & Reasoning. Cumberland Lodge, The Great Park Windsor, 2022-09-28/2022-09-30. Cham: Springer, 2022.

HALUŠKA, R., J. BRABEC, and T. KOMÁREK. Benchmark of Data Preprocessing Methods for Imbalanced Classification. In: Proceedings of 2022 IEEE International Conference on Big Data. 2022 IEEE International Conference on Big Data, Osaka, 2022-12-17/2022-12-20. IEEE Xplore, 2022. p. 2970-2979. ISBN 978-1-6654-8045-1. DOI 10.1109/BigData55660.2022.10021118. Available from: https://ieeexplore.ieee.org/abstract/document/10021118

ČERMÁK, V. and L. ADAM. Adversarial Examples by Perturbing High-level Features in Intermediate Decoder Layers. In: ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2. THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, Online Streaming, 2022-03-03/2022-03-05. Porto: SciTePress - Science and Technology Publications, 2022. p. 496-507. ISSN 2184-433X. ISBN 978-989-758-547-0. DOI 10.5220/0010892800003116.

CHRPA, L., et al. Effective Planning in Resource-Competition Problems by Task Decomposition. In: Proceedings of the Fifteenth International Symposium on Combinatorial Search. SOCS 2022 : Symposium on Combinatorial Search, Vídeň, 2022-07-21/2022-07-23. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2022. p. 47-55. vol. 15. ISBN 978-1-57735-873-2. DOI 10.1609/socs.v15i1.21751. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/21751

13136 / 13141 - Artificial Intelligence Center

Publications 2022

Papers in WoS Journals

ABBADINI, M., et al. A finite axiomatization of positive MV-algebras. Algebra universalis. 2022, 83(3), ISSN 1420-8911. DOI 10.1007/s00012-022-00776-3.

CHRPA, L., et al. Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. IEEE Transactions on Knowledge and Data Engineering. 2022, 34(9), 4089-4101. ISSN 1041-4347. DOI 10.1109/TKDE.2020.3037058.

ADAM, L. and V. MÁCHA. Projections onto the canonical simplex with additional linear inequalities. Optimization Methods and Software. 2022, 37(2), 451-479. ISSN 1055-6788. DOI 10.1080/10556788.2020.1797023.

PAPEŽ, M. and A. QUINN. Transferring model structure in Bayesian transfer learning for Gaussian process regression. Knowledge-Based Systems. 2022, 251 ISSN 1872-7409. DOI 10.1016/j.knosys.2022.108875. Available from: https://www.sciencedirect.com/science/article/pii/S095070512200418X

PINSKY, D., et al. T*ε—-Bounded-Suboptimal Efficient Motion Planning for Minimum-Time Planar Curvature-Constrained Systems. IEEE Robotics and Automation Letters. 2022, 7(2), 4102-4109. ISSN 2377-3766. DOI 10.1109/LRA.2022.3149307.

MAREČEK, J., et al. Low-Rank Methods in Event Detection With Subsampled Point-to-Subspace Proximity Tests. IEEE Access. 2022, 10(29.3.2022), 32525-32536. ISSN 2169-3536. DOI 10.1109/ACCESS.2022.3152206. Available from: https://ieeexplore.ieee.org/document/9715127

ADAM, L., et al. General framework for binary classification on top samples. Optimization Methods and Software. 2022, 37(5), 1636-1667. ISSN 1029-4937. DOI 10.1080/10556788.2021.1965601.

DECKEROVÁ, J., J. FAIGL, and V. KRÁTKÝ. Traveling Salesman Problem with neighborhoods on a sphere in reflectance transformation imaging scenarios. Expert Systems with Applications. 2022, 198 ISSN 0957-4174. DOI 10.1016/j.eswa.2022.116814.

KOVAŘÍK, V., et al. Rethinking formal models of partially observable multiagent decision making. Artificial Intelligence. 2022, 303(103645), 1-21. ISSN 1872-7921. DOI 10.1016/j.artint.2021.103645.

KORPAS, G. Mock Modularity and Surface Defects in Topological N=2 Super Yang-Mills Theory. Physical Review D. 2022, 105(2), ISSN 2470-0010. DOI 10.1103/PhysRevD.105.026025.

GHOSH, R., et al. Predictability and Fairness in Social Sensing. IEEE Internet of Things Journal. 2022, 9(1), 37-54. ISSN 2327-4662. DOI 10.1109/JIOT.2021.3085368. Available from: https://ieeexplore.ieee.org/document/9445023

DRCHAL, J., J. FAIGL, and P. VÁŇA. WiSM: Windowing Surrogate Model for Evaluation of Curvature-Constrained Tours With Dubins Vehicle. IEEE Transactions on Cybernetics. 2022, 52(2), 1302-1311. ISSN 2168-2267. DOI 10.1109/TCYB.2020.3000465.

CHRPA, L., M. PILAT, and J. GEMROT. Planning and Acting in Dynamic Environments: Identifying and Avoiding Dangerous Situations. Journal of Experimental and Theoretical Artificial Intelligence. 2022, 34(6), 925-948. ISSN 1362-3079. DOI 10.1080/0952813X.2021.1938697. Available from: https://www.tandfonline.com/doi/abs/10.1080/0952813X.2021.1938697

BERNARD, S., et al. Backpack: A Backpropagable Adversarial Embedding Schem. IEEE Transactions on Information Forensics and Security. 2022, 17 3539-3554. ISSN 1556-6013. DOI 10.1109/TIFS.2022.3204218.

GALATOS, N. and R. HORČÍK. Densification via polynomials, languages, and frames. Journal of Pure and Applied Algebra. 2022, 226(3), ISSN 0022-4049. DOI 10.1016/j.jpaa.2021.106852.

HANSSON ASPMAN, B., et al. The U-plane Integral, Mock Modularity and Enumerative Geometry. Letters in Mathematical Physics. 2022, 112(2), ISSN 0377-9017. DOI 10.1007/s11005-022-01520-7.

MANDLÍK, Š., et al. JsonGrinder.jl: Automated Differentiable Neural Architecture for Embedding Arbitrary JSON Data. Journal of Machine Learning Research. 2022, 23 1-5. ISSN 1532-4435.

HU, J., et al. Occlusion-Based Coordination Protocol Design for Autonomous Robotic Shepherding Tasks. IEEE Transactions on Cognitive and Developmental Systems. 2022, 14(1), 126-135. ISSN 2379-8920. DOI 10.1109/TCDS.2020.3018549.

SZADKOWSKI, R., J. DRCHAL, and J. FAIGL. Continually trained life-long classification. Neural Computing and Applications. 2022, 34(1), 135-152. ISSN 0941-0643. DOI 10.1007/s00521-021-06154-9.

CHRPA, L. and M. VALLATI. Planning with Critical Section Macros: Theory and Practice. Journal of Artificial Intelligence Research. 2022, 74 691-732. ISSN 1076-9757. DOI 10.1613/JAIR.1.13269.

Papers in Other Journals

ŠTIBINGER, P., et al. Towards new frontiers in mobile manipulation: Team CTU-UPenn-NYU at MBZIRC 2020. Field Robotics. 2022, 2 75-106. ISSN 2771-3989. DOI 10.55417/fr.2022004. Available from: https://fieldrobotics.net/Field_Robotics/Volume_2_files/Vol2_04.pdf

STEFANEC, M., et al. A Minimally Invasive Approach Towards "Ecosystem Hacking" With Honeybees. Frontiers in Robotics and AI. 2022, 9 1-17. ISSN 2296-9144. DOI 10.3389/frobt.2022.791921. Available from: https://www.frontiersin.org/articles/10.3389/frobt.2022.791921/full

PRÁGR, M., J. BAYER, and J. FAIGL. Autonomous Robotic Exploration with Simultaneous Environment and Traversability Models Learning. Frontiers in Robotics and AI. 2022, 9 1-24. ISSN 2296-9144. DOI 10.3389/frobt.2022.910113. Available from: https://www.frontiersin.org/articles/10.3389/frobt.2022.910113/full

VALEROS, V. and S. GARCÍA. Hornet 40: Network Dataset of Geographically Placed Honeypots. Data in Brief. 2022, 40 1-10. ISSN 2352-3409. DOI 10.1016/j.dib.2022.107795.

Books, Book Chapters and Lecture Notes

FAIGL, J. and J. DRCHAL, eds. Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization. Prague, 2022-07-06/2022-07-08. Springer, Cham, 2022. ISSN 2367-3370. ISBN 978-3-031-15443-0.

Conference Proceedings

GARCÍA, S., et al. Large Scale Analysis of DoH Deployment on the Internet. In: Computer Security - ESORICS 2022. 27th European Symposium on Research in Computer Security, Copenhagen, 2022-09-26/2022-09-30. Cham: Springer International Publishing, 2022. p. 145-165. ISSN 0302-9743. ISBN 978-3-031-17142-0. DOI 10.1007/978-3-031-17143-7_8.

MED, J. and L. CHRPA. On Speeding Up Methods for Identifying Redundant Actions in Plans. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022. ICAPS 2022: the 32nd International Conference on Automated Planning and Scheduling, Singapur, 2022-06-19/2022-06-24. Menlo Park: AAAI Press, 2022. p. 252-260. vol. 32. ISSN 2334-0835. ISBN 978-1-57735-874-9. DOI 10.1609/icaps.v32i1.19808.

SLÁMA, J., P. VÁŇA, and J. FAIGL. Generating Safe Corridors Roadmap for Urban Air Mobility. In: Intelligent Robots and Systems (IROS), 2022 IEEE/RSJ International Conference on. Kyoto, 2022-10-23/2022-10-27. Piscataway: IEEE, 2022. p. 11866-11871. ISSN 2153-0858. ISBN 978-1-6654-7927-1. DOI 10.1109/IROS47612.2022.9981326. Available from: https://ieeexplore.ieee.org/document/9981326

FEBER, J., R. SZADKOWSKI, and J. FAIGL. Gait Adaptation After Leg Amputation of Hexapod Walking Robot Without Sensory Feedback. In: Artificial Neural Networks and Machine Learning – ICANN 2022. 31st International Conference on Artificial Neural Networks (ICANN), Bristol, 2022-09-06/2022-09-09. Springer, Cham, 2022. p. 656-667. LNCS. vol. 13531. ISSN 0302-9743. ISBN 978-3-031-15933-6. DOI 10.1007/978-3-031-15934-3_54.

HORČÍK, R., et al. Optimal Mixed Strategies for Cost-Adversarial Planning Games. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022. ICAPS 2022: the 32nd International Conference on Automated Planning and Scheduling, Singapur, 2022-06-19/2022-06-24. Menlo Park: AAAI Press, 2022. p. 160-168. vol. 32. ISSN 2334-0835. ISBN 978-1-57735-874-9. DOI 10.1609/icaps.v32i1.19797.

SLÁMA, J., P. VÁŇA, and J. FAIGL. GNG-based Clustering of Risk-aware Trajectories into Safe Corridors. In: FAIGL, J. and J. DRCHAL, eds. Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization. 14th International Workshop on Self-Organizing Maps and Learning Vector Quantization, Clustering and Data Visualization, Prague, 2022-07-06/2022-07-08. Springer, Cham, 2022. p. 87-97. ISSN 2367-3370. ISBN 978-3-031-15443-0. DOI 10.1007/978-3-031-15444-7_9.

KUBÍK, J., R. SZADKOWSKI, and J. FAIGL. Learning-based Detection of Leg-Surface Contact using Position Feedback Only. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Stuttgart, 2022-09-06/2022-09-09. Vienna: IEEE Industrial Electronic Society, 2022. ISSN 1946-0759. ISBN 978-1-6654-9996-5. DOI 10.1109/ETFA52439.2022.9921720. Available from: https://ieeexplore.ieee.org/document/9921720

FABER, W., M. MORAK, and L. CHRPA. Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 24th International Conference on Practical Aspects of Declarative Languages, Philadelphia, 2022-01-16/2022-02-28. Springer Science and Business Media Deutschland GmbH, 2022. p. 42-56. ISSN 0302-9743. ISBN 978-3-030-94478-0. DOI 10.1007/978-3-030-94479-7_4.

ZELINKA, J., et al. Traversability Transfer Learning Between Robots with Different Cost Assessment Policies. In: Modelling and Simulation for Autonomus Systems. 8th International Conference on Modelling and Simulation for Autonomous Systems (MESAS), Virtual, 2022-10-20/2022-10-21. Berlin: Springer-Verlag, 2022. p. 333-344. ISSN 0302-9743. ISBN 978-3-030-98259-1. DOI 10.1007/978-3-030-98260-7_21.

HORČÍK, R., D. FIŠER, and A. TORRALBA. Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 36th AAAI Conference on Artificial Intelligence (AAAI-22), - virtual, 2022-02-22/2022-03-01. Menlo Park: AAAI Press, 2022. p. 9767-9775. ISSN 2159-5399. ISBN 978-1-57735-876-3. DOI 10.1609/aaai.v36i9.21212.

NEKOVÁŘ, F., J. FAIGL, and M. SASKA. Vehicle Fault-Tolerant Robust Power Transmission Line Inspection Planning. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Stuttgart, 2022-09-06/2022-09-09. Vienna: IEEE Industrial Electronic Society, 2022. ISSN 1946-0759. ISBN 978-1-6654-9996-5. DOI 10.1109/ETFA52439.2022.9921692. Available from: https://ieeexplore.ieee.org/document/9921692

PAPEŽ, M., T. PEVNÝ, and V. ŠMÍDL. Reducing the cost of fitting mixture models via stochastic sampling. In: Proceedings of the 5th Workshop on Tractable Probabilistic Modeling. 5th Workshop on Tractable Probabilistic Modeling, UAI 2022, Eindhoven, 2022-08-05. Eindhoven: Eindhoven University of Technology, 2022. Available from: https://openreview.net/forum?id=WPWcn80R36y

PRÁGR, M., et al. Terrain Traversal Cost Learning with Knowledge Transfer Between Multi-legged Walking Robot Gaits. In: 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC). The 22nd IEEE International Conference on Autonomous Robot Systems and Competitions, Santa Maria da Feira, 2022-04-29/2022-04-30. New York: Institute of Electrical and Electronics Engineers, 2022. p. 148-153. ISSN 2573-9360. ISBN 978-1-6654-8217-2. DOI 10.1109/ICARSC55462.2022.9784790.

ŠEPÁK, D., L. ADAM, and T. PEVNÝ. Formalizing Cover-source Mismatch as a Robust Optimization. In: Proceedings of European Signal Processing Conference. 30th European Signal Processing Conference, Belgrade, 2022-08-29/2022-09-02. Belgrade: EUSIPCO, 2022. p. 1042-1046. ISBN 978-1-6654-6798-8.

ZELINKA, J., et al. Deep Transfer Learning of Traversability Assessment for Heterogeneous Robots. In: Proceedings of the 22nd Conference Information Technologies – Applications and Theory (ITAT 2022). ITAT (Information Technologies – Applications and Theory, Zuberec, 2022-09-23/2023-09-27. Aachen: CEUR Workshop Proceedings, 2022. p. 12-20. vol. 3226. ISSN 1613-0073.

ABECIDAN, R., et al. Using Set Covering to Generate Databases for Holistic Steganalysis. In: IEEE International Workshop on Information Forensics and Security. Online, 2022-12-12/2022-12-16. Institute of Electrical and Electronics Engineers, Inc., 2022. ISSN 2157-4766. ISBN 979-8-3503-0967-6. DOI 10.1109/WIFS55849.2022.9975430.

ALFORD, R., et al. Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries. In: Proceedings of the International Florida Artificial Intelligence Research Society Conference. 35th International Florida Artificial Intelligence Research Society Conference, Florida, 2022-05-15/2022-05-18. Florida: LibraryPress@UF, 2022. ISSN 2334-0754. DOI 10.32473/flairs.v35i.130675.

VÁŇA, P. and J. FAIGL. Bounding optimal headings in the Dubins Touring Problem. In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 37th ACM/SIGAPP Symposium on Applied Computing, Virtual, 2022-04-25/2022-04-29. New York: ACM, 2022. p. 770-773. ISBN 978-1-4503-8713-2. DOI 10.1145/3477314.3507350.

CHRPA, L., et al. Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 36th AAAI Conference on Artificial Intelligence (AAAI-22), - virtual, 2022-02-22/2022-03-01. Menlo Park: AAAI Press, 2022. p. 9707-9715. ISSN 2159-5399. ISBN 978-1-57735-876-3. DOI 10.1609/aaai.v36i9.21205.

Research Reports

ŠMUCLEROVÁ, M., et al. Zpráva o rizicích porušení lidských práv AI technologiemi a možnosti nápravy. [Research Report] Ambis, a.s., 2022. Report no. TL05000484-V4.

13136 / 13142 - Center for Software Training

Publications 2022

Papers in Other Journals

ZADEREYKO, O., et al. RESEARCH OF POTENTIAL DATA LEAKS IN INFORMATION AND COMMUNICATION SYSTEMS ДОСЛІДЖЕННЯ ПОТЕНЦІЙНИХ ВИТОКІВ ДАНИХ В ІНФОРМАЦІЙНИХ І КОМУНІКАЦІЙНИХ СИСТЕМАХ. Radioelectronic and Computer Systems. 2022, 2022(4), 64-84. ISSN 1814-4225. DOI 10.32620/reks.2022.4.05.

Conference Proceedings

MANNOVÁ, B. TEACHING CODING IN SCHOOLS. In: CHOVA, L.G., A.L. MARTÍNEZ, and J. LEES, eds. EDULEARN22 Proceedings. 14th International Conference on Education and New Learning Technologies, Palma de Mallorca, 2022-07-04/2022-07-06. Valencia: IATED Academy, 2022. p. 5961-5967. ISSN 2340-1117. ISBN 978-84-09-42484-9. DOI 10.21125/edulearn.2022.1399. Available from: https://library.iated.org/publications/EDULEARN22

13136 / 13143 - Intelligent Data Analysis

Publications 2022

Papers in WoS Journals

BERGOU, E.H., et al. A Stochastic Levenberg--Marquardt Method Using Random Models with Complexity Results. SIAM/ASA Journal on Uncertainty Quantification. 2022, 10(1), 507-536. ISSN 2166-2525. DOI 10.1137/20M1366253. Available from: https://epubs.siam.org/doi/epdf/10.1137/20M1366253

KAISRLIKOVA, M., et al. RUNX1 Mutations Contribute to the Progression of MDS Due to Disruption of Antitumor Cellular Defense: A Study on Patients with Lower-risk MDS. LEUKEMIA. 2022, 1898-1906. ISSN 0887-6924. DOI 10.1038/s41375-022-01584-3.

KUNGURTSEV, V. Distributed Stochastic Nonsmooth Nonconvex Optimization. Operations Research Letters. 2022, 50(6), 627-631. ISSN 0167-6377. DOI 10.1016/j.orl.2022.09.001.

IATSIUK, V., et al. Semantic Clustering Analysis of E3-ubiquitin Ligases in Gastrointestinal Tract Defines Genes Ontology Clusters with Tissue Expression Patterns. BMC GASTROENTEROLOGY. 2022, 22(1), ISSN 1471-230X. DOI 10.1186/s12876-022-02265-2. Available from: https://bmcgastroenterol.biomedcentral.com/articles/10.1186/s12876-022-02265-2

SIMA, M., et al. The Impact of Extractable Organic Matter from Gasoline and Alternative Fuel Emissions on Bronchial Cell Models. Toxicology in Vitro. 2022, 80 ISSN 0887-2333. DOI 10.1016/j.tiv.2022.105316.

KUMAR, N., O. KUŽELKA, and L.D. RAEDT. Learning Distributional Programs for Relational Autocompletion. Theory and Practice of Logic Programming. 2022, 22(1), 81-114. ISSN 1471-0684. DOI 10.1017/S1471068421000144.

MATIAS, J., V. KUNGURTSEV, and M. EGAN. Simultaneous Online Model Identification and Production Optimization Using Modifier Adaptation. Journal of Process Control. 2022, 110 110-120. ISSN 0959-1524. DOI 10.1016/j.jprocont.2021.12.009.

FACHINEI, F., et al. Diminishing Stepsize Methods for Nonconvex Composite Problems Via Ghost Penalties: From the General to the Convex Regular Constrained Case. Optimization Methods and Software. 2022, 37(4), 1242-1268. ISSN 1055-6788. DOI 10.1080/10556788.2020.1854253.

RYŠAVÝ, P., J. KLÉMA, and M. MERKEROVÁ. circGPA: circRNA functional annotation based on probability-generating functions. BMC Bioinformatics. 2022, 2022(23), 392-414. ISSN 1471-2105. DOI 10.1186/s12859-022-04957-8. Available from: https://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-022-04957-8

Papers in Other Journals

AMBROZ, A., et al. Oxidative Stress and Antioxidant Response in Populations of the Czech Republic Exposed to Various Levels of Environmental Pollutants. International Journal of Environmental Research and Public Health. 2022, 19(6), ISSN 1660-4601. DOI 10.3390/ijerph19063609. Available from: https://www.mdpi.com/1660-4601/19/6/3609/htm

BERGOU, E., et al. A Subsampling Line-Search Method with Second-Order Results. INFORMS JOURNAL ON OPTIMIZATION. 2022, 4(4), 403-425. ISSN 2575-1484. DOI 10.1287/ijoo.2022.0072.

SCHEVCHENKO, A., V. KUNGURTSEV, and M. MONDELLI. Mean-field Analysis of Piecewise Linear Solutions for Wide ReLU Networks. Journal of Machine Learning Research. 2022, 23(130), 1-55. ISSN 1532-4435. DOI 10.48550/arXiv.2111.02278.

Books, Book Chapters and Lecture Notes

ŠÍR, G. Deep Learning with Relational Logic Representations. Amsterdam: IOS Press, 2022. ISSN 1879-8314. ISBN 978-1-64368-343-0.

Conference Proceedings

ŠÍR, G., F. ŽELEZNÝ, and O. KUŽELKA. Learning with Molecules beyond Graph Neural Networks. In: GRAPHS AND MORE COMPLEX STRUCTURES FOR LEARNING AND REASONING workshop @ AAAI. Massachusetts: OpenReview.net / University of Massachusetts, 2022. Available from: https://sites.google.com/view/gclr2022/accepted-papers

KRISHNAMOORTHY, D. and V. KUNGURTSEV. A Sensitivity Assisted Alternating Directions Method of Multipliers for Distributed Optimization. In: Proceedings of 61st IEEE Conference on Decision and Control. 61st IEEE Conference on Decision and Control, Cancún, 2022-12-06/2022-12-09. Piscataway: IEEE, 2022. p. 295-300. ISSN 2576-2370. ISBN 978-1-6654-6761-2. DOI 10.1109/CDC51059.2022.9993352. Available from: https://ieeexplore.ieee.org/abstract/document/9993352

WANG, Y., et al. Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 36th AAAI Conference on Artificial Intelligence (AAAI-22), - virtual, 2022-02-22/2022-03-01. Menlo Park: AAAI Press, 2022. p. 10070-10079. ISSN 2159-5399. ISBN 978-1-57735-876-3. DOI 10.1609/aaai.v36i9.21246.

13136 / 13144 - System Testing IntelLigent Lab

Publications 2022

Papers in WoS Journals

SARHAN, Q., et al. Software Module Clustering: An In-Depth Literature Analysis. IEEE Transactions on Software Engineering. 2022, 48(6), 1905-1928. ISSN 0098-5589. DOI 10.1109/TSE.2020.3042553.

GORTNEY, M.E., et al. Visualizing Microservice Architecture in the Dynamic Perspective: A Systematic Mapping Study. IEEE Access. 2022, 10 119999-120012. ISSN 2169-3536. DOI 10.1109/ACCESS.2022.3221130. Available from: https://ieeexplore.ieee.org/document/9944666

BUREŠ, M., et al. A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-acute COVID-19 Patients. IEEE Internet of Things Journal. 2022, 9(23), 23795-23809. ISSN 2327-4662. DOI 10.1109/JIOT.2022.3188914. Available from: https://ieeexplore.ieee.org/document/9819904

BUREŠ, M., et al. An Innovative E-Learning Support for Modern History Distance Learning and the Experience during the COVID-19 Lockdown. SUSTAINABILITY. 2022, 14(6), ISSN 2071-1050. DOI 10.3390/su14063631. Available from: https://www.mdpi.com/2071-1050/14/6/3631

RECHTBERGER, V., et al. Novel Strategy Generating Variable-Length State Machine Test Paths. International Journal of Software Engineering and Knowledge Engineering. 2022, 32(08), 1247-1278. ISSN 0218-1940. DOI 10.1142/S0218194022500474.

CHATTERJEE, A. and B. AL-BEYWANEE. IoT anomaly detection methods and applications: A survey. Internet of Things. 2022, 19 1-17. ISSN 2542-6605. DOI 10.1016/j.iot.2022.100568. Available from: https://www.sciencedirect.com/science/article/pii/S2542660522000622

KLÍMA, M., et al. Selected Code-Quality Characteristics and Metrics for Internet of Things Systems. IEEE Access. 2022, 10(2022), 46144-46161. ISSN 2169-3536. DOI 10.1109/ACCESS.2022.3170475. Available from: https://ieeexplore.ieee.org/document/9762941

Papers in Other Journals

BEN FARAH, M.A., et al. Cyber Security in the Maritime Industry: A Systematic Survey of Recent Advances and Future Trends. Information. 2022, 13(1), ISSN 2078-2489. DOI 10.3390/info13010022. Available from: https://www.mdpi.com/2078-2489/13/1/22

UKWANDU, E., et al. Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. Information. 2022, 13(3), ISSN 2078-2489. DOI 10.3390/info13030146. Available from: https://www.mdpi.com/2078-2489/13/3/146

Conference Proceedings

FRAJTÁK, K. and T. ČERNÝ. On Persistent Implications of E2E Testing. In: Enterprise Information Systems. 23rd International Conference on Enterprise Information Systems, virtual conference, 2021-04-26/2021-04-28. Basel: Springer Nature Switzerland AG, 2022. p. 326-338. ISSN 1865-1348. ISBN 978-3-031-08964-0. DOI 10.1007/978-3-031-08965-7_16.

BUREŠ, M., et al. Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure. In: AI IoT Congress (AIIoT), 2022 IEEE World. 2022 IEEE World AI IoT Congress (AIIoT), Seattle, 2022-06-06/2022-06-09. IEEE Xplore, 2022. p. 730-735. ISBN 978-1-6654-8453-4. DOI 10.1109/AIIOT54504.2022.9817259.

RECHTBERGER, V., M. BUREŠ, and B. AL-BEYWANEE. Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. In: Proceedings of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Workshop. 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, Virtual Event, 2022-04-04/2022-04-13. Cannes: IEEE Computer Society, 2022. p. 207-214. ISSN 2159-4848. ISBN 978-1-6654-9628-5. DOI 10.1109/ICSTW55395.2022.00044.

DAS, D., et al. Analyzing Technical Debt by Mapping Production Logs with Source Code. In: The Recent Advances in Transdisciplinary Data Science. First Southwest Data Science Conference 2022, Waco, 2022-03-25/2022-03-26. Basel: Springer Nature Switzerland AG, 2022. p. 200-212. ISSN 1865-0929. ISBN 978-3-031-23386-9. DOI 10.1007/978-3-031-23387-6_15.

RECHTBERGER, V., et al. Prioritized Variable-length Test Cases Generation for Finite State Machines. In: Proceedings of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Workshop. 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, Virtual Event, 2022-04-04/2022-04-13. Cannes: IEEE Computer Society, 2022. p. 11-20. ISSN 2159-4848. ISBN 978-1-6654-9628-5. DOI 10.1109/ICSTW55395.2022.00017.

BURGESS, K., et al. Visualizing architectural evolution via provenance tracking: a systematic review. In: RACS '22: Proceedings of the Conference on Research in Adaptive and Convergent Systems. RACS '22: International Conference on Research in Adaptive and Convergent Systems, virtual event, 2022-10-03/2022-10-06. New York: ACM, 2022. p. 83-91. ISBN 978-1-4503-9398-0. DOI 10.1145/3538641.3561493. Available from: https://dl.acm.org/doi/abs/10.1145/3538641.3561493

13136 / 13145 - Knowledge-based Software Systems

Publications 2022

Papers in WoS Journals

AHMAD, J. and P. KŘEMEN. Foundational Patterns Benchmark. Applied Ontology. 2022, 17(4), 465-494. ISSN 1570-5838. DOI 10.3233/AO-220274.

Research Reports

LALIŠ, A., et al. Souhrnná zpráva o aplikaci a možnostech využití ontologického inženýrství ve znalostních systémech letecké kvality a spolehlivosti. [Research Report] Praha: CTU FTS. Department of Air Transport, 2022.

The page was created 21.11.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 - 2022

13000 / 13136 - Department of Computer Science

Publications 2022

Papers in WoS Journals

Papers in Other Journals

Conference Proceedings

13136 / 13141 - Artificial Intelligence Center

Publications 2022

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 2022

Papers in Other Journals

Conference Proceedings

13136 / 13143 - Intelligent Data Analysis

Publications 2022

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

13136 / 13144 - System Testing IntelLigent Lab

Publications 2022

Papers in WoS Journals

Papers in Other Journals

Conference Proceedings

13136 / 13145 - Knowledge-based Software Systems

Publications 2022

Papers in WoS Journals

Research Reports