13000 / 13136 - Publications - 2017

13000 / 13136 - Department of Computer Science

Publications 2017

Papers in WoS Journals

ZAMLI, K.Z., et al. Fuzzy adaptive teaching learning-based optimization strategy for the problem of generating mixed strength t-way test suites. Engineering Applications of Artificial Intelligence. 2017, 59 35-50. ISSN 0952-1976. DOI 10.1016/j.engappai.2016.12.014.

HRNČÍŘ, J., et al. Practical Multicriteria Urban Bicycle Routing. IEEE Transactions on Intelligent Transportation Systems. 2017, 18(3), 493-504. ISSN 1524-9050. DOI 10.1109/TITS.2016.2577047.

KLÉMA, J., F. MALINKA, and F. ŽELEZNÝ. Semantic biclustering for finding local, interpretable and predictive expression patterns. BMC Genomics. 2017, 18(4132), ISSN 1471-2164. DOI 10.1186/s12864-017-4132-5. Available from: https://doi.org/10.1186/s12864-017-4132-5

ZAMLI, K.Z., et al. An Experimental Study of Hyper-heuristic Selection and Acceptance Mechanism for Combinatorial T-way Test Suite Generation. Information Sciences. 2017, 399 121-153. ISSN 0020-0255. DOI 10.1016/j.ins.2017.03.007.

AGHASYAN, M., et al. First Measurement of Transverse-Spin-Dependent Azimuthal Asymmetries in the Drell-Yan Process. PHYSICAL REVIEW LETTERS. 2017, 119(11), ISSN 0031-9007. DOI 10.1103/PhysRevLett.119.112002.

AHMED, B.S., et al. Handling Constraints in Combinatorial Interaction Testing in the presence of Multi Objective Particle Swarm and Multithreading. Information and Software Technology. 2017, 86(June 2017), 20-36. ISSN 0950-5849. DOI 10.1016/j.infsof.2017.02.004.

FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Exploratory testing supported by automated reengineering of model of the system under test. Cluster Computing. 2017, 20(1), 855-865. ISSN 1386-7857. DOI 10.1007/s10586-017-0773-z.

AL-BEYWANEE, B., et al. Constrained Interaction Testing: A Systematic Literature Study. IEEE Access. 2017, 50 25706-25730. ISSN 2169-3536. DOI 10.1109/ACCESS.2017.2771562. Available from: http://ieeexplore.ieee.org/document/8102999/

ŠTOLBA, M. and A. KOMENDA. The MADLA planner: Multi-agent Planning by Combination of Distributed and Local Heuristic Search. Artificial Intelligence. 2017, 252 175-210. ISSN 0004-3702. DOI 10.1016/j.artint.2017.08.007.

ČEMUS, K., et al. Separation of Concerns for Distributed Cross-platform Context-aware User Interfaces. Cluster Computing. 2017, 20(3), 2355-2362. ISSN 1386-7857. DOI 10.1007/s10586-017-0794-7.

CHLUMECKÝ, M., J. BUCHTELE, and K. RICHTA. Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling. Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694. DOI 10.1016/j.jhydrol.2017.08.025.

Papers in Other Journals

TRNKA, M. and T. ČERNÝ. Authentication and Authorization Rules Sharing for Internet of Things. Software Networking. 2017, 2017(2), 35-52. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.003. Available from: http://www.www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/003

ČERNÝ, T., M.J. DONAHOO, and M. TRNKA. Contextual Understanding of Microservice Architecture: Current and Future Directions. ACM SIGAPP Applied Computing Review. 2017, 17(4), 29-45. ISSN 1559-6915. DOI 10.1145/3129676.3129682.

TOMÁŠEK, M. and T. ČERNÝ. Automated User Interface Generation Involving Field Classification. Software Networking. 2017, 2017(1), 53-78. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.004. Available from: http://www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/004

PĚNIČKA, R., et al. Dubins Orienteering Problem. IEEE Robotics and Automation Letters. 2017, 2(2), 1210-1217. ISSN 2377-3766. DOI 10.1109/LRA.2017.2666261. Available from: http://ieeexplore.ieee.org/document/7847413/

Books, Book Chapters and Lecture Notes

CHURCHILL, D., et al. StarCraft Bots and Competitions. In: Encyclopedia of Computer Graphics and Games. Cham: Springer International Publishing, 2017. ISBN 978-3-319-08234-9.

