Publications

Komenda, A., Novák, P., Pěchouček, M. 2015 Multiagent Plan Repair by Combined Prefix and Suffix Reuse, detail

Jakubův, J., Tožička, J., Komenda, A. 2015 Multiagent Planning by Plan Set Intersection and Plan Verification, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Certified Connection Tableaux Proofs for HOL Light and TPTP, detail

Nguyen, V. 2015 Model Driven Testing of Web Applications Using Domain Specific Language, detail

Černý, T., Mátl, L., Čemus, K., Donahoo, M.J. 2015 Evaluation of Separated Concerns in Web-based Delivery of User Interfaces, detail

Černý, T., Donahoo, M.J. 2015 Separating out Platform-independent Particles of User Interfaces, detail

Hrnčíř, J., Rovatsos, M., Jakob, M. 2015 Ridesharing on Timetabled Transport Services: A Multiagent Planning Approach, detail

Kalina, P., Vokřínek, J., Mařík, V. 2015 Agents Towards Vehicle Routing Problem with Time Windows, detail

Šebek, J., Richta, K. 2015 Aspect-oriented User Interface Design for Android Applications, detail

Čemus, K. 2015 Evaluation of Business Rules Maintenance in Enterprise Information Systems, detail

Tomášek, M., Černý, T. 2015 Automated User Interface Derivation for Remote Data in Standalone Apps, detail

Mátl, L., Černý, T., Donahoo, M.J. 2015 Effective Manycast Messaging for Kademlia Network, detail

Krejčík, Z., Beličková, M., Hruštincová, A., Kléma, J., Zemanová, Z., Michalová, K., Čermák, J., Jonášová, A., Merkerová, M.D. 2015 Aberrant expression of miRNA cluster in 14q32 region is associated with del(5q) myelodysplastic syndrome and lenalidomide treatment, detail

Cellier, P., Charnois, T., Plantevit, M., Rigotti, Ch., Crémilleux, B., Gandrillon, O., Kléma, J., Manguin, J. 2015 Sequential Pattern Mining for Discovering Gene Interactions and their Contextual Information from Biomedical Texts, detail

Dostalova Merkerova, M., Krejcik, Z., Belickova, M., Hrustincova, A., Kléma, J., Stara, E., Zemanova, Z., Michalova, K., Cermak, J., Jonasova, A. 2015 Genome-wide miRNA Profiling in Myelodysplastic Syndrome with del(5q) Treated with Lenalidomide, detail

Selecký, M., Rollo, M., Losiewicz, P., Reade, J., Maida, N. 2015 Framework for Incremental Development of Complex Unmanned Aircraft Systems, detail

Kocur, Z., Votava, O., Kozák, M., Lokaj, Z., Šimák, B., Kencl, L., Vojtěch, L., Bezpalec, P., Kučerák, J., Hájek, J. 2015 Testovací platforma HW sond komunikačních sítí, detail

Anděl, M., Kléma, J., Krejčík, Z. 2015 Network-Constrained Forest for Regularized Classification of Omics Data, detail

Volf, P. 2015 NAS-Wide Simulation of Air Traffic with ATC Behavior Model, detail

Pokorný, J., Richta, K. 2015 Database Architectures: Current State and Development, detail

Bartoš, K., Rehák, M. 2015 IFS: Intelligent flow sampling for network security–an adaptive approach, detail

Shleyfman, A., Komenda, A., Domshlak, C. 2015 On Interruptible Pure Exploration in Multi-Armed Bandits, detail

Šourek, G., Kuželka, O., Železný, F. 2015 Learning to detect network intrusion from a few labeled events and background traffic, detail

Šourek, G. 2015 VisualEA - Visual design of Evolutionary Optimizers for Engineering Applications, detail

Schaefer, M., Vokřínek, J. 2015 AgentDrive: Towards an Agent-Based Coordination of Intelligent Cars, detail

Schaefer, M., Vokřínek, J. 2015 Developing agent-based driver assistance systems using AgentDrive, detail

Vavřinec, M., Schaefer, M. 2015 Prioritized Planning for Road Vehicles Coordination, detail

Kléma, J., Strnad, P., Anděl, M., Holec, M., Gologuzov, V. 2015 miXGENE, detail

Černý, T., Macík, M., Donahoo, M.J., Janoušek, J. 2015 On Distributed Concern Delivery in User Interface Design, detail

Daneshmand, A., Facchinei, F., Kungurtsev, V., Scutari, G. 2015 Hybrid Random/Deterministic Parallel Algorithms for Convex and Nonconvex Big Data Optimization, detail

