Publications

Kléma, J., Zahálka, J., Anděl, M., Krejčík, Z. 2014 Knowledge-based Subtractive Integration of mRNA and miRNA Expression Profiles to Differentiate Myelodysplastic Syndrome, detail

Balík, M., Jelínek, I. 2014 RESTful User Model API for the Exchange of User's Preferences among Adaptive Systems, detail

Balík, M., Jelínek, I. 2014 Development Process and Evaluation Methods for Adaptive Hypermedia, detail

Balík, M. 2014 Ontology-based Model for Personalized Web Design, detail

Janovský, P., Čáp, M., Vokřínek, J. 2014 Finding Coordinated Paths for Multiple Holonomic Agents in 2-D Polygonal Environment (Page 1117), detail

Čemus, K., Černý, T. 2014 Aspect-driven design of Information Systems, detail

Mátl, L., Černý, T. 2014 Effective Manycast Messaging for Overlay Networks, detail

Macík, M., Černý, T., Slavík, P. 2014 Context-sensitive, cross-platform user interface generation, detail

Šubrt, L., Pechač, P., Hrstka, O., Micka, V., Vokřínek, J. 2014 Novel Mobility Model for Indoor Conference Scenarios, detail

Malinský, R., Jelínek, I. 2014 Comparing Methods of Trend Assessment, detail

Líbalová, H., Krčková, S., Uhlířová, K., Milcová, A., Schmuczerová, J., Cigánek, M., Kléma, J., Machala, M., Šrám, RJ, Topinka, J. 2014 Genotoxicity but not the AhR-mediated activity of PAHs is inhibited by other components of complex mixtures of ambient air pollutants, detail

Holec, M., Gologuzov, V., Kléma, J. 2014 miXGENE tool for learning from heterogeneous gene expression data using prior knowledge, detail

Dudakova, L., Stranecky, V., Kléma, J., Palos, M., Kalasova, S., Jirsova, K., Liskova, P. 2014 Genotyping of Lysyl Oxidase and Hepatocyte Growth Factor in Czech Keratoconic patients, detail

Komenda, A., Novák, P., Pěchouček, M. 2014 Domain-independent multi-agent plan repair, detail

Kocur, Z., Macejko, P., Chlumský, P., Vodrážka, J., Vondrouš, O. 2014 Adaptable System Increasing the Transmission Speed and Reliability in Packet Network by Optimizing Delay, detail

Macek, O. 2014 Model Driven Approach to Software Versioning, detail

Šišlák, D. 2014 Multi-agentní simulace letového provozu a jeho řízení, detail

Vokřínek, J., Schaefer, M., Horký, A. 2014 Development of multi agent traffic simulation environment with detailed vehicle model, detail

Vokřínek, J., Schaefer, M., Pinotti, D. 2014 Multi-agent traffic simulation for human-in-the-loop cooperative drive systems testing, detail

Riguzzi, F., Železný, F. 2014 Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012), detail

Buryan, P. 2014 Refinement Action-Based Framework for Utilization of Softcomputing in Inductive Learning, detail

Kuželka, O., Szabóová, A., Železný, F. 2014 A Method for Reduction of Examples in Relational Learning, detail

Wohlfahrtova, M., Brabcova, I., Železný, F., Balaz, P., Janousek, L., Honsova, E., Lodererova, A., Wohlfahrt, P., Viklicky, O. 2014 Tubular atrophy and low netrin-1 expression leves are risk factors associated with delayed kidney allograft function, detail

Čepek, M. 2014 Inductive Preprocessing Technology, detail

Chlumecký, M. 2014 Evaluation of Changes in Water Regime Caused by Long-term Development of Vegetation Cover, detail

Anděl, M. 2014 Network Constrained Forest to Improve Gene Expression Data Classification, detail

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

Čermák, J., Bošanský, B., Lisý, V. 2014 Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games, detail

Abaffy, M., Brázdil, T., Řehák, V., Bošanský, B., Kučera, A., Krčál, J. 2014 Solving adversarial patrolling games with bounded error, detail

Bureš, M. 2014 Automated Testing in the Czech Republic: The Current Situation and Issues, detail

Frajták, K., Bureš, M., Jelínek, I. 2014 Reducing user input validation code in web applications using Pex extension, detail

Bureš, M. 2014 Optimization of the Test Strategy and Efficient Operational Decisions during the Testing of Complex Software Systems: An Approach Based on Simulation of Testing Process, detail

Frajták, K., Bureš, M., Jelínek, I. 2014 Pex extension for generating user input validation code for web applications, detail