SCHAEFER, M., M. ČÁP, and J. VOKŘÍNEK. AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant. In: Agent-Based Modeling of Sustainable Behaviors. Wien: Springer, 2017. p. 143-166. ISBN 978-3-319-46330-8. DOI 10.1007/978-3-319-46331-5_7.

RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

Conference Proceedings

BARVÍNEK, J. and F. ŽELEZNÝ. A First-Order Axiomatization for Transition Learning with RichConstraints. In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming. 27th International Conference on Inductive Logic Programming, Orléans, 2017-09-04/2017-09-06. Tilburg: CEUR Workshop Proceedings, 2017. p. 1-5. ISSN 1613-0073.

HORÁK, K., Q. ZHU, and B. BOŠANSKÝ. Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. p. 273-294. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_15.

PAČES, P., R. THEINER, and J. BRABEC. A Precise Altitude Difference Measurement System for Terrain Mapping and Application in a Ducted-Fan Powered Airplane. In: 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). St.Petersburg, Florida, 2017-09-17/2017-09-21. New York: IEEE, 2017. Advancing Technology for Humanity. ISSN 2155-7195. ISBN 978-1-5386-0365-9. DOI 10.1109/DASC.2017.8102109.

FAIGL, J., et al. On solution of the Dubins touring problem. In: Proceedings of ECMR 2017. The European Conference on Mobile Robotics 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098685. Available from: http://ieeexplore.ieee.org/document/8098685/

ANDĚL, M., J. KLÉMA, and J. TOPINKA. EMPIRICAL EVALUATION OF QNTR MODELS BUILD ON PHYSICO-CHEMICAL CHARACTERISTICS. In: Proceedings of the 8th International Conference on Nanomaterials - Research and Application. 8th International Conference on Nanomaterials - Research and Application, Brno, 2016-11-19/2016-11-21. Ostrava: Tanger, 2017. p. 594-599. ISBN 978-80-87294-71-0.

KORDÍK, P., et al. Scalability of predictive ensembles. In: 2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT). 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies, Lvov, 2017-09-05/2017-09-08. IEEE (Institute of Electrical and Electronics Engineers), 2017. p. 555-560. ISBN 978-1-5386-1639-0. DOI 10.1109/STC-CSIT.2017.8098848. Available from: http://toc.proceedings.com/36770webtoc.pdf

RYŠAVÝ, P. Using Tries for Evaluating Monge-Elkan Distance on Genomic Sequences. In: Proceedings of the International Student Scientific Conference Poster – 21/2017. Poster 2017, Praha, 2017-05-23. Praha: Czech Technical University in Prague, 2017. p. 1-5. ISBN 978-80-01-06153-4.

ČERMÁK, J. and A. ANGELOVA. Learning with Proxy Supervision for End-To-End Visual Learning. In: Proceedings of IEEE Intelligent Vehicles Symposium. 2017 IEEE Intelligent Vehicles Symposium, Redondo Beach, 2017-06-11/2017-06-14. IEEE (Institute of Electrical and Electronics Engineers), 2017. p. 1-6. ISSN 1931-0587. ISBN 978-1-5090-4804-5. DOI 10.1109/IVS.2017.7995690.

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 902-910. ISSN 1548-8403. ISBN 978-1-5108-5507-6.

ČERMÁK, J., B. BOŠANSKÝ, and V. LISÝ. An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 936-942. ISSN 1045-0823. ISBN 978-0-9992411-0-3. DOI 10.24963/ijcai.2017/130. Available from: https://www.ijcai.org/proceedings/2017/130

TOŽIČKA, J., M. ŠTOLBA, and A. KOMENDA. The limits of strong privacy preserving multi-agent planning. In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. Proceedings of the International Conference on Automated Planning and Scheduling, Pittsburgh, 2017-06-18/2017-06-23. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 297-305. ISSN 2334-0835. ISBN 978-1-57735-789-6.

VÁŇA, P., et al. Data Collection Planning with Dubins Airplane Model and Limited Travel Budget. In: Proceedings of ECMR 2017. The European Conference on Mobile Robotics 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. p. 328-333. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098715.

