{"id":1989,"date":"2016-05-05T15:08:44","date_gmt":"2016-05-05T13:08:44","guid":{"rendered":"http:\/\/excel.fit.vutbr.cz\/2021\/?page_id=1989"},"modified":"2021-05-07T11:45:32","modified_gmt":"2021-05-07T09:45:32","slug":"vysledky","status":"publish","type":"page","link":"https:\/\/excel.fit.vutbr.cz\/2021\/vysledky\/","title":{"rendered":"V\u00fdsledky"},"content":{"rendered":"\r\n\t<link rel=\"stylesheet\" media=\"all\" type=\"text\/css\" href=\"\/submissions\/css\/results.css?v2020527\">\r\n\r\n\t<div class=\"well\">\r\n\t\t<ul>\r\n            <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 z pr\u016fmyslu<\/strong><\/a><\/li>\r\n            <li><a href=\"#oceneni-odbornou-verejnosti-cena-jiriho-kunovskeho\">Ocen\u011bn\u00ed <strong>odbornou ve\u0159ejnost\u00ed<\/strong> - cena Ji\u0159\u00edho Kunovsk\u00e9ho<\/a><\/li>\r\n\t\t<\/ul>\r\n\t<\/div>\r\n\t  \r\n\t<h2 id=\"oceneni-odbornym-panelem\" style=\"margin-top:0;padding-top:0\">Ocen\u011bn\u00ed <strong>odborn\u00fdm panelem<\/strong><\/h2>\r\n\t<div class=\"row results\">\r\n        <div class=\"thumbnail topic13\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje inovativn\u00ed, komplexn\u00ed a modern\u00ed \u0159e\u0161en\u00ed nestandardn\u00edho probl\u00e9mu.\">\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\/2021\/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>Detection of Boxes in Image<\/h4>\r\n\t\t\t\t<h5>Adam \u017dit\u0148ans\u1e31\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/023\/23.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Detection of Boxes in Image<\/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>Adam \u017dit\u0148ans\u1e31\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Shape Model Detection, Cuboid Detection, Stacked Hourglass Network<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This work addresses the problem of cuboid detection, more specifically detection of boxes in RGB images. The main result is the implementation of a system for detecting boxes and their accurate localization based on the detection of cuboid primitives: corners and edge points. The system consists of a detector of corner and edge points based on convolutional neural networks. Such detected primitives are processed into a model of the cuboid. Our system was trained and evaluated on a custom dataset of packaging boxes which was created as a part of this work. The trained model achieved PCK 90 % and recall 86 % for corners resp. 97.5 % and 96 % for edge points on unseen data.<\/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\/2021\/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\/2021\/023\/23.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje \u010dl\u00e1nek napsan\u00fd velice dobrou angli\u010dtinou a ve form\u00e1tu v\u011bdeck\u00e9 pr\u00e1ce o aktu\u00e1ln\u00edm a prakticky vyu\u017eiteln\u00e9m t\u00e9matu.\">\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\/2021\/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>Personal Voice Activity Detection<\/h4>\r\n\t\t\t\t<h5>\u0160imon Sedl\u00e1\u010dek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Personal Voice Activity Detection<\/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>\u0160imon Sedl\u00e1\u010dek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Voice Activity Detection, Recurrent Neural Networks, Speaker Verification<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This work aims to implement, test, and evaluate a speaker-conditioned voice activity detection method proposed by [1], originally called \"Personal VAD\". The method builds upon an LSTM based approach to voice activity detection and its purpose is to introduce a system that can reliably detect speech of a target speaker, while retaining the typical characteristics of a VAD system, mainly in terms of small model size, low latency, and low necessary computational resources. The system is trained to distinguish between three classes: non-speech, target speaker speech, and non-target speaker speech. For this purpose, the method utilizes speaker embeddings as a part of the input feature vector to represent the target speaker. Some of the more heavyweight personal VAD variants also make use of speaker verification scores issued to each frame based on the target embedding, resulting in a more robust system. In addition to the one scoring method presented in the original paper, two other scoring approaches are introduced, both outperforming the baseline method and improving the system's performance even for acoustically challenging conditions.<\/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\/2021\/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\/2021\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic06\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje technicky hlubokou, n\u00e1ro\u010dnou a rozs\u00e1hlou pr\u00e1ci s netypick\u00fdm za\u0159\u00edzen\u00ed, kter\u00e9 by mohlo b\u00fdt spot\u0159ebn\u00ed elektronikou budoucnosti.\">\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\/2021\/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>Holographic Injection - Let There Be True 3D<\/h4>\r\n\t\t\t\t<h5>Roman Dobi\u00e1\u0161<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Holographic Injection - Let There Be True 3D<\/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 Dobi\u00e1\u0161<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>OpenGL, autostereoscopic display, single to multiview conversion, automated conversion, pipeline injection, API call hooking<\/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 adaptation of upcoming autostereoscopic displays by regular users depends on the availability of supported applications. To increase such a set, this paper describes compatibility software which turns (semi) automatically the output of regular OpenGL 3D applications to display-native output, which takes advantage of true 3D displays capabilities. This is achieved using a conversion layer that intercepts parts of OpenGL API and translates such API calls to ones that produce a multiview output of the original 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\/2021\/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\/2021\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje \u0159e\u0161en\u00ed orientovan\u00e9 na praktick\u00fd probl\u00e9m a dota\u017een\u00e9 k pou\u017eitelnosti.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">44<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal44\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/044\/44_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>Innovating Sports Shooting With Computer Vision<\/h4>\r\n\t\t\t\t<h5>Jana Gregorov\u00e1<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/044\/44.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal44\" 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\">44<\/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\">Innovating Sports Shooting With Computer Vision<\/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 Gregorov\u00e1<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Automatic Score Evaluation for Bullseye Shooting, Computer Vision in Sports Shooting, Background Subtraction, Template Matching, Image Stabilization, Cross-correlation of Two 2D Arrays<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Bullseye shooting is a shooting sports discipline where the shooter is standing in one place and shooting at a static paper target.  The shooter\u2019s goal is to land as many hits in the centre of the target as possible. The distance between the shooter and the target usually ranges from 10 m to 300 m. That way, while shooting, the shooter is unable to see where exactly their hits land unless some kind of auxiliary equipment is used. To calculate the score, all shooting needs to be stopped as the shooter walks right into the field to see their target up close. For a new round, the shooter either has to change the target for a new one or cover target hits up with cover up patches. The goal of this work is to find a solution to calculate shooter\u2019s score automatically. One of the possible approaches to this problem is taking a video of the target and processing it, so that new hits in the target can be detected and their score calculated. The resulting image will then be shown to the shooter on a screen near them.  The result of this paper is a commercial distribution-ready solution both for individual shooters and commercial shooting ranges. The solution consists of a camera setup and an application which displays the video from camera and evaluates the shooter\u2019s score using computer vision. The solution brings significant improvements in terms of shooter\u2019s comfort and bullseye shooting training effectiveness. It is an innovative equipment not only for skilled shooters, but also for beginner shooters.<\/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\/2021\/044\/44_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\/2021\/044\/44.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic03 topic07\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje in\u017een\u00fdrsko-v\u011bdeck\u00fd p\u0159\u00ednos pro anal\u00fdzu sm\u011brovac\u00edch protokol\u016f\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">29<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal29\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/029\/29_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>Modeling of Enhanced Interior Gateway Routing Protocol<\/h4>\r\n\t\t\t\t<h5>Jan Zav\u0159el<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/029\/29.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal29\" 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\">29<\/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\">Modeling of Enhanced Interior Gateway Routing Protocol<\/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>Jan Zav\u0159el<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>EIGRP, Simulation, Routing, OMNeT++<\/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\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper deals with the implementation and the evaluation of a simulation model of a modern dynamic routing protocol designed by Cisco Systems, Inc. called Enhanced Interior Gateway Routing Protocol (EIGRP) in a discrete simulator OMNeT++ implemented in C++. The resulting simulation model can be used to conduct various experiments which allow network designers and alike to explore the protocol's behavior in different situations inside a safe discrete environment. In order to produce a trustworthy simulation course, the protocol model must be as accurate as possible to the real implementation and thoroughly tested. This paper provides a basic overview of both protocol EIGRP and simulator OMNeT++. It also discusses the state of the model before and after the integration into a newer version of the INET framework, showcases improvements, and outlines the testing methodology.<\/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\/2021\/029\/29_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\/2021\/029\/29.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic12\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje komplexn\u00ed d\u00edlo odhaluj\u00edc\u00ed anonymitu u\u017eivatel\u016f p\u0159i brouzd\u00e1n\u00ed Internetem\">\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\/2021\/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>Z\u00edsk\u00e1v\u00e1n\u00ed informac\u00ed o u\u017eivatel\u00edch na webov\u00fdch str\u00e1nk\u00e1ch<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 Vondr\u00e1\u010dek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/012\/12.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Z\u00edsk\u00e1v\u00e1n\u00ed informac\u00ed o u\u017eivatel\u00edch na webov\u00fdch str\u00e1nk\u00e1ch<\/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 Vondr\u00e1\u010dek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Identifikace u\u017eivatel\u016f, Otisk prohl\u00ed\u017ee\u010de, Otisk za\u0159\u00edzen\u00ed, Detekce webov\u00fdch roz\u0161\u00ed\u0159en\u00ed<\/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\">Webov\u00e9 technologie<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Pr\u00e1ce se zab\u00fdv\u00e1 vytvo\u0159en\u00edm knihovny pro z\u00edsk\u00e1v\u00e1n\u00ed informac\u00ed o u\u017eivatel\u00edch na webov\u00fdch str\u00e1nk\u00e1ch, kde z\u00edskan\u00e9 informace mohou b\u00fdt pou\u017eity pro identifikaci u\u017eivatel\u016f. Navrhl jsem nov\u00e9 techniky z\u00edsk\u00e1v\u00e1n\u00ed informac\u00ed a optimalizoval n\u011bkter\u00e9 aktu\u00e1ln\u011b pou\u017e\u00edvan\u00e9 techniky. Implementov\u00e1ny jsou tak\u00e9 techniky, kter\u00fdmi lze odhalit vedlej\u0161\u00ed efekty zp\u016fsoben\u00e9 webov\u00fdmi roz\u0161\u00ed\u0159en\u00edmi, kter\u00e9 maskuj\u00ed identitu u\u017eivatel\u016f. Na z\u00e1klad\u011b anal\u00fdzy webov\u00fdch roz\u0161\u00ed\u0159en\u00ed byly detekov\u00e1ny d\u0159\u00edve nezn\u00e1m\u00e9 informace, kter\u00e9 mohou b\u00fdt takt\u00e9\u017e pou\u017eity pro identifikaci u\u017eivatele. Analyzov\u00e1ny jsou i z\u00edskan\u00e9 informace o prohl\u00ed\u017ee\u010di a za\u0159\u00edzen\u00ed z hlediska m\u00edry z\u00edskan\u00e9 informace, doby jejich z\u00edsk\u00e1n\u00ed a stability v \u010dase. Z v\u00fdsledk\u016f anal\u00fdzy lze optimalizovat mno\u017estv\u00ed z\u00edsk\u00e1van\u00fdch informac\u00ed, \u010d\u00edm\u017e lze omezit potenci\u00e1ln\u00ed zpomalen\u00ed webov\u00fdch str\u00e1nek.<\/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\/2021\/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\/2021\/012\/12.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje robustn\u00ed p\u0159\u00ednos v automatizaci spr\u00e1vy po\u010d\u00edta\u010dov\u00fdch s\u00edt\u00ed\">\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\/2021\/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>Automatizovan\u00e1 anotace s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed a n\u00e1sledn\u00e1 klasifikace podle statistick\u00e9ho chov\u00e1n\u00ed<\/h4>\r\n\t\t\t\t<h5>Pavel Eis<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/022\/22.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Automatizovan\u00e1 anotace s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed a n\u00e1sledn\u00e1 klasifikace podle statistick\u00e9ho chov\u00e1n\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>Pavel Eis<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Automatizovan\u00e1 anotace s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed, Klasifikace za\u0159\u00edzen\u00ed, Statistick\u00e1 klasifikace<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><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>Automatick\u00e1 klasifikace za\u0159\u00edzen\u00ed v po\u010d\u00edta\u010dov\u00e9 s\u00edti lze vyu\u017e\u00edt pro detekci anom\u00e1li\u00ed v s\u00edti a tak\u00e9 umo\u017e\u0148uje aplikaci bezpe\u010dnostn\u00edch politik dle typu za\u0159\u00edzen\u00ed. Pro vytvo\u0159en\u00ed klasifik\u00e1toru za\u0159\u00edzen\u00ed je st\u011b\u017eejn\u00ed kvalitn\u00ed datov\u00e1 sada, jejich\u017e ve\u0159ejn\u00e1 dostupnost je n\u00edzk\u00e1 a tvorba nov\u00e9 datov\u00e9 sady je slo\u017eit\u00e1. C\u00edlem pr\u00e1ce je vytvo\u0159it n\u00e1stroj, kter\u00fd umo\u017en\u00ed automatizovanou anotaci datov\u00e9 sady s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed a vytvo\u0159en\u00ed klasifik\u00e1toru s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed, kter\u00fd vyu\u017e\u00edv\u00e1 pouze z\u00e1kladn\u00ed \u00fadaje o s\u00ed\u0165ov\u00fdch toc\u00edch. V\u00fdsledkem t\u00e9to pr\u00e1ce je modul\u00e1rn\u00ed n\u00e1stroj poskytuj\u00edc\u00ed automatizovanou anotaci s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed vyu\u017e\u00edvaj\u00edc\u00ed syst\u00e9m ADiCT sdru\u017een\u00ed Cesnet, vyhled\u00e1va\u010de Shodan a Censys, informace ze slu\u017eeb PassiveDNS, TOR, WhoIs, geoloka\u010dn\u00ed datab\u00e1ze a informace z blacklist\u016f. Na z\u00e1klad\u011b anotovan\u00e9 datov\u00e9 sady je vytvo\u0159eno n\u011bkolik klasifik\u00e1tor\u016f klasifikuj\u00edc\u00edch s\u00ed\u0165ov\u00e1 za\u0159\u00edzen\u00ed podle pou\u017e\u00edvan\u00fdch slu\u017eeb. V\u00fdsledky pr\u00e1ce nejen v\u00fdrazn\u011b  zjednodu\u0161uj\u00ed proces vytv\u00e1\u0159en\u00ed nov\u00fdch datov\u00fdch sad s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\u00ed, ale z\u00e1rove\u0148 ukazuj\u00ed neinvazivn\u00ed p\u0159\u00edstup ke klasifikaci s\u00ed\u0165ov\u00fdch za\u0159\u00edzen\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\/2021\/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\/2021\/022\/22.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje kvalitn\u00ed in\u017een\u00fdrsk\u00e9 zpracov\u00e1n\u00ed\">\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\/2021\/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>BiNMon - Bitcoin Network Monitor: Platforma pro monitorov\u00e1n\u00ed s\u00edt\u011b Bitcoin<\/h4>\r\n\t\t\t\t<h5>Vladimir Jerabek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/052\/52.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">BiNMon - Bitcoin Network Monitor: Platforma pro monitorov\u00e1n\u00ed s\u00edt\u011b Bitcoin<\/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>Vladimir Jerabek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Monitorov\u00e1n\u00ed s\u00edt\u011b, Peer-to-Peer, Bitcoin, Kryptom\u011bny, Anal\u00fdza dat<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><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>C\u00edlem t\u00e9to pr\u00e1ce je vytvo\u0159it platformu, kter\u00e1 bude shroma\u017e\u010fovat relevantn\u00ed informace o aktivn\u00edch uzlech v peer-to-peer s\u00edti Bitcoin. D\u00edky monitorov\u00e1n\u00ed chov\u00e1n\u00ed jednotliv\u00fdch uzl\u016f v s\u00edti, jsem schopen sb\u00edrat d\u016fle\u017eit\u00e9 data pro podrobn\u011bj\u0161\u00ed anal\u00fdzu. Implementovan\u00e9 \u0159e\u0161en\u00ed vyu\u017e\u00edv\u00e1 nemodifikovan\u00e9ho Bitcoin Core klienta, a nab\u00edz\u00ed jednoduchou \u0161k\u00e1lovatelnost d\u00edky modul\u00e1rn\u00ed architektu\u0159e, kter\u00e1 je dosa\u017eena za pomoci Docker kontejnerizace. Platforma poskytuje i jednoduchou vizualizaci nashrom\u00e1\u017ed\u011bn\u00fdch dat.  Sou\u010d\u00e1st\u00ed t\u00e9to pr\u00e1ce je tak\u00e9 anal\u00fdza nashrom\u00e1\u017ed\u011bn\u00fdch dat z dvoum\u011bs\u00ed\u010dn\u00edho b\u011bhu platformy BiNMon. Tato platforma v rukou v\u011bdc\u016f bude p\u0159edstavovat relevantn\u00ed a autentick\u00fd zdroj informac\u00ed o kryptom\u011bn\u011b Bitcoin. V neposledn\u00ed \u0159ad\u011b m\u016f\u017ee tato pr\u00e1ce slou\u017eit i jako zdroj inspirace pro ostatn\u00ed v\u00fdvoj\u00e1\u0159e, kte\u0159\u00ed cht\u011bj\u00ed vytvo\u0159it podobn\u00fd n\u00e1stroj na shroma\u017e\u010fov\u00e1n\u00ed a anal\u00fdzu velk\u00e9ho mno\u017estv\u00ed dat nap\u0159\u00edklad z dal\u0161\u00edch kryptom\u011bn.<\/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\/2021\/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\/2021\/052\/52.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje spole\u010densk\u00fd p\u0159\u00ednos implementace s ohledem na bezpe\u010d\u00ed osobn\u00edch \u00fadaj\u016f na Internetu\">\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\/2021\/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>Zobrazen\u00ed a \u00faprava informac\u00ed v Transparency and Consent Framework<\/h4>\r\n\t\t\t\t<h5>Ale\u0161 Postulka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/008\/8.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Zobrazen\u00ed a \u00faprava informac\u00ed v Transparency and Consent Framework<\/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>Ale\u0161 Postulka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Roz\u0161\u00ed\u0159en\u00ed pro webov\u00e9 prohl\u00ed\u017ee\u010de, Transparency and Consent Framework, Consent Management Platform, Souhlas se zpracov\u00e1n\u00edm osobn\u00edch \u00fadaj\u016f<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem t\u00e9to pr\u00e1ce je n\u00e1vrh a implementace roz\u0161\u00ed\u0159en\u00ed pro webov\u00e9 prohl\u00ed\u017ee\u010de Mozilla Firefox a Google Chrome. \u00da\u010delem roz\u0161\u00ed\u0159en\u00ed je umo\u017en\u011bn\u00ed automatizovan\u00e9 spr\u00e1vy poskytnut\u00fdch souhlas\u016f se zpracov\u00e1n\u00edm osobn\u00edch \u00fadaj\u016f. Souhlas se zpracov\u00e1n\u00edm osobn\u00edch \u00fadaj\u016f je kv\u016fli evropsk\u00e9mu na\u0159\u00edzen\u00ed GDPR pot\u0159eba poskytovat na v\u011bt\u0161in\u011b webov\u00fdch str\u00e1nek. Za \u00fa\u010delem usnadn\u011bn\u00ed z\u00edsk\u00e1v\u00e1n\u00ed souhlasu se zpracov\u00e1n\u00edm osobn\u00edch \u00fadaj\u016f byl organizac\u00ed IAB Europe vytvo\u0159en r\u00e1mec Transparency and Consent Framework (TCF), kter\u00fd mimo jin\u00e9 poskytuje rozhran\u00ed pro p\u0159\u00edstup k informac\u00edm o ulo\u017een\u00e9m souhlasu. Vytvo\u0159en\u00e9 roz\u0161\u00ed\u0159en\u00ed interaguje s webov\u00fdmi str\u00e1nkami vyu\u017e\u00edvaj\u00edc\u00edmi TCF. Umo\u017e\u0148uje automatick\u00e9 poskytnut\u00ed souhlasu na z\u00e1klad\u011b nastaven\u00ed, a tak\u00e9 zobrazen\u00ed informac\u00ed o poskytnut\u00e9m souhlasu. Roz\u0161\u00ed\u0159en\u00ed je publikov\u00e1no v obchodu s dopl\u0148ky pro prohl\u00ed\u017ee\u010d Mozilla Firefox.<\/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\/2021\/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\/2021\/008\/8.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje p\u011bknou implementaci, praktick\u00fd potenci\u00e1l v oblasti logistiky a p\u0159esah \u0159e\u0161en\u00ed nap\u0159. do oblasti mikroslu\u017eeb.\">\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\/2021\/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>Warehouse Manager: N\u00e1stroj pro pokro\u010dilou simulaci a optimalizaci skladov\u00fdch operac\u00ed<\/h4>\r\n\t\t\t\t<h5>Filip Ko\u010dica<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Warehouse Manager: N\u00e1stroj pro pokro\u010dilou simulaci a optimalizaci skladov\u00fdch operac\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>Filip Ko\u010dica<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>sklad, optimalizace, simulace, gener\u00e1tor, objedn\u00e1vka, produkt, pickov\u00e1n\u00ed, evoluce<\/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>Tato pr\u00e1ce \u0159e\u0161\u00ed problematiku alokace produkt\u016f do lokac\u00ed ve skladu za pomoci modern\u00edch meta-heuristick\u00fdch p\u0159\u00edstup\u016f v kombinaci s realistickou simulac\u00ed skladu. Pr\u00e1ce poskytuje grafick\u00fd n\u00e1stroj umo\u017e\u0148uj\u00edc\u00ed sestaven\u00ed modelu skladu, generov\u00e1n\u00ed syntetick\u00fdch z\u00e1kaznick\u00fdch objedn\u00e1vek, optimalizaci alokace produkt\u016f za pomoci kombinace state of the art technik, simul\u00e1tor vytvo\u0159en\u00e9ho modelu skladu a nakonec n\u00e1stroj pro hled\u00e1n\u00ed nejkrat\u0161\u00ed cesty objedn\u00e1vky skrze sklad. Pr\u00e1ce tak\u00e9 uv\u00e1d\u00ed porovn\u00e1n\u00ed r\u016fzn\u00fdch p\u0159\u00edstup\u016f a experimenty s vytvo\u0159en\u00fdmi n\u00e1stroji. Poda\u0159ilo se optimalizovat propustnost experiment\u00e1ln\u00edho skladu na t\u00e9m\u011b\u0159 dvojn\u00e1sobek (~57%). P\u0159\u00ednosem t\u00e9to pr\u00e1ce je mo\u017enost vytvo\u0159en\u00ed modelu pl\u00e1novan\u00e9ho \u010di ji\u017e existuj\u00edc\u00edho skladu a jeho simulace i optimalizace, co\u017e m\u016f\u017ee zna\u010dn\u011b zv\u00fd\u0161it propustnost skladu a pomoci detekovat a odstranit vyt\u00ed\u017een\u00e1 m\u00edsta. To m\u016f\u017ee v\u00e9st k u\u0161et\u0159en\u00ed zdroj\u016f \u010di pom\u00e1hat v pl\u00e1nov\u00e1n\u00ed. D\u00e1le tato pr\u00e1ce p\u0159in\u00e1\u0161\u00ed nov\u00fd zp\u016fsob optimalizace skladu a nov\u00e9 optimaliza\u010dn\u00ed krit\u00e9rium.<\/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\/2021\/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\/2021\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje odhalen\u00e1 fakta - v\u00fdsledky \u010dl\u00e1nku ukazuj\u00ed na pot\u0159ebu aktivn\u011b \u0159e\u0161it odolnost \u0159e\u010dov\u00fdch biometrick\u00fdch syst\u00e9m\u016f v\u016f\u010di \"deep fake\" \u00fatok\u016fm, a to nejen v \u010desk\u00e9m jazyce.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">5<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal5\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/005\/5_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>Deepfakes - really fake?<\/h4>\r\n\t\t\t\t<h5>Anton Firc<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/005\/5.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal5\" 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\">5<\/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\">Deepfakes - really fake?<\/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>Anton Firc<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>deepfake, cybersecurity, voice biometrics<\/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\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Deepfake technology is on the rise, many techniques and tools for deepfake creation are being developed and publicly released. These techniques and tools are being used for both illicit and legitimate purposes. One of the unexplored areas of the illicit usage is using deepfakes to spoof voice authentication. There are mixed opinions on feasibility of deepfake powered attacks on voice biometrics systems providing the voice authentication, and minimal scientific evidence. The aim of this work is to research the current state of readiness of voice biometrics systems to face deepfakes. The executed experiments show that the voice biometrics systems are vulnerable to deepfake powered attacks. As almost all of the publicly available models or tools are tailored to synthesize the English language, one might think that using a different language might mitigate mentioned vulnerabilities, but as shown in this work, synthesizing speech in any language is not that complicated. Finally measures to mitigate the threat posed by deepfakes are proposed, like using text-dependent verification because it proved to be more resilient against deepfakes.<\/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\/2021\/005\/5_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\/2021\/005\/5.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje snahu o vytvo\u0159en\u00ed n\u00e1stroje vyu\u017eiteln\u00e9ho k lep\u0161\u00edmu pochopen\u00ed v\u00fdznamu d\u00edl\u010d\u00edch \u010d\u00e1st\u00ed neuronov\u00e9 s\u00edt\u011b (NN) a d\u011bj\u016f prob\u00edhaj\u00edc\u00edch v NN b\u011bhem procesu jej\u00edho u\u010den\u00ed.\">\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\/2021\/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>Neural network training process visualization<\/h4>\r\n\t\t\t\t<h5>Silvie N\u011bmcov\u00e1<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Neural network training process visualization<\/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>Silvie N\u011bmcov\u00e1<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Neural Network Training, Loss Function, Training Process Examination<\/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>The neural network training process involves a highly dimensional non-convex optimization problem.  The training is a highly computationally demanding task with a risk that the optimization  algorithm will be stuck at a local optimum or a saddle-point. Despite these concerns, modern neural networks are  trained successfully only using straightforward training with SGD algorithm and regularization.  A simple technique for analyzing the training process is presented in this paper,  it consists of a linear interpolation of the parameters of a neural network.  The developed tool examines the training process on the level of layers and individual parameters.   The results obtained in the experiments confirm that the linear path of training is avoiding local optima,  identifies the ambient and robust layers in the neural network and the results are consistent with the examination on the level of layers.<\/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\/2021\/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\/2021\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje posun \"o krok vp\u0159ed\" v oblasti OCR - implementovan\u00e9 automatick\u00e9 zna\u010dkov\u00e1n\u00ed\/\u0161t\u00edtkov\u00e1n\u00ed dat s vyu\u017eit\u00edm jazykov\u00e9ho modelu a generov\u00e1n\u00edm hypot\u00e9z ke strojov\u00e9mu zpracov\u00e1n\u00ed vede na podstatn\u00e9 zlep\u0161en\u00ed vlastnost\u00ed procesu OCR.\">\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\/2021\/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>Vyu\u017eit\u00ed neanotovan\u00fdch dat pro tr\u00e9nov\u00e1n\u00ed OCR<\/h4>\r\n\t\t\t\t<h5>Petr Buchal<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/053\/53.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Vyu\u017eit\u00ed neanotovan\u00fdch dat pro tr\u00e9nov\u00e1n\u00ed OCR<\/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 Buchal<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>neuronov\u00e1 s\u00ed\u0165, rozpozn\u00e1n\u00ed textu, self-training, neanotovan\u00e1 data, jazykov\u00fd model<\/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>Vytvo\u0159en\u00ed kvalitn\u00edho syst\u00e9mu rozpozn\u00e1n\u00ed textu (OCR) vy\u017eaduje velk\u00e9 mno\u017estv\u00ed anotovan\u00fdch dat. Z\u00edsk\u00e1n\u00ed, pota\u017emo vytvo\u0159en\u00ed anotac\u00ed je n\u00e1kladn\u00fd proces. Tato pr\u00e1ce se zab\u00fdv\u00e1 vyu\u017eit\u00edm neanotovan\u00fdch dat pro tr\u00e9nov\u00e1n\u00ed OCR neuronov\u00e9 s\u00edt\u011b. Navr\u017een\u00e1 metoda vyu\u017e\u00edvaj\u00edc\u00ed neanotovan\u00e1 data spad\u00e1 do kategorie self-training algoritm\u016f. Nejprve je na omezen\u00e9m mno\u017estv\u00ed anotovan\u00fdch dat natr\u00e9nov\u00e1n po\u010d\u00e1te\u010dn\u00ed model neuronov\u00e9 s\u00edt\u011b. Ten je n\u00e1sledn\u011b spolu s jazykov\u00fdm modelem pou\u017eit k vygenerov\u00e1n\u00ed n\u011bkolika nejpravd\u011bpodobn\u011bj\u0161\u00edch variant pseudo-\u0161t\u00edtk\u016f neanotovan\u00fdch dat. Takto strojov\u011b anotovan\u00e1 data jsou sm\u00edch\u00e1na s tr\u00e9novac\u00edmi daty, kter\u00e1 byla pou\u017eita k vytvo\u0159en\u00ed po\u010d\u00e1te\u010dn\u00edho modelu a n\u00e1sledn\u011b jsou vyu\u017eita k natr\u00e9nov\u00e1n\u00ed c\u00edlov\u00e9ho modelu. Na ru\u010dn\u011b psan\u00e9m ICFHR 2014 Bentham datasetu dosahuje nejlep\u0161\u00ed takto tr\u00e9novan\u00fd model 1.99 % CER, co\u017e je relativn\u00ed zlep\u0161en\u00ed o 23 % oproti po\u010d\u00e1te\u010dn\u00edmu modelu tr\u00e9novan\u00e9m pouze na anotovan\u00fdch datech. Za pomoc\u00ed navr\u017een\u00e9 metody lze zv\u00fd\u0161it \u00fasp\u011b\u0161nost OCR pomoc\u00ed neanotovan\u00fdch 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\/2021\/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\/2021\/053\/53.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic04 topic08\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Komise oce\u0148uje zv\u00fd\u0161en\u00ed efektivity \u0159e\u0161en\u00ed zn\u00e1m\u00e9ho t\u011b\u017ek\u00e9ho probl\u00e9mu pomoc\u00ed redukce stavov\u00e9ho prostoru.\">\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\/2021\/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>Optimizing Automata Product Construction and Emptiness Test<\/h4>\r\n\t\t\t\t<h5>David Chocholat\u00fd, Luk\u00e1\u0161 Hol\u00edk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/016\/16.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">Optimizing Automata Product Construction and Emptiness Test<\/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 Chocholat\u00fd, Luk\u00e1\u0161 Hol\u00edk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Finite Automata, Product Construction, Emptiness Test, Intersection Computation Optimization, State Space Reduction, Length Abstraction<\/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> <span class=\"label label-default\">P\u0159eklada\u010de a gramatiky<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Finite automata are a well-known field of computational theory, and we use them widely in many situations. We will focus our attention to different heuristics for optimizing several typical problems with finite automata. We are interested especially in computation of intersection of automata product construction and its emptiness test, which is time and again required in modern computation technologies, but requires a lot of computational time and generates vast yet unnecessary so-called state space in the end. For this reason, we will try to use length abstraction for solving these problems and optimizing the product construction and its emptiness test as good as possible using solely knowledge about recognized words lengths.<\/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\/2021\/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\/2021\/016\/16.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje inovativn\u00ed my\u0161lenku a dob\u0159e odvedenou pr\u00e1ce v r\u00e1mci velmi aktu\u00e1ln\u00edho t\u00e9matu.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">31<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal31\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/031\/31_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>Generative Adversarial Networks Applied for Privacy Preservation in Biometric-Based Authentication and Identification<\/h4>\r\n\t\t\t\t<h5>\u013dubo\u0161 Mjachky<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/031\/31.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal31\" 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\">31<\/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\">Generative Adversarial Networks Applied for Privacy Preservation in Biometric-Based Authentication and Identification<\/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>\u013dubo\u0161 Mjachky<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Privacy Preservation, Machine Learning, Generative Adversarial Networks<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Biometric-based authentication systems are getting broadly adopted in many areas. However, these systems do not allow participating users to influence the way their data are used. Furthermore, the data may leak and can be misused without the users\u2019 knowledge. In this paper, we propose a new authentication method that preserves the privacy of individuals and is based on a generative adversarial network (GAN). Concretely, we suggest using the GAN for translating images of faces to a visually private domain (e.g., flowers or shoes). Classifiers, which are used for authentication purposes, are then trained on the images from the visually private domain. Based on our experiments, the method is robust against attacks and still provides meaningful utility.<\/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\/2021\/031\/31_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\/2021\/031\/31.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje nov\u00fd zp\u016fsob \u0159e\u0161en\u00ed zn\u00e1m\u00e9ho t\u011b\u017ek\u00e9ho probl\u00e9mu s vyu\u017eit\u00edm SAT solveru.\">\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\/2021\/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>SAT solver in nondeterministic automata minimization<\/h4>\r\n\t\t\t\t<h5>Michal \u0160ed\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\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\">SAT solver in nondeterministic automata minimization<\/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>Michal \u0160ed\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>nondeterministic finite automata, minimization, state merging, SAT solver<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Nondeterministic finite automata (NFA) are widely used in computer science fields, such as regular languages in formal language theory, formal verification, high-speed network monitoring, image recognition, hardware modeling, or even in bioinformatic for the detection of the sequence of nucleotide acids in DNA. Automata minimization is a fundamental technique that helps to decrease resource claims (memory, time, or a number of hardware components) of implemented automata. Commonly used minimization techniques, such as state merging, transition pruning, and saturation, can leave potentially minimizable automaton subgraphs with duplicit language information. These fragments consist of a group of states, where the whole language of one state is piecewise covered by the other states in this group. The paper describes a new minimization approach, which uses SAT solver Z3, which provides information for efficient minimization of these so far nonminimizable automaton parts. Moreover, the newly investigated method, which only uses solver information and state merging, can minimize automata similarly and with a transition density up to 2.5 (from each state lead approximately 2.5 transition edges) faster than a tool RABIT, which uses state merging and transition pruning.<\/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\/2021\/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\/2021\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje v\u00fdvoj n\u00e1stroje, kter\u00fd z\u00e1sadn\u00edm zp\u016fsobem roz\u0161i\u0159uje mo\u017enosti automatick\u00e9ho n\u00e1vrhu pravd\u011bpodobnostn\u00edch syst\u00e9m\u016f.\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">49<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal49\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/049\/49_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>PAYNT: Towards Powerful Automated Synthesis of Probabilistic Programs<\/h4>\r\n\t\t\t\t<h5>\u0160imon Stupinsk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/049\/49.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal49\" 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\">49<\/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\">PAYNT: Towards Powerful Automated Synthesis of Probabilistic Programs<\/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>\u0160imon Stupinsk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>automated synthesis, probabilistic programs, Markov models, model checking<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Probabilistic programs play a key role in various engineering domains, including computer networks, embedded systems, power management policies, or software product lines. This paper presents PAYNT, a tool for the automatic synthesis of probabilistic programs satisfying the given specification. It supports the synthesis of finite-state probabilistic programs representing a finite family of candidate programs. PAYNT provides a novel integrated approach for probabilistic synthesis developed on the principles of abstraction refinement (AR) and counterexample-guided inductive synthesis (CEGIS) methods. PAYNT is able to efficiently synthesise the topology of the program as well as continuous parameters affecting the transition probabilities \u2013 this is a unique feature. Existing tools for topology synthesis implement only naive approaches and thus typically do not scale to practically relevant synthesis problems. Tools leveraging search-based techniques can handle both synthesis problems, but they do not ensure the complete exploration of the design space. For challenging synthesis problems, PAYNT is able to significantly decreases the run-time from days to minutes while ensuring the completeness of the synthesis process. We demonstrate the usefulness and performance of PAYNT on a wide range of benchmarks from different application domains. Our tool paper presenting PAYNT has been recently accepted at CAV\u201921, an A* conference.<\/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\/2021\/049\/49_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\/2021\/049\/49.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"Komise oce\u0148uje z\u00e1sadn\u00ed vylep\u0161en\u00ed n\u00e1stroje pro ov\u011b\u0159ov\u00e1n\u00ed atomicity operac\u00ed paraleln\u00edch program\u016f\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">57<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal57\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/057\/57_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>Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer<\/h4>\r\n\t\t\t\t<h5>Dominik Harmim<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/057\/57.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal57\" 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\">57<\/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\">Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer<\/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>Dominik Harmim<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Facebook Infer, Static Analysis, Abstract Interpretation, Atomicity Violation, Contracts for Concurrency, Concurrent Programs, Program Analysis, Atomicity, Atomer<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Atomer is a static analyser based on the idea that if some sequences of functions of a multi-threaded program are executed under locks in some runs, likely, they are always intended to execute atomically. Atomer thus strives to look for such sequences and then detects for which of them the atomicity may be broken in some other program runs. The first version of Atomer was proposed within the BSc thesis of the author of this paper and implemented as a plugin of the Facebook Infer framework. In this paper, a new and significantly improved version of Atomer is proposed. The improvements aim at both increasing scalability as well as precision. Moreover, support for several initially not supported programming features has been added (including, e.g., the possibility of analysing C++ and Java programs or support for re-entrant locks or lock guards). Through a number of experiments (including experiments with real-life code and real-life bugs), it is shown that the new version of Atomer is indeed much more general, scalable, and precise.<\/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\/2021\/057\/57_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\/2021\/057\/57.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 z pr\u016fmyslu<\/strong><\/h2>\r\n\t<div class=\"row results\">\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\/2021\/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>Warehouse Manager: N\u00e1stroj pro pokro\u010dilou simulaci a optimalizaci skladov\u00fdch operac\u00ed<\/h4>\r\n\t\t\t\t<h5>Filip Ko\u010dica<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/generalni-partner\/edhouse.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\">Warehouse Manager: N\u00e1stroj pro pokro\u010dilou simulaci a optimalizaci skladov\u00fdch operac\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>Filip Ko\u010dica<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>sklad, optimalizace, simulace, gener\u00e1tor, objedn\u00e1vka, produkt, pickov\u00e1n\u00ed, evoluce<\/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>Tato pr\u00e1ce \u0159e\u0161\u00ed problematiku alokace produkt\u016f do lokac\u00ed ve skladu za pomoci modern\u00edch meta-heuristick\u00fdch p\u0159\u00edstup\u016f v kombinaci s realistickou simulac\u00ed skladu. Pr\u00e1ce poskytuje grafick\u00fd n\u00e1stroj umo\u017e\u0148uj\u00edc\u00ed sestaven\u00ed modelu skladu, generov\u00e1n\u00ed syntetick\u00fdch z\u00e1kaznick\u00fdch objedn\u00e1vek, optimalizaci alokace produkt\u016f za pomoci kombinace state of the art technik, simul\u00e1tor vytvo\u0159en\u00e9ho modelu skladu a nakonec n\u00e1stroj pro hled\u00e1n\u00ed nejkrat\u0161\u00ed cesty objedn\u00e1vky skrze sklad. Pr\u00e1ce tak\u00e9 uv\u00e1d\u00ed porovn\u00e1n\u00ed r\u016fzn\u00fdch p\u0159\u00edstup\u016f a experimenty s vytvo\u0159en\u00fdmi n\u00e1stroji. Poda\u0159ilo se optimalizovat propustnost experiment\u00e1ln\u00edho skladu na t\u00e9m\u011b\u0159 dvojn\u00e1sobek (~57%). P\u0159\u00ednosem t\u00e9to pr\u00e1ce je mo\u017enost vytvo\u0159en\u00ed modelu pl\u00e1novan\u00e9ho \u010di ji\u017e existuj\u00edc\u00edho skladu a jeho simulace i optimalizace, co\u017e m\u016f\u017ee zna\u010dn\u011b zv\u00fd\u0161it propustnost skladu a pomoci detekovat a odstranit vyt\u00ed\u017een\u00e1 m\u00edsta. To m\u016f\u017ee v\u00e9st k u\u0161et\u0159en\u00ed zdroj\u016f \u010di pom\u00e1hat v pl\u00e1nov\u00e1n\u00ed. D\u00e1le tato pr\u00e1ce p\u0159in\u00e1\u0161\u00ed nov\u00fd zp\u016fsob optimalizace skladu a nov\u00e9 optimaliza\u010dn\u00ed krit\u00e9rium.<\/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\/2021\/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\/2021\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic06\" 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\">18<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal18\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/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>Holographic Injection - Let There Be True 3D<\/h4>\r\n\t\t\t\t<h5>Roman Dobi\u00e1\u0161<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/generalni-partner\/edhouse.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\">Holographic Injection - Let There Be True 3D<\/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 Dobi\u00e1\u0161<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>OpenGL, autostereoscopic display, single to multiview conversion, automated conversion, pipeline injection, API call hooking<\/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 adaptation of upcoming autostereoscopic displays by regular users depends on the availability of supported applications. To increase such a set, this paper describes compatibility software which turns (semi) automatically the output of regular OpenGL 3D applications to display-native output, which takes advantage of true 3D displays capabilities. This is achieved using a conversion layer that intercepts parts of OpenGL API and translates such API calls to ones that produce a multiview output of the original 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\/2021\/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\/2021\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"\">\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\/2021\/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>Detection of Yoga Poses in Image and Video<\/h4>\r\n\t\t\t\t<h5>Ji\u0159\u00ed Kut\u00e1lek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/024\/24.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/hlavni-partner\/thermo.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\">Detection of Yoga Poses in Image and Video<\/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>Ji\u0159\u00ed Kut\u00e1lek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Yoga Poses Detection, Video Annotation Application, Training CNN for Yoga Poses Recognition<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>In this paper, the concept of a smartphone app detecting Yoga poses and displaying several frames to a user is presented. The goal of this project is proving that even a simple Convolutional Neural Network (CNN) model can be trained to recognize and classify video frames from a Yoga session. I created an application in which the videos are manually annotated. The data, consisting of frames captured from 162 collected videos based on the annotations, is then passed to train a CNN model. The Dataset consists of 22 000 images of 22 different Yoga poses. The frames are captured using the OpenCV library, the training process is handled by the TensorFlow platform and the Keras API, and the results are visualized in the TensorBoard toolkit. The Model\u2019s multi-class classification accuracy reaches 91% when the binary cross-entropy loss function and the sigmoid activation function are used. Despite the experimental results are promising, the main contributions are the dataset forming tools and the Dataset itself, which both helped to confirm the proof-of-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\/2021\/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\/2021\/024\/24.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"\">\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\/2021\/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>Detekce parkovac\u00edch m\u00edst s pou\u017eit\u00edm radaru<\/h4>\r\n\t\t\t\t<h5>Kate\u0159ina Kunorzov\u00e1<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/003\/3.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/hlavni-partner\/nxp.png\"><\/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\">Detekce parkovac\u00edch m\u00edst s pou\u017eit\u00edm radaru<\/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>Kate\u0159ina Kunorzov\u00e1<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>FM-CW radar, detekce parkovac\u00edch m\u00edst, zpracov\u00e1n\u00ed sign\u00e1lu<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem pr\u00e1ce je detekovat parkovac\u00ed m\u00edsta a vyu\u017e\u00edt k tomu radarov\u00e9 za\u0159\u00edzen\u00ed. Radar vys\u00edl\u00e1 sign\u00e1l a ten se n\u00e1sledn\u011b odr\u00e1\u017e\u00ed od objekt\u016f v okol\u00ed radaru a je zp\u011bt p\u0159ij\u00edm\u00e1n. Po zpracov\u00e1n\u00ed je k dispozici 2D\/3D point cloud (prostor kolem radaru). Propojen\u00edm t\u00e9to informace s rychlost\u00ed vozu \u010di GPS polohou je mo\u017en\u00e9 z\u00edskat posun automobilu a vypo\u010d\u00edtat sou\u0159adnice bod\u016f z okol\u00ed. N\u00e1sledn\u011b lze tyto body postupn\u011b ukl\u00e1dat a zp\u0159es\u0148ovat tak prostor, kudy auto proj\u00ed\u017ed\u00ed. V\u00fdsledkem je mapa bod\u016f, ve kter\u00e9 lze pomoc\u00ed vhodn\u00fdch metod detekovat voln\u00e1 parkovac\u00ed m\u00edsta. Propojen\u00edm m\u00edsta s p\u0159\u00edslu\u0161n\u00fdm GPS z\u00e1znamem je k dispozici p\u0159esn\u00e1 GPS poloha voln\u00e9ho m\u00edsta. V\u00fdsledkem pr\u00e1ce je syst\u00e9m analyzuj\u00edc\u00ed radarov\u00e1 data. P\u0159\u00ednosn\u00fd m\u016f\u017ee b\u00fdt jako vstup pro celkov\u00fd syst\u00e9m monitorovan\u00ed voln\u00fdch m\u00edst, kter\u00fd by \u0159idi\u010d\u016fm jeho vyu\u017e\u00edv\u00e1n\u00edm u\u0161et\u0159il spoustu \u010dasu.<\/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\/2021\/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\/2021\/003\/3.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic11\" 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\">37<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal37\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/037\/37_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>Navigace uvnit\u0159 budov v roz\u0161\u00ed\u0159en\u00e9 realit\u011b<\/h4>\r\n\t\t\t\t<h5>Oliver Rainoch<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/037\/37.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/hlavni-partner\/artin.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal37\" 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\">37<\/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\">Navigace uvnit\u0159 budov v roz\u0161\u00ed\u0159en\u00e9 realit\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>Oliver Rainoch<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>AR, Navigace uvnit\u0159 budov, Mobiln\u00ed aplikace, Android, Roz\u0161\u00ed\u0159en\u00e1 realita, Unity, ARCore<\/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>Tato pr\u00e1ce se zab\u00fdv\u00e1 vyu\u017eit\u00edm roz\u0161\u00ed\u0159en\u00e9 reality pro navigaci v budov\u00e1ch. C\u00edlem je vytvo\u0159it mobiln\u00ed aplikaci s prvky roz\u0161\u00ed\u0159en\u00e9 reality pro nav\u00e1d\u011bn\u00ed u\u017eivatele. K ur\u010den\u00ed polohy jsou vyu\u017eity vizu\u00e1ln\u00ed markery a technologie SLAM. V\u00fdsledn\u00e1 aplikace je implementov\u00e1na s pomoc\u00ed knihovny ARCore a hern\u00edho enginu Unity. U\u017eivatel naskenuje marker, vybere hledanou m\u00edstnost a pomoc\u00ed pl\u00e1nku a \u0161ipky v roz\u0161\u00ed\u0159en\u00e9 realit\u011b je nav\u00e1d\u011bn k c\u00edli. D\u00edky aplikaci je mo\u017en\u00e9 se efektivn\u011b a snadno dostat k hledan\u00e9 m\u00edstnosti. Pou\u017eit\u00e9 principy mohou b\u00fdt vyu\u017eity k navigov\u00e1n\u00ed i v rozs\u00e1hl\u00fdch are\u00e1lech \u0161kol, spole\u010dnost\u00ed a skladech.<\/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\/2021\/037\/37_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\/2021\/037\/37.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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=\"\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">31<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal31\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/031\/31_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>Generative Adversarial Networks Applied for Privacy Preservation in Biometric-Based Authentication and Identification<\/h4>\r\n\t\t\t\t<h5>\u013dubo\u0161 Mjachky<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/031\/31.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/hlavni-partner\/honeywell.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal31\" 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\">31<\/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\">Generative Adversarial Networks Applied for Privacy Preservation in Biometric-Based Authentication and Identification<\/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>\u013dubo\u0161 Mjachky<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Privacy Preservation, Machine Learning, Generative Adversarial Networks<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Biometric-based authentication systems are getting broadly adopted in many areas. However, these systems do not allow participating users to influence the way their data are used. Furthermore, the data may leak and can be misused without the users\u2019 knowledge. In this paper, we propose a new authentication method that preserves the privacy of individuals and is based on a generative adversarial network (GAN). Concretely, we suggest using the GAN for translating images of faces to a visually private domain (e.g., flowers or shoes). Classifiers, which are used for authentication purposes, are then trained on the images from the visually private domain. Based on our experiments, the method is robust against attacks and still provides meaningful utility.<\/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\/2021\/031\/31_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\/2021\/031\/31.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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 topic03 topic07\" 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\">29<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal29\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/029\/29_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>Modeling of Enhanced Interior Gateway Routing Protocol<\/h4>\r\n\t\t\t\t<h5>Jan Zav\u0159el<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2021\/029\/29.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"sponsor-logo\"><img src=\"\/wp-content\/partners\/2021\/hlavni-partner\/sap.png\"><\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal29\" 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\">29<\/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\">Modeling of Enhanced Interior Gateway Routing Protocol<\/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>Jan Zav\u0159el<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>EIGRP, Simulation, Routing, OMNeT++<\/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\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper deals with the implementation and the evaluation of a simulation model of a modern dynamic routing protocol designed by Cisco Systems, Inc. called Enhanced Interior Gateway Routing Protocol (EIGRP) in a discrete simulator OMNeT++ implemented in C++. The resulting simulation model can be used to conduct various experiments which allow network designers and alike to explore the protocol's behavior in different situations inside a safe discrete environment. In order to produce a trustworthy simulation course, the protocol model must be as accurate as possible to the real implementation and thoroughly tested. This paper provides a basic overview of both protocol EIGRP and simulator OMNeT++. It also discusses the state of the model before and after the integration into a newer version of the INET framework, showcases improvements, and outlines the testing methodology.<\/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\/2021\/029\/29_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\/2021\/029\/29.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/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-cena-jiriho-kunovskeho\">Ocen\u011bn\u00ed <strong>odbornou ve\u0159ejnost\u00ed<\/strong> - cena Ji\u0159\u00edho Kunovsk\u00e9ho<\/h2>\r\n        <div class=\"row results\">\r\n            <div class=\"thumbnail topic05 topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n                <div class=\"caption caption-image\">\r\n                    <span class=\"badge\">11<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal11\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/011\/11_nahled.png\" alt=\"\"><\/a>\r\n                <\/div>\r\n                <div class=\"caption\">\r\n                    <h4>Z hloup\u00e9ho bojleru chytr\u00fd pomoc\u00ed chytr\u00e9 z\u00e1suvky<\/h4>\r\n                    <h5>Adam Gr\u00fcnwald<\/h5>\r\n                    <p class=\"download-menu\"><a href=\"\/submissions\/2021\/011\/11.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n                <\/div>\r\n                \r\n            <\/div>\r\n            <div class=\"modal fade bs-example-modal-lg\" id=\"modal11\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n                <div class=\"modal-dialog modal-lg\">\r\n                    <div class=\"modal-content\">\r\n                        <div class=\"modal-header\">\r\n                            <span class=\"badge\">11<\/span>\r\n                            <p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n                            <h3 class=\"modal-title\">Z hloup\u00e9ho bojleru chytr\u00fd pomoc\u00ed chytr\u00e9 z\u00e1suvky<\/h3>\r\n                        <\/div>\r\n                        <div class=\"modal-body\">\r\n                            <div class=\"row\">\r\n                                <div class=\"col-md-8\">\r\n                                    <p><strong>Adam Gr\u00fcnwald<\/strong><\/p>\r\n                                    <p><em>chytr\u00e1 dom\u00e1cnost, chytr\u00fd bojler, chytr\u00e1 z\u00e1suvka, internet v\u011bc\u00ed<\/em><\/p>\r\n                                    <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                                    <p>C\u00edlem t\u00e9to pr\u00e1ce je roz\u0161\u00ed\u0159it chytrou dom\u00e1cnost o chytr\u00fd bojler, kter\u00fd vznikne p\u0159ipojen\u00edm st\u00e1vaj\u00edc\u00edho hloup\u00e9ho bojleru do chytr\u00e9 z\u00e1suvky se speci\u00e1ln\u00edm modulem pro p\u0159ipojen\u00ed teplotn\u00edch \u010didel, kter\u00e1 slou\u017e\u00ed k monitoringu v\u00fdvoje teplot v bojleru. Takto vznikl\u00fd chytr\u00fd bojler se dok\u00e1\u017ee p\u0159izp\u016fsobit zvyklostem v dom\u00e1cnosti tak, aby v\u00fdsledkem byla \u00faspora elektrick\u00e9 energie. V r\u00e1mci pr\u00e1ce byl navr\u017een a implementov\u00e1n u\u010d\u00edc\u00ed se algoritmus, kter\u00fd vyhodnocuje nasb\u00edran\u00e1 data a na jejich z\u00e1klad\u011b \u0159\u00edd\u00ed oh\u0159\u00edv\u00e1n\u00ed. Vliv na oh\u0159ev vody v bojleru maj\u00ed tak\u00e9 speci\u00e1ln\u011b vytvo\u0159en\u00e9 ud\u00e1losti v kalend\u00e1\u0159i Google, se kter\u00fdm se program synchronizuje a v okam\u017eiku, kdy je cel\u00e1 dom\u00e1cnost nap\u0159\u00edklad na dovolen\u00e9, se voda v bojleru neoh\u0159\u00edv\u00e1.  Program pro sb\u011br dat, jejich vyhodnocov\u00e1n\u00ed a \u0159\u00edzen\u00ed oh\u0159evu, je spu\u0161t\u011bn v po\u010d\u00edta\u010di p\u0159ipojen\u00e9m v m\u00edstn\u00ed s\u00edti. V n\u011bm se tak\u00e9 nach\u00e1z\u00ed datab\u00e1ze pro z\u00edskan\u00e1 data a n\u00e1stroj, zaji\u0161\u0165uj\u00edc\u00ed p\u0159ehled statistik bojleru jako je aktu\u00e1ln\u00ed stav \u010di spot\u0159eba elektrick\u00e9 energie za t\u00fdden.  Hlavn\u00edm p\u0159\u00ednosem t\u00e9to pr\u00e1ce je \u00faspora elektrick\u00e9 energie sn\u00ed\u017een\u00edm tepeln\u00fdch ztr\u00e1t, d\u00edky men\u0161\u00ed pr\u016fm\u011brn\u00e9 teplot\u011b vody v bojleru. Ta m\u016f\u017ee ro\u010dn\u011b \u010dinit a\u017e 30 % n\u00e1klad\u016f, co\u017e pro 80 litrov\u00fd bojler p\u0159edstavuje ro\u010dn\u00ed \u00fasporu a\u017e 3500 K\u010d. P\u016fvodn\u00ed bojler nav\u00edc z\u00edsk\u00e1 chytr\u00e9 funkce, kter\u00e9 sou\u010dasn\u00e9 chytr\u00e9 bojlery nenab\u00edzej\u00ed, nebo nab\u00edzej\u00ed jen v omezen\u00e9 form\u011b.<\/p>\r\n                                <\/div>\r\n                                <div class=\"col-md-4\">\r\n                                    <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/011\/11_nahled.png\" alt=\"\"><\/p>\r\n                                <\/div>\r\n                            <\/div>\r\n                        <\/div>\r\n                        <div class=\"modal-footer\">\r\n                            <div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2021\/011\/11.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><\/div><\/div>\r\n                            <div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n                        <\/div>\r\n                    <\/div>\r\n                <\/div>\r\n            <\/div>\r\n            <div class=\"thumbnail topic10\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n                <div class=\"caption caption-image\">\r\n                    <span class=\"badge\">57<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal57\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/057\/57_nahled.png\" alt=\"\"><\/a>\r\n                <\/div>\r\n                <div class=\"caption\">\r\n                    <h4>Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer<\/h4>\r\n                    <h5>Dominik Harmim<\/h5>\r\n                    <p class=\"download-menu\"><a href=\"\/submissions\/2021\/057\/57.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n                <\/div>\r\n                \r\n            <\/div>\r\n            <div class=\"modal fade bs-example-modal-lg\" id=\"modal57\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n                <div class=\"modal-dialog modal-lg\">\r\n                    <div class=\"modal-content\">\r\n                        <div class=\"modal-header\">\r\n                            <span class=\"badge\">57<\/span>\r\n                            <p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n                            <h3 class=\"modal-title\">Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer<\/h3>\r\n                        <\/div>\r\n                        <div class=\"modal-body\">\r\n                            <div class=\"row\">\r\n                                <div class=\"col-md-8\">\r\n                                    <p><strong>Dominik Harmim<\/strong><\/p>\r\n                                    <p><em>Facebook Infer, Static Analysis, Abstract Interpretation, Atomicity Violation, Contracts for Concurrency, Concurrent Programs, Program Analysis, Atomicity, Atomer<\/em><\/p>\r\n                                    <p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n                                    <p>Atomer is a static analyser based on the idea that if some sequences of functions of a multi-threaded program are executed under locks in some runs, likely, they are always intended to execute atomically. Atomer thus strives to look for such sequences and then detects for which of them the atomicity may be broken in some other program runs. The first version of Atomer was proposed within the BSc thesis of the author of this paper and implemented as a plugin of the Facebook Infer framework. In this paper, a new and significantly improved version of Atomer is proposed. The improvements aim at both increasing scalability as well as precision. Moreover, support for several initially not supported programming features has been added (including, e.g., the possibility of analysing C++ and Java programs or support for re-entrant locks or lock guards). Through a number of experiments (including experiments with real-life code and real-life bugs), it is shown that the new version of Atomer is indeed much more general, scalable, and precise.<\/p>\r\n                                <\/div>\r\n                                <div class=\"col-md-4\">\r\n                                    <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/057\/57_nahled.png\" alt=\"\"><\/p>\r\n                                <\/div>\r\n                            <\/div>\r\n                        <\/div>\r\n                        <div class=\"modal-footer\">\r\n                            <div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2021\/057\/57.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><\/div><\/div>\r\n                            <div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n                        <\/div>\r\n                    <\/div>\r\n                <\/div>\r\n            <\/div>\r\n            <div class=\"thumbnail topic10\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n                <div class=\"caption caption-image\">\r\n                    <span class=\"badge\">49<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal49\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/049\/49_nahled.png\" alt=\"\"><\/a>\r\n                <\/div>\r\n                <div class=\"caption\">\r\n                    <h4>PAYNT: Towards Powerful Automated Synthesis of Probabilistic Programs<\/h4>\r\n                    <h5>\u0160imon Stupinsk\u00fd<\/h5>\r\n                    <p class=\"download-menu\"><a href=\"\/submissions\/2021\/049\/49.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n                <\/div>\r\n                \r\n            <\/div>\r\n            <div class=\"modal fade bs-example-modal-lg\" id=\"modal49\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n                <div class=\"modal-dialog modal-lg\">\r\n                    <div class=\"modal-content\">\r\n                        <div class=\"modal-header\">\r\n                            <span class=\"badge\">49<\/span>\r\n                            <p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n                            <h3 class=\"modal-title\">PAYNT: Towards Powerful Automated Synthesis of Probabilistic Programs<\/h3>\r\n                        <\/div>\r\n                        <div class=\"modal-body\">\r\n                            <div class=\"row\">\r\n                                <div class=\"col-md-8\">\r\n                                    <p><strong>\u0160imon Stupinsk\u00fd<\/strong><\/p>\r\n                                    <p><em>automated synthesis, probabilistic programs, Markov models, model checking<\/em><\/p>\r\n                                    <p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n                                    <p>Probabilistic programs play a key role in various engineering domains, including computer networks, embedded systems, power management policies, or software product lines. This paper presents PAYNT, a tool for the automatic synthesis of probabilistic programs satisfying the given specification. It supports the synthesis of finite-state probabilistic programs representing a finite family of candidate programs. PAYNT provides a novel integrated approach for probabilistic synthesis developed on the principles of abstraction refinement (AR) and counterexample-guided inductive synthesis (CEGIS) methods. PAYNT is able to efficiently synthesise the topology of the program as well as continuous parameters affecting the transition probabilities \u2013 this is a unique feature. Existing tools for topology synthesis implement only naive approaches and thus typically do not scale to practically relevant synthesis problems. Tools leveraging search-based techniques can handle both synthesis problems, but they do not ensure the complete exploration of the design space. For challenging synthesis problems, PAYNT is able to significantly decreases the run-time from days to minutes while ensuring the completeness of the synthesis process. We demonstrate the usefulness and performance of PAYNT on a wide range of benchmarks from different application domains. Our tool paper presenting PAYNT has been recently accepted at CAV\u201921, an A* conference.<\/p>\r\n                                <\/div>\r\n                                <div class=\"col-md-4\">\r\n                                    <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/049\/49_nahled.png\" alt=\"\"><\/p>\r\n                                <\/div>\r\n                            <\/div>\r\n                        <\/div>\r\n                        <div class=\"modal-footer\">\r\n                            <div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2021\/049\/49.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><\/div><\/div>\r\n                            <div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n                        <\/div>\r\n                    <\/div>\r\n                <\/div>\r\n            <\/div>\r\n            <div class=\"thumbnail topic09\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n                <div class=\"caption caption-image\">\r\n                    <span class=\"badge\">30<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal30\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/030\/30_nahled.png\" alt=\"\"><\/a>\r\n                <\/div>\r\n                <div class=\"caption\">\r\n                    <h4>Anticurtaining - obrazov\u00fd filtr pro elektronovou mikroskopii<\/h4>\r\n                    <h5>Martin Dvo\u0159\u00e1k<\/h5>\r\n                    <p class=\"download-menu\"><a href=\"\/submissions\/2021\/030\/30.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n                <\/div>\r\n                \r\n            <\/div>\r\n            <div class=\"modal fade bs-example-modal-lg\" id=\"modal30\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n                <div class=\"modal-dialog modal-lg\">\r\n                    <div class=\"modal-content\">\r\n                        <div class=\"modal-header\">\r\n                            <span class=\"badge\">30<\/span>\r\n                            <p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n                            <h3 class=\"modal-title\">Anticurtaining - obrazov\u00fd filtr pro elektronovou mikroskopii<\/h3>\r\n                        <\/div>\r\n                        <div class=\"modal-body\">\r\n                            <div class=\"row\">\r\n                                <div class=\"col-md-8\">\r\n                                    <p><strong>Martin Dvo\u0159\u00e1k<\/strong><\/p>\r\n                                    <p><em>curtaining efekt, syntetick\u00e9 sn\u00edmky curtaining efektu, konvolu\u010dn\u00ed neuronov\u00e1 s\u00ed\u0165<\/em><\/p>\r\n                                    <p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                                    <p>Tomografick\u00e1 3D anal\u00fdza v nanometrov\u00e9m m\u011b\u0159\u00edtku vyu\u017e\u00edv\u00e1 sn\u00edmky vzork\u016f z\u00edskan\u00e9 s vyu\u017eit\u00edm fokusovan\u00e9ho iontov\u00e9ho svazku (FIB), p\u0159i jejich\u017e  sn\u00edm\u00e1n\u00ed ale doch\u00e1z\u00ed z fyzik\u00e1ln\u00edch d\u016fvod\u016f k po\u0161kozen\u00ed \"curtaining\" efektem. Tento \u010dl\u00e1nek p\u0159edstavuje nov\u00fd p\u0159istup k odstran\u011bn\u00ed curtaining efektu ze sn\u00edmk\u016f pomoc\u00ed strojov\u00e9ho u\u010den\u00ed. Pro jeho odstran\u011bn\u00ed je vyu\u017eita konvolu\u010dn\u00ed neuronov\u00e1 s\u00ed\u0165 (CNN) a technika u\u010den\u00ed s u\u010ditelem. Navr\u017een\u00e1 s\u00ed\u0165 pracuje s p\u0159\u00edznaky, kter\u00e9 vytv\u00e1\u0159\u00ed vlnkov\u00e1 (Wavelet) transformace a jej\u00edm v\u00fdstupem je vizu\u00e1ln\u011b \"vy\u010di\u0161t\u011bn\u00fd\" sn\u00edmek. K u\u010den\u00ed s\u00edt\u011b je vyu\u017eita syntetick\u00e1 datov\u00e1 sada po\u0161kozen\u00fdch sn\u00edmk\u016f, kter\u00e9 jsou vytvo\u0159eny gener\u00e1torem simuluj\u00edc\u00edm fyzik\u00e1ln\u00ed proces tvorby re\u00e1ln\u00e9ho sn\u00edmku. Simulace se skl\u00e1d\u00e1 z \"opot\u0159eben\u00ed\" vzorku pomoc\u00ed fokusovan\u00e9ho iontov\u00e9ho svazku (FIB) a zobrazen\u00ed povrchu pomoc\u00ed skenovac\u00edho elektronov\u00e9ho mikroskopu (SEM). Nov\u011b vytvo\u0159en\u00fd p\u0159\u00edstup velmi dob\u0159e pracuje i s re\u00e1ln\u011b po\u0159\u00edzen\u00fdmi sn\u00edmky. Kvalitativn\u00ed vyhodnocen\u00ed p\u0159edstaven\u00e9ho \u0159e\u0161en\u00ed a srovn\u00e1n\u00ed s jin\u00fdm \u0159e\u0161en\u00edm hodnotili laici i experti na tuto problematiku. P\u0159edstaven\u00e9 \u0159e\u0161en\u00ed p\u0159edstavuje nov\u00fd nad\u011bjn\u00fd p\u0159\u00edstup k odstran\u011bn\u00ed curtaining efektu a p\u0159isp\u00edv\u00e1 k lep\u0161\u00edmu postupu zpracov\u00e1n\u00ed i porozum\u011bn\u00ed sn\u00edmk\u016fm po\u0159\u00edzen\u00fdm p\u0159i materi\u00e1lov\u00e9 anal\u00fdze.<\/p>\r\n                                <\/div>\r\n                                <div class=\"col-md-4\">\r\n                                    <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/030\/30_nahled.png\" alt=\"\"><\/p>\r\n                                <\/div>\r\n                            <\/div>\r\n                        <\/div>\r\n                        <div class=\"modal-footer\">\r\n                            <div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2021\/030\/30.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><\/div><\/div>\r\n                            <div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n                        <\/div>\r\n                    <\/div>\r\n                <\/div>\r\n            <\/div>\r\n            <div class=\"thumbnail topic11 topic12\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"\">\r\n                <div class=\"caption caption-image\">\r\n                    <span class=\"badge\">47<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal47\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/047\/47_nahled.png\" alt=\"\"><\/a>\r\n                <\/div>\r\n                <div class=\"caption\">\r\n                    <h4>Plan my Meals - Automatic meal planning and nutrition monitoring<\/h4>\r\n                    <h5>Jakub Pojsl<\/h5>\r\n                    <p class=\"download-menu\"><a href=\"\/submissions\/2021\/047\/47.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><\/p>\r\n                <\/div>\r\n                \r\n            <\/div>\r\n            <div class=\"modal fade bs-example-modal-lg\" id=\"modal47\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n                <div class=\"modal-dialog modal-lg\">\r\n                    <div class=\"modal-content\">\r\n                        <div class=\"modal-header\">\r\n                            <span class=\"badge\">47<\/span>\r\n                            <p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n                            <h3 class=\"modal-title\">Plan my Meals - Automatic meal planning and nutrition monitoring<\/h3>\r\n                        <\/div>\r\n                        <div class=\"modal-body\">\r\n                            <div class=\"row\">\r\n                                <div class=\"col-md-8\">\r\n                                    <p><strong>Jakub Pojsl<\/strong><\/p>\r\n                                    <p><em>Meal planner, Meal plan generator, Web application, Nutrition monitoring, Django, User interface<\/em><\/p>\r\n                                    <p><span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n                                    <p>The aim of this work is design and implementation of a web-based application that helps its users to improve their eating habits and potentially contributes to the reduction of food waste. The app allows users to easily plan their meals, monitor nutrition in their diet, and automatically generate personalized meal plans according to their body predispositions, goals, and lifestyle. Most attention was given to the design and testing of a user interface that would allow users to effectively manage their meal plans.<\/p>\r\n                                <\/div>\r\n                                <div class=\"col-md-4\">\r\n                                    <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/047\/47_nahled.png\" alt=\"\"><\/p>\r\n                                <\/div>\r\n                            <\/div>\r\n                        <\/div>\r\n                        <div class=\"modal-footer\">\r\n                            <div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2021\/047\/47.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><\/div><\/div>\r\n                            <div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n                        <\/div>\r\n                    <\/div>\r\n                <\/div>\r\n            <\/div><div class=\"clearfix\"><\/div>\r\n\t<\/div>\r\n\r\n\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\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":2,"featured_media":3378,"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\/2021\/wp-json\/wp\/v2\/pages\/1989","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/comments?post=1989"}],"version-history":[{"count":38,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/pages\/1989\/revisions"}],"predecessor-version":[{"id":3379,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/pages\/1989\/revisions\/3379"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/media\/3378"}],"wp:attachment":[{"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/media?parent=1989"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}