13000 / 13136 - Publications - 2018

13000 / 13136 - Department of Computer Science and Engineering

Publications 2018

Books, Book chapters and Lecture notes, Dissertations, Research reports, Unpublished lectures, Proceedings, Papers, Patents

Papers in WoS Journals

FIŠER, D. and A. KOMENDA. Fact-Alternating Mutex Groups for Classical Planning. Journal of Artificial Intelligence Research. 2018, 61 475-521. ISSN 1076-9757. DOI 10.1613/jair.5321.

STIBOREK, J., T. PEVNÝ, and M. REHÁK. Probabilistic analysis of dynamic malware traces. Computers & Security. 2018, 74 221-239. ISSN 1872-6208. DOI 10.1016/j.cose.2018.01.012. Available from: https://www.sciencedirect.com/science/article/pii/S0167404818300336

ŠOUREK, G., et al. Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures. Journal of Artificial Intelligence Research. 2018, 62 69-100. ISSN 1076-9757.

TORRENO, A., et al. Cooperative Multi-Agent Planning: A Survey. ACM Computing Surveys. 2018, 50(6), ISSN 0360-0300. DOI 10.1145/3128584.

BUREŠ, M., K. FRAJTÁK, and B. AL-BEYWANEE. Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. IEEE Transactions on Reliability. 2018, 67(2), 557-580. ISSN 0018-9529. DOI 10.1109/TR.2018.2799957.

ČERMÁK, J., et al. Approximating Maxmin Strategies in Imperfect Recall Games Using A-loss Recall Property. International Journal of Approximate Reasoning. 2018, 93 290-326. ISSN 0888-613X. DOI 10.1016/j.ijar.2017.11.010.

BUREŠ, M., M. FILIPSKÝ, and I. JELÍNEK. Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts. International Journal of Software Engineering and Knowledge Engineering. 2018, 28(1), 3-36. ISSN 0218-1940. DOI 10.1142/S0218194018500018.

KOHOUT, J., et al. Learning Communication Patterns for Malware Discovery in HTTPs Data. Expert Systems with Applications. 2018, 101 129-142. ISSN 0957-4174. DOI 10.1016/j.eswa.2018.02.010.

STIBOREK, J., T. PEVNÝ, and M. REHÁK. Multiple instance learning for malware classification. Expert Systems with Applications. 2018, 2018(93), 346-357. ISSN 0957-4174. DOI 10.1016/j.eswa.2017.10.036.

ŠTOLBA, M., J. TOŽIČKA, and A. KOMENDA. Quantifying privacy leakage in multi-agent planning. ACM Transactions on Internet Technology. 2018, 18(3), ISSN 1533-5399. DOI 10.1145/3133326.

ZAMLI, K., et al. A hybrid Q-learning sine-cosine-based strategy for addressing the combinatorial test suite minimization problem. PLoS ONE. 2018, 13(5), ISSN 1932-6203. DOI 10.1371/journal.pone.0195675. Available from: http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0195675

Papers in Other Journals

VINTR, T., K. EYISOY, and T. KRAJNÍK. A Practical Representation of Time for the Human Behaviour Modelling. Forum Statisticum Slovacum. 2018, 14(2), 61-75. ISSN 1336-7420.

EGAN, M., et al. Towards Data-Driven on-Demand Transport. EAI Endorsed Transaction on Industrial Networks and Intelligent Systems. 2018, 5(14), 1-10. ISSN 2410-0218. DOI 10.4108/eai.27-6-2018.154835.

KOHOUT, J. and T. PEVNÝ. Network traffic fingerprinting based on approximated kernel two-sample test. IEEE Transactions on Information Forensics and Security. 2018, 13(3), 788-801. ISSN 1556-6021. DOI 10.1109/TIFS.2017.2768018. Available from: http://ieeexplore.ieee.org/document/8089373/

GOERTZEL, Z., J. JAKUBŮV, and J. URBAN. ProofWatch Meets ENIGMA: First Experiments. Kalpa Publications in Computing. 2018, 1(9), 15-22. ISSN 2515-1762. DOI 10.29007/z7qx. Available from: https://easychair.org/publications/paper/28xp

Books, Book Chapters and Lecture Notes

TOŽIČKA, J., J. JAKUBŮV, and A. KOMENDA. Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning. In: Transactions on Computational Collective Intelligence XXVIII. Düsseldorf: Springer VDI Verlag, 2018. p. 66-92. ISSN 0302-9743. ISBN 978-3-319-78300-0. DOI 10.1007/978-3-319-78301-7_4.

Conference Proceedings