RYŠAVÝ, P. and F. ŽELEZNÝ. Estimating Sequence Similarity from Contig Sets. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 16th International Symposium on Intelligent Data Analysis, London, 2017-10-26/2017-10-28. Düsseldorf: Springer VDI Verlag, 2017. p. 272-283. ISSN 0302-9743. ISBN 978-3-319-68764-3. DOI 10.1007/978-3-319-68765-0_23.

ČERMÁK, J. Solving Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. p. 1820-1821.

EIDER, M., et al. Seamless Electromobility. In: e-Energy 2017 - Proceedings of the 8th International Conference on Future Energy Systems. 8th ACM International Conference on Future Energy Systems, e-Energy 2017, Shatin, 2017-05-16/2017-05-19. New York: ACM, 2017. p. 316-321. ISBN 978-1-4503-5036-5. DOI 10.1145/3077839.3078461. Available from: https://dl.acm.org/citation.cfm?id=3078461

DURKOTA, K., et al. Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. p. 171-192. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_10.

VÁŇA, P., et al. Data Collection Planning with Limited Budget for Dubins Airplane. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 3137. ISSN 2153-0858. ISBN 978-1-5386-2682-5.

TOŽIČKA, J., A. KOMENDA, and M. ŠTOLBA. epsilon-Strong Privacy Preserving Multiagent Planner by Computational Tractability. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Madeira: SciTePress, 2017. p. 51-57. vol. 1. ISBN 978-989-758-219-6. DOI 10.5220/0006176400510057.

BUREŠ, M. and B. AL-BEYWANEE. On the Effectiveness of Combinatorial Interaction Testing: A Case Study. In: Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security Companion. 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, Praha, 2017-07-25/2017-07-29. IEEE Reliability Society, 2017. p. 69-76. ISBN 978-1-5386-2072-4. DOI 10.1109/QRS-C.2017.20. Available from: http://ieeexplore.ieee.org/document/8004296/keywords

FIEDLER, D., M. ČÁP, and M. ČERTICKÝ. Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study. In: Proceedings of the 20th International Conference on Intelligent Transportation Systems. IEEE 20th International Conference on INtelligent Transportation Systems, Yokohama, 2017-10-16/2017-10-19. Monterey: IEEE Circuits and Systems Society, 2017. p. 1648-1653. ISBN 978-1-5386-1526-3. DOI 10.1109/ITSC.2017.8317830.

VINTR, T., et al. Spatiotemporal Models for Motion Planning in Human Populated Environments. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

CHLUMECKÝ, M. Simulation of Hydrological Processes by Optimization Algorithm using Continuous Function. In: JANECH, Ján, Tadeusz GRATKOWSKI, and Jozef KOSTOLNY, eds. Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Federated Conference on Software development and Object Technologies 2015, Žilina, 2015-11-19/2015-11-20. Cham: Springer International Publishing, 2017. p. 110-121. ISSN 2194-5357. ISBN 978-3-319-46534-0. DOI 10.1007/978-3-319-46535-7_9.

KOMÁREK, T. and P. SOMOL. End-node Fingerprinting for Malware Detection on HTTPS Data. In: Proceedings of the 12th International Conference on Availability, Reliability and Security. The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, 2017-08-29/2017-09-01. New York: ACM, 2017. ISBN 978-1-4503-5257-4. DOI 10.1145/3098954.3107007. Available from: https://dl.acm.org/citation.cfm?id=3098954.3107007

ČÍŽEK, P., J. FAIGL, and J. BAYER. Enhancing Neural Based Obstacle Avoidance with CPG Controlled Hexapod Walking Robot. In: Proceedings of the 17th Conference on Information Technologies - Applications and Theory (ITAT 2017). ITAT 2017: Information Technologies – Applications and Theory, Martinské hole, Malá Fatra, 2017-09-22/2017-09-26. Aachen: CEUR Workshop Proceedings, 2017. p. 65-70. 2017. vol. 1885. ISSN 1613-0073.

KRAJNÍK, T., et al. Towards Automated Benchmarking of Robotic Experiments. In: Reproducible Research in Robotics: Current Status and Road Ahead (Workshop at ICRA 2017). Singapore, 2017-05-29. Castellon: Department of Engineering and Computer Science, Universitat Jaume, 2017.

ŠEBEK, J. and K. RICHTA. Impact of User’s Emotion on Software Adaptation. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 1-14. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

