Drchal, J., Čertický, M., Jakob, M. 2016 Data Driven Validation Framework for Multi-agent Activity-based Models, detail
Černý, T., Donahoo, M.J. 2016 Survey on Concern Separation in Service Integration, detail
Čemus, K., Černý, T., Mátl, L., Donahoo, M.J. 2016 Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems, detail
Faigl, J. 2016 On Self-Organizing Map and Rapidly-Exploring Random Graph in Multi-Goal Planning, detail
Pevný, T. 2016 Loda: Lightweight on-line detector of anomalies, detail
Šourek, G., Aschenbrenner, V., Železný, F., Kuželka, O. 2016 Lifted Relational Neural Networks, detail
Tožička, J., Jakubův, J., Komenda, A. 2016 From Public Plans to Global Solutions in Multiagent Planning, detail
Čertický, M., Jakob, M., Píbil, R. 2016 Simulation Testbed for Autonomic Demand-Responsive Mobility Systems, detail
Schaefer, M., Vokřínek, J., Pinotti, D., Tango, F. 2016 Multi-Agent Traffic Simulation for Development and Validation of Autonomic Car-to-Car Systems, detail
Plander, I., Štepanovský, M. 2016 Advanced three-dimensional MEMS photonic cross-connect switch for nonblocking all-optical networks, detail
Plander, I., Štepanovský, M. 2016 An interdisciplinary approach to the design of multiphysics mechatronic systems: The electrostatic actuator design case study, detail
Anděl, M. 2016 Towards Formal Interpretation of Linear Models Learnt from Genome-wide Data, detail
Anděl, M., Kléma, J. 2016 Predikce toxicity nanočástic, detail
Bošanský, B., Lisý, V., Lanctot, M., Čermák, J., Winands, M. H. M. 2016 Algorithms for computing strategies in two-player simultaneous move games, detail
Frajták, K., Bureš, M., Jelínek, I. 2016 Model–Based Testing and Exploratory Testing: Is Synergy Possible?, detail
Bureš, M., Filipský, M. 2016 SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests, detail
Černý, T., Park, H.W., Joukov, N. 2016 Proceedings of the 6th International Conference on IT Convergence and Security (ICITCS 2016), detail
Brabec, Z., Černý, T., Šebek, J. 2016 On Metadata Extension to Derive Data Presentations with Angular 2, detail
Tomášek, M., Černý, T. 2016 Context-Aware User Interface Field Classification, detail
Čemus, K., Klimeš, F., Kratochvíl, O., Černý, T. 2016 Distributed Multi-platform Context-aware User Interface for Information Systems, detail
Helbich, J., Černý, T. 2016 Energy Impact of Web User Interface Technology on Mobile Devices, detail
Trnka, M., Černý, T. 2016 Identity Management of Devices in Internet of Things Environment, detail
Černý, T., Donahoo, M.J. 2016 Survey On Second Screen Systems, detail
Šebek, J., Černý, T. 2016 AOP-based Approach for Local Data Management in Adaptive Interfaces, detail
Ryšavý, F., Černý, T., Tomášek, M. 2016 Aspect-Oriented User Interfaces Design Integration to Angular 2 Framework, detail
Drchal, J., Čertický, M., Jakob, M. 2016 VALFRAM: Validation Framework for Activity-Based Models, detail
Faigl, J. 2016 An Application of Self-Organizing Map for Multirobot Multigoal Path Planning with Minmax Objective, detail
Tožička, J., Jakubův, J., Komenda, A., Pěchouček, M. 2016 Privacy-Concerned Multiagent Planning, detail
Kléma, J., Malinka, F., Železný, F. 2016 Semantic Biclustering: A New Way to Analyze and Interpret Gene Expression Data, detail
Pluskal, O., Kléma, J. 2016 Action Based Feature Extraction from User Logs, detail
Beličková, M., Merkerová, M., Votavová, H., Válka, J., Veselá, J., Pejsová, B., Hájková, H., Kléma, J., Čermák, J., Jonášová, A. 2016 Up-regulation of ribosomal genes is associated with a poor response to azacitidine in myelodysplasia and related neoplasms, detail
Gill, P.E., Kungurtsev, V., Robinson, D.P. 2016 A stabilized SQP Method: Global Convergence, detail
Vondrouš, O., Macejko, P., Hégr, T., Kocur, Z. 2016 Testing Methodology for Performance Evaluation of Communication Systems for Smart Grid, detail
Chlumecký, M. 2016 Simulation of Hydrological Processes by Optimization Algorithm using Continuous Function, detail
Bartík, M., Ubik, S., Kubalík, P. 2016 Nová a efektivní metoda pro zajištení platnosti dat ve vestavných pamětech FPGA se zaměřením na kompresi IP packetů v reálném čase, detail
Malinka, F. 2016 Proposal For a Finding Consensus Among Discriminative Motifs in the Task of mRNA Localization in Drosophila melanogaster, detail
Pluskal, O. 2016 Predicting Time of Purchase in Games with Microtransactions, detail
Malinka, F., Kléma, J., Železný, F. 2016 Sémantická dvojshluková analýza dat genové exprese, detail
Kopp, M., Pištora, M., Holeňa, M. 2016 How to Mimic Humans, Guide for Computers, detail
Pevný, T., Kopp, M., Křoustek, J, Ker, A.D 2016 Malicons: Detecting Payload in Favicons, detail
Tožička, J., Jakubův, J., Komenda, A. 2016 Recursive Reductions of Internal Dependencies in Multiagent Planning, detail
Štolba, M., Tožička, J., Komenda, A. 2016 Secure Multi-Agent Planning Algorithms, detail
Štolba, M., Tožička, J., Komenda, A. 2016 Secure Multi-Agent Planning, detail
Šebek, J., Richta, K. 2016 Usage of Aspect-Oriented Programming in Adaptive Application Structure, detail
Šebek, J. 2016 Utilization Aspect Oriented Approach and Local Data in the Development of Adaptive User Interface for Android, detail
Černý, T., Donahoo, M.J. 2016 On Energy Impact of Web User Interface Approaches, detail
Komenda, A., Štolba, M., Kovacs, D.L. 2016 The International Competition of Distributed and Multiagent Planners (CoDMAP), detail
Štepanovský, M., Plander, I. 2016 MEMS optical switch: Switching time reduction, detail
Malinský, R., Jelínek, I. 2016 The Evaluation of Node's Power in the Social Network Sphere, detail
Líbalová, H, Vrbová, K, Brzicová, T., Sikorová, J., Milcová, A., Vojtíšek, M., Beránek, V., Kléma, J., Neča, J., Cigánek, M., Machala, M., Pěnčíková, K., Topinka, J. 2016 Comparative analysis of the toxic responses of organic extracts from diesel/biodiesel engine emissions in human lung BEAS-2B cells, detail
Šebek, J., Černý, T. 2016 AOP-based Approach for Local Data Management in Adaptive Interfaces, detail
Líbalová, H., Rossner, P., Vrbová, K., Brzicová, T., Sikorová, J., Vojtisek-Lom, M., Beránek, V., Kléma, J., Cigánek, M., Neča, J., Pěnčíková, K., Machala, M., Topinka, J. 2016 Comparative Analysis of Toxic Responses of Organic Extracts from Diesel and Selected Alternative Fuels Engine Emissions in Human Lung BEAS-2B Cells, detail
Libalova, H., Rossner, P., Jr., Vrbova, K., Brzicova, T., Sikorova, J., Vojtíšek, M., Beránek, V., Kléma, J., Ciganek, M., Neca, J., Pencikova, K., Machala, M., Topinka, J. 2016 Comparative Analysis of Toxic Responses of Organic Extracts from Diesel and Selected Alternative Fuels Engine Emissions in Human Lung BEAS-2B Cells, detail
Carbajal-Degante, E., Nava Velazco, U., Olveres, J., Escalante-Ramírez, B., Kybic, J. 2016 Texel-based image classification with orthogonal bases, detail
Kiekintveld, C., Durkota, K., Durkota, K., Lisý, V., 2Pěchouček, M., Bošanský, B. 2016 Case Studies of Network Defense with Attack Graph Games, detail
Malinský, R., Jelínek, I. 2016 The Application of Modern Webometric Methods on the Evaluation of Trends in the Social Network Sphere, detail
Tožička, J., Komenda, A. 2016 Diverse Planning for UAV Control and Remote Sensing, detail
Ryšavý, P., Železný, F. 2016 Estimating Sequence Similarity from Read Sets for Clustering Sequencing Data, detail
Chlumecký, M. 2016 Simulation of Hydrological Processes by Optimization Algorithm using Continuous Function, detail
Vondrouš, O., Macejko, P., Kocur, Z. 2016 On Limits of Embedded Systems in Network Packet Processing, detail
Rollo, M., Meiser, T., Selecký, M., Předota, J., Trafina, T., Tůmová, Z. 2016 Senzorová platforma pro tvorbu 3D modelu laserovým dálkoměrěm pomocí bezpilotního prostředku, detail
Dolgikh, D., Jelínek, I. 2016 Graph-based Rating Prediction using Eigenvector Centrality, detail
Čech, Přemysl, Kohout, J., Lokoč, Jakub, Komárek, T., Maroušek, Jakub, Pevný, T. 2016 Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce, detail
Anděl, M., Strnad, P., Kléma, J. 2016 miXGENE: an Effective Public Tool for Integrative Analysis of High-throuhput Omics Data, detail
Bureš, M., Renda, M., Doležel, M., Grossl, Z., Komárek, M., Macek, O., Mlynář, R., Svoboda, P. 2016 Efektivní testování softwaru, detail
Čemus, K., Černý, T. 2016 Business Documentation Derivation from Aspect-driven Enterprise Information Systems, detail
Čemus, K., Černý, T. 2016 Automated Extraction of Business Documentation in Enterprise Information Systems, detail
Fesl, J., Doležalová, Marie, Cehák, Jiří, Moos, M., Janeček, J., Šimek, P. 2016 Virtuální paralelní infrastruktury pro velká data v metabolomice, detail
Fesl, J., Cehák, Jiří, Doležalová, Marie, Janeček, J. 2016 CloudEVBench – Virtualization Technology Efficiency Testing Tool for the Distributed Infrastructures, detail
Fesl, J., Cehák, Jiří, Doležalová, Marie, Janeček, J. 2016 New Approach for Virtual Machines Consolidation In Heterogeneous Computing Systems, detail
Čemus, K. 2016 Context-aware Input Validation in Information Systems, detail
Fesl, J., Moos, Martin, Šimek, Petr 2016 Metabolite Mapper (M2): New Processing-miningplatform for High Resolution Mass Spectral Metabolomic "Big Data", detail
Horák, K., Bošanský, B. 2016 A Point-Based Approximate Algorithm for One-Side Partially Observable Pursuit-Evasion Games, detail
Čáp, M., Gregorie, J., Frazzoli, E. 2016 Provably safe and deadlock-free execution of multi-robot plans under delaying disturbances, detail
Paden, B, Čáp, M., Yong, S.Z., Yershov, D., Frazzoli, E. 2016 A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles, detail
Trnka, M., Černý, T. 2016 On security level usage in context-aware role-based access control, detail
Černý, T., Trnka, M., Donahoo, M.J. 2016 Towards Shared Security through Distributed Separation of Concerns, detail
García, S., Pěchouček, M. 2016 Detecting the Behavioral Relationships of Malware Connections, detail
García, S., Maria Jose Erquiaga, MJE, Carlos Catania, CC 2016 Detecting DGA Malware traffic through Behavioral Models, detail
García, S., Pablo Torres, PT, Carlos Catania, CC, Carlos Garcia Garino, CGG 2016 An analysis of Recurrent Neural Networks for Botnet detection behavior, detail
Čermák, J., Bošanský, B., Durkota, K., Lisý, V., Kiekintveld, C. 2016 Using Correlated Strategies for Computing Stackelberg Equilibria in Extensive-form Games, detail
Bureš, M., Černý, T., Kubr, J., Klíma, M., Hopp, L., Rechtberger, V. 2016 Oxygen - platform for automated generation of test cases from a model of system under test, detail
Kafka, P., Faigl, J., Váňa, P. 2016 Random Inspection Tree Algorithm in Visual Inspection with a Realistic Sensing Model and Differential Constraints, detail
Stejskal, M., Mrva, J., Faigl, J. 2016 Road Following with Blind Crawling Robot, detail
Černý, L., Čížek, P., Faigl, J. 2016 On Evaluation of Motion Gaits Energy Efficiency with a Hexapod Crawling Robot, detail
Vonásek, V., Faigl, J. 2016 Evolution of multiple gaits for modular robots, detail
Čížek, P., Faigl, J. 2016 On Localization and Mapping with RGB-D Sensor and Hexapod Walking Robot in Rough Terrains, detail
Faigl, J., Pěnička, R., Best, G. 2016 Self-Organizing Map-based Solution for the Orienteering Problem with Neighborhoods, detail
Čížek, P., Faigl, J., Masri, D. 2016 Low-Latency Image Processing for Vision-Based Navigation Systems, detail
Bayer, J., Čížek, P., Faigl, J. 2016 On Construction of a Reliable Ground Truth for Evaluation of Visual SLAM Algorithms, detail
Fischer, T., Pire, T., Čížek, P., Cristóforis, P., Faigl, J. 2016 Stereo Vision-Based Localization for Hexapod Walking Robots Operating in Rough Terrains, detail
Milička, P., Čížek, P., Faigl, J. 2016 On Chaotic Oscillator-based Central Pattern Generator for Motion Control of Hexapod Walking Robot, detail
Váňa, P., Faigl, J. 2016 The Dubins Traveling Salesman Problem with Constrained Collecting Maneuvers, detail
Faigl, J., Váňa, P. 2016 Self-Organizing Map for the Curvature-Constrained Traveling Salesman Problem, detail
Best, G., Faigl, J., Fitch, R. 2016 Multi-Robot Path Planning for Budgeted Active Perception with Self-Organising Maps, detail
Faigl, J., Váňa, P. 2016 Self-Organizing Map for Data Collection Planning in Persistent Monitoring with Spatial Correlations, detail
Štolba, M., Fišer, D., Komenda, A. 2016 Potential Heuristics for Multi-Agent Planning, detail
Tožička, J., Jakubův, J., Svatoš, M., Komenda, A. 2016 Recursive Polynomial Reductions for Classical Planning, detail
Komenda, A., Shani, G. 2016 Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16), detail
Štolba, M., Tožička, J., Komenda, A. 2016 Quantifying Privacy Leakage in Multi-Agent Planning, detail
Štolba, M., Komenda, A., Kovacs, D.L. 2016 Competition of Distributed and Multiagent Planners (CoDMAP), detail
Štolba, M., Komenda, A. 2016 Computing Multi-Agent Heuristics Additively, detail
Gill, P.E., Kungurtsev, V., Robinson, D.P. 2016 A stabilized SQP Method: Superlinear Convergence, detail
Lisý, V., Davis, T, Bowling, M. 2016 Counterfactual Regret Minimization in Sequential Security Games, detail
Komárek, T., Grill, M., Pevný, T. 2016 Passive NAT Detection Using HTTP Access Logs, detail
Pevný, T., Somol, Petr 2016 Discriminative Models for Multi-instance Problems with Tree Structure, detail
Pevný, T., Ker, Andrew D., Bas, Patrick 2016 Rethinking Optimal Embedding, detail
Grill, M., Pevný, T. 2016 Learning Combination of Anomaly Detectors for Security Domain, detail
Durkota, K., Lisý, V., Kiekintveld, C., Bošanský, B., Pěchouček, M. 2016 Case Studies of Network Defense with Attack Graph Games, detail
Egan, M., Jakob, M. 2016 Market Mechanism Design for Profitable On-Demand Transport Services, detail
Boero, M., Garré, M., Fernandez, J., Persi, S., Quesada, D., Jakob, M. 2016 MyWay Personal Mobility: From Journey Planners to Mobility Resource Management, detail
Pevný, T., Cech, P., Kohout, J., Lokoc, J., Komárek, T., Marousek, J. 2016 Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce, detail
Jusko, J., Rehák, M., Stiborek, J., Kohout, J., Pevný, T. 2016 Using Behavioral Similarity for Botnet Command-and-Control Discovery, detail
Selecký, M., Rollo, M. 2016 Distributed Control of Heterogeneous Team of Autonomous UAVs, detail
Rollo, M. 2016 Distributed Control of Heterogeneous Team of Autonomous UAVs, detail
Bartoš, K., Sofka, M., Franc, V. 2016 Optimized Invariant Representation of Network Traffic for Detecting Unseen Malware Variants, detail
Such, J., Criado, N., Vercouter, L., Rehák, M. 2016 Intelligent Cybersecurity Agents [Guest editors' introduction], detail
Kocur, Z., Vodrážka, J., Vondrouš, O., Macejko, P. 2016 Studie hodnotící datovou komunikaci pilotního projektu, detail
Kléma, J., Anděl, M., Votava, O. 2016 Zefektivnění veřejného systému miXGENE pro integrativní analýzu molekulárních dat, detail
Durkota, K., Lisý, V., Horák, K., Kiekintveld, Ch., Bošanský, B., Pevný, T. 2016 Game-theoretic Analysis of Detecting Data Exfiltration, detail
Šebek, J., Černý, T., Richta, K. 2016 Adaptive Application Structure Design for Java EE Applications, detail
Drchal, J., Mrkos, J., Jakob, M. 2016 Data-driven Models for Taxi Matchmaking, detail
García, S. 2016 Cisco Security Projects Activity Report, detail
Vaněk, O., Kopřiva, Š., Hrstka, O., Pěchouček, M. 2016 ARETHUS - A Decision Support Platform for Reasoning About Security, detail
Vaněk, O., Kopřiva, Š., Ondráček, J., Hrstka, O., Pěchouček, M. 2016 Modeling Maritime Contraband Trafficking Activities with the Agent-Based Approach, detail
Kubr, J., Macek, O., Strnad, P. 2016 Analytický model perspektivy umístění vinařství s ohledem na probíhající klimatické změny, detail
Kungurtsev, V., Pevný, T. 2016 Algorithms for Solving Optimization Problems Arsing from Deep Neural Net Models: Smooth Problems, detail
Brown, C., Urban, J. 2016 Extracting Higher-Order Goals from the Mizar Mathematical Library, detail
Kaliszyk, C., Pak, K., Urban, J. 2016 Towards a Mizar Environment for Isabelle: Foundations and Language, detail
Blanchette, J., Greenaway, D., Kaliszyk, C., Kuhlwein, D., Urban, J. 2016 A Learning-Based Fact Selector for Isabelle/HOL, detail
Buk, Z. 2016 Defection detection in transactions logs, detail
Jakubův, J., Urban, J. 2016 Extending E Prover with Similarity Based Clause Selection Strategies, detail
Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 3, detail
Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 2, detail
Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 1, detail
Bezpalec, P., Brabec, Z., Hampl, P., Holeček, J., Macejko, P., Šimák, B., Kozák, M. 2016 Služby smluvního výzkumu v oblasti analýzy operačních rizik, detail
Bezpalec, P., Brabec, Z., Hampl, P., Holeček, J., Macejko, P., Pravda, I., Šimák, B. 2016 Služby smluvního výzkumu v oblasti analýzy operačních rizik na telekomunikační infrastruktuře, detail
Železný, F. 2016 Master Key Systems Calculation for Assa Abloy Belgium (Litto), detail
Železný, F. 2016 CISCO Networks Data Analysis: Progress Report on Neural-Symbolic Learning Application, detail
Železný, F. 2016 CISCO Networks Data Analysis: Progress Report on Wrapping up the Event Construction Method, detail
Irving, G, Szegedy, C, Alemi, A, Een, N, Chollet, F, Urban, J. 2016 DeepMath - Deep Sequence Models for Premise Selection, detail
Harrison, J, Urban, J., Wiedijk, F 2016 Preface: Twenty Years of the QED Manifesto, detail
Blanchette, J., Kaliszyk, C., Paulson, L, Urban, J. 2016 Hammering towards QED, detail
Sutcliffe, G, Urban, J. 2016 The CADE-25 Automated Theorem Proving system competition - CASC-25, detail
Kopecký, L., Bittnar, P., Němeček, J., Asif ALi, AA, Pokorný, J., Haider, U., Bittnar, Z. 2016 Mechanical behaviour and durability of high volume fly ash cementitious composites, detail
Černoch, R., Kuželka, O., Železný, F. 2016 Polynomial and Extensible Solutions in Lock-Chart Solving, detail
Lisý, V., Yee, T., Bowling, M. 2016 Monte carlo tree search in continuous action spaces with execution uncertainty, detail
Nava Velazco, U., Gonzalez, G., Kybic, J., Escalante-Ramirez, B. 2016 Characterization of Hematologic Malignancies based on Discrete Orthogonal Moments, detail
Libalova, H., Vrbova, K., Brzicova, T., Sikorova, J., Vojtíšek, M., Beránek, V., Kléma, J. 2016 Comparative analysis of the toxic responses of organic extracts from diesel/biodiesel engine emissions in human lung BEAS-2B cells, detail
García, S., Pěchouček, M. 2016 Detecting the Behavioral Relationships of Malware Connections, detail
Torres, P., Catania, C., García, S., Garino, C.G. 2016 An Analysis of Recurrent Neural Networks for Botnet Detection Behavior, detail
Mannová, B. 2016 SENIORS INCLUSION IN THE INFORMATION SOCIETY, detail