Schaefer, M., Čáp, M., Vokřínek, J. 2017 AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant, detail
Trnka, M., Černý, T. 2017 Authentication and Authorization Rules Sharing for Internet of Things, detail
Saska, M., Báča, T., Thomas, J, Chudoba, J., Přeučil, L., Krajnik, T, Faigl, J., Loianno, G, Kumar, V 2017 System for deployment of groups of unmanned micro aerial vehicles in GPS-denied environments using onboard visual relative localization, detail
Pěnička, R., Faigl, J., Váňa, P., Saska, M. 2017 Dubins Orienteering Problem, detail
Hrnčíř, J., Žilecký, P., Song, Q., Jakob, M. 2017 Practical Multicriteria Urban Bicycle Routing, detail
Gill, P.E., Kungurtsev, V., Robinson, D.P. 2017 A stabilized SQP Method: Global Convergence, detail
Grill, M., Pevný, T., Rehák, M. 2017 Reducing False Positives of Network Anomaly Detection by Local Adaptive Multivariate Smoothing, detail
Lišková, P., Dudáková, L., Křepelová, A., Kléma, J., Hysi, P. 2017 Replication of SNP Associations with Keratoconus in a Czech Cohort, detail
Suwartadi, E., Kungurtsev, V., Jäschke, J. 2017 Sensitivity-Based Economic NMPC with a Path-Following Approach, detail
Frajták, K., Bureš, M., Jelínek, I. 2017 Exploratory testing supported by automated reengineering of model of the system under test, detail
Šebek, J., Richta, K. 2017 Impact of User’s Emotion on Software Adaptation, detail
Richta, K., Moravec, P, Šebek, J. 2017 DATESO 2017, detail
Moravčík, M., Schmid, M., Burch, N., Lisý, V. 2017 DeepStack: Expert-level artificial intelligence in heads-up no-limit poker, detail
Bošanský, B., Čermák, J., Horák, K., Pěchouček, M. 2017 Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall, detail
Čermák, J., Bošanský, B., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail
Čermák, J. 2017 Solving Imperfect Recall Games, detail
Tomášek, M., Černý, T. 2017 Automated User Interface Generation Involving Field Classification, detail
Pěnička, R., Faigl, J., Váňa, P., Saska, M. 2017 Dubins Orienteering Problem with Neighborhoods, detail
Chlumecký, M., Richta, K., Buchtele, J. 2017 Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling, detail
Komárek, T., Somol, P. 2017 End-node Fingerprinting for Malware Detection on HTTPS Data, detail
Štepanovský, M., Ibrová, A., Buk, Z., Velemínská, J. 2017 Novel age estimation model based on development of permanent teeth compared with classical approach and other modern data mining methods, detail
Bureš, M., Cerny, T., Frajták, K., Al-Beywanee, B. 2017 Testing the consistency of business data objects using extended static testing of CRUD matrices, detail
Štolba, M., Komenda, A. 2017 The MADLA planner: Multi-agent Planning by Combination of Distributed and Local Heuristic Search, detail
Štepanovský, M., Ibrová, A., Buk, Z., Veleminská, J. 2017 Estimation of Chronological Age from Permanent Teeth Development, detail
Selecký, M., Faigl, J., Rollo, M. 2017 Mixed Reality Simulation for Incremental Development of Multi-UAV Systems, detail
Faigl, J., Pěnička, R. 2017 On Close Enough Orienteering Problem with Dubins Vehicle, detail
Váňa, P., Faigl, J., Sláma, J., Pěnička, R. 2017 Data Collection Planning with Dubins Airplane Model and Limited Travel Budget, detail
Líbalová, H., Vojtíšek, M., Kléma, J., Machala, M., Topinka, J. 2017 Mechanisms of toxicity of particulate emissions produced by different gasoline and alternative fuels in human lung cells, detail
Kungurtsev, V., Pilbauer, D., Vyhlídal, T., Hromčík, M., Michiels, W. 2017 Input Shaper Optimization with a Constraint on the Spectrum Distribution, detail
Kléma, J., Malinka, F., Železný, F. 2017 Semantic biclustering for finding local, interpretable and predictive expression patterns, detail
Volf, P., Rollo, M. 2017 Airspace sectorization optimization using fast-time simulation of air traffic controller's workload, detail
Horák, K., Bošanský, B. 2017 Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games, detail
Bošanský, B., Čermák, J., Horák, K., Pěchouček, M. 2017 Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall, detail
Čermák, J., Bošanský, B., Lisý, V. 2017 An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games, detail
Čermák, J., Bošanský, B., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail
Horák, K., Zhu, Q., Bošanský, B. 2017 Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security, detail
Durkota, K., Lisý, V., Kiekintveld, C., Horák, K., Bošanský, B., Pevný, T. 2017 Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers, detail
Horák, K., Bošanský, B., Pěchouček, M. 2017 Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games, detail
Čermák, J., Bošanský, B. 2017 Towards Solving Imperfect Recall Games, detail
Fiedler, D., Čáp, M., Čertický, M. 2017 Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study, detail
Čermák, J., Angelova, A. 2017 Learning with Proxy Supervision for End-To-End Visual Learning, detail
Čížek, P., Faigl, J. 2017 RNN-based Visual Obstacle Avoidance with a CPG Controlled Hexapod Walking Robot, detail
Faigl, J., Váňa, P. 2017 Unsupervised learning for surveillance planning with team of aerial vehicles, detail
Faigl, J., Váňa, P., Saska, M., Báča, T., Spurný, V. 2017 On solution of the Dubins touring problem, detail
Faigl, J. 2017 Self-organizing map for orienteering problem with dubins vehicle, detail
Čížek, P., Faigl, J., Bayer, J. 2017 Enhancing Neural Based Obstacle Avoidance with CPG Controlled Hexapod Walking Robot, detail
Milička, P., Čížek, P., Faigl, J. 2017 Neural based obstacle avoidance with CPG controlled hexapod walking robot, detail
Čížek, P., Masri, D., Faigl, J. 2017 Foothold Placement Planning with a Hexapod Crawling Robot, detail
Váňa, P., Faigl, J., Sláma, J., Pěnička, R. 2017 Data Collection Planning with Limited Budget for Dubins Airplane, detail
Faigl, J. 2017 On Self-Organizing Maps for Orienteering Problems, detail
Nowicki, M.R., Belter, D., Kostusiak, A., Čížek, P., Faigl, J., Skrzypczyński, P. 2017 An experimental study on feature-based SLAM for multi-legged robots with RGB-D sensors, detail
Faigl, J., Hollinger, G. 2017 Autonomous Data Collection Using a Self-Organizing Map, detail
Pevný, T., Somol, P. 2017 Using Neural Network Formalism to Solve Multiple-Instance Problems, detail
Selecký, M., Rollo, M., Volf, P. 2017 Simulation of UAS integration into shared airspace for validation of impact on ATM systems, detail
Šourek, G., Železný, F., Kuželka, O., Shockaert, S., Manandhar, S. 2017 Learning Predictive Categories Using Lifted Relational Neural Networks, detail
Ryšavý, P., Železný, F. 2017 Estimating Sequence Similarity from Contig Sets, detail
Borovec, J., Kybic, J., Nava Velazco, U. 2017 Detection and Localization of Drosophila Egg Chambers in Microscopy Images, detail
Olveres, J., Nava Velazco, U., Escalante-Ramirez, B., Vallejo, E., Kybic, J. 2017 Left ventricle Hermite-based segmentation, detail
Trnka, M., Tomášek, M., Černý, T. 2017 Context-Aware Security Using Internet of Things Devices, detail
Qingyu, G., An, B., Bošanský, B., Kiekintveld, C. 2017 Comparing Strategic Secrecy and Stackelberg Commitment in Security Games, detail
Bureš, M., Al-Beywanee, B. 2017 On the Effectiveness of Combinatorial Interaction Testing: A Case Study, detail
Tožička, J., Štolba, M., Komenda, A. 2017 The limits of strong privacy preserving multi-agent planning, detail
Tožička, J., Komenda, A., Štolba, M. 2017 epsilon-Strong Privacy Preserving Multiagent Planner by Computational Tractability, detail
Lisý, V., Bowling, M. 2017 Eqilibrium Approximation Quality of Current No-Limit Poker Bots, detail
Mannová, B., Preston, C. 2017 COMPUTER SCIENCE INCLUSION IN THE SCHOOL CURRICULUM, detail
Mannová, B., Preston, C., Younie, S. 2017 Elearning Compared From A Community Of Practice and a Mooc Perspective, detail
Mannová, B., Preston, C., Younie, S. 2017 Collaborative lifelong learning for teacher educators across cultural boundaries, detail
Mannová, B. 2017 “Why are software projects different?”, detail
Štolba, M., Eider, M., Sellner, D., Berl, A. 2017 Seamless Electromobility, detail
Vondrouš, O., Macejko, P., Kocur, Z. 2017 Simulation of the Application Layer in NarrowBand Networks with Conditional Data Injection XML Scheme Based on Universal Data Generator, detail
Al-Beywanee, B., Bureš, M., Zamli, K., Afzal, W. 2017 Constrained Interaction Testing: A Systematic Literature Study, detail
Kungurtsev, V., Jäschke, J. 2017 A Predictor-Corrector Path-Following Algorithm for Dual-Degenerate Parametric Optimization Problems, detail
Čertický, M., Churchill, D. 2017 The Current State of StarCraft AI Competitions and Bots, detail
Čertický, M., Churchill, D., Preuss, M., Richoux, F. 2017 StarCraft Bots and Competitions, detail
Prasse, P., Machlica, L., Pevný, T., Havelka, J., Scheffer, T. 2017 Malware Detection by Analysing Encrypted Network Traffic with Neural Networks, detail
Plander, I., Štepanovský, M. 2017 MEMS technology in optical switching, detail
Trnka, M., Černý, T., Donahoo, M.J. 2017 Contextual Understanding of Microservice Architecture: Current and Future Directions, detail
Atef, A., Hagras, T., Mahdy, Y.B., Janeček, J. 2017 Lower-bound complexity algorithm for task scheduling on heterogeneous grid, detail
Čemus, K., Klimeš, F., Kratochvíl, O., Černý, T. 2017 Separation of Concerns for Distributed Cross-platform Context-aware User Interfaces, detail
Čemus, K., Klimeš, F., Černý, T. 2017 Aspect-driven Context-aware Services, detail
Bureš, M., Černý, T., Klíma, M. 2017 Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows, detail
Černý, T., Bureš, M. 2017 Static Testing Using Different Types of CRUD Matrices, detail
Bureš, M. 2017 Requirements for IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V2, detail
Bureš, M. 2017 Specification of the IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V3, detail
Bošanský, B., Branzei, S., Hansen, K.A., Lund, T.B., Miltersen, P.B. 2017 Computation of Stackelberg Equilibria of Finite Sequential Games, detail
2017 Duckietown: An Open,Inexpensive and Flexible Platform for Autonomy Education and Research, detail
Železný, F., Černoch, R. 2017 Lock-chart Solving Algorithm Testbed, detail
Hammerschmidt, C.A., García, S., Verwer, S., State, R. 2017 Reliable Machine Learning for Networking: Key Issues and Approaches, detail
Safavi-Naini, R., Lisý, V., Desmedt, Y.G. 2017 Economically Optimal Variable Tag Length Message Authentication, detail
Safavi-Naini, R., Poostindouz, A., Lisý, V. 2017 Path Hopping: an MTD Strategy for Quantum-safe Communication, detail
Mannová, B. 2017 Why are software projects different, detail
Rollo, M. 2017 Integration of unmanned aircraft systems into shared airspace, detail
Jakubův, J., Suda, M., Urban, J. 2017 Automated Invention of Strategies and Term Orderings for Vampire, detail
Jakubův, J., Urban, J. 2017 ENIGMA: Efficient Learning-Based Inference Guiding Machine, detail
Jakubův, J., Urban, J. 2017 BliStrTune: Hierarchical Invention of Theorem Proving Strategies, detail
2017 A formal proof of the Kepler conjecture, detail
Kaliszyk, C., Urban, J., Vyskočil, J. 2017 Automating Formalization by Statistical and Semantic Parsing of Mathematics, detail
Gauthier, T., Kaliszyk, C., Urban, J. 2017 TacticToe: Learning to Reason with HOL4 Tactics, detail
Schulz, S., Sutcliffe, G., Urban, J., Pease, A. 2017 Detecting Inconsistencies in Large First-Order Knowledge Bases, detail
Farber, M., Kaliszyk, C., Urban, J. 2017 Monte carlo tableau proof search, detail
Gauthier, T., Kaliszyk, C., Urban, J. 2017 Initial experiments with statistical conjecturing over large formal corpora, detail
Urban, J. 2017 AI at CADE/IJCAR, detail
Anděl, M., Kléma, J., Topinka, J. 2017 EMPIRICAL EVALUATION OF QNTR MODELS BUILD ON PHYSICO-CHEMICAL CHARACTERISTICS, detail