MALINKA, F., F. ŽELEZNÝ, and J. KLÉMA. Genomic single rule learning with an ontology-based refinement operator. In: SVOZIL, D. and P. ČECH, eds. ENBIK2018 Conference proceedings. ENBIK - Národní bioinformatická konference, Bystřice nad Pernštejnem, 2018-06-11/2018-06-13. Praha: Vysoká škola chemicko-technologická, 2018. p. 69. ISBN 978-80-7592-017-1.

VÁŇA, P., et al. Any-Time Trajectory Planning for Safe Emergency Landing. In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid, 2018-10-01/2018-10-05. New York: IEEE Press, 2018. p. 5691-5696. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8594225. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8594225

FIEDLER, D., et al. The Impact of Ridesharing in Mobility-on-Demand Systems: Simulation Case Study in Prague. In: 2018 21st International Conference on Intelligent Transportation Systems (ITSC). ​The 21st IEEE International Conference on Intelligent Transportation Systems, Maui, 2018-11-04/2018-11-07. IEEE Intelligent Transportation Systems Society, 2018. p. 1173-1178. ISSN 2153-0017. ISBN 978-1-7281-0323-5. DOI 10.1109/ITSC.2018.8569451. Available from: https://arxiv.org/pdf/1807.03352.pdf

WANG, Q., C. KALISZYK, and J. URBAN. First Experiments with Neural Translation of Informal to Formal Mathematics. In: Intelligent Computer Mathematics. International Conference on Intelligent Computer Mathematics, Hagenberg, 2018-08-13/2019-02-17. Springer Nature, 2018. p. 255-270. LNCS. vol. 11006. ISSN 0302-9743. ISBN 978-3-319-96811-7. DOI 10.1007/978-3-319-96812-4_22.

PRÁGR, M., P. ČÍŽEK, and J. FAIGL. Cost of Transport Estimation for Legged Robot Based on Terrain Features Inference from Aerial Scan. In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid, 2018-10-01/2018-10-05. New York: IEEE Press, 2018. p. 1745-1750. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8593374. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8593374

TRNKA, M., et al. Aspect oriented context-aware and event-driven data processing for internet of things. In: Proceeding RACS '18 Proceedings of the 2018 Conference on Research in Adaptive and Convergent Systems. Conference on Research in Adaptive and Convergent Systems, Honolulu, 2018-10-09/2018-10-12. New York: ACM, 2018. p. 319-323. ISBN 978-1-4503-5885-9. DOI 10.1145/3264746.3264761.

RIGAKI, M. and S. GARCÍA. Bringing a GAN to a Knife-Fight: Adapting Malware Communication to Avoid Detection. In: Proceedings of 2018 IEEE Symposium on Security and Privacy Workshops. 1st Deep Learning and Security Workshop, San Francisco, 2018-05-24. USA: IEEE Computer Society, 2018. p. 70-75. ISBN 978-1-5386-8276-0. DOI 10.1109/SPW.2018.00019. Available from: https://ieeexplore.ieee.org/document/8424635/?part=1

CUCHÝ, M., M. ŠTOLBA, and M. JAKOB. Benefits of Multi-Destination Travel Planning for Electric Vehicles. In: 2018 21st International Conference on Intelligent Transportation Systems (ITSC). ​The 21st IEEE International Conference on Intelligent Transportation Systems, Maui, 2018-11-04/2018-11-07. IEEE Intelligent Transportation Systems Society, 2018. p. 327-332. ISSN 2153-0017. ISBN 978-1-7281-0323-5. DOI 10.1109/ITSC.2018.8569385. Available from: https://ieeexplore.ieee.org/document/8569385

AHMAD, J., P. KŘEMEN, and M. LEDVINKA. Optimization of Queries Based on Foundational Ontologies. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). OnTheMove Federated Conferences & Workshops, Valletta, 2018-10-22/2018-10-26. Springer International Publishing, 2018. p. 351-367. ISSN 0302-9743. ISBN 978-3-030-02670-7. DOI 10.1007/978-3-030-02671-4_22.

KOPP, M., M. GRILL, and J. KOHOUT. Community-based anomaly detection. In: Proceedings of IEEE International Workshop on Information Forensics and Security 2018. IEEE International Workshop on Information Forensics and Security 2018, Hong Kong, 2018-12-17/2019-03-21. New Jersey: IEEE Signal Processing Society, 2018.

BRABEC, J. and L. MACHLICA. Decision-Forest Voting Scheme for Classification Ofrare Classes in Network Intrusion Detection. In: 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC). 2018 IEEE International Conference on Systems, Man, and Cybernetics, Miyazaki, 2018-10-07/2018-10-10. USA: IEEE Computer Society, 2018. p. 3325-3330. ISSN 2577-1655. ISBN 978-1-5386-6650-0. DOI 10.1109/SMC.2018.00563. Available from: https://ieeexplore.ieee.org/abstract/document/8616560/keywords#keywords