HORÁK, K., B. BOŠANSKÝ, and M. PĚCHOUČEK. Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 558-564. ISBN 978-1-57735-780-3.

ČERMÁK, J. and B. BOŠANSKÝ. Towards Solving Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. ISSN 1548-8403. ISBN 978-1-5108-5507-6.

ČEMUS, K., F. KLIMEŠ, and T. ČERNÝ. Aspect-driven Context-aware Services. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Federated Conference on Computer Science and Information Systems, Praha, 2017-09-03/2017-09-06. Los Alamitos, CA: IEEE Computer Soc., 2017. p. 1307-1314. ISSN 2325-0348. ISBN 978-8-3946-2537-5. DOI 10.15439/2017F397.

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. p. 902-910.

TRNKA, M., M. TOMÁŠEK, and T. ČERNÝ. Context-Aware Security Using Internet of Things Devices. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 706-713. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_81.

FAIGL, J. and P. VÁŇA. Unsupervised learning for surveillance planning with team of aerial vehicles. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 4340-4347. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7966405.

BOŠANSKÝ, B., et al. Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 63-74. ISBN 978-989-758-220-2. DOI 10.5220/0006121200630074.

PĚNIČKA, R., et al. Dubins Orienteering Problem with Neighborhoods. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. p. 1555-1562. ISBN 978-1-5090-4494-8. DOI 10.1109/ICUAS.2017.7991350.

ČERTICKÝ, M. and D. CHURCHILL. The Current State of StarCraft AI Competitions and Bots. In: AIIDE 2017 Workshop on Artificial Intelligence for Strategy Games. Snowbird Ski Resort, Utah, 2017-10-06. Edmonton: University of Alberta, 2017. ISBN 978-1-57735-791-9.

ŠOUREK, G., et al. Learning Predictive Categories Using Lifted Relational Neural Networks. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). International Conference on Inductive Logic Programming 2016, London, 2016-09-04/2016-09-06. Berlin: Springer-Verlag, 2017. p. 108-119. ISSN 0302-9743. ISBN 978-3-319-63341-1. DOI 10.1007/978-3-319-63342-8_9.

HORÁK, K. and B. BOŠANSKÝ. Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 503-510. ISBN 978-989-758-220-2. DOI 10.5220/0006190605030510.

SELECKÝ, M., J. FAIGL, and M. ROLLO. Mixed Reality Simulation for Incremental Development of Multi-UAV Systems. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. p. 1530-1538. ISBN 978-1-5090-4494-8. DOI 10.1109/ICUAS.2017.7991351.

13136 / 13141 - Artificial Intelligence Center

Publications 2017

Papers in WoS Journals

HRNČÍŘ, J., et al. Practical Multicriteria Urban Bicycle Routing. IEEE Transactions on Intelligent Transportation Systems. 2017, 18(3), 493-504. ISSN 1524-9050. DOI 10.1109/TITS.2016.2577047.

BASTERRECH, S. and G. RUBINO. Echo State Queueing Networks: A Combination of Reservoir Computing and Random Neural Networks. Probability in the Engineering and Informational Sciences. 2017, 31(4), 457-476. ISSN 0269-9648. DOI 10.1017/S0269964817000110.

KUSUMAM, K, et al. 3D-Vision Based Detection, Localisation and Sizing of Broccoli Heads in the Field. Journal of Field Robotics. 2017, 34(8), 1505-1518. ISSN 1556-4959. DOI 10.1002/rob.21726.

SASKA, M., et al. System for deployment of groups of unmanned micro aerial vehicles in GPS-denied environments using onboard visual relative localization. Autonomous Robots. 2017, 41(4), 919-944. ISSN 0929-5593. DOI 10.1007/s10514-016-9567-z.

NOWICKI, M.R., et al. An experimental study on feature-based SLAM for multi-legged robots with RGB-D sensors. Industrial Robot. 2017, 44(4), 428-441. ISSN 0143-991X. DOI 10.1108/IR-11-2016-0340.

MORAVČÍK, M., et al. DeepStack: Expert-level artificial intelligence in heads-up no-limit poker. SCIENCE. 2017, 356(6337), 508-513. ISSN 0036-8075. DOI 10.1126/science.aam6960.