Černý, T., Donahoo, M.J. 2015 On Separation of Platform-Independent Particles in User Interfaces, detail

Votava, O., Macejko, P., Janeček, J. 2015 Dynamic Local Scheduling of Multiple DAGs in Distributed Heterogeneous Systems, detail

Bureš, M. 2015 PCTgen: Automated Generation of Test Cases for Application Workflows, detail

Bureš, M. 2015 Model for Evaluation and Cost Estimations of the Automated Testing Architecture, detail

Filipský, M., Bureš, M., Jelínek, I. 2015 Creating Smart Tests from Recorded Automated Test Cases, detail

Jelínek, I. 2015 Digital Education Strategy for the Czech Republic, detail

Kopp, M., Holeňa, M. 2015 Evaluation of Association Rules Extracted during Anomaly Explanation., detail

Frajták, K., Bureš, M., Jelínek, I. 2015 Transformation of IFML Schemas to Automated Tests, detail

Bureš, M. 2015 Framework for Assessment of Web Application Automated Testability, detail

Frajták, K., Bureš, M., Jelínek, I. 2015 Using the Interaction Flow Modelling Language for Generation of Automated Front–End Tests, detail

Trnka, M., Černý, T. 2015 Context-aware Role-based Access Control Using Security Levels, detail

Čemus, K., Černý, T., Donahoo, M.J. 2015 Evaluation of Approaches to Business Rules Maintenance in Enterprise Information Systems, detail

Čemus, K., Černý, T., Mátl, L., Donahoo, M.J. 2015 Enterprise Information Systems: Comparison of Aspect-driven and MVC-like Approaches, detail

Tomášek, M., Černý, T. 2015 On Web Services UI In User Interface Generation in Standalone Applications, detail

Čemus, K., Černý, T., Donahoo, M.J. 2015 Automated Business Rules Transformation into a Persistence Layer, detail

Čertický, M., Drchal, J., Cuchý, M., Jakob, M. 2015 Fully Agent-based Simulation Model of Multimodal Mobility in European Cities, detail

Čertický, M., Jakob, M., Píbil, R. 2015 Analyzing On-demand Mobility Services by Agent-based Simulation, detail

Hrnčíř, J., Žilecký, P., Song, Q., Jakob, M. 2015 Speedups for Multi-Criteria Urban Bicycle Routing, detail

Nykl, J., Hrnčíř, J., Jakob, M. 2015 Achieving Full Plan Multimodality by Integrating Multiple Incomplete Journey Planners, detail

Šourek, G., Pošík, P. 2015 Visual Data-Flow Framework of Evolutionary Computation, detail

Malinka, F. 2015 Prediction of Protein Stability Changes Upon One-point Mutations Using Machine Learning, detail

Pluskal, O. 2015 Behavioural Malware Detection Using Efficient SVM Implementation, detail

Malinský, R., Jelínek, I. 2015 Trend Analysis Framework, detail

Grill, M., Nikolaev, I., Velaros, V., Rehák, M. 2015 Detecting DGA malware using NetFlow, detail

Holec, M., Kuželka, O., Železný, F. 2015 Novel Gene Sets Improve Set-level Classification of Prokaryotic Gene Expression Data, detail

Monge, D.A., Holec, M., Železný, F., Garino, C.G. 2015 Ensemble Learning of Runtime Prediction Models for Gene-expression Analysis Workflows, detail

Kunc, V., Kléma, J., Anděl, M. 2015 Increasing Weak Classifier Diversity by Omics Networks, detail

Anděl, M., Kléma, J., Masri, F., Krejčík, Z., Beličková, M. 2015 Sparse Omics-network Regularization to Increase Interpretability and Performance of Linear Classification Models, detail

Bureš, M. 2015 Metrics for Automated Testability of Web Applications, detail

Čáp, M., Novák, P., Kleiner, A., Selecký, M. 2015 Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots, detail

Dolgikh, D., Jelínek, I. 2015 Graph-based Music Recommendation Approach Using Social Network Analysis and Community Detection Method, detail

Durkota, K., Lisý, V., Kiekintveld, K., Bošanský, B. 2015 Game-Theoretic Algorithms for Optimal Network Security Hardening Using Attack Graphs, detail

Durkota, K., Lisý, V., Bošanský, B., Kiekintveld, K. 2015 Optimal Network Security Hardening Using Attack Graph Games, detail

Mrva, J., Faigl, J. 2015 Tactile Sensing with Servo Drives Feedback only for Blind Hexapod Walking Robot, detail