ŠOUREK, G., et al. Stacked Structure Learning for Lifted Relational Neural Networks. In: Inductive Logic Programming 2017. 27th International Conference on Inductive Logic Programming, Orléans, 2017-09-04/2017-09-06. Cham: Springer International Publishing, 2018. p. 140-151. 27. ISSN 0302-9743. ISBN 978-3-319-78089-4. DOI 10.1007/978-3-319-78090-0_10.

MRKOS, J., A. KOMENDA, and M. JAKOB. Revenue Maximization for Electric Vehicle Charging Service Providers Using Sequential Dynamic Pricing. In: ANDRE, E., et al., eds. Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. 17th International Conference on Autonomous Agents and MultiAgent Systems, Stockholm, 2018-07-10/2018-07-15. New York: ACM, 2018. p. 832-840. ISSN 1548-8403. ISBN 978-1-5108-6808-3.

CUCHÝ, M., M. ŠTOLBA, and M. JAKOB. Whole Day Mobility Planning with Electric Vehicles. In: Proceedings of the 10th International Conference on Agents and Artificial Intelligence. 10th International Conference on Agents and Artificial Intelligence, Funchal, Medeira, Portugal, 2018-01-16/2018-01-18. Madeira: SciTePress, 2018. p. 154-164. vol. 2. ISBN 978-989-758-275-2.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Deep Learning from Spatial Relations for Soccer Pass Prediction. In: Proceedings of the 5th Workshop on Machine Learning and Data Mining for Sports Analytics. 5th Workshop on Machine Learning and Data Mining for Sports Analytics, Dublin, 2018-09-10/2018-09-14. Tilburg: CEUR Workshop Proceedings, 2018. p. 162-169. ISSN 1613-0073.

FIALKA SOBKOVÁ, L. and M. ČERTICKÝ. Urban mobility and influence factors: A case study of Prague. In: WIT Transactions on the Built Environment. 23rd International Conference on Urban Transport and the Environment, Rome, 2017-09-05/2017-09-07. Cambridge: WIT Press, 2018. p. 207-217. ISSN 1743-3509. ISBN 978-1-78466-210-3. DOI 10.2495/UT170181. Available from: https://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/176/36363

FIŠER, D. and A. KOMENDA. Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract). In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, 2018-07-13/2018-07-19. International Joint Conferences on Artificial Intelligence Organization, 2018. p. 5603-5607. DOI 10.24963/ijcai.2018/793.

KUNC, V. A Novel Aerial Dataset for Scene Classification Annotated Using OSM for Learning Deep CNNs. In: HUSNÍK, L., ed. Proceedings of the International Student Scientific Conference Poster – 22/2018. Poster 2018, Praha, 2018-05-10. Praha: Czech Technical University in Prague, 2018. p. 1-5. ISBN 978-80-01-06428-3.

SVATOŠ, M., et al. Pruning Hypothesis Spaces Using Learned Domain Theories. In: Inductive Logic Programming 2017. 27th International Conference on Inductive Logic Programming, Orléans, 2017-09-04/2017-09-06. Cham: Springer International Publishing, 2018. p. 152-168. 27. ISSN 0302-9743. ISBN 978-3-319-78089-4. DOI 10.1007/978-3-319-78090-0_11.

MRKOS, J., A. KOMENDA, and M. JAKOB. Dynamic Pricing Strategy for Electromobility using Markov Decision Processes. In: Proceedings of the 10th International Conference on Agents and Artificial Intelligence. 10th International Conference on Agents and Artificial Intelligence, Funchal, Medeira, Portugal, 2018-01-16/2018-01-18. Madeira: SciTePress, 2018. p. 507-514. vol. 2. ISBN 978-989-758-275-2.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Lifted Relational Team Embeddings for Predictive Sports Analytics. In: Proceedings of the 28th International Conference on Inductive Logic Programming. The 28th International Conference on Inductive Logic Programming, Ferrara, 2018-09-02/2018-09-04. CEUR-WS.org, 2018. p. 84-91. ISSN 1613-0073. Available from: http://ceur-ws.org/Vol-2206/paper7.pdf

SZADKOWSKI, R., P. ČÍŽEK, and J. FAIGL. Learning Central Pattern Generator Network with Back-Propagation Algorithm. In: Proceedings of the 18th Conference Information Technologies - Applications and Theory (ITAT 2018). ITAT 2018: Information Technologies – Applications and Theory, Krompachy, 2018-09-21/2018-09-25. Aachen: CEUR Workshop Proceedings, 2018. p. 116-123. vol. 2203. ISSN 1613-0073. ISBN 9781727267198. Available from: http://ceur-ws.org/Vol-2203/116.pdf