GRILL, M., T. PEVNÝ, and M. REHÁK. Reducing False Positives of Network Anomaly Detection by Local Adaptive Multivariate Smoothing. Journal of Computer and System Sciences. 2017, 83(1), 43-57. ISSN 0022-0000. DOI 10.1016/j.jcss.2016.03.007.

BARTÁK, R, et al. Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Science of Computer Programming. 2017, 147 54-77. ISSN 0167-6423. DOI 10.1016/j.scico.2017.04.007.

KRAJNÍK, T., et al. Fremen: Frequency map enhancement for long-term mobile robot autonomy in changing environments. IEEE Transactions on Robotics. 2017, 33(4), 964-977. ISSN 1552-3098. DOI 10.1109/TRO.2017.2665664.

Papers in Other Journals

LIGHBODY, P., T. KRAJNÍK, and M. HANHEIDE. An Efficient Visual Fiducial Localisation System. ACM SIGAPP Applied Computing Review. 2017, 17(3), 28-38. ISSN 1559-6915. DOI 10.1145/3019612.3019709.

BOŠANSKÝ, B., et al. Computation of Stackelberg Equilibria of Finite Sequential Games. ACM TRANSACTIONS ON ECONOMICS AND COMPUTATION. 2017, 5(4), ISSN 2167-8375. DOI 10.1145/3133242.

Books, Book Chapters and Lecture Notes

Conference Proceedings

CHRPA, L., J. GEMROT, and M. PILÁT. Towards a Safer Planning and Execution Concept. In: Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI). The 29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Boston, 2017-11-06/2017-11-08. New York: IEEE Computer Society Press, 2017. p. 972-976. ISSN 1082-3409. ISBN 978-1-5386-3876-7. DOI 10.1109/ICTA1.2017.00149.

SAFAVI-NAINI, R., A. POOSTINDOUZ, and V. LISÝ. Path Hopping: an MTD Strategy for Quantum-safe Communication. In: Proceedings of the 2017 Workshop on Moving Target Defense. 2017 Workshop on Moving Target Defense, Dallas, 2017-10-30/2017-11-03. New York: ACM, 2017. p. 111-114. ISBN 978-1-4503-5176-8. DOI 10.1145/3140549.3140560.

ČÍŽEK, P., P. MILIČKA, and J. FAIGL. Neural based obstacle avoidance with CPG controlled hexapod walking robot. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 650-656. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7965914.

GAVENČIAK, T., B. GEISSMANN, and J. LENGLER. Sorting by Swaps with Noisy Comparisons. In: Proceedings of the Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference, Berlin, 2017-07-15/2017-07-19. New York: ACM, 2017. p. 1375-1382. ISBN 978-1-4503-4920-8. DOI 10.1145/3071178.3071242.

ČÍŽEK, P. and J. FAIGL. RNN-based Visual Obstacle Avoidance with a CPG Controlled Hexapod Walking Robot. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 3146. ISSN 2153-0858. ISBN 978-1-5386-2682-5.

PEVNÝ, T. and P. SOMOL. Using Neural Network Formalism to Solve Multiple-Instance Problems. In: Advances in Neural Networks - ISNN 2017. International Symposium on Neural Networks, Hokkaido, 2017-06-21/2017-06-23. Wien: Springer, 2017. p. 135-142. LNCS. vol. 10261. ISSN 0302-9743. ISBN 978-3-319-59071-4. DOI 10.1007/978-3-319-59072-1_17.

VALLATI, M., L. CHRPA, and I. SERINA. On the Evolution of Planner-Specific Macro Sets. In: AI*IA 2017 Advances in Artificial Intelligence. The 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, 2017-11-14/2017-11-17. Cham: Springer International Publishing, 2017. p. 443-454. LNCS. ISSN 0302-9743. ISBN 978-3-319-70168-4. DOI 10.1007/978-3-319-70169-1_33.

CHRPA, L., N LIPOVETZKY, and S SARDINA. Handling Non-local Dead-ends in Agent Planning Programs. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 971-978. ISSN 1045-0823. ISBN 978-0-9992411-0-3. DOI 10.24963/ijcai.2017/135. Available from: https://doi.org/10.24963/ijcai.2017/135

SAFAVI-NAINI, R., V. LISÝ, and Y.G. DESMEDT. Economically Optimal Variable Tag Length Message Authentication. In: 21st International Conference on Financial Cryptography and Data Security. Malta, 2017-04-03/2017-04-07. Springer, Cham, 2017. p. 204-223. ISSN 0302-9743. ISBN 978-3-319-70971-0. DOI 10.1007/978-3-319-70972-7_11.