Mrva, J., Faigl, J. 2015 Feature Extraction for Terrain Classification with Crawling Robots, detail

Mrva, J., Stejskal, M., Faigl, J. 2015 On Traversability Cost Evaluation from Proprioceptive Sensing for a Crawling Robot, detail

Mrva, J. 2015 Adaptive Body Motion for Blind Hexapod Robot in a Rough Environment, detail

Anděl, M., Masri, F. 2015 Sparse Omics-network Regularization to Increase Interpretability and Performance of SVM-based Predictive Models, detail

Durkota, K., Lisý, V., Bošanský, B., Kiekintveld, K. 2015 Approximate Solutions for Attack Graph Games with Imperfect Information, detail

Čermák, J., Bošanský, B., Gatti, N. 2015 Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games, detail

Čáp, M., Vokřínek, J., Kleiner, A. 2015 Complete Decentralized Method for On-Line Multi-Robot Trajectory Planning in Valid Infrastructures, detail

Egan, M., Schaefer, M., Jakob, M., Oren, N. 2015 A Double Auction Mechanism for On-Demand Transport Networks, detail

Štolba, M., Fišer, D., Komenda, A. 2015 Comparison of RPG-based FF and DTG-based FF Disrtibuted Heuristics, detail

Štolba, M., Fišer, D., Komenda, A. 2015 Admissible Landmark Heuristic for Multi-Agent Planning, detail

Fišer, D., Štolba, M., Komenda, A. 2015 MAPlan, detail

Tožička, J., Jakubův, J., Komenda, A. 2015 On Internally Dependent Public Actions in Multiagent Planning, detail

Tožička, J., Jakubův, J., Komenda, A. 2015 PSM-based Planners Description for CoDMAP 2015 Competition, detail

Komenda, A., Štolba, M., Kovacs, D.L., Pěchouček, M. 2015 Proceedings of the 3rd Workshop on Distributed and Multi - Agent Planning, detail

Hájíček, J., Komenda, A. 2015 Narrative Planning Agents Under a Cognitive Hierarchy, detail

Štolba, M., Komenda, A., Kovacs, D.L. 2015 Competition of Distributed and Multiagent Planners (CoDMAP), detail

Štolba, M., Komenda, A., Kovacs, D.L. 2015 Proceedings of the Competition of Distributed and Multi-Agent Planners (CoDMAP-15), detail

Štolba, M., Komenda, A. 2015 MADLA: Planning with Distributed and Local Search, detail

Schaefer, M. 2015 Planning and Coordination in Driving Simulation, detail

Šebek, J. 2015 The security of Web Applications as important aspect in software development, detail

Čermák, J., Bošanský, B., Gatti, N. 2015 Effectiveness of Game-Theoretic Strategies in Extensive-Form General-Sum Games, detail

Černý, T., Donahoo, M.J. 2015 Impact of Remote User Interface Design and Delivery on Energy Demand, detail

Šebek, J., Trnka, M., Černý, T. 2015 On Aspect-Oriented Programming in Adaptive User Interfaces, detail

Čertický, M., Jakob, M., Cuchý, M., Drchal, J., Šimeček, M., Togel, M. 2015 Škálovatelná agentní simulační platforma pro modelování multimodální mobility, detail

Bartík, M., Ubik, S., Kubalík, P. 2015 LZ4 Compression Algorithm on FPGA, detail

Bartík, M., Ubik, S., Kubalík, P. 2015 Rychlé bezztrátové kompresní algoritmy, detail

Bošanský, B., Jiang, AX, Tambe, M., Kiekintveld, C D 2015 Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies, detail

Bošanský, B., Čermák, J. 2015 Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games, detail

Bošanský, B., Branzei, S., Hansen, KA, Miltersen, PB, Sorensen, TB 2015 Computation of Stackelberg Equilibria of Finite Sequential Games, detail

Buk, Z., Čepek, M. 2015 Proceedings of the 12th International Mathematica Symposium, detail

Buk, Z. 2015 GPU-Accelerated Recurrent Neural Networks, detail

Kerhart, M., Drchal, J. 2015 CaffeLink: Mathematica binding for Caffe Deep Learning Framework, detail

Malinský, R., Jelínek, I. 2015 The Visualizer for Real-Time Analysis of Internet Trends, detail

Lisý, V., Lanctot, M., Bowling, M. 2015 Online Monte Carlo Counterfactual Regret Minimization for Search in Imperfect Information Games, detail

