13000 / 13136 - Publikace - 2018

13000 / 13136 - katedra počítačů

Publikační činnost 2018

Knihy, kapitoly v knihách a skripta, dizertace, výzkumné zprávy, nepublikované přednášky, stati ve sbornících, články v časopisech, patenty

Články v časopisech WoS

FIŠER, D. a 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Ý a 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. Dostupné z: 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 a 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.

KOHOUT, J. a 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-6013. DOI 10.1109/TIFS.2017.2768018.

BUREŠ, M., M. FILIPSKÝ a 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Ý a 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 a 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. Dostupné z: http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0195675

FRANC, V. et al. Learning data discretization via convex optimization. Machine Learning. 2018, 107(2), 333-355. ISSN 0885-6125. DOI 10.1007/s10994-017-5654-4.

Články v ostatních periodikách

VINTR, T., K. EYISOY a 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.

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

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

TOŽIČKA, J., J. JAKUBŮV a 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. s. 66-92. ISSN 0302-9743. ISBN 978-3-319-78300-0. DOI 10.1007/978-3-319-78301-7_4.

Stati ve sbornících konferencí

MALINKA, F., F. ŽELEZNÝ a J. KLÉMA. Genomic single rule learning with an ontology-based refinement operator. In: SVOZIL, D. a 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. s. 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. s. 5691-5696. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8594225. Dostupné z: 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. s. 1173-1178. ISSN 2153-0017. ISBN 978-1-7281-0323-5. DOI 10.1109/ITSC.2018.8569451. Dostupné z: https://arxiv.org/pdf/1807.03352.pdf

WANG, Q., C. KALISZYK a 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. s. 255-270. LNCS. sv. 11006. ISSN 0302-9743. ISBN 978-3-319-96811-7. DOI 10.1007/978-3-319-96812-4_22.

PRÁGR, M., P. ČÍŽEK a 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. s. 1745-1750. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8593374. Dostupné z: 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. s. 319-323. ISBN 978-1-4503-5885-9. DOI 10.1145/3264746.3264761.

RIGAKI, M. a 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. s. 70-75. ISBN 978-1-5386-8276-0. DOI 10.1109/SPW.2018.00019. Dostupné z: https://ieeexplore.ieee.org/document/8424635/?part=1

AHMAD, J., P. KŘEMEN a 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. s. 351-367. ISSN 0302-9743. ISBN 978-3-030-02670-7. DOI 10.1007/978-3-030-02671-4_22.

KOPP, M., M. GRILL a 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-11/2019-03-15. New Jersey: IEEE Signal Processing Society, 2018. ISSN 2157-4766. DOI 10.1109/WIFS.2018.8630772.

CUCHÝ, M., M. ŠTOLBA a 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. s. 327-332. ISSN 2153-0017. ISBN 978-1-7281-0323-5. DOI 10.1109/ITSC.2018.8569385. Dostupné z: https://ieeexplore.ieee.org/document/8569385

BRABEC, J. a 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. s. 3325-3330. ISSN 2577-1655. ISBN 978-1-5386-6650-0. DOI 10.1109/SMC.2018.00563. Dostupné z: 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. s. 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 a 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. s. 832-840. ISSN 1548-8403. ISBN 978-1-5108-6808-3.

CUCHÝ, M., M. ŠTOLBA a 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. s. 154-164. sv. 2. ISBN 978-989-758-275-2.

GOERTZEL, Z. et al. ProofWatch: Watchlist Guidance for Large Theories in E. In: Interactive Theorem Proving. 9th International Conference on Interactive Theorem Proving, Oxford, 2018-07-09/2018-07-12. Basel: Springer, 2018. s. 270-288. LNCS. sv. 10895. ISSN 0302-9743. ISBN 978-3-319-94820-1. DOI 10.1007/978-3-319-94821-8_16.

FIALKA SOBKOVÁ, L. a 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. s. 207-217. ISSN 1743-3509. ISBN 978-1-78466-210-3. DOI 10.2495/UT170181. Dostupné z: https://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/176/36363

FIŠER, D. a 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. s. 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. s. 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. s. 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 a 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. s. 507-514. sv. 2. ISBN 978-989-758-275-2.

HUBÁČEK, O., G. ŠOUREK a 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. s. 84-91. ISSN 1613-0073. Dostupné z: http://ceur-ws.org/Vol-2206/paper7.pdf

SZADKOWSKI, R., P. ČÍŽEK a 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. s. 116-123. sv. 2203. ISSN 1613-0073. ISBN 9781727267198. Dostupné z: http://ceur-ws.org/Vol-2203/116.pdf

VÁŇA, P., J. SLÁMA a 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. s. 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. s. 1657-1664. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8593803. Dostupné z: https://ieeexplore.ieee.org/document/8593803

VÁŇA, P. a 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. a 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. s. 306-313. sv. 2. ISBN 978-989-758-275-2. DOI 10.5220/0006539503060313.

HORÁK, K., B. BOŠANSKÝ a 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. s. 4764-4770. ISSN 1045-0823. ISBN 978-0-9992411-2-7. DOI 10.24963/ijcai.2018/662. Dostupné z: https://www.ijcai.org/proceedings/2018/662

NAGASHIMA, Y. a 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. s. 362-372. ISBN 978-1-4503-5937-5. DOI 10.1145/3238147.3238210.

SZADKOWSKI, R., J. DRCHAL a 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. s. 771-780. ISSN 0302-9743. ISBN 978-3-030-01423-0. DOI 10.1007/978-3-030-01424-7_75.

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. s. 1-5. ISBN 978-80-01-06428-3.

ČÍŽEK, P., J. KUBÍK a 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. s. 7622-7627. ISSN 2153-0866. ISBN 978-1-5386-8094-0. DOI 10.1109/IROS.2018.8594010. Dostupné z: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8594010

PIOTROWSKI, B. a 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. s. 566-574. LNAI. sv. 10900. ISSN 0302-9743. ISBN 978-3-319-94204-9.

Dizertace

FESL, J. Virtual Distributed Computing Systems and Their Applications. Praha: Datum obhajoby 2018-05-10. Doktorská práce (Ph.D.). ČVUT FEL. Budova G Karlovo náměstí. Vedoucí práce B. AL-BEYWANEE.

Výzkumné zprávy

ČERNOCH, R. a F. ŽELEZNÝ. Zpráva o výslecích vývoje a validace. [Výzkumná zpráva] Praha: ČVUT/FEL/K13136, 2018. Zpráva č. TG02010033_2018.

MALÝ, J., M. ŠUSTR a M. ČERTICKÝ. Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report. [Výzkumná zpráva] 2018.

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

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