MAJER, F., L. HALODOVÁ, and T. KRAJNÍK. A Precise Teach and Repeat Visual Navigation System Based on the Convergence Theorem. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

HALODOVÁ, L. and T. KRAJNÍK. Exposure Setting for Visual Navigation of Mobile Robots. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

HAMMERSCHMIDT, C.A., et al. Reliable Machine Learning for Networking: Key Issues and Approaches. In: Proceedings of the 42nd IEEE Conference on Local Computer Networks. The 42nd IEEE Conference on Local Computer Networks, Singapore, 2017-10-09/2017-10-12. USA: IEEE Computer Society, 2017. p. 167-170. ISSN 0742-1303. ISBN 978-1-5090-6523-3. DOI 10.1109/LCN.2017.74.

VALLATI, M, L. CHRPA, and T.L. MCCLUSKEY. Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. In: Proceedings of the International Symposium on Combinatorial Search. Pittsburgh, 2017-06-16/2017-06-17. Menlo Park: AAAI Press, 2017. p. 171-172.

LIGHTBODY, P., T. KRAJNÍK, and M. HANHEIDE. A Versatile High-Performance Visual Fiducial Marker Detection System with Scalable Identity Encoding. In: Proceedings of the Symposium on Applied Computing. 32st ACM Symposium on Applied Computing, Marrakech, 2017-04-04/2017-04-06. New York: ACM, 2017. p. 276-282. ISBN 978-1-4503-4486-9. DOI 10.1145/3019612.3019709. Available from: http://eprints.lincoln.ac.uk/25828/1/4d0bd9e8a3b3b5ad6ca2d56c1438fbbc.pdf

QINGYU, G., et al. Comparing Strategic Secrecy and Stackelberg Commitment in Security Games. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 3691-3699. ISSN 1045-0823. ISBN 978-0-9992411-0-3.

ROLLO, M., M. SELECKÝ, and P. VOLF. Simulation of UAS integration into shared airspace for validation of impact on ATM systems. In: Proceedings of Integrated Communications Navigation and Surveillance Conference (ICNS) 2017. Integrated Communications Navigation and Surveillance Conference 2017, Herndon, Virginia, 2017-04-18/2017-04-20. Piscataway: IEEE, 2017. ISBN 978-1-5090-5375-9. DOI 10.1109/ICNSURV.2017.8011945. Available from: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8011945&tag=1

FAIGL, J. and R. PĚNIČKA. On Close Enough Orienteering Problem with Dubins Vehicle. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 5646-5652. ISSN 2153-0858. ISBN 978-1-5386-2682-5. DOI 10.1109/IROS.2017.8206453.

HANHEIDE, M, D. HEBESBERGER, and T. KRAJNÍK. The when, where, and how: an adaptive robotic info-terminal for care home residents–a long-term study. In: Proceedings of the 2017 Conference on Human-Robot Interaction. 2017 Conference on Human-Robot Interaction, Vídeň, 2017-03-06/2017-03-09. New York: ACM, 2017. p. 341-349. ISSN 2167-2148. ISBN 978-1-4503-4336-7. DOI 10.1145/2909824.3020228. Available from: http://humanrobotinteraction.org/2017/timetable/event/regular-session-6/

ČÍŽEK, P., D. MASRI, and J. FAIGL. Foothold Placement Planning with a Hexapod Crawling Robot. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 4096-4101. ISSN 2153-0858. ISBN 978-1-5386-2682-5. DOI 10.1109/IROS.2017.8206267.

PARKINSON, S, et al. On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations. In: Proceedings of the International Conference on Automated Planning and Scheduling. Pittsburgh, 2017-06-18/2017-06-23. Menlo Park: AAAI Press, 2017. p. 400-408. ISSN 2334-0835. ISBN 978-1-57735-789-6.

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. p. 902-910.

FAIGL, J. On Self-Organizing Maps for Orienteering Problems. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 2611-2620. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7966175.

LISÝ, V. and M. BOWLING. Eqilibrium Approximation Quality of Current No-Limit Poker Bots. In: AAAI Workshops. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 361-366. ISBN 9781577357865. Available from: https://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15154

