Publications

Faigl, J., Hollinger, G. 2018 Autonomous Data Collection Using a Self-Organizing Map, detail

Čížek, P., Faigl, J. 2018 Real-Time FPGA-Based Detection of Speeded-Up Robust Features Using Separable Convolution, detail

Stiborek, J., Pevný, T., Rehák, M. 2018 Multiple instance learning for malware classification, detail

Pevný, T., Kohout, J. 2018 Network traffic fingerprinting based on approximated kernel two-sample test, detail

Plander, I., Štepanovský, M. 2018 Interdisciplinary considerations on the design of MEMS actuators from a perspective of their optimality, detail

Best, G., Faigl, J., Fitch, R. 2018 Online planning for multi-robot active perception with self-organising maps, detail

Fialka Sobková, L., Čertický, M. 2018 Urban mobility and influence factors: A case study of Prague, detail

Malý, J., Šustr, M., Čertický, M. 2018 Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report, detail

Čermák, J., Bošanský, B., Horák, K., Lisý, V., Pěchouček, M. 2018 Approximating Maxmin Strategies in Imperfect Recall Games Using A-loss Recall Property, detail

Bureš, M., Filipský, M., Jelínek, I. 2018 Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts, detail

Bureš, M., Frajták, K., Al-Beywanee, B. 2018 Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test, detail

Franc, V., Fikar, O., Bartoš, K., Sofka, M. 2018 Learning data discretization via convex optimization, detail

Gregoire, J., Čáp, M., Frazzoli, E. 2018 Locally-optimal Multi-robot Navigation Under Delaying Disturbances Using Homotopy Constraints, detail

Erquiaga, M.J., García, S., Garino, C.G. 2018 Observer Effect: How Intercepting HTTPS Traffic Forces Malware to Change Their Behavior, detail

Torreno, A., Onaindia, E., Komenda, A., Štolba, M. 2018 Cooperative Multi-Agent Planning: A Survey, detail

Stiborek, J., Pevný, T., Rehák, M. 2018 Multiple instance learning for malware classification, detail

Černoch, R., Železný, F. 2018 Zpráva o výslecích vývoje a validace, detail

Cigánek, M., Neča, J., Machala, M., Topinka, J., Libalova, H., Rossner, P., Vrbova, K., Brzicova, T., Vojtisek-Lom, M., Beránek, V., Kléma, J. 2018 Transcriptional response to organic compounds from diverse gasoline and biogasoline fuel emissions in human lung cells, detail

Štolba, M., Tožička, J., Komenda, A. 2018 Quantifying privacy leakage in multi-agent planning, detail

Bartík, M., Ubik, S., Kubalík, P., Beneš, T. 2018 Performance Comparison of Multiple Approaches of Status Register for Medium Density Memory Suitable for Implementation of a Lossless Compression Dictionary, detail

Selecký, M., Faigl, J., Rollo, M. 2018 Communication Architecture in Mixed-Reality Simulations of Unmanned Systems, detail

Fišer, D., Komenda, A. 2018 Fact-Alternating Mutex Groups for Classical Planning, detail

Fišer, D., Komenda, A. 2018 Concise Finite-Domain Representations for Factored MA-PDDL Planning Tasks, detail

Stiborek, J., Pevný, T., Rehák, M. 2018 Probabilistic analysis of dynamic malware traces, detail

Chung, J., Faigl, J., Hollinger, G.A. 2018 Guest editorial: Special issue on online decision making in multi-robot coordination, detail

Svatoš, M., Šourek, G., Železný, F., Shockaert, S., Kuželka, O. 2018 Pruning Hypothesis Spaces Using Learned Domain Theories, detail

Šourek, G., Svatoš, M., Kuželka, O., Železný, F., Schockaert, S. 2018 Stacked Structure Learning for Lifted Relational Neural Networks, detail

Kohout, J., Komárek, T., Čech, P., Bodnár, J., Lokoč, J. 2018 Learning Communication Patterns for Malware Discovery in HTTPs Data, detail

Brůžek, J., Cunha, E., Koterova, A., Navega, D., Štepanovský, M., Buk, Z. 2018 Age estimation of adult human remains from hip bones using advanced methods, detail

Bureš, M., Al-Beywanee, B., Zamli, K., Din, F. 2018 A hybrid Q-learning sine-cosine-based strategy for addressing the combinatorial test suite minimization problem, detail

Procházková, J., Strapáčová, S., Svržková, L., Andrysík, Z., Hýžďalová, M., Hrubá, E., Pěnčíková, K., Líbalová, H., Topinka, J., Kléma, J., Espinosa, J.M., Vondráček, J., Machala, J. 2018 Adaptive changes in global gene expression profile of lung carcinoma A549 cells acutely exposed to distinct types of AhR ligands, detail