Černý, T., Macík, M., Donahoo, M., Janoušek, J. 2014 Efficient Description and Cache Performance in Aspect-Oriented User Interface Design, detail

Čertický, M., Píbil, R., Jakob, M., Moler, Z. 2014 Flexible Mobility Services Testbed, detail

Durkota, K., Lisý, V. 2014 Computing Optimal Policies for Attack Graphs with Action Failures and Costs, detail

Tožička, J., Jakubův, J., Durkota, K., Komenda, A., Pěchouček, M. 2014 Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions, detail

Tožička, J., Jakubův, J., Durkota, K., Komenda, A. 2014 Multiagent Planning by Iterative Negotiation over Distributed Planning Graphs, detail

Krajník, T., Nitsche, M., Faigl, J., Vaněk, P., Saska, M., Přeučil, L., Duckett, T., Mejail, M. 2014 A Practical Multirobot Localization System, detail

Vaněk, P., Faigl, J., Vokřínek, J. 2014 Unsupervised Learning of Growing Roadmap in Multi-Goal Motion Planning Problem, detail

Vaněk, P., Faigl, J., Masri, D. 2014 Multi-Goal Trajectory Planning with Motion Primitives for Hexapod Walking Robot, detail

García, S., Grill, M., Stiborek, J., Zunino, A. 2014 An empirical comparison of botnet detection methods, detail

Nykl, J., Jakob, M., Hrnčíř, J. 2014 Multimodal Transport Network Analyser, detail

Žilecký, P., Hrnčíř, J., Jakob, M. 2014 Urban Bicycle Route Planner, detail

Song, Q., Žilecký, P., Jakob, M., Hrnčíř, J. 2014 Exploring Pareto Routes in Multi-Criteria Urban Bicycle Routing, detail

Hrnčíř, J., Song, Q., Žilecký, P., Német, M., Jakob, M. 2014 Bicycle Route Planning with Route Choice Preferences, detail

Jakob, M., Hrnčíř, J., Oliva, L., Ronzano, F., Žilecký, P., Finnegan, J. 2014 Personalized Fully Multimodal Journey Planner, detail

Nykl, J., Jakob, M., Hrnčíř, J. 2014 Advanced Public Transport Network Analyser, detail

Vaněk, O., Hrstka, O., Pěchouček, M. 2014 Improving Group Transit Schemes to Minimize Negative Effects of Maritime Piracy, detail

Volf, P., Jakubův, J., Koranda, L., Šišlák, D., Pěchouček, M., Mereu, S., Hilburn, B., Nguyen, D.N. 2014 Validation of an Air-Traffic Controller behavioral model for fast time simulation, detail

Tožička, J., Jakubův, J., Komenda, A. 2014 Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines, detail

Janeček, J., Kubr, J. 2014 Zařízení pro integrované a distribuované řízení a správu inteligentních budov a bytů, detail

Janeček, J. 2014 Schaltung fur eine integrierte Steuerung und Verwaltung in Service-Networken von intelligenten Gebauden, detail

Moucha, A., Černý, V., Kubr, J., Janeček, J. 2014 Distributed phase-shift beamforming power balancing in ad-hoc and sensor networks, detail

Dolgikh, D., Jelínek, I. 2014 Modelling of the musical taste using semantic network for recommendation systems, detail

Líbalová, H., Krčková, S., Uhlířová, K., Kléma, J., Ciganek, M., Rossener Jr., P., Šrám, R.J., Vondráček, J., Machala, M., Topinka, J. 2014 Analysis of Gene Expression Changes in A549 Cells Induced by Organic Compounds from Respirable Air Particles, detail

Shleyfman, A., Komenda, A., Domshlak, C. 2014 On Combinatorial Actions and CMABs with Linear Side Information, detail

Štolba, M., Komenda, A. 2014 Relaxation Heuristics for Multiagent Planning, detail

Kopp, M., Pevný, T., Holeňa, M. 2014 Interpreting and clustering outliers with sapling random forests, detail

Pevný, T., Kopp, M. 2014 Explaining Anomalies with Sapling Random Forests, detail

Černý, V., Moucha, A., Kubr, J. 2014 Optimal algorithm for phase shift searching for the DPSBF, detail

Černý, V., Moucha, A., Kubr, J. 2014 Interference Cancellation by the Usage of Distributed Phase Shift Beamforming, detail

Lisý, V., Kessl, R., Pevný, T. 2014 Randomized Operating Point Selection in Adversarial Classification, detail