VÁŇA, P., J. SLÁMA, and J. FAIGL. The Dubins Traveling Salesman Problem with Neighborhoods in the Three-Dimensional Space. In: Proceedings of the 2018 IEEE International Conference on Robotics and Automation. 2018 IEEE International Conference on Robotics and Automation (ICRA), Brisbane, 2018-05-21/2018-05-25. Piscataway, NJ: IEEE, 2018. p. 374-379. ISSN 1050-4729. ISBN 978-1-5386-3081-5.

KRAJNÍK, T., et al. Navigation Without Localisation: Reliable Teach and Repeat Based on the Convergence Theorem. In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid, 2018-10-01/2018-10-05. New York: IEEE Press, 2018. p. 1657-1664. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8593803. Available from: https://ieeexplore.ieee.org/document/8593803

VÁŇA, P. and J. FAIGL. Optimal Solution of the Generalized Dubins Interval Problem. In: Proceedings of the Robotics and Systems. Robotics: Science and Systems, Pittsburgh, 2018-06-26/2018-06-30. Pensylvánie: Carnegie Melon University, Robotic Institute, 2018. ISBN 978-0-9923747-4-7. DOI 10.15607/RSS.2018.XIV.035.

FIŠER, D. and A. KOMENDA. Concise Finite-Domain Representations for Factored MA-PDDL Planning Tasks. In: Proceedings of the 10th International Conference on Agents and Artificial Intelligence. 10th International Conference on Agents and Artificial Intelligence, Funchal, Medeira, Portugal, 2018-01-16/2018-01-18. Madeira: SciTePress, 2018. p. 306-313. vol. 2. ISBN 978-989-758-275-2. DOI 10.5220/0006539503060313.

SZADKOWSKI, R., J. DRCHAL, and J. FAIGL. Terrain Classification with Crawling Robot Using Long Short-Term Memory Network. In: Artificial Neural Networks and Machine Learning – ICANN 2018. The 27th International Conference on Artificial Neural Networks, Rhodes, 2018-10-04/2018-10-07. Basel: Springer, 2018. p. 771-780. ISSN 0302-9743. ISBN 978-3-030-01423-0. DOI 10.1007/978-3-030-01424-7_75.

HORÁK, K., B. BOŠANSKÝ, and K. CHATTERJEE. Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs. In: Proceedings of the International Joint Conferences on Artifical Intelligence. IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, 2018-07-13/2018-07-19. International Joint Conferences on Artificial Intelligence Organization, 2018. p. 4764-4770. ISSN 1045-0823. ISBN 978-0-9992411-2-7. DOI 10.24963/ijcai.2018/662. Available from: https://www.ijcai.org/proceedings/2018/662

NAGASHIMA, Y. and Y. HE. PaMpeR: Proof Method Recommendation System for Isabelle/HOL. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. The 33rd ACM/IEEE International Conference on Automated Software Engineering, Montpellier, 2018-09-03/2018-09-07. New York: ACM, 2018. p. 362-372. ISBN 978-1-4503-5937-5. DOI 10.1145/3238147.3238210.

RYŠAVÝ, P. On Sequence Overlaps Minimizing Post-normalized Edit Distance. In: HUSNÍK, L., ed. Proceedings of the International Student Scientific Conference Poster – 22/2018. Poster 2018, Praha, 2018-05-10. Praha: Czech Technical University in Prague, 2018. p. 1-5. ISBN 978-80-01-06428-3.

ČÍŽEK, P., J. KUBÍK, and J. FAIGL. Online Foot-Strike Detection Using Inertial Measurements for Multi-Legged Walking Robots. In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid, 2018-10-01/2018-10-05. New York: IEEE Press, 2018. p. 7622-7627. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8594010. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8594010

PIOTROWSKI, B. and J. URBAN. ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. In: Automated Reasoning. 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, 2018-07-14/2018-07-17. Basel: Springer, 2018. p. 566-574. LNAI. vol. 10900. ISSN 0302-9743. ISBN 978-3-319-94204-9.

Dissertations

FESL, J. Virtual Distributed Computing Systems and Their Applications. Praha: Defense date 2018-05-10. PhD Thesis. CTU FEE. Karlovo namesti Building G. Supervised by B. AL-BEYWANEE.

Research Reports

ČERNOCH, R. and F. ŽELEZNÝ. Zpráva o výslecích vývoje a validace. [Research Report] Praha: ČVUT/FEL/K13136, 2018. Report no. TG02010033_2018.

MALÝ, J., M. ŠUSTR, and M. ČERTICKÝ. Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report. [Research Report] 2018.

BARVÍNEK, J., J. KLÉMA, and F. ŽELEZNÝ. Rozpoznávání, zda je datový tok komprimovaný, nebo šifrovaný: rešerše literatury a experimentální vyhodnocení dostupných technik. [Research Report] Praha: ČVUT FEL, Katedra počítačů, 2018. Report no. 31/19/13136/Žele.

The page was created 22.03.2019 05:00:01