Filipský, M., Bureš, M., Jelínek, I. 2015 Automated Optimization of Functional Recorded Tests, detail

Tožička, J., Jakubův, J., Durkota, K., Komenda, A. 2015 Extensibility Based Multiagent Planner with Plan Diversity Metrics, detail

Pire, T., Fischer, T., Faigl, J. 2015 Impact Assessment of Image Feature Extractors on the Performance of SLAM Systems, detail

Vázquez-Otero, A., Faigl, J., Dormido, R., Duro, N. 2015 Reaction Diffusion Voronoi Diagrams: From Sensors Data to Computing, detail

Faigl, J., Kulich, M. 2015 On Benchmarking of Frontier-Based Multi-Robot Exploration Strategies, detail

Jakubův, J., Tožička, J., Komenda, A. 2015 Using Process Calculi for Plan Verification in Multiagent Planning, detail

Nava Velazco, U., Kybic, J. 2015 Supertexton-based segmentation in early Drosophila oogenesis, detail

Čáp, M., Novák, P., Kleiner, A. 2015 Finding Near-optimal Solutions in Multi-robot Trajectory Planning, detail

Vaněk, O., Hrstka, O., Kopřiva, Š., Faigl, J., Pěchouček, M. 2015 Bi-objective maritime route planning in pirate-infested waters, detail

Hrstka, O., Vaněk, O., Kopřiva, Š., Zelinka, J., Faigl, J., Pěchouček, M. 2015 Agent-based Approach to Illegal Maritime Behavior Modeling, detail

Váňa, P., Faigl, J. 2015 On the Dubins Traveling Salesman Problem with Neighborhoods, detail

Čížek, P., Faigl, J. 2015 On FPGA Based Acceleration of Image Processing in Mobile Robotics, detail

Váňa, P., Faigl, J. 2015 On sampling based methods for the Dubins Traveling Salesman Problem with Neighborhoods, detail

Faigl, J., Simonin, O., Charpillet, F. 2015 Comparison of Task-Allocation Algorithms in Frontier-Based Multi-robot Exploration, detail

García, S. 2015 Modelling the Network behaviour of Malware to Block Malicious Patterns. The Stratosphere Project: a Behavioural IPS, detail

Kubr, J., Macek, O., Strnad, P., Votava, O. 2015 Integrace datových služeb vědecko-výukové skupiny, detail

Kubr, J., Macek, O., Strnad, P., Votava, O. 2015 Bezpečnost při zálohování a archivaci, detail

Kubr, J., Macek, O., Strnad, P. 2015 Testy a dokumentace aplikace pro sběr dat v komunitě, detail

Kubr, J., Macek, O., Strnad, P. 2015 Doporučení pro další rozvoj znalostní databáze v oblasti sběru dat a jejich analýzy, detail

Vondrouš, O., Macejko, P., Kocur, Z. 2015 CER/TER - The New Metric for TCP Connection Robustness Evaluation and Comparison, detail

Vondrouš, O., Macejko, P., Kocur, Z. 2015 FlowPing - The New Tool for Throughput and Stress Testing, detail

Ondráček, J., Vaněk, O., Pěchouček, M. 2015 Solving Infrastructure Monitoring Problems with Multiple Heterogeneous Unmanned Aerial Vehicles, detail

Stiborek, J., Rehák, M., Pevný, T. 2015 Towards Scalable Network Host Simulation, detail

Kohout, J., Pevný, T. 2015 Unsupervised Detection of Malware in Persistent Web Traffic, detail

Kohout, J., Pevný, T. 2015 Automatic Discovery of Web Servers Hosting Similar Applications, detail

Borovec, J., Nava Velazco, U., Kybic, J. 2015 Extension of Drosophila ovary segmentation using super-voxels and GraphCut in 3D, detail

Nitsche, M., Krajník, T., Čížek, P., Mejjail, M., Duckett, T. 2015 WhyCon: An Efficient, Marker-Based Localization System, detail

Kléma, J., Zahálka, J., Anděl, M., Krejčík, Z. 2015 Interaction-Based Aggregation of mRNA and miRNA Expression Profiles to Differentiate Myelodysplastic Syndrome, detail

Bureš, M., Koula, O. 2015 System for Analysis of Testability of Web Application by Automated Test, detail

Nykl, J., Jakob, M., Hrnčíř, J. 2015 Efficient Fine-Grained Analysis of Urban Transport Accessibility, detail

Fesl, J., Doležalová, M., Drdák, F., Janeček, J. 2015 New Techniques of IEEE 802.11 Family Hotspots Attacks, Principles and Defense, detail