Lanctot, M., Lisý, V., Winands, M.H.M. 2014 Monte Carlo Tree Search in Simultaneous Move Games with Applications to Goofspiel, detail

Lisý, V. 2014 ALTERNATIVE SELECTION FUNCTIONS FOR INFORMATION SET MONTE CARLO TREE SEARCH, detail

Vondrouš, O., Macejko, P., Kocur, Z. 2014 Multipath TCP in LTE Networks, detail

Macek, O., Richta, K. 2014 Application and Relational Database Co-Refactoring, detail

Ondráček, J., Vaněk, O., Pěchouček, M. 2014 Monitoring Oil Pipeline Infrastructures with Multiple Unmanned Aerial Vehicles, detail

Tožička, J., Šišlák, D., Pěchouček, M. 2014 Diverse Planning for UAV Trajectories, detail

Rehák, M., Jusko, J., Pevný, T. 2014 A Memory Efficient Privacy Preserving Representation of Connection Graphs, detail

Stiborek, J., Grill, M., Rehák, M., Bartoš, K., Jusko, J. 2014 Game Theoretical Model for Adaptive Intrusion Detection System, detail

Jusko, J., Rehák, M. 2014 Identifying peer-to-peer communities in the network by connection graph analysis, detail

Rollo, M., Selecký, M., Meiser, T., Markovič, M.M., Janečka, A.J., Balda, M.B., Jeřábek, P.J. 2014 Telemetrický systém pro zvýšení bezpečnosti provozu ultralehkých letounů, detail

Šourek, G., Kuželka, O., Železný, F. 2014 Predicting Top-k Trends on Twitter using Graphlets and Time Features, detail

Monge, D A, Holec, M., Železný, F., Garino, C G 2014 Ensemble Learning of Run-Time Prediction Models for Data-Intensive Scientific Workflows, detail

Železný, F. 2014 Satisfiability Machines, detail

Nguyen, V., Qafmolla, X., Richta, K. 2014 Domain Specific Language Approach on Model-driven Development of Web Services, detail

Qafmolla, X., Nguyen, V. 2014 Semiautomatic Generation of Content-based Web Applications: An Evaluation of Supporting Tools, detail

Qafmolla, X., Nguyen, V., Richta, K. 2014 Metamodel-based Generation of Web Content Management Systems, detail

Chlumecký, M., Tesař, M., Buchtele, J. 2014 The Appraisals of Long Time Series of Evapotranspiration Using Modelling Rainfall-Runoff with Optimized Parameters, detail

Balková, L., Hladký, J. 2014 Generátory pseudonáhodných čísel založené na nekonečných slovech, detail

Pluskal, O., Šedivý, J. 2014 Predicting Players Behavior in Games with Microtransactions, detail

Bošanský, B., Kiekintveld, C., Lisý, V., Pěchouček, M. 2014 An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information, detail

Klíma, R., Kiekintveld, Ch., Lisý, V. 2014 Online Learning Methods for Border Patrol Resource Allocation, detail

Bureš, M. 2014 Change Detection System for the Maintenance of Automated Testing, detail

Vazquez-Otero, A., Faigl, J., Duro, N., Dormido, R. 2014 Reaction-Diffusion based Computational Model for Autonomous Mobile Robot Exploration of Unknown Environments, detail

Faigl, J., Hollinger, G.A. 2014 Unifying multi-goal path planning for autonomous data collection, detail

Faigl, J., Hollinger, G.A. 2014 Self-Organizing Map for the Prize-Collecting Traveling Salesman Problem, detail

Faigl, J., Vaněk, P., Kulich, M. 2014 Self-organizing map for determination of goal candidates in mobile robot exploration, detail

Ker, Andrew D., Pevný, T. 2014 A mishmash of methods for mitigating the model mismatch mess, detail

Pevný, T., Ker, Andrew D. 2014 Steganographic key leakage through payload metadata, detail

Ker, Andrew D., Pevný, T. 2014 The Steganographer is the Outlier: Realistic Large-Scale Steganalysis, detail

Rollo, M., Selecký, M., Meiser, T., Markovič, M., Balda, M. 2014 Technology for collision detection and avoidance in light sport aircraft domain, detail

Kaliszyk, C., Urban, J., Vyskočil, J., Geuvers, H. 2014 Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2014 Machine Learner for Automated Reasoning 0.4 and 0.5, detail

Rollo, M., Meiser, T., Selecký, M., Šišlák, D. 2014 Systém pro předcházení kolizním situacím při letu ultra lehkých letadel, detail