FAIGL, J. Self-organizing map for orienteering problem with dubins vehicle. In: 2017 12th International Workshop on Self-Organizing Maps and Learning Vector Quantization, Clustering and Data Visualization (WSOM). 12th International Workshop on Self-Organizing Maps and Learning Vector Quantization, Clustering and Data Visualization (WSOM+ 2017), Nancy, 2017-06-28/2017-06-30. Marseille: IEEE, 2017. p. 125-132. ISBN 978-1-5090-6638-4. Available from: http://ieeexplore.ieee.org/document/8020017/

CHRPA, L., et al. Mixed-initiative planning, replanning and execution: From concept to field testing using AUV fleets. In: IEEE International Conference on Robotics and Automation. IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. New York: IEEE Press, 2017. p. 6825-6830. ISSN 2153-0858. ISBN 978-1-5386-2682-5. DOI 10.1109/IROS.2017.8206602.

VOLF, P. and M. ROLLO. Airspace sectorization optimization using fast-time simulation of air traffic controller's workload. In: Proceedings of Integrated Communications Navigation and Surveillance Conference (ICNS) 2017. Integrated Communications Navigation and Surveillance Conference 2017, Herndon, Virginia, 2017-04-18/2017-04-20. Piscataway: IEEE, 2017. ISBN 978-1-5090-5375-9. DOI 10.1109/ICNSURV.2017.8011884. Available from: http://ieeexplore.ieee.org/document/8011884/

BASTERRECH, S. Empirical analysis of the necessary and sufficient conditions of the echo state property. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 888-896. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7965946.

PRASSE, P., et al. Malware Detection by Analysing Encrypted Network Traffic with Neural Networks. In: CECI, M., et al., eds. Machine Learning and Knowledge Discovery in Databases. The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery, Skopje, 2017-09-18/2017-09-22. Cham: Springer International Publishing AG, 2017. p. 73-88. vol. I, II, III. ISSN 0302-9743. ISBN 978-3-319-71245-1. DOI 10.1007/978-3-319-71246-8_5.

Dissertations

HAVRÁNEK, A. Algoritmy řízení magnetovacího procesu kompenzačních ferometrů. Defense date 2018-03-08. PhD Thesis. CTU FEE. Department of Circuit Theory; CTU FEE. Artificial Intelligence Center. Supervised by I. ZEMÁNEK.

ČÁP, M. Centralized and Decentralized Algorithms for Multi-Robot Trajectory Coordination. Praha: Defense date 2017-09-18. PhD Thesis. ČVUT FEL, Katedra kybernetiky. Supervised by P. NOVAK and M. PĚCHOUČEK.

13136 / 13143 - Intelligent Data Analysis

Publications 2017

Papers in WoS Journals

GILL, P.E., V. KUNGURTSEV, and D.P. ROBINSON. A stabilized SQP Method: Superlinear Convergence. Mathematical Programming. 2017, 369-410. ISSN 0025-5610. DOI 10.1007/s10107-016-1066-7.

GILL, P.E., V. KUNGURTSEV, and D.P. ROBINSON. A stabilized SQP Method: Global Convergence. IMA Journal of Numerical Analysis (IMAJNA). 2017, 37(1), 407-443. ISSN 0272-4979. DOI 10.1093/imanum/drw004.

KUNGURTSEV, V. and J. JÄSCHKE. A Predictor-Corrector Path-Following Algorithm for Dual-Degenerate Parametric Optimization Problems. SIAM JOURNAL ON OPTIMIZATION. 2017, 27(1), 538-564. ISSN 1052-6234. DOI 10.1137/16M1068736.

SUWARTADI, E., V. KUNGURTSEV, and J. JÄSCHKE. Sensitivity-Based Economic NMPC with a Path-Following Approach. Processes. 2017, 5(1), ISSN 2227-9717. DOI 10.3390/pr5010008.

LIŠKOVÁ, P., et al. Replication of SNP Associations with Keratoconus in a Czech Cohort. PLoS ONE. 2017, 12(2), ISSN 1932-6203. DOI 10.1371/journal.pone.0172365. Available from: http://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0172365&type=printable

Conference Proceedings

LÍBALOVÁ, H., et al. Mechanisms of toxicity of particulate emissions produced by different gasoline and alternative fuels in human lung cells. In: EAC 2017 - European Aerosol Conference. Zurich, 2017-08-27/2017-09-01. GAEF, 2017.

