{"id":1989,"date":"2016-05-05T15:08:44","date_gmt":"2016-05-05T13:08:44","guid":{"rendered":"http:\/\/excel.fit.vutbr.cz\/2017\/?page_id=1989"},"modified":"2017-05-11T09:40:29","modified_gmt":"2017-05-11T07:40:29","slug":"vysledky","status":"publish","type":"page","link":"https:\/\/excel.fit.vutbr.cz\/2017\/vysledky\/","title":{"rendered":"V\u00fdsledky"},"content":{"rendered":"\r\n\t<link rel=\"stylesheet\" media=\"all\" type=\"text\/css\" href=\"\/submissions\/css\/results.css?v20170505\">\r\n\r\n\t<div class=\"well\">\r\n\t\t<ul>\r\n\t\t\t<li><a href=\"#oceneni-odbornym-panelem\">Ocen\u011bn\u00ed <strong>odborn\u00fdm panelem<\/strong><\/a><\/li>\r\n                        <li><a href=\"#oceneni-partnery\">Ocen\u011bn\u00ed <strong>partnery<\/strong><\/a><\/li>\r\n                        <li><a href=\"#oceneni-odbornou-verejnosti\">Ocen\u011bn\u00ed <strong>odbornou ve\u0159ejnost\u00ed<\/strong><\/a><\/li>\r\n\t\t<\/ul>\r\n\t<\/div>\r\n\t  \r\n\t<h2 id=\"oceneni-odbornym-panelem\">Ocen\u011bn\u00ed <strong>odborn\u00fdm panelem<\/strong><\/h2>\r\n\t<div class=\"row results\">\r\n        \r\n\t\t<div class=\"thumbnail topic25\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za to, \u017ee netrivi\u00e1n\u011b roz\u0161\u00ed\u0159il n\u00e1stroj 2LS o podporu form\u00e1ln\u00ed anal\u00fdzy dynamick\u00fdch datov\u00fdch struktur\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">7<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal7\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/007\/7_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Towards Shape Analysis in 2LS<\/h4>\r\n\t\t\t\t<h5>Viktor Mal\u00edk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/007\/7.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/007\/7_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal7\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">7<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Towards Shape Analysis in 2LS<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Viktor Mal\u00edk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>formal verification, 2LS, template-based analysis, shape analysis, linked lists, pointer access paths, abstract interpretation, SSA form, invariant inference<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Form\u00e1ln\u00ed metody<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Many low-level programs work with dynamic data structures on the heap (such as linked lists), which are often a source of bugs. Formal analysis of the shape of these structures can help finding errors or, on the contrary, prove the correctness of a program. We present the main principles behind 2LS, a program analysis framework for C programs, which is based on automatic invariant inference using an SMT solver, and a sketch of a solution that we proposed to the integration of shape analysis into this framework. The proposed solution includes a way how the shape of a program heap can be described using logical formulae and how a first-order SMT solver can be used to infer loop invariants and function summaries for each function of the analysed program. Our approach is based on pointer access paths that describe the shape of the heap by expressing the reachability of heap objects from pointer-typed program variables. The information obtained from the analysis can be used to prove various properties of programs manipulating dynamic data structures, such as the fact that the shape of a linked list does not change after performing an operation that traverses the list and writes data into each node.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/007\/7_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/007\/7.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/007\/7_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic20\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za origin\u00e1ln\u00ed \u0159e\u0161en\u00ed zalo\u017een\u00e9 na dobr\u00e9 teorii, ov\u0161em s d\u016frazem na praktick\u00e9 vyu\u017eit\u00ed\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">14<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal14\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/014\/14_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Comparing Languages and Reducing Automata Used in Network Traffic Filtering<\/h4>\r\n\t\t\t\t<h5>Vojt\u011bch Havlena<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/014\/14.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/014\/14_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal14\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">14<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Comparing Languages and Reducing Automata Used in Network Traffic Filtering<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Vojt\u011bch Havlena<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Automata reduction, Language distance, Finite automaton, Network traffic monitoring<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Form\u00e1ln\u00ed jazyky a automaty<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>The focus of this paper is the comparison of languages and reduction of automata used in network traffic monitoring. We propose several approaches for approximate (language non-preserving) reduction of automata and comparison of their languages. The reductions are based on either under-approximating the languages of automata by pruning their states, or over-approximating the language by introducing new self-loops (and pruning redundant states later). Our approximate reduction methods and the proposed probabilistic distance utilize information from a network traffic. We give formal guarantees with respect to a model of network traffic, represented using a probabilistic automaton. We implemented the methods and evaluated them on automata used in network traffic filtering.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/014\/14_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/014\/14.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/014\/14_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic19 topic25\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za nadpr\u016fm\u011brnou pr\u00e1ci v t\u00e9matu aproxima\u010dn\u00ed redukce stavov\u00e9ho prostoru Markovov\u00fdch \u0159et\u011bzc\u016f\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">48<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal48\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/048\/48_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>On Improving Adaptive Error-Driven Aggregation of Markov Chains<\/h4>\r\n\t\t\t\t<h5>Roman Andriushchenko<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/048\/48.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/048\/48_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal48\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">48<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">On Improving Adaptive Error-Driven Aggregation of Markov Chains<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Roman Andriushchenko<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Markov models, probabilistic model checking, approximation techniques, adaptive aggregation<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Modelov\u00e1n\u00ed a simulace<\/span> <span class=\"label label-default\">Form\u00e1ln\u00ed metody<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Markov models are widely used in many areas of science and engineering in order to evaluate the probability of certain events of interest. Quantitative analysis of such models typically proceeds through numerical methods or simulation-based evaluation. Since the state space of the models can often be large, several approximation techniques have been proposed. For various systems, level of precision affects the soundness of verification results, so accurate quantification of approximation error is crucial. In this work we focus on adaptively-driven aggregation technique and evaluate its key performance aspects. The key contribution of this work is improving aggregation strategy and the theoretical bounds on the approximation error. Our technique leads to up to 3 orders of magnitude precision improvement over existing methods and allows one to analyse larger models with a higher accuracy.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/048\/48_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/048\/48.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/048\/48_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic20 topic25\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za u\u017eit\u011b\u010dnou knihovnu pro rychle prototypov\u00e1n\u00ed v automatov\u00e9m v\u00fdzkumu\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">8<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal8\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/008\/8_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Symbolic Automata Library for Fast Prototyping<\/h4>\r\n\t\t\t\t<h5>Michaela Bielikov\u00e1<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/008\/8.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/008\/8_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal8\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">8<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Symbolic Automata Library for Fast Prototyping<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Michaela Bielikov\u00e1<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>finite state automata, symbolic automata, transducers, symbolic transducers, efficient algorithms, formal verification<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Form\u00e1ln\u00ed jazyky a automaty<\/span> <span class=\"label label-default\">Form\u00e1ln\u00ed metody<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Finite state automata are widely used in the fields of computer science such as formal verification, system modelling, and natural language processing. However, the models representing the real systems are very complicated and may be defined upon big alphabets. In such cases, using classical finite state automata is not very efficient and more concise representation is needed. So called symbolic automata are suitable formalism for this purpose since they employ predicates as transition labels. One predicate represents set of symbol for which condition hold. Automata are used to represent configuration of modelled systems, but we need so called transducers to represent behaviour of systems. Symbolic transducers replace classic transition labels with two predicates, one for input symbols and one for output symbols. The goal of this work is to design a library which can handle different types of symbolic automata and transducers to provide a platform for fast prototyping. The library should also implement state-of-the-art algorithms for symbolic automata and transducers processing. As a result of this work, a Python library symboliclib was created. It supports symbolic automata with different types of predicates as well as classic finite automata working with symbols. Some of highly efficient algorithms over automata such as language inclusion based on simulations and antichains have been implemented. The library satisfies its original purpose to allow fast prototyping but is slower than more complex optimised automata libraries when working with big automata. The inefficiency is mainly caused by using Python which is an high level language slower than optimised libraries written in lower-level languages such as C or C++. A trade off to this inefficiency is the simplicity and fast learning curve of use of the library. The created library can be used for fast implementation of newly designed algorithms for automata manipulation. This allows a development of the efficient algorithms with focus on the optimisation of complexity of algorithms without the need to deal with the low-level automata representation.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/008\/8_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/008\/8.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/008\/8_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic23\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za design a implementaci techniky pro n\u00e1vrh aproxima\u010dn\u00edch obvod\u016f, v\u00fdznamn\u011b posunuj\u00edc\u00edch state of the art\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">53<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal53\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/053\/53_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Verifiability-driven synthesis of approximate arithmetic circuits using Cartesian GP<\/h4>\r\n\t\t\t\t<h5>Jiri Matyas, Milan Ceska, Vojtech Mrazek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/053\/53.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/053\/53_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal53\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">53<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Verifiability-driven synthesis of approximate arithmetic circuits using Cartesian GP<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Jiri Matyas, Milan Ceska, Vojtech Mrazek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Approximate computing, approximate arithmetic circuits, Cartesian genetic programming, SAT based fitness function evaluation, relaxed equivalence checking<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Nekonven\u010dn\u00ed v\u00fdpo\u010detn\u00ed techniky<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>We present a novel method allowing one to approximate complex arithmetic circuits with formal guarantees on the approximation error. The method integrates in a unique way formal techniques employed for approximate equivalence checking into a search-based circuit optimisation algorithm (Cartesian Genetic Programming). The key idea of our approach is to employ a novel search strategy that drives the search towards promptly verifiable approximate circuits. The method was implemented within the ABC tool and evaluated on functional approximation of multipliers (with up to 32-bit operands) and adders (with up to 128-bit operands). Within a few hours, we constructed a high-quality Pareto set of 32-bit multipliers providing trade-offs between the circuit error and size. This is for the first time when such complex approximate circuits with formal error bounds have been presented, which demonstrates an outstanding performance and scalability of our approach compared with the existing methods that have either been applied to synthesis of 8-bit multipliers or a statistical testing has been used only. Our approach thus significantly improves capabilities of existing methods and paves a~way towards an automated design process of provably-correct circuit approximations.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/053\/53_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/053\/53.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/053\/53_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za praktick\u00fd p\u0159\u00ednos v oblasti cyber-security\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">32<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal32\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/032\/32_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Hardv\u00e9rovo akcelerovan\u00e9 zariadenie pre ochranu pred (D)DoS \u00fatokmi<\/h4>\r\n\t\t\t\t<h5>M\u00e1rio Kuka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/032\/32_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal32\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">32<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Hardv\u00e9rovo akcelerovan\u00e9 zariadenie pre ochranu pred (D)DoS \u00fatokmi<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>M\u00e1rio Kuka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>DCPro, (D)DoS Protector, COMBO, CESNET, hardv\u00e9rov\u00e1 akceler\u00e1cia, FPGA, vysokor\u00fdchlostn\u00e9 siete, 100 Gbps<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>T\u00e1to pr\u00e1ca sa zaober\u00e1 v\u00fdvojom firmv\u00e9ru hardv\u00e9rovej akceler\u00e1cie pre zariadenie na ochranu pred amplifika\u010dn\u00fdmi (D)DoS \u00fatokmi. V dne\u0161nej dobe s\u00fa \u00fatoky typu (D)DoS ve\u013emi roz\u0161\u00edren\u00e9 a zapr\u00ed\u010di\u0148uj\u00fa nemal\u00e9 finan\u010dn\u00e9 \u0161kody.  Cie\u013eom je preto vytvori\u0165 cenovo dostupn\u00e9 a \u013eahko nasadite\u013en\u00e9 centralizovan\u00e9 zariadenie na rie\u0161enie dan\u00e9ho probl\u00e9mu. K dosiahnutiu tohto cie\u013eu vyu\u017e\u00edva zariadenie hardv\u00e9rov\u00fd akceler\u00e1tor umo\u017e\u0148uj\u00faci spracov\u00e1va\u0165 vysok\u00e9 d\u00e1tov\u00e9 prenosy prostredn\u00edctvom jedn\u00e9ho, be\u017ene dostupn\u00e9ho, serveru. N\u00e1vrh a implement\u00e1cia firmv\u00e9ru je uskuto\u010dnen\u00e1 s oh\u013eadom na pou\u017eitie zariadenia v sie\u0165ach s r\u00fdchlos\u0165ami 100\\,Gbps. Cel\u00fd syst\u00e9m pre\u0161iel funk\u010dnou verifik\u00e1ciou a v r\u00e1mci laborat\u00f3rneho testovania bola overen\u00e1 jeho re\u00e1lna priepustnos\u0165. Vytvoren\u00e9 zariadenie je aktu\u00e1lne nasaden\u00e9 v sie\u0165ovej infra\u0161trukt\u00fare CESNET a testovan\u00e9 sie\u0165ov\u00fdmi administr\u00e1tormi. Na z\u00e1klade sp\u00e4tnej v\u00e4zby bude na vytvorenom zariaden\u00fd pokra\u010dova\u0165 \u010fal\u0161\u00ed v\u00fdvoj zameran\u00fd na roz\u0161irovanie detekcie o \u010fal\u0161ie typy \u00fatokov. O zariadenie aktu\u00e1lne prejavili z\u00e1ujem aj niektor\u00ed z \u010desk\u00fdch komer\u010dn\u00fdch  poskytovate\u013eov sie\u0165ov\u00fdch slu\u017eieb.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/032\/32_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/032\/32_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic15 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za experiment\u00e1ln\u00ed ov\u011b\u0159en\u00ed a p\u0159\u00ednos v oblasti bezpe\u010dn\u00e9ho p\u0159ipojen\u00ed k WiFi s\u00edt\u00edm\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">26<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal26\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Automation of MitM Attack on WiFi Networks<\/h4>\r\n\t\t\t\t<h5>Martin Vondr\u00e1\u010dek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal26\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">26<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Automation of MitM Attack on WiFi Networks<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Martin Vondr\u00e1\u010dek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Man-in-the-Middle attack, accessing secured wireless networks, password cracking, dictionary personalization, tampering network topology, impersonation, phishing<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Widely used network technologies and principles of wireless security suffer weaknesses that can be exploited to perform the Man-in-the-Middle attack, allowing to eavesdrop or to spoof the network communication. The work focuses on possibilities of automation of the attack with a utilization of available specialized tools. The outcome of the research is the wifimitm package and the wifimitmcli CLI tool, both implemented in Python. The emphasis was placed on possibilities of further incorporation of the developed tool. The package provides functionality for automated MitM attack and can be used by other software. The wifimitmcli tool is capable of performing a successful fully automated attack without any intervention from an attacker. This research can be used for automated penetration testing and forensic investigation. Finally, a popularization of the fact that such severe attacks can be successfully automated should be used to raise the public awareness about the information security. In these days, this issue involves almost every one of us.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic07 topic08\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za zaj\u00edmav\u00e9 zpracov\u00e1n\u00ed vizualizace lokaliza\u010dn\u00edch dat\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">56<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal56\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/056\/56_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Analytick\u00fd ovl\u00e1dac\u00ed panel pre loka\u010dn\u00fd syst\u00e9m<\/h4>\r\n\t\t\t\t<h5>Luk\u00e1\u0161 Petrovi\u010d<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/056\/56.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/056\/56_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/_qbkQrqBTQ4\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal56\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">56<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Analytick\u00fd ovl\u00e1dac\u00ed panel pre loka\u010dn\u00fd syst\u00e9m<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Luk\u00e1\u0161 Petrovi\u010d<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Dashboard, RTLS, Ovl\u00e1dac\u00ed panel, Lokaliz\u00e1cia, Vizualiz\u00e1cia<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Webov\u00e9 technologie<\/span> <span class=\"label label-default\">Informa\u010dn\u00ed syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Cie\u013eom tejto pr\u00e1ce je vytvori\u0165 aplik\u00e1ciu, ktor\u00e1 umo\u017e\u0148uje vizualizova\u0165 historick\u00e9 d\u00e1ta z polohov\u00fdch senzorov. D\u00e1ta s\u00fa z\u00edskavan\u00e9 z uzavren\u00fdch priestorov, ak\u00fdmi s\u00fa napr\u00edklad obchody, telocvi\u010dne alebo haly. Tieto d\u00e1ta s\u00fa cenn\u00e9, no bez \u013eahko pou\u017eite\u013enej vizualiz\u00e1cie, str\u00e1caj\u00fa svoj potenci\u00e1l. Spr\u00e1vna vizualiz\u00e1cia umo\u017e\u0148uje u\u017e\u00edvate\u013eovi lep\u0161ie vyhodnoti\u0165 situ\u00e1ciu, ktor\u00fa tieto d\u00e1ta reprezentuj\u00fa.   V\u00fdsledkom tejto pr\u00e1ce je n\u00e1stroj, s ktor\u00fdm je u\u017e\u00edvate\u013e schopn\u00fd jednoducho analyzova\u0165 d\u00e1ta, z\u00edskan\u00e9 v ur\u010ditom \u010dasovom intervale. Pre potreby anal\u00fdzy, poskytuje aplik\u00e1cia viacero metr\u00edk, ktor\u00e9 prira\u010fuj\u00fa t\u00fdmto d\u00e1tam \u0161pecifick\u00fd \u00fa\u010del.  D\u00e1ta m\u00f4\u017eu by\u0165 reprezentovan\u00e9 v grafoch, napr\u00edklad za \u00fa\u010delom reprezentova\u0165 celkov\u00fa prejden\u00fa vzdialenos\u0165 lokalizovan\u00e9ho objektu. Taktie\u017e m\u00f4\u017eu by\u0165 pou\u017eit\u00e9 v map\u00e1ch, ktor\u00e9 poskytuj\u00fa dobr\u00fa reprezent\u00e1ciu pol\u00f4h vzh\u013eadom k monitorovanej miestnosti. V\u0161etky vytvoren\u00e9 vizualiza\u010dn\u00e9 prvky s\u00fa vlo\u017een\u00e9 do interakt\u00edvnych blokov. Tieto bloky tvoria takmer cel\u00fd ovl\u00e1dac\u00ed panel. S t\u00fdmito blokmi je mo\u017en\u00e9 jednoducho manipulova\u0165 a s ich pomocou upravova\u0165 vytvoren\u00fa vizualiz\u00e1ciu.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/056\/56_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/056\/56.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/056\/56_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/_qbkQrqBTQ4\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic05 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za implementa\u010dn\u00ed v\u00fdsledek zlep\u0161uj\u00edc\u00ed identifikaci aplikac\u00ed v s\u00ed\u0165ov\u00e9m provozu\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">52<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal52\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/052\/52_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Network Traffic Capture with Application Tags<\/h4>\r\n\t\t\t\t<h5>Jozef Zuzelka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/052\/52.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/052\/52_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal52\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">52<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Network Traffic Capture with Application Tags<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Jozef Zuzelka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Network Traffic Capture, Network sniffing, Network Application Identification<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Opera\u010dn\u00ed syst\u00e9my<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Network traffic capture and analysis are useful in case we are looking for problems in our network, or we want to know more about applications and their network communication.  This paper is aimed to describe the process of network applications identification that runs on the local host. The goal of this project is a multi-platform application that captures network traffic and extends it with recognized applications. Operations that can be done independently are parallelized to speed up packet processing and decrease packet loss. An application is being determined for every (both incoming and outgoing) packet. This is resource demanding process so to save time every identified application is stored in the cache with information about its socket. However, an application in the cache may close a connection at any time, so it's important to update the cache periodically. Finally, gathered information is saved to the end of pcap-ng file in special structure as the separate pcap-ng block.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/052\/52_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/052\/52.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/052\/52_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic07 topic08\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za zaj\u00edmav\u00e9 technick\u00e9 \u0159e\u0161en\u00ed v oblasti testov\u00e1n\u00ed softwaru\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">4<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal4\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/004\/4_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Automatic Generation of Mock Data<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 Bruckner<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/004\/4.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/004\/4_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal4\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">4<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Automatic Generation of Mock Data<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Tom\u00e1\u0161 Bruckner<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>SAP, REST, OData, mock data<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Webov\u00e9 technologie<\/span> <span class=\"label label-default\">Informa\u010dn\u00ed syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This work deals with creating and providing mocked data for applications that use REST interface to communicate between the client and server parts. From the various implementations of the REST interface, the work focuses only on OData standard, that is defined by Microsoft. The project itself is mainly for SAP company. Naturally, even the libraries that are used in the final solution are from SAP. Primaly JavaScript framework SAPUI5 is used. The merit of this work is a library that facilitates the development of the client side of web applications. It fully supports CRUD operations over OData calls. Compared to other libraries creating mocked data that always return the same static data, this one simulates the behavior of the real server. So, when DELETE method is called for a specific entity, the given entity is deleted. This functionality is enabled by the client-side database created directly in the web browser, which corresponds to the database on the server side. A similar library for OData protocol does not exist, so it is a unique solution. The solution is verified using prepared web application.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/004\/4_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/004\/4.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/004\/4_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic12\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za multiplatformn\u00ed knihovnu \u0159e\u0161\u00edc\u00ed netrivi\u00e1ln\u00ed probl\u00e9m\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">23<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal23\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/023\/23_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Library for OSM Rendering on Smartphones<\/h4>\r\n\t\t\t\t<h5>David Va\u010fura<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/023\/23.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/023\/23_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal23\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">23<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Library for OSM Rendering on Smartphones<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>David Va\u010fura<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>map, rendering, OpenGL<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 grafika<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>The aim of this work was to create a mobile map rendering library, using GPU acceleration to render vector map directly on end-user's device. That includes ability to draw line and polygon features, add POI icons and labels, while also enabling the user to change the appearance. The library must also manage map data, meaning acquire tiles when needed, cache them, and display at the right time. The proposed architecture defines a generic data source to make tile loading possible from various sources, both online or offline. A hybrid approach to map rendering was taken. Base features are rendered to a texture. Layers containing text and icons are rendered online above base features, enabling them to rotate and scale when viewport changes. A C++ library was created as the result of this work. It works on both iOS and Android, whith possibility to port to other platforms (the largest requirement being OpenGL ES support). While there are already countless other map libraries out there, my work has clearly defined features that no other library fully meets. This library should become an easy to implement solution for individuals\/companies developing mobile applications for multiple platforms.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/023\/23_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/023\/23.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/023\/23_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za zaj\u00edmav\u00e9 \u0159e\u0161en\u00ed vyu\u017e\u00edvaj\u00edc\u00ed strojov\u00e9 u\u010den\u00ed v netradi\u010dn\u00ed oblasti\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">28<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal28\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/028\/28_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Po\u010d\u00edta\u010dov\u00e1 podpora rozpozn\u00e1v\u00e1n\u00ed a klasifikace rodov\u00fdch erb\u016f<\/h4>\r\n\t\t\t\t<h5>Franti\u0161ek V\u00edde\u0148sk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/028\/28.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/028\/28_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal28\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">28<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Po\u010d\u00edta\u010dov\u00e1 podpora rozpozn\u00e1v\u00e1n\u00ed a klasifikace rodov\u00fdch erb\u016f<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Franti\u0161ek V\u00edde\u0148sk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Heraldika, Po\u010d\u00edta\u010dov\u00e9 vid\u011bn\u00ed, S\u00e9mantick\u00e1 segmentace, Konvolu\u010dn\u00ed neuronov\u00e9 s\u00edt\u011b, Histogram orientovan\u00fdch gradient\u016f, Aktivn\u00ed kontury<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Tento \u010dl\u00e1nek se zab\u00fdv\u00e1 rozpozn\u00e1v\u00e1n\u00edm rodov\u00fdch erb\u016f jako celku, tak jeho jednotliv\u00fdch sou\u010d\u00e1st\u00ed. Popisuje n\u00e1vrh a implementaci jednotliv\u00fdch \u010d\u00e1st\u00ed syst\u00e9m\u016f, kter\u00fd dok\u00e1\u017ee nal\u00e9zt v obraze rodov\u00fd erb, prov\u00e9st jeho dekompozici na jednotliv\u00e9 sou\u010d\u00e1sti a ty d\u00e1le klasifikovat dle heraldick\u00fdch pravidel. Dosud nebyl vytvo\u0159en syst\u00e9m, kter\u00fd by v\u00fd\u0161e zm\u00edn\u011bn\u00e9 funkce umo\u017e\u0148oval. Tento \u010dl\u00e1nek p\u0159edstavuje metody, pomoc\u00ed kter\u00fdch lze jednotliv\u00e9 funkce implementovat a v\u00fdsledn\u00fd syst\u00e9m je mo\u017en\u00e9 pou\u017e\u00edt jako pomocn\u00fd n\u00e1stroj v historick\u00fdch nebo pomocn\u00fdch historick\u00fdch v\u011bd\u00e1ch.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/028\/28_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/028\/28.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/028\/28_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic10 topic18\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za dobr\u00e9 technick\u00e9 \u0159e\u0161en\u00ed a vytvo\u0159en\u00ed aplikace s komer\u010dn\u00edm potenci\u00e1lem\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">12<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal12\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/012\/12_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>GrooveSpired - Application for Drums Training with Beat Recognition<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 \u0160trba<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/012\/12.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/012\/12_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/FPjqo-8Xw0M\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal12\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">12<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">GrooveSpired - Application for Drums Training with Beat Recognition<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Tom\u00e1\u0161 \u0160trba<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>mobile application, iOS, drum beats recognition, discrete wavelet transform, audio analysis, drum training, GrooveSpired<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed zvuku<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>The main goal is implementation of mobile application for drums training. The application must be capable to analyze and evaluate drumming skills of a drummer using drum beats recognition of recorded audio. Other features of the application are displaying drum notation of different grooves from various music styles and playing audio examples of those grooves. For time-frequency analysis discrete wavelet transform is used in this paper. Results show a true positive rate above 96\\% with reasonable time tolerance in the onset detection.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/012\/12_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/012\/12.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/012\/12_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/FPjqo-8Xw0M\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic10\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za experiment\u00e1ln\u00ed pr\u00e1ci dosahuj\u00edc\u00ed dobr\u00fdch v\u00fdsledk\u016f na \u00farovni stavu pozn\u00e1n\u00ed\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">24<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal24\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/024\/24_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Microphone Arrays for Speaker Recognition<\/h4>\r\n\t\t\t\t<h5>Ladislav Mo\u0161ner<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/024\/24.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/024\/24_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal24\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">24<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Microphone Arrays for Speaker Recognition<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Ladislav Mo\u0161ner<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Speaker recognition, Microphone arrays, Beamforming, Room impulse response<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed zvuku<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper addresses the problem of remote speaker recognition (SRE). Nowadays, systems working with signals from close-talking microphones yield very good results. However, in the case of remotely obtained data, their accuracy decreases considerably. Therefore, we explore the applicability of microphone arrays for recovery from errors of SRE system introduced by the room reverberation, where microphone arrays are purposely positioned set of microphones. We discuss two approaches which are both based on microphone arrays -- beamforming (delay-and-sum) for enhancement of the input signals and the retraining of the SRE system components with the beamformed data. By the combination of both techniques, we have achieved significant improvement of accuracy in comparison with the results obtained with the single-microphone recordings.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/024\/24_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/024\/24.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/024\/24_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic18\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za mobiln\u00ed aplikaci s praktick\u00fdm potenci\u00e1lem\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">16<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal16\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/016\/16_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Mobiln\u00ed aplikace pro sd\u00edlen\u00ed informace o p\u0159\u00edtomnosti na m\u00edst\u011b<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 Vlk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/016\/16.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/016\/16_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal16\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">16<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Mobiln\u00ed aplikace pro sd\u00edlen\u00ed informace o p\u0159\u00edtomnosti na m\u00edst\u011b<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Tom\u00e1\u0161 Vlk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Android, Firebase, Poloha, Geofence, Sd\u00edlen\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem t\u00e9to pr\u00e1ce je vytvo\u0159it u\u017eivatelsky p\u0159\u00edv\u011btivou mobiln\u00ed aplikaci, d\u00edky n\u00ed\u017e bude snaz\u0161\u00ed sd\u00edlet svoji polohu a z\u00e1rove\u0148 zachovat sv\u00e9 soukrom\u00ed. Toho je dosa\u017eeno sd\u00edlen\u00edm pouze informace o p\u0159\u00edtomnosti na m\u00edst\u011b m\u00edsto GPS sou\u0159adnic aktu\u00e1ln\u00ed polohy. Pro snaz\u0161\u00ed sd\u00edlen\u00ed nab\u00edz\u00ed aplikace automatickou detekci p\u0159\u00edtomnosti na ur\u010dit\u00e9m m\u00edst\u011b, \u0159e\u0161enou pomoc\u00ed GeofencingApi. Jako c\u00edlov\u00e1 platforma t\u00e9to aplikace byl zvolen syst\u00e9m Android. Ke komunikaci mezi za\u0159\u00edzen\u00edmi se vyu\u017e\u00edv\u00e1 Firebase Cloud Messaging. V\u00fdsledkem pr\u00e1ce je, \u017ee s m\u00edrn\u00fdmi \u00fapravami funguje GeofencingApi spolehliv\u011b a lze ur\u010dit p\u0159\u00edtomnost za\u0159\u00edzen\u00ed na m\u00edst\u011b s polom\u011brem v\u011bt\u0161\u00edm ne\u017e 50 metr\u016f. Z\u00e1rove\u0148 ale nedoch\u00e1z\u00ed k aktivn\u00edmu dotazov\u00e1n\u00ed polohy. Poda\u0159ilo se tak vytvo\u0159it aplikaci, kter\u00e1 nemus\u00ed b\u00fdt v\u016fbec spu\u0161t\u011bna (ani \u017e\u00e1dn\u00e1 jej\u00ed slu\u017eba na pozad\u00ed) a p\u0159itom dok\u00e1\u017ee detekovat p\u0159\u00edtomnost za\u0159\u00edzen\u00ed na ur\u010dit\u00e9m m\u00edst\u011b a p\u0159ij\u00edmat zpr\u00e1vy od ostatn\u00edch za\u0159\u00edzen\u00ed. Nejv\u011bt\u0161\u00ed p\u0159ednost\u00ed tohoto p\u0159\u00edstupu je velmi n\u00edzk\u00e1 spot\u0159eba energie oproti jin\u00fdm \u0159e\u0161en\u00edm.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/016\/16_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/016\/16.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/016\/16_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za konkurenceschopn\u00e9 za\u0159\u00edzen\u00ed v oblasti kusov\u00e9 v\u00fdroby d\u00edl\u016f\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">21<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal21\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/021\/21_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Multifunk\u010dn\u00ed CNC za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed<\/h4>\r\n\t\t\t\t<h5>Luk\u00e1\u0161 Kraicinger, Libor Danda<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/021\/21_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal21\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">21<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Multifunk\u010dn\u00ed CNC za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Luk\u00e1\u0161 Kraicinger, Libor Danda<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>CNC stroj, v\u00fdroba ozuben\u00ed, prototyp, fr\u00e9zov\u00e1n\u00ed, elektronika, software<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Projekt se zab\u00fdv\u00e1 n\u00e1vrhem a n\u00e1slednou tvorbou prototypu \u0161estios\u00e9ho multifunk\u010dn\u00edho za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed. Jedn\u00e1 se o komplexn\u00ed t\u00fdmov\u00fd projekt rozd\u011blen\u00fd na dv\u011b \u010d\u00e1sti, ka\u017ed\u00e1 \u010d\u00e1st je jedna diplomov\u00e1 pr\u00e1ce. Jedna z pohledu konstrukce mechanick\u00e9 str\u00e1nky stroje a druh\u00e1 z pohledu elektroniky a \u0159\u00edd\u00edc\u00edho softwaru. Konstrukce stroje je navr\u017eena kompletn\u011b od za\u010d\u00e1tku Liborem Dandou z Fakulty strojn\u00edho in\u017een\u00fdrstv\u00ed (\u00dastav konstruov\u00e1n\u00ed). Elektroniku a \u0159\u00edd\u00edc\u00ed software vytv\u00e1\u0159\u00ed Luk\u00e1\u0161 Kraicinger z Fakulty informa\u010dn\u00edch technologi\u00ed. \u0158\u00edd\u00edc\u00ed software v sob\u011b integruje specifick\u00fdm CAM (Computer Aided Manufacturing) syst\u00e9mem, co\u017e sni\u017euje dal\u0161\u00ed n\u00e1klady na obslu\u017en\u00fd software. Stroj je kompaktn\u00ed automat (v\u0161e v jednom), kter\u00fd pro v\u00fdrobu ozuben\u00ed pot\u0159ebuje pouze vhodn\u00fd polotovar a z\u00e1kladn\u00ed parametry ozuben\u00ed. Hodnoty se zad\u00e1vaj\u00ed pomoc\u00ed dotykov\u00e9ho displeje p\u0159\u00edmo na stroji nebo lze v\u00fdrobu p\u0159ipravit pomoc\u00ed stejn\u00e9ho softwaru na pracovn\u00edm PC bez stroje. Hlavn\u00ed v\u00fdhodou stroje je zjednodu\u0161en\u00ed a zrychlen\u00ed v\u00fdrobn\u00edho procesu a trojn\u00e1sobn\u00e9 zv\u011bt\u0161en\u00ed pracovn\u00edho prostoru stroje oproti velikostn\u011b srovnateln\u00fdm stroj\u016fm na trhu. Dal\u0161\u00ed z v\u00fdhod je sn\u00ed\u017een\u00ed energetick\u00fdch n\u00e1rok\u016f na v\u00fdrobu.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/021\/21_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/021\/21_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za komplexn\u00ed HW\/SW codesing \u0159e\u0161en\u00ed s potenci\u00e1lem uplatn\u011bn\u00ed na trhu\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">22<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal22\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/022\/22_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Vstavan\u00fd syst\u00e9m pre evidenciu spotreby vody<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 Hajd\u00edk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/022\/22.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/022\/22_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal22\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">22<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Vstavan\u00fd syst\u00e9m pre evidenciu spotreby vody<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Tom\u00e1\u0161 Hajd\u00edk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Evidencia spotreby vody, Vstavan\u00fd syst\u00e9m, ESP8266, Wi-Fi modul, RFID, Webov\u00fd server, Bezdr\u00f4tov\u00fd vodomer, RTC, DS3231, WMBUS, Framework 7<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Bakal\u00e1rska pr\u00e1ca sa zaober\u00e1 problematikou evidencie stavu bezdr\u00f4tov\u00fdch vodomerov. Cie\u013eom je n\u00e1vrh a implement\u00e1cia funk\u010dn\u00e9ho prototypu vstavan\u00e9ho syst\u00e9mu na b\u00e1ze Wi-Fi modulu ESP8266, ktor\u00fd je schopn\u00fd evidova\u0165 mno\u017estvo spotrebovanej vody u jednotliv\u00fdch u\u017e\u00edvate\u013eov prostredn\u00edctvom bezdr\u00f4tov\u00e9ho odpo\u010dtu stavu vodomeru. U\u017e\u00edvatelia maj\u00fa mo\u017enos\u0165 identifik\u00e1cie bezkontaktnou RFID kartou. Vstavan\u00fd syst\u00e9m zabezpe\u010duje svoju dostupnos\u0165 a spr\u00edstup\u0148uje d\u00e1ta administr\u00e1torovi pomocou siete Wi-Fi. Spr\u00e1vca interaguje so syst\u00e9mom pomocou mobiln\u00e9ho telef\u00f3nu a aplik\u00e1cie be\u017eiacej na module ESP8266. Pr\u00e1ca zah\u0155\u0148a n\u00e1vrh hardwarovej kon\u0161trukcie a taktie\u017e implement\u00e1cie softwaru pomocou jazyka C++. V\u00fdsledkom je funk\u010dn\u00fd prototyp syst\u00e9mu, ktor\u00fd prin\u00e1\u0161a nov\u00e9 mo\u017enosti do oblasti bezdr\u00f4tov\u00e9ho odpo\u010dtu vodomerov, nako\u013eko nevy\u017eaduje cenovo \u0165a\u017eko dostupn\u00e9 a vysoko \u0161pecializovan\u00e9 pr\u00edstroje pre evidenciu spotreby, ale je pr\u00edstupn\u00fd z mobiln\u00e9ho telef\u00f3nu a t\u00fdm roz\u0161iruje trh aj pre be\u017en\u00fdch spotrebite\u013eov.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/022\/22_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/022\/22.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/022\/22_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za levn\u00e9, av\u0161ak praktick\u00e9 a u\u017eivatelsky p\u0159\u00edv\u011btiv\u00e9 \u0159e\u0161en\u00ed pro motocyklisty\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">35<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal35\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/035\/35_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Pokro\u010dil\u00e9 m\u011b\u0159en\u00ed spot\u0159eby paliva motocyklu<\/h4>\r\n\t\t\t\t<h5>Mat\u011bj \u0160oc<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/035\/35.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/035\/35_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal35\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">35<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Pokro\u010dil\u00e9 m\u011b\u0159en\u00ed spot\u0159eby paliva motocyklu<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Mat\u011bj \u0160oc<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Spot\u0159eba paliva, Pr\u016ftokom\u011br, Arduino<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Tato pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed syst\u00e9mu pro m\u011b\u0159en\u00ed a profilov\u00e1n\u00ed spot\u0159eby paliva motocyklu v z\u00e1vislosti na zem\u011bpisn\u00e9 poloze. Syst\u00e9m byl implementov\u00e1n na desce Arduino MEGA 2560. K m\u011b\u0159en\u00ed spot\u0159eby je pou\u017eit palivov\u00fd pr\u016ftokom\u011br, tud\u00ed\u017e je navr\u017een\u00fd syst\u00e9m pou\u017eiteln\u00fd pro jak\u00fdkoli motocykl. Sou\u010d\u00e1st\u00ed syst\u00e9mu je tak\u00e9 aplikace, kter\u00e1 u\u017eivateli nab\u00edz\u00ed p\u0159ehlednou interpretaci nam\u011b\u0159en\u00fdch dat. Navr\u017een\u00fd syst\u00e9m prov\u00e1d\u00ed p\u0159esn\u00e1 m\u011b\u0159en\u00ed spot\u0159eby paliva a rychlosti. S drobn\u00fdmi \u00fapravami m\u016f\u017ee b\u00fdt uveden do praxe.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/035\/35_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/035\/35.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/035\/35_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic13\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za \u0159e\u0161en\u00ed s potenci\u00e1lem pro vyu\u017eit\u00ed v robotick\u00fdch aplikac\u00edch\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">42<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal42\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/042\/42_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>LIDAR and stereo camera data fusion in mobile robot mapping<\/h4>\r\n\t\t\t\t<h5>Jana Vyroubalov\u00e1<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/042\/42.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/042\/42_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal42\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">42<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">LIDAR and stereo camera data fusion in mobile robot mapping<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Jana Vyroubalov\u00e1<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>LIDAR, stereo camera, mapping, least squares plane, sensors fusion, disparity map, ground plane detection<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>LIDAR (2D) has been widely used for mapping and navigation in mobile robotics. However, its usage is limited to simple environments. This problem can be solved by adding more sensors and processing these data together. This paper explores a method how measurements from a stereo camera and LIDAR are fused to dynamical mapping. An occupancy grid map from LIDAR data is used as prerequisite and extended by a 2D grid map from stereo camera. This approach is based on the ground plane estimation in disparity map acquired from the stereo vision. For the ground plane detection, RANSAC and Least Squares methods are used. After obstacles determination, 2D occupancy map is generated. The output of this method is 2D map as a fusion of complementary maps from LIDAR and camera. Experimental results obtained from Willow Garage Stereo and Hokuyo UTM-30LX Laser are good enough to determine that this method is a benefit, although my implementation is still a prototype. In this paper, we present the applied methods, analyze the results and discuss the modifications and possible extensions to get better results.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/042\/42_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/042\/42.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/042\/42_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"za praktick\u00e9 \u0159e\u0161en\u00ed s dobr\u00fdm potenci\u00e1lem pro budouc\u00ed rozvoj a spolupr\u00e1ci\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">40<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal40\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h4>\r\n\t\t\t\t<h5>V\u00e1clav Str\u00e1nsk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal40\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">40<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>V\u00e1clav Str\u00e1nsk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>detekce obsazenosti parkovi\u0161t\u011b, detekce automobil\u016f, hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b, model pozad\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed robustn\u00edho syst\u00e9mu pro anal\u00fdzu obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst na parkovi\u0161ti ze z\u00e1znam\u016f z v\u00edce-kamerov\u00e9ho syst\u00e9mu s mo\u017enost\u00ed p\u0159ekryvu mezi kamerami. Syst\u00e9m je navr\u017een a implementov\u00e1n v Robotick\u00e9m opera\u010dn\u00edm syst\u00e9mu (ROS) a jeho j\u00e1dro se skl\u00e1d\u00e1 ze dvou odd\u011blen\u00fdch klasifik\u00e1tor\u016f. \u00dasp\u011b\u0161n\u011bj\u0161\u00ed, av\u0161ak pomalej\u0161\u00ed, je detekce pomoc\u00ed hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b. Rychlou interakci \u0159e\u0161\u00ed m\u00e9n\u011b p\u0159esn\u00fd klasifik\u00e1tor pohybu s modelem pozad\u00ed. Syst\u00e9m je schopen fungovat v re\u00e1ln\u00e9m \u010dase, a to na grafick\u00e9 kart\u011b i na procesoru. \u00dasp\u011b\u0161nost syst\u00e9mu na testovac\u00ed datov\u00e9 sad\u011b z re\u00e1ln\u00e9ho provozu jednoho parkovi\u0161t\u011b p\u0159esahuje 93%. Ke konceptu chytr\u00fdch m\u011bst neodmysliteln\u011b pat\u0159\u00ed efektivn\u00ed parkovac\u00ed \u0159e\u0161en\u00ed stav\u00edc\u00ed na znalosti obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst. Tato pr\u00e1ce popisuje pr\u00e1v\u011b takov\u00fd syst\u00e9m, kter\u00fd v\u00fdrazn\u011b usnadn\u00ed orientaci na parkovi\u0161ti, a to s velmi dobrou \u00fasp\u011b\u0161nost\u00ed.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div><div class=\"clearfix\"><\/div>\r\n\t<\/div>\r\n\t\r\n\t\r\n\t\r\n\t\r\n\r\n\t<h2 id=\"oceneni-partnery\">Ocen\u011bn\u00ed <strong>partnery<\/strong><\/h2>\r\n\t<div class=\"row results\">\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Vyrie\u0161enie \u00falohy v komplexnom rozsahu od zberu d\u00e1t, cez tr\u00e9novanie alg. strojov\u00e9ho u\u010denia a\u017e po aplik\u00e1ciu do embedded zariadenia\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">33<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal33\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/033\/33_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Odhad rozestupu automobil\u016f z mobiln\u00edho telefonu um\u00edst\u011bn\u00e9ho ve vozidle<\/h4>\r\n\t\t\t\t<h5>Ond\u0159ej Zem\u00e1nek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/033\/33.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/033\/33_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/_WkcxLvoeO8\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/gold\/innovatrics.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal33\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">33<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Odhad rozestupu automobil\u016f z mobiln\u00edho telefonu um\u00edst\u011bn\u00e9ho ve vozidle<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Ond\u0159ej Zem\u00e1nek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Odhad vzd\u00e1lenosti z obrazu, Kask\u00e1dov\u00fd klasifik\u00e1tor, Rozpozn\u00e1v\u00e1n\u00ed vozidel z obrazu, Kalibrace kamery<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem tohoto projektu je mobiln\u00ed aplikace pro syst\u00e9m Android, kter\u00e1 by pomohla s p\u0159edv\u00edd\u00e1n\u00edm rizika sr\u00e1\u017eky p\u0159i nebezpe\u010dn\u00e9m sni\u017eov\u00e1n\u00ed rozestupu vozidel. Aplikace sleduje rozestup vozidel a p\u0159i n\u00e1hl\u00e9 zm\u011bn\u011b rozestup\u016f upozorn\u00ed \u0159idi\u010de zvukov\u00fdm sign\u00e1lem. Predikce prob\u00edh\u00e1 detekc\u00ed vozidel pomoc\u00ed natr\u00e9novan\u00e9ho kask\u00e1dov\u00e9ho klasifik\u00e1toru a n\u00e1sledn\u00e9 kontrolou rozestupu vozidel z obrazu kamery mobiln\u00edho telefonu. Odhad rozestupu je vyhodnocov\u00e1n na z\u00e1klad\u011b znalost\u00ed parametr\u016f kamery, pr\u016fm\u011brn\u00fdch rozm\u011br\u016f vozidel,velikosti detekovan\u00e9ho vozidla a p\u0159\u00edpadn\u011b velikosti registra\u010dn\u00ed zna\u010dky, jej\u00ed\u017e detekce prob\u00edh\u00e1 v oblasti sn\u00edmku, kter\u00e1 je klasifik\u00e1torem nejl\u00e9pe klasifikov\u00e1na jako vozidlo. Pro rozpozn\u00e1v\u00e1n\u00ed vozidel pomoc\u00ed kask\u00e1dov\u00e9ho klasifik\u00e1toru byla vytvo\u0159ena tr\u00e9novac\u00ed datov\u00e1 sada. Samotn\u00e1 pr\u00e1ce se pak zam\u011b\u0159uje na p\u011bt hlavn\u00edch probl\u00e9m\u016f \u2013 vytvo\u0159en\u00ed datov\u00e9 sady vozidel, tr\u00e9nov\u00e1n\u00ed kask\u00e1dov\u00e9ho klasifik\u00e1toru pro klasifikace vozidel v obraze, odhad rozestupu vozidel, sledov\u00e1n\u00ed rozestupu vozidel a vyhodnocen\u00ed odhadu rozestupu a klasifikace.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/033\/33_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/033\/33.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/033\/33_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/_WkcxLvoeO8\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic21\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Inovativn\u00ed p\u0159\u00edstup k vytvo\u0159en\u00ed p\u0159eklada\u010de\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">18<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal18\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/018\/18_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>The Beast programming language<\/h4>\r\n\t\t\t\t<h5>Daniel \u010cejchan<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/018\/18_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/gold\/tescan.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal18\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">18<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">The Beast programming language<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Daniel \u010cejchan<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>programming language, CTFE, code hatching, compile time, metaprogramming, ctime, Beast<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Programovac\u00ed jazyky a p\u0159eklada\u010de<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper introduces a new compiled, imperative, object-oriented, C-family programming language, particularly inspired by C++ and D. Most notably, the language implements a new concept called code hatching (also a subject of this paper) that unifies templating, compile-time function execution, compile-time reflection and metaprogramming in general. The project also includes a proof-of-concept open-source compiler (more precisely transcompiler to C) called Dragon that demonstrates core elements of the language and the code hatching concept.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/018\/18_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/018\/18_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Hezk\u00e9 in\u017een\u00fdrsk\u00e9 \u0159e\u0161en\u00ed s vyu\u017eit\u00edm histogramov\u00e9ho a NN klasifik\u00e1toru. Skv\u011bl\u00e1 demonstrace systematick\u00e9ho p\u0159\u00edstupu. V\u00fdborn\u00e1 prezentace pr\u00e1ce v p\u0159ehledn\u00e9m \u010dl\u00e1nku.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">10<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal10\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/010\/10_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Rozpozn\u00e1v\u00e1n\u00ed CAPTCHA k\u00f3d\u016f<\/h4>\r\n\t\t\t\t<h5>Radek Pazderka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/010\/10.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/010\/10_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/artin.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal10\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">10<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Rozpozn\u00e1v\u00e1n\u00ed CAPTCHA k\u00f3d\u016f<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Radek Pazderka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>CAPTCHA k\u00f3d, strojov\u00e9 u\u010den\u00ed, histogramov\u00fd klasifik\u00e1tor, konvolu\u010dn\u00ed neuronov\u00e1 s\u00ed\u0165, LeNet, Caffe<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Tento \u010dl\u00e1nek se zam\u011b\u0159uje na rozpozn\u00e1v\u00e1n\u00ed CAPTCHA k\u00f3d\u016f pomoc\u00ed dvou odli\u0161n\u00fdch klasifik\u00e1tor\u016f. Jedn\u00e1 se o histogramov\u00fd klasifik\u00e1tor a konvolu\u010dn\u00ed neuronovou s\u00ed\u0165. U obou klasifik\u00e1tor\u016f uv\u00e1d\u00edme stru\u010dn\u00fd postup jejich tr\u00e9nov\u00e1n\u00ed a testov\u00e1n\u00ed. V z\u00e1v\u011bru \u010dl\u00e1nku jsou oba tyto klasifik\u00e1tory porovn\u00e1ny s ji\u017e existuj\u00edc\u00edmi p\u0159\u00edstupy k rozpozn\u00e1v\u00e1n\u00ed CAPTCHA k\u00f3d\u016f. V diskuzi pak porovn\u00e1v\u00e1me v\u00fdhody a nev\u00fdhody jednotliv\u00fdch metod.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/010\/10_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/010\/10.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/010\/10_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Zaj\u00edmav\u00e9 a praktick\u00e9 vyu\u017eit\u00ed FPGA v n\u00e1ro\u010dn\u00e9m prost\u0159ed\u00ed p\u00e1te\u0159n\u00edch s\u00edt\u00ed, praktick\u00e9 nasazen\u00ed prototypu.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">32<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal32\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/032\/32_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Hardv\u00e9rovo akcelerovan\u00e9 zariadenie pre ochranu pred (D)DoS \u00fatokmi<\/h4>\r\n\t\t\t\t<h5>M\u00e1rio Kuka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/032\/32_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/edhouse.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal32\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">32<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Hardv\u00e9rovo akcelerovan\u00e9 zariadenie pre ochranu pred (D)DoS \u00fatokmi<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>M\u00e1rio Kuka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>DCPro, (D)DoS Protector, COMBO, CESNET, hardv\u00e9rov\u00e1 akceler\u00e1cia, FPGA, vysokor\u00fdchlostn\u00e9 siete, 100 Gbps<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>T\u00e1to pr\u00e1ca sa zaober\u00e1 v\u00fdvojom firmv\u00e9ru hardv\u00e9rovej akceler\u00e1cie pre zariadenie na ochranu pred amplifika\u010dn\u00fdmi (D)DoS \u00fatokmi. V dne\u0161nej dobe s\u00fa \u00fatoky typu (D)DoS ve\u013emi roz\u0161\u00edren\u00e9 a zapr\u00ed\u010di\u0148uj\u00fa nemal\u00e9 finan\u010dn\u00e9 \u0161kody.  Cie\u013eom je preto vytvori\u0165 cenovo dostupn\u00e9 a \u013eahko nasadite\u013en\u00e9 centralizovan\u00e9 zariadenie na rie\u0161enie dan\u00e9ho probl\u00e9mu. K dosiahnutiu tohto cie\u013eu vyu\u017e\u00edva zariadenie hardv\u00e9rov\u00fd akceler\u00e1tor umo\u017e\u0148uj\u00faci spracov\u00e1va\u0165 vysok\u00e9 d\u00e1tov\u00e9 prenosy prostredn\u00edctvom jedn\u00e9ho, be\u017ene dostupn\u00e9ho, serveru. N\u00e1vrh a implement\u00e1cia firmv\u00e9ru je uskuto\u010dnen\u00e1 s oh\u013eadom na pou\u017eitie zariadenia v sie\u0165ach s r\u00fdchlos\u0165ami 100\\,Gbps. Cel\u00fd syst\u00e9m pre\u0161iel funk\u010dnou verifik\u00e1ciou a v r\u00e1mci laborat\u00f3rneho testovania bola overen\u00e1 jeho re\u00e1lna priepustnos\u0165. Vytvoren\u00e9 zariadenie je aktu\u00e1lne nasaden\u00e9 v sie\u0165ovej infra\u0161trukt\u00fare CESNET a testovan\u00e9 sie\u0165ov\u00fdmi administr\u00e1tormi. Na z\u00e1klade sp\u00e4tnej v\u00e4zby bude na vytvorenom zariaden\u00fd pokra\u010dova\u0165 \u010fal\u0161\u00ed v\u00fdvoj zameran\u00fd na roz\u0161irovanie detekcie o \u010fal\u0161ie typy \u00fatokov. O zariadenie aktu\u00e1lne prejavili z\u00e1ujem aj niektor\u00ed z \u010desk\u00fdch komer\u010dn\u00fdch  poskytovate\u013eov sie\u0165ov\u00fdch slu\u017eieb.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/032\/32_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/032\/32_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bn\u00ed sou\u010dasn\u00e9ho v\u00fdvoje HW a SW.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">21<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal21\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/021\/21_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Multifunk\u010dn\u00ed CNC za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed<\/h4>\r\n\t\t\t\t<h5>Luk\u00e1\u0161 Kraicinger, Libor Danda<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/021\/21_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/fei.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal21\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">21<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Multifunk\u010dn\u00ed CNC za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Luk\u00e1\u0161 Kraicinger, Libor Danda<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>CNC stroj, v\u00fdroba ozuben\u00ed, prototyp, fr\u00e9zov\u00e1n\u00ed, elektronika, software<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Projekt se zab\u00fdv\u00e1 n\u00e1vrhem a n\u00e1slednou tvorbou prototypu \u0161estios\u00e9ho multifunk\u010dn\u00edho za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed. Jedn\u00e1 se o komplexn\u00ed t\u00fdmov\u00fd projekt rozd\u011blen\u00fd na dv\u011b \u010d\u00e1sti, ka\u017ed\u00e1 \u010d\u00e1st je jedna diplomov\u00e1 pr\u00e1ce. Jedna z pohledu konstrukce mechanick\u00e9 str\u00e1nky stroje a druh\u00e1 z pohledu elektroniky a \u0159\u00edd\u00edc\u00edho softwaru. Konstrukce stroje je navr\u017eena kompletn\u011b od za\u010d\u00e1tku Liborem Dandou z Fakulty strojn\u00edho in\u017een\u00fdrstv\u00ed (\u00dastav konstruov\u00e1n\u00ed). Elektroniku a \u0159\u00edd\u00edc\u00ed software vytv\u00e1\u0159\u00ed Luk\u00e1\u0161 Kraicinger z Fakulty informa\u010dn\u00edch technologi\u00ed. \u0158\u00edd\u00edc\u00ed software v sob\u011b integruje specifick\u00fdm CAM (Computer Aided Manufacturing) syst\u00e9mem, co\u017e sni\u017euje dal\u0161\u00ed n\u00e1klady na obslu\u017en\u00fd software. Stroj je kompaktn\u00ed automat (v\u0161e v jednom), kter\u00fd pro v\u00fdrobu ozuben\u00ed pot\u0159ebuje pouze vhodn\u00fd polotovar a z\u00e1kladn\u00ed parametry ozuben\u00ed. Hodnoty se zad\u00e1vaj\u00ed pomoc\u00ed dotykov\u00e9ho displeje p\u0159\u00edmo na stroji nebo lze v\u00fdrobu p\u0159ipravit pomoc\u00ed stejn\u00e9ho softwaru na pracovn\u00edm PC bez stroje. Hlavn\u00ed v\u00fdhodou stroje je zjednodu\u0161en\u00ed a zrychlen\u00ed v\u00fdrobn\u00edho procesu a trojn\u00e1sobn\u00e9 zv\u011bt\u0161en\u00ed pracovn\u00edho prostoru stroje oproti velikostn\u011b srovnateln\u00fdm stroj\u016fm na trhu. Dal\u0161\u00ed z v\u00fdhod je sn\u00ed\u017een\u00ed energetick\u00fdch n\u00e1rok\u016f na v\u00fdrobu.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/021\/21_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/021\/21_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Inovativn\u00ed p\u0159\u00edstup s mo\u017enost\u00ed re\u00e1ln\u00e9ho vyu\u017eit\u00ed\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">1<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal1\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/001\/1_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Reconstruction of 3D Information about Passing Vehicles<\/h4>\r\n\t\t\t\t<h5>Petr Dobe\u0161<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/001\/1_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/6FJpbTb12ho\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/honeywell.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal1\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">1<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Reconstruction of 3D Information about Passing Vehicles<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Petr Dobe\u0161<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>3D Reconstruction, Structure from Motion, Traffic Surveillance, Traffic Analysis, Camera Calibration<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper reports experiments focusing on 3D reconstruction of vehicles passing in front of a traffic surveillance camera. Calibration process of surveillance camera is first introduced and the relation of automatic calibration with 3D information about observed traffic is described. Afterwards, a set of experiments with feature matching and Structure from Motion algorithm are presented and their results on images of passing vehicles are examined. Modifications to the correspondence search stage of Structure from Motion pipeline are then proposed. Most importantly, instead of using SIFT features, DeepMatching algorithm (originally devised to find quasi-dense point matches in optical flow calculation) is used to obtain point correspondences for subsequent reconstruction phase. As a result of implemented modifications, the overall completeness of reconstructed point cloud model of passing vehicle has improved significantly.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/001\/1_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/001\/1_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/6FJpbTb12ho\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic15 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Profesion\u00e1ln\u00ed prezentace, oblast security zaj\u00edmav\u00e1 pro IoT\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">26<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal26\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Automation of MitM Attack on WiFi Networks<\/h4>\r\n\t\t\t\t<h5>Martin Vondr\u00e1\u010dek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/nxp.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal26\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">26<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Automation of MitM Attack on WiFi Networks<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Martin Vondr\u00e1\u010dek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Man-in-the-Middle attack, accessing secured wireless networks, password cracking, dictionary personalization, tampering network topology, impersonation, phishing<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Widely used network technologies and principles of wireless security suffer weaknesses that can be exploited to perform the Man-in-the-Middle attack, allowing to eavesdrop or to spoof the network communication. The work focuses on possibilities of automation of the attack with a utilization of available specialized tools. The outcome of the research is the wifimitm package and the wifimitmcli CLI tool, both implemented in Python. The emphasis was placed on possibilities of further incorporation of the developed tool. The package provides functionality for automated MitM attack and can be used by other software. The wifimitmcli tool is capable of performing a successful fully automated attack without any intervention from an attacker. This research can be used for automated penetration testing and forensic investigation. Finally, a popularization of the fact that such severe attacks can be successfully automated should be used to raise the public awareness about the information security. In these days, this issue involves almost every one of us.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Tato pr\u00e1ce se n\u00e1m l\u00edbila, je zde mo\u017enost re\u00e1ln\u00e9ho uplatn\u011bn\u00ed v praxi.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">40<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal40\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h4>\r\n\t\t\t\t<h5>V\u00e1clav Str\u00e1nsk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/onsemi.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal40\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">40<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>V\u00e1clav Str\u00e1nsk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>detekce obsazenosti parkovi\u0161t\u011b, detekce automobil\u016f, hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b, model pozad\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed robustn\u00edho syst\u00e9mu pro anal\u00fdzu obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst na parkovi\u0161ti ze z\u00e1znam\u016f z v\u00edce-kamerov\u00e9ho syst\u00e9mu s mo\u017enost\u00ed p\u0159ekryvu mezi kamerami. Syst\u00e9m je navr\u017een a implementov\u00e1n v Robotick\u00e9m opera\u010dn\u00edm syst\u00e9mu (ROS) a jeho j\u00e1dro se skl\u00e1d\u00e1 ze dvou odd\u011blen\u00fdch klasifik\u00e1tor\u016f. \u00dasp\u011b\u0161n\u011bj\u0161\u00ed, av\u0161ak pomalej\u0161\u00ed, je detekce pomoc\u00ed hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b. Rychlou interakci \u0159e\u0161\u00ed m\u00e9n\u011b p\u0159esn\u00fd klasifik\u00e1tor pohybu s modelem pozad\u00ed. Syst\u00e9m je schopen fungovat v re\u00e1ln\u00e9m \u010dase, a to na grafick\u00e9 kart\u011b i na procesoru. \u00dasp\u011b\u0161nost syst\u00e9mu na testovac\u00ed datov\u00e9 sad\u011b z re\u00e1ln\u00e9ho provozu jednoho parkovi\u0161t\u011b p\u0159esahuje 93%. Ke konceptu chytr\u00fdch m\u011bst neodmysliteln\u011b pat\u0159\u00ed efektivn\u00ed parkovac\u00ed \u0159e\u0161en\u00ed stav\u00edc\u00ed na znalosti obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst. Tato pr\u00e1ce popisuje pr\u00e1v\u011b takov\u00fd syst\u00e9m, kter\u00fd v\u00fdrazn\u011b usnadn\u00ed orientaci na parkovi\u0161ti, a to s velmi dobrou \u00fasp\u011b\u0161nost\u00ed.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic10\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Pr\u00e1ce \u0159e\u0161\u00ed aktu\u00e1ln\u00ed probl\u00e9m vzd\u00e1len\u00fdch mikrofon\u016f a m\u00e1 jasn\u00e9 zac\u00edlen\u00ed do praxe.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">24<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal24\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/024\/24_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Microphone Arrays for Speaker Recognition<\/h4>\r\n\t\t\t\t<h5>Ladislav Mo\u0161ner<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/024\/24.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/024\/24_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/phonexia.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal24\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">24<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Microphone Arrays for Speaker Recognition<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Ladislav Mo\u0161ner<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Speaker recognition, Microphone arrays, Beamforming, Room impulse response<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed zvuku<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper addresses the problem of remote speaker recognition (SRE). Nowadays, systems working with signals from close-talking microphones yield very good results. However, in the case of remotely obtained data, their accuracy decreases considerably. Therefore, we explore the applicability of microphone arrays for recovery from errors of SRE system introduced by the room reverberation, where microphone arrays are purposely positioned set of microphones. We discuss two approaches which are both based on microphone arrays -- beamforming (delay-and-sum) for enhancement of the input signals and the retraining of the SRE system components with the beamformed data. By the combination of both techniques, we have achieved significant improvement of accuracy in comparison with the results obtained with the single-microphone recordings.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/024\/24_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/024\/24.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/024\/24_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Levn\u00e9, ale smyslupln\u00e9 \u0159e\u0161en\u00ed, kter\u00e9 m\u016f\u017ee zachr\u00e1nit lidsk\u00e9 \u017eivoty.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">33<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal33\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/033\/33_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Odhad rozestupu automobil\u016f z mobiln\u00edho telefonu um\u00edst\u011bn\u00e9ho ve vozidle<\/h4>\r\n\t\t\t\t<h5>Ond\u0159ej Zem\u00e1nek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/033\/33.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/033\/33_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/_WkcxLvoeO8\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/rce-systems.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal33\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">33<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Odhad rozestupu automobil\u016f z mobiln\u00edho telefonu um\u00edst\u011bn\u00e9ho ve vozidle<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Ond\u0159ej Zem\u00e1nek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Odhad vzd\u00e1lenosti z obrazu, Kask\u00e1dov\u00fd klasifik\u00e1tor, Rozpozn\u00e1v\u00e1n\u00ed vozidel z obrazu, Kalibrace kamery<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem tohoto projektu je mobiln\u00ed aplikace pro syst\u00e9m Android, kter\u00e1 by pomohla s p\u0159edv\u00edd\u00e1n\u00edm rizika sr\u00e1\u017eky p\u0159i nebezpe\u010dn\u00e9m sni\u017eov\u00e1n\u00ed rozestupu vozidel. Aplikace sleduje rozestup vozidel a p\u0159i n\u00e1hl\u00e9 zm\u011bn\u011b rozestup\u016f upozorn\u00ed \u0159idi\u010de zvukov\u00fdm sign\u00e1lem. Predikce prob\u00edh\u00e1 detekc\u00ed vozidel pomoc\u00ed natr\u00e9novan\u00e9ho kask\u00e1dov\u00e9ho klasifik\u00e1toru a n\u00e1sledn\u00e9 kontrolou rozestupu vozidel z obrazu kamery mobiln\u00edho telefonu. Odhad rozestupu je vyhodnocov\u00e1n na z\u00e1klad\u011b znalost\u00ed parametr\u016f kamery, pr\u016fm\u011brn\u00fdch rozm\u011br\u016f vozidel,velikosti detekovan\u00e9ho vozidla a p\u0159\u00edpadn\u011b velikosti registra\u010dn\u00ed zna\u010dky, jej\u00ed\u017e detekce prob\u00edh\u00e1 v oblasti sn\u00edmku, kter\u00e1 je klasifik\u00e1torem nejl\u00e9pe klasifikov\u00e1na jako vozidlo. Pro rozpozn\u00e1v\u00e1n\u00ed vozidel pomoc\u00ed kask\u00e1dov\u00e9ho klasifik\u00e1toru byla vytvo\u0159ena tr\u00e9novac\u00ed datov\u00e1 sada. Samotn\u00e1 pr\u00e1ce se pak zam\u011b\u0159uje na p\u011bt hlavn\u00edch probl\u00e9m\u016f \u2013 vytvo\u0159en\u00ed datov\u00e9 sady vozidel, tr\u00e9nov\u00e1n\u00ed kask\u00e1dov\u00e9ho klasifik\u00e1toru pro klasifikace vozidel v obraze, odhad rozestupu vozidel, sledov\u00e1n\u00ed rozestupu vozidel a vyhodnocen\u00ed odhadu rozestupu a klasifikace.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/033\/33_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/033\/33.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/033\/33_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/_WkcxLvoeO8\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"For keeping it simple\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">40<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal40\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h4>\r\n\t\t\t\t<h5>V\u00e1clav Str\u00e1nsk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/sap.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal40\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">40<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>V\u00e1clav Str\u00e1nsk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>detekce obsazenosti parkovi\u0161t\u011b, detekce automobil\u016f, hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b, model pozad\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed robustn\u00edho syst\u00e9mu pro anal\u00fdzu obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst na parkovi\u0161ti ze z\u00e1znam\u016f z v\u00edce-kamerov\u00e9ho syst\u00e9mu s mo\u017enost\u00ed p\u0159ekryvu mezi kamerami. Syst\u00e9m je navr\u017een a implementov\u00e1n v Robotick\u00e9m opera\u010dn\u00edm syst\u00e9mu (ROS) a jeho j\u00e1dro se skl\u00e1d\u00e1 ze dvou odd\u011blen\u00fdch klasifik\u00e1tor\u016f. \u00dasp\u011b\u0161n\u011bj\u0161\u00ed, av\u0161ak pomalej\u0161\u00ed, je detekce pomoc\u00ed hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b. Rychlou interakci \u0159e\u0161\u00ed m\u00e9n\u011b p\u0159esn\u00fd klasifik\u00e1tor pohybu s modelem pozad\u00ed. Syst\u00e9m je schopen fungovat v re\u00e1ln\u00e9m \u010dase, a to na grafick\u00e9 kart\u011b i na procesoru. \u00dasp\u011b\u0161nost syst\u00e9mu na testovac\u00ed datov\u00e9 sad\u011b z re\u00e1ln\u00e9ho provozu jednoho parkovi\u0161t\u011b p\u0159esahuje 93%. Ke konceptu chytr\u00fdch m\u011bst neodmysliteln\u011b pat\u0159\u00ed efektivn\u00ed parkovac\u00ed \u0159e\u0161en\u00ed stav\u00edc\u00ed na znalosti obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst. Tato pr\u00e1ce popisuje pr\u00e1v\u011b takov\u00fd syst\u00e9m, kter\u00fd v\u00fdrazn\u011b usnadn\u00ed orientaci na parkovi\u0161ti, a to s velmi dobrou \u00fasp\u011b\u0161nost\u00ed.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic05 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Zaj\u00edmav\u00fd p\u0159\u00edstup k anal\u00fdze provozu na s\u00edti. P\u0159\u00edm\u00e1 vyu\u017eitelnost v praxi.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">52<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal52\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/052\/52_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Network Traffic Capture with Application Tags<\/h4>\r\n\t\t\t\t<h5>Jozef Zuzelka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/052\/52.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/052\/52_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/sponsors\/2017\/silver\/solarwinds.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal52\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">52<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Network Traffic Capture with Application Tags<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Jozef Zuzelka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Network Traffic Capture, Network sniffing, Network Application Identification<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Opera\u010dn\u00ed syst\u00e9my<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Network traffic capture and analysis are useful in case we are looking for problems in our network, or we want to know more about applications and their network communication.  This paper is aimed to describe the process of network applications identification that runs on the local host. The goal of this project is a multi-platform application that captures network traffic and extends it with recognized applications. Operations that can be done independently are parallelized to speed up packet processing and decrease packet loss. An application is being determined for every (both incoming and outgoing) packet. This is resource demanding process so to save time every identified application is stored in the cache with information about its socket. However, an application in the cache may close a connection at any time, so it's important to update the cache periodically. Finally, gathered information is saved to the end of pcap-ng file in special structure as the separate pcap-ng block.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/052\/52_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/052\/52.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/052\/52_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div><div class=\"clearfix\"><\/div>     \r\n\t<\/div>\r\n\t\r\n\t\r\n\r\n\t<h2 id=\"oceneni-odbornou-verejnosti\">Ocen\u011bn\u00ed <strong>odbornou ve\u0159ejnost\u00ed<\/strong><\/h2>\r\n\t<div class=\"row results\">\r\n   \r\n\t\t<div class=\"thumbnail topic15 topic16\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">26<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal26\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Automation of MitM Attack on WiFi Networks<\/h4>\r\n\t\t\t\t<h5>Martin Vondr\u00e1\u010dek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal26\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">26<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Automation of MitM Attack on WiFi Networks<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Martin Vondr\u00e1\u010dek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Man-in-the-Middle attack, accessing secured wireless networks, password cracking, dictionary personalization, tampering network topology, impersonation, phishing<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Widely used network technologies and principles of wireless security suffer weaknesses that can be exploited to perform the Man-in-the-Middle attack, allowing to eavesdrop or to spoof the network communication. The work focuses on possibilities of automation of the attack with a utilization of available specialized tools. The outcome of the research is the wifimitm package and the wifimitmcli CLI tool, both implemented in Python. The emphasis was placed on possibilities of further incorporation of the developed tool. The package provides functionality for automated MitM attack and can be used by other software. The wifimitmcli tool is capable of performing a successful fully automated attack without any intervention from an attacker. This research can be used for automated penetration testing and forensic investigation. Finally, a popularization of the fact that such severe attacks can be successfully automated should be used to raise the public awareness about the information security. In these days, this issue involves almost every one of us.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic10 topic18\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">12<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal12\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/012\/12_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>GrooveSpired - Application for Drums Training with Beat Recognition<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 \u0160trba<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/012\/12.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/012\/12_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/FPjqo-8Xw0M\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal12\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">12<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">GrooveSpired - Application for Drums Training with Beat Recognition<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Tom\u00e1\u0161 \u0160trba<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>mobile application, iOS, drum beats recognition, discrete wavelet transform, audio analysis, drum training, GrooveSpired<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed zvuku<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>The main goal is implementation of mobile application for drums training. The application must be capable to analyze and evaluate drumming skills of a drummer using drum beats recognition of recorded audio. Other features of the application are displaying drum notation of different grooves from various music styles and playing audio examples of those grooves. For time-frequency analysis discrete wavelet transform is used in this paper. Results show a true positive rate above 96\\% with reasonable time tolerance in the onset detection.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/012\/12_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/012\/12.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/012\/12_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/FPjqo-8Xw0M\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">1<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal1\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/001\/1_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Reconstruction of 3D Information about Passing Vehicles<\/h4>\r\n\t\t\t\t<h5>Petr Dobe\u0161<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/001\/1_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/6FJpbTb12ho\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal1\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">1<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Reconstruction of 3D Information about Passing Vehicles<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Petr Dobe\u0161<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>3D Reconstruction, Structure from Motion, Traffic Surveillance, Traffic Analysis, Camera Calibration<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper reports experiments focusing on 3D reconstruction of vehicles passing in front of a traffic surveillance camera. Calibration process of surveillance camera is first introduced and the relation of automatic calibration with 3D information about observed traffic is described. Afterwards, a set of experiments with feature matching and Structure from Motion algorithm are presented and their results on images of passing vehicles are examined. Modifications to the correspondence search stage of Structure from Motion pipeline are then proposed. Most importantly, instead of using SIFT features, DeepMatching algorithm (originally devised to find quasi-dense point matches in optical flow calculation) is used to obtain point correspondences for subsequent reconstruction phase. As a result of implemented modifications, the overall completeness of reconstructed point cloud model of passing vehicle has improved significantly.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/001\/1_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/001\/1_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/6FJpbTb12ho\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">40<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal40\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h4>\r\n\t\t\t\t<h5>V\u00e1clav Str\u00e1nsk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal40\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">40<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>V\u00e1clav Str\u00e1nsk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>detekce obsazenosti parkovi\u0161t\u011b, detekce automobil\u016f, hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b, model pozad\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed robustn\u00edho syst\u00e9mu pro anal\u00fdzu obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst na parkovi\u0161ti ze z\u00e1znam\u016f z v\u00edce-kamerov\u00e9ho syst\u00e9mu s mo\u017enost\u00ed p\u0159ekryvu mezi kamerami. Syst\u00e9m je navr\u017een a implementov\u00e1n v Robotick\u00e9m opera\u010dn\u00edm syst\u00e9mu (ROS) a jeho j\u00e1dro se skl\u00e1d\u00e1 ze dvou odd\u011blen\u00fdch klasifik\u00e1tor\u016f. \u00dasp\u011b\u0161n\u011bj\u0161\u00ed, av\u0161ak pomalej\u0161\u00ed, je detekce pomoc\u00ed hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b. Rychlou interakci \u0159e\u0161\u00ed m\u00e9n\u011b p\u0159esn\u00fd klasifik\u00e1tor pohybu s modelem pozad\u00ed. Syst\u00e9m je schopen fungovat v re\u00e1ln\u00e9m \u010dase, a to na grafick\u00e9 kart\u011b i na procesoru. \u00dasp\u011b\u0161nost syst\u00e9mu na testovac\u00ed datov\u00e9 sad\u011b z re\u00e1ln\u00e9ho provozu jednoho parkovi\u0161t\u011b p\u0159esahuje 93%. Ke konceptu chytr\u00fdch m\u011bst neodmysliteln\u011b pat\u0159\u00ed efektivn\u00ed parkovac\u00ed \u0159e\u0161en\u00ed stav\u00edc\u00ed na znalosti obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst. Tato pr\u00e1ce popisuje pr\u00e1v\u011b takov\u00fd syst\u00e9m, kter\u00fd v\u00fdrazn\u011b usnadn\u00ed orientaci na parkovi\u0161ti, a to s velmi dobrou \u00fasp\u011b\u0161nost\u00ed.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic20\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">3<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal3\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/003\/3_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Multidimension\u00e1ln\u00ed automaty<\/h4>\r\n\t\t\t\t<h5>Zden\u011bk Hlad\u00edk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/003\/3.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/003\/3_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal3\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">3<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Multidimension\u00e1ln\u00ed automaty<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Zden\u011bk Hlad\u00edk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>multidimension\u00e1ln\u00ed automaty, multidimension\u00e1ln\u00ed jazyky, simul\u00e1tor<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Form\u00e1ln\u00ed jazyky a automaty<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem tohoto \u010dl\u00e1nku je p\u0159edstaven\u00ed nov\u011b vyvinut\u00e9ho konceptu multidimension\u00e1ln\u00edch automat\u016f, schopn\u00fdch analyzovat data o libovoln\u00e9 dimensionalit\u011b. Automaty jsou definov\u00e1ny za vyu\u017eit\u00ed d\u0159\u00edv\u011bj\u0161\u00edch publikac\u00ed autora zahrnuj\u00edc\u00edch pr\u00e1ci s dvoudimension\u00e1ln\u00edmi automaty, u nich\u017e byla dok\u00e1z\u00e1na praktick\u00e1 vyu\u017eitelnost ve zpracov\u00e1n\u00ed dat.  V r\u00e1mci t\u00e9to pr\u00e1ce je vyvinuto n\u011bkolik druh\u016f automat\u016f a obdob Turingov\u00fdch stroj\u016f schopn\u00fdch analyzovat libovoln\u00e9 multidimension\u00e1ln\u00ed \u0159et\u011bzce. Z\u00e1rove\u0148 je sou\u010d\u00e1st\u00ed pr\u00e1ce i simul\u00e1tor dvou t\u011bchto automat\u016f, demonstruj\u00edc\u00ed jejich fungov\u00e1n\u00ed. V \u010dl\u00e1nku je uvedeno n\u011bkolik oblast\u00ed vhodn\u00fdch pro nasazen\u00ed p\u0159edstaven\u00fdch automat\u016f. Po vzoru dvoudimension\u00e1ln\u00edch automat\u016f se jedn\u00e1 p\u0159edev\u0161\u00edm o zpracov\u00e1n\u00ed a anal\u00fdzu dat.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/003\/3_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/003\/3.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/003\/3_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div><div class=\"clearfix\"><\/div>\r\n\t<\/div>\r\n<script>\t\t\t\t\t\t\t\r\njQuery(function() {\r\n  jQuery('[data-toggle=\"tooltip\"]').tooltip()\r\n})\t\r\n<\/script>\r\n\r\n\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":2,"featured_media":2531,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-1989","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages\/1989","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/comments?post=1989"}],"version-history":[{"count":16,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages\/1989\/revisions"}],"predecessor-version":[{"id":2536,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages\/1989\/revisions\/2536"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/media\/2531"}],"wp:attachment":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/media?parent=1989"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}