Rollo, M., Meiser, T., Selecký, M. 2014 SeSock Lite, detail

Rollo, M., Meiser, T., Selecký, M. 2014 TcpLite, detail

Jalovec, K., Železný, F. 2014 Binary Classification of Metagenomic Samples Using Discriminative DNA Superstrings, detail

Rehák, M., Grill, M. 2014 Categorisation of False Positives: Not All Network Anomalies are Born Equal, detail

Bureš, M., Lowinger, L. 2014 PCTgen - Process Cycle Test Cases Generator, detail

Čertický, M., Jakob, M., Píbil, R., Moler, Z. 2014 Agent-based Simulation Testbed for On-demand Mobility Services, detail

Čertický, M., Jakob, M., Píbil, R., Moler, Z. 2014 Agent-Based Simulation Testbed for On-demand Transport Services, detail

Egan, M., Jakob, M. 2014 A Profit-Aware Negotiation Mechanism for On-Demand Transport Services, detail

García, S., Zunino, A., Campo, M. 2014 Detecting Botnet Traffic from a Single Host, detail

García, S., Uhlíř, V., Rehák, M. 2014 Identifying and Modeling Botnet C&C Behaviors, detail

Criado, N., Rehák, M., Such, J M, Vercouter, L. 2014 Proceedings of the 1st International Workshop on Agents and CyberSecurity, detail

Rehák, M. 2014 Modern Security Analytics: Finding a Needle in the Hay Blower, detail

Šourek, G., Železný, F. 2014 Event Reconstruction from Network Flows, detail

Černoch, R., Hájíček, J., Železný, F. 2014 Progress in Automatic Construction of Key-Lock Systems, detail

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

Stanescu, M., Čertický, M. 2014 Predicting Opponent’s Production in Real-Time Strategy Games with Answer Set Programming, detail

Čertický, M. 2014 Real-Time Action Model Learning with Online Algorithm 3 SG, detail

Čertický, M., Homola, M., Kluka, J., Serra, S., Svátek, V., Šimko, A., Vacura, M., Zamazal, O. 2014 LAAOS: Logical Aspects of Adaptable Ontological Schemas (Project Overview), detail

Čertický, M. 2014 Conformant Planning with Static Causal Laws and Negation as Failure: Decomposition of the ASP Approach, detail

Štepanovský, M., Kléma, J., Železný, F. 2014 Analysis of the Relationship Between Process and Vibex Data, detail

Kubr, J., Vaňko, M., Votava, O., Strnad, M., Le Quy, A. 2014 Konsolidace zálohování a archivace dat, detail

Vaňko, M., Kubr, J. 2014 Konsolidace zálohování a archivace dat - Ukládání a zálohování dat s využitím služeb CESNET, detail

Kubr, J., Strnad, M. 2014 Konsolidace zálohování a archivace dat - Připojení k DÚ CESNET, detail

Vaňko, M., Kubr, J. 2014 Konsolidace zálohování a archivace dat - Zálohování dat v OS Windows, detail

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

Kubr, J., Macek, O., Strnad, P. 2014 Aplikace pro vinařské soutěže, detail

Votava, O., Vaňko, M., Le Quy, A. 2014 Zálohování virtuálních serverů, detail

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

Zavrtálek, J., Hrad, J., Kekrt, D., Petrovský, P., Macejko, P. 2014 MCM PLC modem, detail

Vonásek, V., Fišer, D., Košnar, K., Přeučil, L. 2014 A Light-Weight Robot Simulator for Modular Robotics, detail

Krajník, T., Šváb, J., Pedre, S., Čížek, P., Přeučil, L. 2014 FPGA-Based Module for SURF Extraction, detail

Kungurtsev, V., Diehl, M. 2014 Sequential Quadratic Programming Methods for Parametric Nonlinear Optimization, detail

Grill, M., Rehák, M. 2014 Malware detection using HTTP user-agent discrepancy identification, detail

Nava Velazco, U., Malinka, F., Kybic, J., Železný, F. 2014 Automatic Analysis of Spatial Gene Expression Patterns, detail

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

Volf, P. 2014 Air Traffic Controller (ATC) Simulation with AGENTFLY, detail

Daneshmand, A., Facchinei, F., Kungurtsev, V., Scutari, G. 2014 Flexible Selective Parallel Algorithms for Big Data Optimization, detail

Pevný, T., Kopp, M. 2014 Explaining Anomalies with Sampling Random Forests, detail

Kopp, M., Pevný, T., Holeňa, M. 2014 Interpreting and clustering outliers with sapling random forests, detail