Egan, M., Drchal, J., Mrkos, J., Jakob, M. 2018 Towards Data-Driven on-Demand Transport, detail

Cuchý, M., Štolba, M., Jakob, M. 2018 Whole Day Mobility Planning with Electric Vehicles, detail

Mrkos, J., Komenda, A., Jakob, M. 2018 Dynamic Pricing Strategy for Electromobility using Markov Decision Processes, detail

Fesl, J. 2018 Virtual Distributed Computing Systems and Their Applications, detail

Selecký, M., Faigl, J., Rollo, M. 2018 Analysis of Using Mixed Reality Simulations for Incremental Development of Multi-UAV Systems, detail

Šourek, G., Aschenbrenner, V., Železný, F., Schockaert, S., Kuželka, O. 2018 Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures, detail

Honková, K., Rossnerová, A., Pavlíková, J., Švecová, V., Kléma, J., Topinka, J., Milcova, A., Líbalová, H., Choi, H., Velemínský, M., Sram, R.J., Rossner Jr, P. 2018 Gene Expression Profiling in Healthy Newborns from Diverse Localities of the Czech Republic, detail

Malinka, F., Železný, F., Kléma, J. 2018 Genomic single rule learning with an ontology-based refinement operator, detail

Lisý, V. 2018 Game theory: from poker to network security, detail

Faigl, J. 2018 GSOA: Growing Self-Organizing Array - Unsupervised learning for the Close-Enough Traveling Salesman Problem and other routing problems, detail

Rigaki, M., García, S. 2018 Bringing a GAN to a Knife-Fight: Adapting Malware Communication to Avoid Detection, detail

Horák, K., Bošanský, B., Chatterjee, K. 2018 Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs, detail

Černý, J., Bošanský, B., Kiekintveld, C. 2018 Incremental Strategy Generation for Stackelberg Equilibria in Extensive-Form Games, detail

Fišer, D., Komenda, A. 2018 Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract), detail

Trnka, M., Cerny, T., Stickney, N. 2018 Survey of Authentication and Authorization for the Internet of Things, detail

Šourek, G., Hubáček, O., Železný, F. 2018 Lifted Relational Team Embeddings for Predictive Sports Analytics, detail

Štepanovský, M., Plander, I. 2018 Interdisciplinárne úvahy pri návrhu optických prepínačov MEMS z pohľadu ich optimálnosti, detail

Čížek, P., Faigl, J. 2018 On Locomotion Control Using Position Feedback Only in Traversing Rough Terrains with Hexapod Crawling Robot, detail

Pevný, T., Ker, A.D. 2018 Exploring Non-Additive Distortion in Steganography, detail

Almog, D., Chassidim, H.S., Tsubery, Y., Bureš, M., Mark, S. 2018 Conceptual Approach for Reuse of Test Automation Artifacts on Various Architectural Levels, detail

Faigl, J., Váňa, P. 2018 Surveillance Planning With Bezier Curves, detail

Wohlfahrtova, M., Hruba, P., Kléma, J., Novotny, M., Krejcik, Z., Stranecky, V., Honsova, E., Vichova, P., Viklicky, O. 2018 Early Isolated V-lesion May Not Truly Represent Rejection of the Kidney Allograft, detail

Fontaine, P., Kaliszyk, C., Schulz, S., Urban, J. 2018 Foreword to the Special Issue on Automated Reasoning, detail

Kopp, M., Bajer, L., Jílek, M., Holeňa, M. 2018 Comparing rule mining approaches for classification with reasoning, detail

Kléma, J. 2018 Learning from large, complex and structured omics data., detail

Mrkos, J., Komenda, A., Jakob, M. 2018 Revenue Maximization for Electric Vehicle Charging Service Providers Using Sequential Dynamic Pricing, detail

Fiedler, D., Čertický, M., Alonso-Mora, J., Čáp, M. 2018 The Impact of Ridesharing in Mobility-on-Demand Systems: Simulation Case Study in Prague, detail

Safavi-Naini, R., Poostindouz, A., Lisý, V. 2018 Path Hopping: An MTD Strategy for Long-Term Quantum-Safe Communication, detail

Bureš, M., Jaroš, M., Pechanec, J., Bunciak, S. 2018 PatrIoT framework - první prototyp, detail

Trnka, M., Svacina, J., Cerny, T., Song, E. 2018 Aspect oriented context-aware and event-driven data processing for internet of things, detail

Brzicova, T., Libalova, H., Vrbova, K., Sikorova, J., Philimonenko, V., Kléma, J., Topinka, J., Rossner, P. 2018 Whole-genome Expression Analysis in THP-1 Macrophage-like Cells Exposed to Diverse Nanomaterials, detail