KUNGURTSEV, V., et al. Input Shaper Optimization with a Constraint on the Spectrum Distribution. In: Proceedings of the IFAC 2017 World Congress. The 20th World Congress of the International Federation of Automatic Control, Toulouse, 2017-07-09/2017-07-14. Kidlington Oxford OX GB: Elsevier, 2017. p. 13324-13329. ISSN 2405-8963. DOI 10.1016/j.ifacol.2017.08.1893.

13136 / 13144 - System Testing IntelLigent Lab

Publications 2017

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

RICHTA, K. and P MORAVEC, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

Conference Proceedings

MANNOVÁ, B. Why are software projects different. In: It Convergence and Security. 7th iCatse International Conference on IT Convergence and Security, Seoul, 2017-09-25/2017-09-28. Springer Nature Singapore Pte Ltd., 2017. p. 1-350. Lecture Notes in Electrical Engineeringh. vol. 449. ISSN 1876-1100. ISBN 978-981-10-6450-0.

BUREŠ, M. Framework for Integration Testing of IoT Solutions. In: ARABNIA, H.R., et al., eds. Proceedings of 2017 International Conference on Computational Science and Computational Intelligence CSCI 2017. 4th Annual Conference on Computational Science & Computational Intelligence, Las Vegas, 2017-12-14/2017-12-16. Los Alamitos: Conference publishing Services, 2017. p. 1838-1839. ISBN 978-1-5386-2652-8. DOI 10.1109/CSCI.2017.335.

MANNOVÁ, B. and C. PRESTON. COMPUTER SCIENCE INCLUSION IN THE SCHOOL CURRICULUM. In: CHOVA, L.G., A.L. MARTÍNEZ, and I.C. TORRES, eds. 9th International Conference on Education and New Learning Technologies. EDULEARN17, Barcelona, 2017-07-03/2017-07-05. Valencia: IATED Academy, 2017. p. 2682-2685. ISSN 2340-1117. ISBN 978-84-697-3777-4.

PAVLÁT, J., et al. Model Transformations via XSLT. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 43-55. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

PRESTON, C., S. YOUNIE, and B. MANNOVÁ. Elearning Compared From A Community Of Practice and a Mooc Perspective. In: Re-thinking Teacher Professional Education: Using Research Findings for Better Learning 61st World Assembly ICET 2017. Brno: Masarykova univerzita. Vydavatelství, 2017. ISBN 978-80-210-8611-1. Available from: http://icet2017.org/programme

BUREŠ, M. and T. ČERNÝ. Static Testing Using Different Types of CRUD Matrices. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 594-602. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_68.

PRESTON, C., S. YOUNIE, and B. MANNOVÁ. Collaborative lifelong learning for teacher educators across cultural boundaries. In: Re-thinking Teacher Professional Education: Using Research Findings for Better Learning 61st World Assembly ICET 2017. Brno: Masarykova univerzita. Vydavatelství, 2017. ISBN 978-80-210-8611-1. Available from: http://icet2017.org/programme

BUREŠ, M., T. ČERNÝ, and M. KLÍMA. Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 585-593. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_67.

Research Reports

BUREŠ, M., et al. Requirements for IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V2. [Research Report] 2017.

BUREŠ, M., et al. Specification of the IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V3. [Research Report] 2017.

13136 / 13145 - Knowledge-based Software Systems

Publications 2017

Research Reports

HANÁKOVÁ, L., et al. Analýza datových vstupů a možností technologického řešení. [Research Report] Praha: CTU FTS. Department of Air Transport, 2017.

The page was created 19.04.2024 05:00:02

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 - 2017

13000 / 13136 - Department of Computer Science

Publications 2017

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

13136 / 13141 - Artificial Intelligence Center

Publications 2017

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

Dissertations

13136 / 13143 - Intelligent Data Analysis

Publications 2017

Papers in WoS Journals

Conference Proceedings

13136 / 13144 - System Testing IntelLigent Lab

Publications 2017

Papers in WoS Journals

Papers in Other Journals

Books, Book Chapters and Lecture Notes

Conference Proceedings

Research Reports

13136 / 13145 - Knowledge-based Software Systems

Publications 2017

Research Reports