Klíma, R., Lisý, V., Kiekintveld, Ch. 2015 Combining online learning and equilibrium computation in security games, detail

Kiekintveld, C., Lisý, V., Píbil, R. 2015 Game-Theoretic Foundations for the Strategic Use of Honeypots in Network Security, detail

Pevný, T., Ker, Andrew D. 2015 Towards dependable steganalysis, detail

Cogranne, Remi, Sedighi, Vahid, Fridrich, Jessica, Pevný, T. 2015 Is Ensemble Classifier Needed for Steganalysis in High-Dimensional Feature Spaces?, detail

Pevný, T., Nikolaev, I. 2015 Optimizing pooling function for pooled steganalysis, detail

Létal, V., Pevný, T., Somol, Petr, Smidl, Vasek 2015 Finding New Malicious Domains Using Variational Bayes on Large-Scale Computer Network Data, detail

Šourek, G., Pošík, P. 2015 Dynamic System Modeling of Evolutionary Algorithms, detail

Fesl, J., Plch, L., Doležalová, M., Drdák, F. 2015 Live Migration of Virtual Distributed Computing Systems, detail

Sofka, M. 2015 Integrated Detection Network for Multiple Object Recognition, detail

Černý, T. 2015 Vývoj a zajištění kvality Java Middleware, detail

Komenda, A., Štolba, M., Domshlak, C., Pěchouček, M. 2015 Towards Robust Multiagent Plans: Final Report, detail

Richta, K., Pokorný, J., Snášel, V. 2015 DATESO 2015, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Learning to Parse on Aligned Corpora (Rough Diamond), detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Efficient Semantic Features for Automated Reasoning over Large Theories, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Lemmatization for Stronger Reasoning in Large Theories, detail

Kaliszyk, C., Schulz, S., Urban, J., Vyskočil, J. 2015 System Description: E.T. 0.1, detail

Šourek, G., Železný, F. 2015 Learning to Detect Network Intrusion from a Few Labeled Events and Background Traffic, detail

Monge, D.A., Holec, M., Železný, F., Garino, CG 2015 Learning Running-time Prediction Models for Gene-Expression Analysis Workflows, detail

Bartoš, K., Sofka, M. 2015 Robust Representation for Domain Adaptation in Network Security, detail

Kiekintveld, C., Lisý, V., Píbil, R. 2015 Game-theoretic Foundations for the Strategic Use of Honeypots in Network Security, detail

Plander, I., Štepanovský, M. 2015 Decoupling of two-axis electrostatically-actuated 3D MEMS mirror, detail

Urban, J. 2015 BliStr: The Blind Strategymaker, detail

Benda, P. 2015 Zálohování a archivace dat Centra agentních technologií s možností rozšiřitelnosti na obdobná pracoviště, detail

Buk, Z. 2015 Defection detection in transactions logs:Temporal sequences modeling using THSOM, detail

Buk, Z. 2015 Defection detection in transactions logs, detail

Železný, F., Černoch, R., Vyskočil, J. 2015 CyberCalc, detail

Macek, O., Strnad, P., Kencl, L. 2015 HACL2AllSeen Connector Software Architecture Proposal, detail

Šourek, G., Železný, F., Kuželka, O., Pevný, T. 2015 Learning to create and exploit aggregative and relational properties of flow-sets, detail

Černý, T., Nadimi, E.S. 2015 Proceeding of the 2015 Research in Adaptive and Convergent Systems (RACS 2015), detail

Štepanovský, M., Plander, I. 2015 Decoupling of two-axis electrostatically-actuated 3D MEMS mirror, detail

Belickova, M., Jonasova, A., Vesela, J., Pejsova, B., Kléma, J. 2015 Patterns of DNA Methylation and Gene Expression in Higher-Risk Myelodysplastic Syndromes: Predictors of Demethylating Therapy Response, detail

Buk, Z., Čepek, M. 2015 Proceedings of the 12th International Mathematica Symposium, detail

Buk, Z. 2015 GPU-Accelerated Recurrent Neural Networks, detail

Kaliszyk, C., Urban, J. 2015 FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover, detail

Nava Velazco, U., Olveres, J., Kybic, J., Escalante, B., Cristóbal, G. 2015 Feature Ensemble for Quantitative Analysis of Emphysema in CT imaging, detail

Persson Mattsson, B., Čertický, M. 2015 Automatic Observer Script for StarCraft: Brood War Bot Games (technical report), detail