Čertický, M., Churchill, D., Kim, K.J., Čertický, M., Kelly, R. 2018 StarCraft AI Competitions, Bots and Tournament Manager Software, detail

Szadkowski, R., Drchal, J., Faigl, J. 2018 Terrain Classification with Crawling Robot Using Long Short-Term Memory Network, detail

Erquiaga, M.J., García, S., Garino, C.G. 2018 Analysis of Botnet Behavior as a Distributed System, detail

Rigaki, M., García, S. 2018 Bringing a GAN to a Knife-Fight: Adapting Malware Communication to Avoid Detection, detail

Tožička, J., Jakubův, J., Komenda, A. 2018 Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning, detail

Barvínek, J., Kléma, J., Železný, F. 2018 Rozpoznávání, zda je datový tok komprimovaný, nebo šifrovaný: rešerše literatury a experimentální vyhodnocení dostupných technik, detail

Hrtánková, J., Barnea, N., Friedman, E., Gal, A., Schaefer, M. 2018 Lambda*(1405)-matter: Stable or unstable?, detail

Čertický, M., Drchal, J., Cuchý, M., Jakob, M. 2018 Advanced Methods of Activity-based Mobility Modelling, detail

Szadkowski, R., Čížek, P., Faigl, J. 2018 Learning Central Pattern Generator Network with Back-Propagation Algorithm, detail

Váňa, P., Faigl, J. 2018 Optimal Solution of the Generalized Dubins Interval Problem, detail

Váňa, P., Sláma, J., Faigl, J., Pačes, P. 2018 Any-Time Trajectory Planning for Safe Emergency Landing, detail

Prágr, M., Čížek, P., Faigl, J. 2018 Cost of Transport Estimation for Legged Robot Based on Terrain Features Inference from Aerial Scan, detail

Čížek, P., Kubík, J., Faigl, J. 2018 Online Foot-Strike Detection Using Inertial Measurements for Multi-Legged Walking Robots, detail

Čáp, M., Vajna, S., Frazzoli, E. 2018 Fleet Sizing in Vehicle Sharing Systems with Service Quality Guarantees, detail

Faigl, J., Deckerová, J. 2018 On Unsupervised Learning based Multi-Goal Path Planning for Visiting 3D Regions, detail

Basak, A., Černý, J., Gutierrez, M., Curtis, S., Kamhoua, C., Jones, D., Bošanský, B., Kiekintveld, C. 2018 An Initial Study of Targeted Personality Models in the FlipIt Game, detail

Bošanský, B., Kretinsky, J., Brazdil, T. 2018 Game Solving: Theory and Practice, detail

Bošanský, B. 2018 Game Theory for Cyber Deception, detail

Železný, F., Černoch, R. 2018 Detekce úzkých hrdel, detail

Železný, F., Černoch, R. 2018 Generická pravidla, detail

Železný, F., Černoch, R. 2018 Výzkumná zpráva - 1. rok, detail

Železný, F., Černoch, R. 2018 Výzkumná zpráva - 2. rok, detail

Váňa, P., Sláma, J., Faigl, J. 2018 The Dubins Traveling Salesman Problem with Neighborhoods in the Three-Dimensional Space, detail

Cuchý, M., Štolba, M., Jakob, M. 2018 Benefits of Multi-Destination Travel Planning for Electric Vehicles, detail

Jakubův, J., Urban, J. 2018 Hierarchical invention of theorem proving strategies, detail

Jakubův, J., Kaliszyk, C. 2018 Towards a Unified Ordering for Superposition-based Automated Reasoning, detail

Goertzel, Z., Jakubův, J., Urban, J. 2018 ProofWatch Meets ENIGMA: First Experiments, detail

Goertzel, Z., Jakubův, J., Schulz, S., Urban, J. 2018 ProofWatch: Watchlist Guidance for Large Theories in E, detail

Jakubův, J., Urban, J. 2018 Enhancing ENIGMA Given Clause Guidance, detail

Hubáček, O., Šourek, G., Železný, F. 2018 Deep Learning from Spatial Relations for Soccer Pass Prediction, detail

Piotrowski, B., Urban, J. 2018 ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback, detail

Bancerek, G., Naumowicz, A., Urban, J. 2018 System Description: XSL-Based Translator of Mizar to LaTeX, detail

Wang, Q., Kaliszyk, C., Urban, J. 2018 First Experiments with Neural Translation of Informal to Formal Mathematics, detail

Kaliszyk, C., Urban, J., Michalewski, H., Olšák, M. 2018 Reinforcement Learning of Theorem Proving, detail

Kadera, P., Novák, P., Vyskočil, J., Jirkovský, V. 2018 Knowledge-Driven Manufacturing, detail

Kopp, M., Grill, M., Kohout, J. 2018 Community-based anomaly detection, detail