{"id":702,"date":"2015-03-04T16:08:31","date_gmt":"2015-03-04T15:08:31","guid":{"rendered":"http:\/\/excel.fit.vutbr.cz\/2021\/?page_id=702"},"modified":"2021-05-06T22:21:06","modified_gmt":"2021-05-06T20:21:06","slug":"sbornik","status":"publish","type":"page","link":"https:\/\/excel.fit.vutbr.cz\/2021\/sbornik\/","title":{"rendered":"Sborn\u00edk"},"content":{"rendered":"\r\n\t<link rel=\"stylesheet\" media=\"all\" type=\"text\/css\" href=\"\/submissions\/css\/proceedings.css?v20210506\">  \r\n\t\r\n<div class=\"row\">\r\n<button type=\"button\" class=\"btn btn-primary center-block\" id=\"open-filter\">Filtrovat pr\u00e1ce podle kategori\u00ed<\/button>\r\n<div id=\"filter-box\">\r\n<button class=\"btn btn-default btn-sm\" id=\"select-all\">V\u0161e<\/button> <button class=\"btn btn-default btn-sm\" id=\"select-none\">Nic<\/button> <span class=\"label label-default\"><span id=\"number-of-shown-submissions\"><\/span> z <span id=\"number-of-submissions\"><\/span><\/span> <button class=\"btn btn-danger btn-sm pull-right\" id=\"close-filter\">Zav\u0159\u00edt<\/button>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic01\"> Bezpe\u010dnost<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic02\"> Informa\u010dn\u00ed syst\u00e9my<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic03\"> Modelov\u00e1n\u00ed a simulace<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic04\"> Nekonven\u010dn\u00ed v\u00fdpo\u010detn\u00ed techniky<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic05\"> Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic06\"> Po\u010d\u00edta\u010dov\u00e1 grafika<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic07\"> Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic08\"> P\u0159eklada\u010de a gramatiky<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic09\"> Robotika a um\u011bl\u00e1 inteligence<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic10\"> Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic11\"> U\u017eivatelsk\u00e1 rozhran\u00ed<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic12\"> Webov\u00e9 technologie<\/label><\/div>\r\n<div class=\"checkbox\"><label><input type=\"checkbox\" id=\"topic13\"> Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/label><\/div>\r\n<\/div>\r\n<\/div>\r\n\t\t\t\t  \r\n\t\r\n<div class=\"row\" id=\"submissions\">          \r\n    <div class=\"thumbnail topic09\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Warehouse Manager: N\u00e1stroj pro pokro\u010dilou simulaci a optimalizaci skladov\u00fdch operac\u00ed<\/h4>\r\n            <h5>Filip Ko\u010dica<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal1\" 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\">1<\/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\">Warehouse Manager: N\u00e1stroj pro pokro\u010dilou simulaci a optimalizaci skladov\u00fdch operac\u00ed<\/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>Filip Ko\u010dica<\/strong><\/p>\r\n                            <p><em>sklad, optimalizace, simulace, gener\u00e1tor, objedn\u00e1vka, produkt, pickov\u00e1n\u00ed, evoluce<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/001\/1_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\/001\/1.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 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">2<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal2\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/002\/2_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Gathering knowledge about devices in local networks by analyzing service discovery protocols<\/h4>\r\n            <h5>Ond\u0159ej Sedl\u00e1\u010dek<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/002\/2.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=\"modal2\" 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\">2<\/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\">Gathering knowledge about devices in local networks by analyzing service discovery protocols<\/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>Ond\u0159ej Sedl\u00e1\u010dek<\/strong><\/p>\r\n                            <p><em>Service discovery, Network monitoring, SSDP, DNS-SD, NetBIOS<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n                            <p>Network monitoring plays a big part in network management, and considering the growing percentage of encrypted traffic, we find ourselves looking for new useful sources of data. This project practice focuses on the utility of service discovery protocols in this regard. It aims to find whether service discovery data can be extracted and used for network mapping, both alone and in combination with other measurements. We aim to collect as much relevant data as possible from a couple of selected service discovery protocols and to assign basic labels to devices. The collection is done using the NEMEA module Ipfixprobe and plugins we add to support our selected protocols. This data is then processed using an aggregating python module named SDP Analyzer. The result of our effort allows us to see what kinds of services devices query for and what kinds they advertise. We can also extract the device hostname, operating system and sometimes even get information about the specific device model. With some additional monitoring of the network, this information can be used to classify most devices in your network. This paper goes through the protocols used and details the interesting data that can be extracted. It also shows the aggregation and basic analysis of the data and it might bring use to anyone curious about what is happening on their local network.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/002\/2_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\/002\/2.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Detekce parkovac\u00edch m\u00edst s pou\u017eit\u00edm radaru<\/h4>\r\n            <h5>Kate\u0159ina Kunorzov\u00e1<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal3\" 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\">3<\/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\">Detekce parkovac\u00edch m\u00edst s pou\u017eit\u00edm radaru<\/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>Kate\u0159ina Kunorzov\u00e1<\/strong><\/p>\r\n                            <p><em>FM-CW radar, detekce parkovac\u00edch m\u00edst, zpracov\u00e1n\u00ed sign\u00e1lu<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/003\/3_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\/003\/3.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">4<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal4\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/004\/4_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Detekce anom\u00e1li\u00ed v chov\u00e1n\u00ed davu na videodatech z dronu<\/h4>\r\n            <h5>David Ba\u017eout<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/004\/4.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=\"modal4\" 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\">4<\/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\">Detekce anom\u00e1li\u00ed v chov\u00e1n\u00ed davu na videodatech z dronu<\/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>David Ba\u017eout<\/strong><\/p>\r\n                            <p><em>video stabilisation, anomaly detection, crowded scenes, uav<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>V posledn\u00edch letech doch\u00e1z\u00ed k rychl\u00e9mu rozvoji vyu\u017eit\u00ed dron\u016f v mnoha odv\u011btv\u00edch. Sv\u00e9 uplatn\u011bn\u00ed nach\u00e1z\u00ed i v oblasti n\u00e1rodn\u00edch bezpe\u010dnostn\u00edch slo\u017eek. C\u00edlem t\u00e9to pr\u00e1ce je n\u00e1vrh a implementace n\u00e1stroje prov\u00e1d\u011bj\u00edc\u00edho anal\u00fdzu davov\u00fdch sc\u00e9n. Tento n\u00e1stroj zaji\u0161\u0165uje v\u010dasnou identifikaci podez\u0159el\u00e9ho chov\u00e1n\u00ed osob a usnad\u0148uje jeho lokalizaci.  Zkouman\u00e1 sc\u00e9na je rozd\u011blena do m\u0159\u00ed\u017eky slo\u017een\u00e9 z bun\u011bk, kter\u00e9 uchov\u00e1vaj\u00ed model obvykl\u00e9ho pohybu v dan\u00e9 oblasti. Na z\u00e1klad\u011b videodat je vypo\u010dten hust\u00fd optick\u00fd tok, kter\u00fd je d\u00e1le zak\u00f3dov\u00e1n do p\u0159\u00edznakov\u00e9ho vektoru. Porovn\u00e1n\u00edm p\u0159\u00edznaku s modelem obvykl\u00e9ho pohybu je ur\u010dena \u00farove\u0148 anom\u00e1lie jednotliv\u00fdch bun\u011bk.  V r\u00e1mci pr\u00e1ce byl navr\u017een a implementov\u00e1n kompletn\u00ed syst\u00e9m umo\u017e\u0148uj\u00edc\u00ed detekci anom\u00e1lie v davu a jej\u00ed vizualizaci do mapov\u00e9ho podkladu. Mezi hlavn\u00ed p\u0159\u00ednosy pat\u0159\u00ed n\u00e1vrh vhodn\u00e9ho algoritmu stabilizace videa, v\u00fdvoj konvolu\u010dn\u00edho autoenkod\u00e9ru extrahuj\u00edc\u00edho relevantn\u00ed p\u0159\u00edznakov\u00e9 vektory a implementace modelu pozad\u00ed navr\u017een\u00e9ho pro zpracov\u00e1n\u00ed on-line dat.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/004\/4_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\/004\/4.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 topic01 topic09\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Deepfakes - really fake?<\/h4>\r\n            <h5>Anton Firc<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal5\" 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\">5<\/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\">Deepfakes - really fake?<\/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>Anton Firc<\/strong><\/p>\r\n                            <p><em>deepfake, cybersecurity, voice biometrics<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/005\/5_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\/005\/5.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 topic06\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">6<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal6\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/006\/6_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>3D Print in education<\/h4>\r\n            <h5>Vojt\u011bch Stan\u011bk<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/006\/6.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=\"modal6\" 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\">6<\/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\">3D Print in education<\/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>Vojt\u011bch Stan\u011bk<\/strong><\/p>\r\n                            <p><em>3D Print, Education, Lesson, Teaching aid, 3D Print methodology<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 grafika<\/span> <\/p>\r\n                            <p>3D printing has recently gained on popularity in various fields. However, to maximize the possibilities of the technology, specific skills are required. To prepare students for future employment, schools are trying to utilize 3D printing in teaching, but with little success, because there is no systematic approach.  To solve this issue, a methodology for integration should be created, which covers technical, pedagogical and practical issues encountered by schools that tried to use 3D printing in their curriculum. For successful integration, it is necessary to provide complete lessons which can be immediately used in teaching. Those lessons are being made and five of them are already being tested. This article contains all required information to get started with 3D printing and its integration in primary and secondary schools. The methodology and the lessons make the technology more accessible, which could attract more schools to participate, possibly igniting discussion on the national level of integration.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/006\/6_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\/006\/6.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\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">7<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal7\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/007\/7_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Deciding S1S Using B\u00fcchi Automata<\/h4>\r\n            <h5>Barbora \u0160mahl\u00edkov\u00e1<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/007\/7.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=\"modal7\" 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\">7<\/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\">Deciding S1S Using B\u00fcchi Automata<\/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>Barbora \u0160mahl\u00edkov\u00e1<\/strong><\/p>\r\n                            <p><em>S1S, B\u00fcchi automata, decision procedure<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n                            <p>Automata on infinite words were introduced as a tool for proving the decidability of problems in various logics. They enable finite representation of a set of infinite words with a regular structure. The aim of this work is to show the process of translating a formula in monadic second-order logic of one successor (S1S) to a corresponding B\u00fcchi automaton and deciding its satisfiability\/validity. We then compare our implementation with the implementation using loop deterministic finite automata for various formulae. The efficiency is measured mainly by the state count of the final automaton for each formula. Our implementation gives better results in the overall majority of the tested formulae in terms of the number of states of the final automaton.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/007\/7_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\/007\/7.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 topic12\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Zobrazen\u00ed a \u00faprava informac\u00ed v Transparency and Consent Framework<\/h4>\r\n            <h5>Ale\u0161 Postulka<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal8\" 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\">8<\/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\">Zobrazen\u00ed a \u00faprava informac\u00ed v Transparency and Consent Framework<\/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>Ale\u0161 Postulka<\/strong><\/p>\r\n                            <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                            <p><span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/008\/8_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\/008\/8.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">9<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal9\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/009\/9_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Predikce \u00fasp\u011b\u0161nosti datov\u00fdch sad<\/h4>\r\n            <h5>Ji\u0159\u00ed Setinsk\u00fd<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/009\/9.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=\"modal9\" 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\">9<\/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\">Predikce \u00fasp\u011b\u0161nosti datov\u00fdch sad<\/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>Ji\u0159\u00ed Setinsk\u00fd<\/strong><\/p>\r\n                            <p><em>DGA, strojov\u00e9 u\u010den\u00ed, genetick\u00e9 algoritmy, kvalita datov\u00fdch sad, predikce \u00fasp\u011b\u0161nosti<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>V s\u00edti \u010dasto prob\u00edh\u00e1 komunikace mezi \u00fato\u010dn\u00edkem a naka\u017een\u00fdmi po\u010d\u00edta\u010di. Nelegitimn\u00ed komunikaci mezi \u0159\u00edd\u00edc\u00edm serverem a botnetem chceme odhalit a filtrovat. Jejich komunikace je zalo\u017een\u00e1 na generov\u00e1n\u00ed um\u011bl\u00fdch dom\u00e9nov\u00fdch jmen pomoc\u00ed DGA algortim\u016f. P\u0159i detekci DGA adres je vyu\u017eito strojov\u00e9ho u\u010den\u00ed. Pro p\u0159esnou klasifikaci je t\u0159eba vytv\u00e1\u0159et kvalitn\u00ed tr\u00e9novac\u00ed datov\u00e9 sady. Jeden z p\u0159\u00edstup\u016f, jak vytvo\u0159it datovou sadu je prost\u0159ednictv\u00edm genetick\u00fdch algoritm\u016f. P\u0159i generov\u00e1n\u00ed datov\u00fdch sad pomoc\u00ed genetick\u00fdch algoritm\u016f nar\u00e1\u017e\u00edme na probl\u00e9m s \u010dasovou n\u00e1ro\u010dnost\u00ed na ur\u010den\u00ed kvality datov\u00e9 sady. P\u0159i velk\u00e9m mno\u017estv\u00ed vygenerovan\u00fdch datov\u00fdch sad p\u0159ich\u00e1z\u00ed na \u0159adu jejich otestov\u00e1n\u00ed klasifik\u00e1torem. C\u00edlem \u010dl\u00e1nku je naj\u00edt vhodn\u00fd zp\u016fsob jak ohodnotit vygenerovanou datovou sadu bez toho, ani\u017e by bylo pot\u0159eba pou\u017e\u00edt klasifik\u00e1tor pro otestov\u00e1n\u00ed \u00fasp\u011b\u0161nosti. Budeme cht\u00edt naj\u00edt parametry, jen\u017e budou charakterizovat danou datovou sadu. Vyhodnocen\u00edm parametr\u016f pro v\u00edce datov\u00fdch sad z\u00edsk\u00e1me tr\u00e9novac\u00ed datovou sadu, kter\u00e1 bude slou\u017eit pro natr\u00e9nov\u00e1n\u00ed klasifik\u00e1toru, kter\u00fd bude predikovat \u00fasp\u011b\u0161nost datov\u00e9 sady. Na vstupu klasifik\u00e1toru bude datov\u00e1 sada a na v\u00fdstupu bude interval, kter\u00fd ur\u010d\u00ed s jakou \u00fasp\u011b\u0161nost\u00ed bude datov\u00e1 sada ohodnocena.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/009\/9_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\/009\/9.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 topic04 topic09\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">10<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal10\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/010\/10_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Porovn\u00e1n\u00ed k\u00f3dov\u00e1n\u00ed probl\u00e9mu v evolu\u010dn\u00edm n\u00e1vrhu kombina\u010dn\u00edch obvod\u016f<\/h4>\r\n            <h5>Adam Sedl\u00e1\u010dek<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/010\/10.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=\"modal10\" 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\">10<\/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\">Porovn\u00e1n\u00ed k\u00f3dov\u00e1n\u00ed probl\u00e9mu v evolu\u010dn\u00edm n\u00e1vrhu kombina\u010dn\u00edch obvod\u016f<\/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 Sedl\u00e1\u010dek<\/strong><\/p>\r\n                            <p><em>Kart\u00e9zsk\u00e9 genetick\u00e9 programov\u00e1n\u00ed, Algebraick\u00e1 norm\u00e1ln\u00ed forma, Evolu\u010dn\u00ed n\u00e1vrh, Kombina\u010dn\u00ed obvod<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Nekonven\u010dn\u00ed v\u00fdpo\u010detn\u00ed techniky<\/span> <span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                            <p>Pr\u00e1ce porovn\u00e1v\u00e1 dva odli\u0161n\u00e9 p\u0159\u00edstupy k zak\u00f3dov\u00e1n\u00ed kombina\u010dn\u00edch obvod\u016f p\u0159i automatizovan\u00e9m n\u00e1vrhu obvod\u016f, kter\u00fd vyu\u017e\u00edv\u00e1 evolu\u010dn\u00edch algoritm\u016f. Porovn\u00e1n\u00ed prob\u011bhlo mezi kart\u00e9zsk\u00fdm genetick\u00fdm programov\u00e1n\u00edm (CGP) a obvodem reprezentovan\u00fdm v algebraick\u00e9 norm\u00e1ln\u00ed form\u011b (ANF). Ob\u011b metody byly demonstrov\u00e1ny na \u010dty\u0159ech obvodech. Pro urychlen\u00ed hodnocen\u00ed kvality obvod\u016f bylo vyu\u017eito paraleln\u00ed simulace. V\u00fdhody a nev\u00fdhody obou metod zak\u00f3dov\u00e1n\u00ed jsou pak shrnuty v z\u00e1v\u011bru t\u00e9to pr\u00e1ce.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/010\/10_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\/010\/10.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 topic05 topic09\">\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        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornou-verejnosti.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odbornou ve\u0159ejnost\u00ed - cena Ji\u0159\u00edho Kunovsk\u00e9ho\"><\/div>\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 topic01 topic12\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Z\u00edsk\u00e1v\u00e1n\u00ed informac\u00ed o u\u017eivatel\u00edch na webov\u00fdch str\u00e1nk\u00e1ch<\/h4>\r\n            <h5>Tom\u00e1\u0161 Vondr\u00e1\u010dek<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal12\" 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\">12<\/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\u00edsk\u00e1v\u00e1n\u00ed informac\u00ed o u\u017eivatel\u00edch na webov\u00fdch str\u00e1nk\u00e1ch<\/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>Tom\u00e1\u0161 Vondr\u00e1\u010dek<\/strong><\/p>\r\n                            <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                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/012\/12_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\/012\/12.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 topic01 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">13<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal13\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/013\/13_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>JA3cury - A new approch to TLS fingerprinting by merging fingerprinting methods<\/h4>\r\n            <h5>Luk\u00e1\u0161 Hejcman, Karel Hynek, Tom\u00e1\u0161 \u010cejka<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/013\/13.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=\"modal13\" 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\">13<\/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\">JA3cury - A new approch to TLS fingerprinting by merging fingerprinting methods<\/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>Luk\u00e1\u0161 Hejcman, Karel Hynek, Tom\u00e1\u0161 \u010cejka<\/strong><\/p>\r\n                            <p><em>TLS, Fingerprint, Identification, Cisco, Mercury, JA3, JA3cury<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n                            <p>TLS is the most popular encryption protocol used on the internet today. It aims to provide high levels of security and privacy for inter-device communication. However, it presents a challenge from a network monitoring and administration standpoint, as it is not possible to analyse the communication encrypted with TLS at a large scale with existing methods based on deep packet inspection. Analysing encrypted communication can help administrators to detect malicious activity on their networks, and can help them identify potential security threats. In this paper, we present a method that allows us to leverage the advantages of two TLS fingerprinting methods, JA3 and Cisco Mercury, to determine the operating system and processes of clients on multiple networks. Our method is able to achieve comparable or better results than the existing Mercury approach for our datasets whilst providing more analysis opportunities than JA3. Furthermore, by using JA3 fingerprints, we open the door to the utilisation of this approach in the wider industry, where JA3 fingerprinting is predominant.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/013\/13_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\/013\/13.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 topic08\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">14<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal14\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/014\/14_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Karel 3D \u2013 Application for Teaching of Programming<\/h4>\r\n            <h5>Vojt\u011bch \u010coupek, Vojt\u011bch \u010coupek<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/014\/14.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=\"modal14\" 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\">14<\/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\">Karel 3D \u2013 Application for Teaching of Programming<\/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>Vojt\u011bch \u010coupek, Vojt\u011bch \u010coupek<\/strong><\/p>\r\n                            <p><em>teaching of programming, pedagogical programming language, block programming, web application, syntax checking, 3D graphics, JavaScript, Karel language, elementary school, secondary school, beginners in programming<\/em><\/p>\r\n                            <p><span class=\"label label-default\">P\u0159eklada\u010de a gramatiky<\/span> <\/p>\r\n                            <p>The paper discusses the problem of teaching the basics of programming to the upper primary school and secondary school students. Firstly, it introduces Karel programming language, which is a tool that has been used since 1981, and some of its most important versions. Afterwards, the current trends employed in teaching the basic understanding of programming languages like block programming will be mentioned. Then, it presents a number environments used for this purposes and discusses their strong and weak points. The main goal is to create a new modern environment based on Karel programming language with up to date features that allow to teach programming in a playful and entertaining way.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/014\/14_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\/014\/14.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 topic12\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">15<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal15\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/015\/15_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Platform for measurement of JavaScript APIs usage on a web<\/h4>\r\n            <h5>Marek Schauer<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/015\/15.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=\"modal15\" 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\">15<\/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\">Platform for measurement of JavaScript APIs usage on a web<\/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>Marek Schauer<\/strong><\/p>\r\n                            <p><em>JavaScript, ECMAScript, Web API, API usage, Web measurement, Browser, OpenWPM<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n                            <p>The world wide web is a complex environment. Web pages can access many APIs ranging from text formatting to access to nearby Bluetooth devices. While many APIs are used for legitimate purposes, some are misused to track and identify their users without their knowledge. In this paper, we propose a methodology to measure the usage of JavaScript APIs on the public web. The methodology consists of an automated visit of several thousand websites and intercepting JavaScript calls performed by the pages. We also provide a design and architecture of a measurement platform that can be used for an automated visit of a list of websites. The proposed platform is based on OpenWPM. The browser is instrumented by OpenWPM and a customized Web API Manager extension is responsible for capturing JavaScript API calls.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/015\/15_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\/015\/15.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 topic04 topic08\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Optimizing Automata Product Construction and Emptiness Test<\/h4>\r\n            <h5>David Chocholat\u00fd, Luk\u00e1\u0161 Hol\u00edk<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal16\" 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\">16<\/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\">Optimizing Automata Product Construction and Emptiness Test<\/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>David Chocholat\u00fd, Luk\u00e1\u0161 Hol\u00edk<\/strong><\/p>\r\n                            <p><em>Finite Automata, Product Construction, Emptiness Test, Intersection Computation Optimization, State Space Reduction, Length Abstraction<\/em><\/p>\r\n                            <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                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/016\/16_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\/016\/16.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\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">17<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal17\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/017\/17_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>OSLC Adapter for Software Analysis<\/h4>\r\n            <h5>Ond\u0159ej Va\u0161\u00ed\u010dek<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/017\/17.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=\"modal17\" 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\">17<\/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\">OSLC Adapter for Software Analysis<\/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>Ond\u0159ej Va\u0161\u00ed\u010dek<\/strong><\/p>\r\n                            <p><em>OSLC, OSLC Adapter, OSLC Provider, OSLC Server, OSLC Consumer, OSLC Client, OSLC Automation, Eclipse Lyo, tool integration, software analysis and verification, ANaConDA, Facebook Infer, Perun, Valgrind<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n                            <p>The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such interface allows tools to be easily integrated with other tools or systems; allows them to be used remotely due to its web based nature; and allows them to be easily connected with a~database for persistency and queries. In this paper, we present an OSLC adapter which can be used to easily add an OSLC interface to most analysis tools. The adapter was designed and created using Eclipse Lyo and is universal enough to accommodate functionality of most analysis tools using the OSLC Automation domain interface by leveraging their current command-line interfaces. In this paper, we see the universality from the point of view of interoperability and development stage (compile-time and run-time). This work provides a~very brief introduction to OSLC and Eclipse Lyo; defines requirements and differences of analysis tools; covers the design of the adapter; and presents a~working implementation of the adapter. The most important evaluation indicator is that the current working version of the adapter is already being used in practice in four use cases, i.e. integration of tools ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/017\/17_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\/017\/17.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 topic06\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Holographic Injection - Let There Be True 3D<\/h4>\r\n            <h5>Roman Dobi\u00e1\u0161<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal18\" 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\">18<\/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\">Holographic Injection - Let There Be True 3D<\/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>Roman Dobi\u00e1\u0161<\/strong><\/p>\r\n                            <p><em>OpenGL, autostereoscopic display, single to multiview conversion, automated conversion, pipeline injection, API call hooking<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 grafika<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/018\/18_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\/018\/18.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 topic05\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">19<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal19\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/019\/19_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>ArithsGen: Gener\u00e1tor aritmetick\u00fdch obvod\u016f pro HW akceler\u00e1tory<\/h4>\r\n            <h5>Jan Klh\u016ffek<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/019\/19.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=\"modal19\" 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\">19<\/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\">ArithsGen: Gener\u00e1tor aritmetick\u00fdch obvod\u016f pro HW akceler\u00e1tory<\/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>Jan Klh\u016ffek<\/strong><\/p>\r\n                            <p><em>Gener\u00e1tor, Aritmetick\u00e9 obvody, Python, Zplo\u0161t\u011bl\u00fd popis, Hierarchick\u00fd popis, Jazyk C, Verilog, BLIF, Kart\u00e9zsk\u00e9 Genetick\u00e9 Programov\u00e1n\u00ed (CGP)<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n                            <p>Aritmetick\u00e9 obvody jsou ned\u00edlnou sou\u010d\u00e1st\u00ed dne\u0161n\u00edch procesor\u016f. Konkr\u00e9tn\u011b je zde najdeme uvnit\u0159 aritmeticko-logick\u00e9 jednotky (ALU), jednotky pro generov\u00e1n\u00ed adres (AGU) \u010di v matematick\u00e9m koprocesoru (FPU). Mimo procesor se ale takt\u00e9\u017e nach\u00e1z\u00ed v systolick\u00fdch pol\u00edch, grafick\u00fdch akceler\u00e1torech a akceler\u00e1torech neuronov\u00fdch s\u00edt\u00ed pro paraleln\u00ed rychl\u00e9 v\u00fdpo\u010dty. Hardwarov\u00e9 \u0159e\u0161en\u00ed aritmetick\u00fdch obvod\u016f umo\u017e\u0148uje vykon\u00e1vat k\u00fd\u017een\u00e9 aritmetick\u00e9 operace mnohon\u00e1sobn\u011b rychleji ne\u017e softwarov\u00e9 \u0159e\u0161en\u00ed.  Tato pr\u00e1ce p\u0159edstavuje open source n\u00e1stroj, implementovan\u00fd v jazyce Python, schopn\u00fd generovat aritmetick\u00e9 obvody a exportovat je do r\u016fzn\u00fdch reprezentac\u00ed popisu. V\u00fdstupn\u00ed reprezentace pak slou\u017e\u00ed ke snadn\u00e9mu ov\u011b\u0159en\u00ed funk\u010dnosti navr\u017een\u00e9ho obvodu (C), k popisu hardwaru a logick\u00e9 synt\u00e9ze (Verilog), k form\u00e1ln\u00ed verifikaci (BLIF) \u010di ke glob\u00e1ln\u00ed optimalizaci obvodu s vyu\u017eit\u00edm evolu\u010dn\u00ed strategie (CGP).<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/019\/19_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\/019\/19.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\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">20<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal20\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/020\/20_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Applying Code Change Patterns during Analysis of Program Equivalence<\/h4>\r\n            <h5>Petr \u0160illing<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/020\/20.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=\"modal20\" 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\">20<\/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\">Applying Code Change Patterns during Analysis of Program Equivalence<\/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>Petr \u0160illing<\/strong><\/p>\r\n                            <p><em>DiffKemp, LLVM, GNU\/Linux kernel, Pattern Matching, Semantic Equivalence<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n                            <p>For some software projects, it might be crucial to ensure semantic stability of their core components between multiple release versions. Nowadays, semantic stability may be checked automatically even on large real-world projects using scalable tools, e.g., DIFFKEMP, which focuses on checking semantic equivalence of different versions of the Linux kernel. However, while these tools are highly scalable, they do tend to report some false-positives. Therefore, in this paper, we propose a static analysis method for matching patterns of recurrent changes between different versions of code. The proposed solution introduces a novel pattern matching algorithm based on gradual comparison of instructions according to their control flow and a method for encoding code change patterns into the LLVM intermediate representation. The proposed analysis has been implemented as an extension of DIFFKEMP, where we demonstrate how it may eliminate a substantial amount of non-equivalence results, which would generally require manual inspection.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/020\/20_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\/020\/20.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\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Neural network training process visualization<\/h4>\r\n            <h5>Silvie N\u011bmcov\u00e1<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal21\" 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\">21<\/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\">Neural network training process visualization<\/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>Silvie N\u011bmcov\u00e1<\/strong><\/p>\r\n                            <p><em>Neural Network Training, Loss Function, Training Process Examination<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/021\/21_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\/021\/21.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 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <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            <h5>Pavel Eis<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal22\" 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\">22<\/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\">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                <\/div>\r\n                <div class=\"modal-body\">\r\n                    <div class=\"row\">\r\n                        <div class=\"col-md-8\">\r\n                            <p><strong>Pavel Eis<\/strong><\/p>\r\n                            <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                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/022\/22_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\/022\/22.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Detection of Boxes in Image<\/h4>\r\n            <h5>Adam \u017dit\u0148ans\u1e31\u00fd<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal23\" 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\">23<\/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\">Detection of Boxes in Image<\/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 \u017dit\u0148ans\u1e31\u00fd<\/strong><\/p>\r\n                            <p><em>Shape Model Detection, Cuboid Detection, Stacked Hourglass Network<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/023\/23_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\/023\/23.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Detection of Yoga Poses in Image and Video<\/h4>\r\n            <h5>Ji\u0159\u00ed Kut\u00e1lek<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal24\" 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\">24<\/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\">Detection of Yoga Poses in Image and Video<\/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>Ji\u0159\u00ed Kut\u00e1lek<\/strong><\/p>\r\n                            <p><em>Yoga Poses Detection, Video Annotation Application, Training CNN for Yoga Poses Recognition<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/024\/24_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\/024\/24.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">25<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal25\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/025\/25_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Interpretation of Deep Neural Networks in Speech Classification<\/h4>\r\n            <h5>Marek Sarva\u0161<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/025\/25.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=\"modal25\" 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\">25<\/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\">Interpretation of Deep Neural Networks in Speech Classification<\/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>Marek Sarva\u0161<\/strong><\/p>\r\n                            <p><em>neural network interpretation, Layer-wise Relevance Propagation, deep neural networks, speech classification<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>The growing problem of the popularity of using deep neural networks is their black box representation. The lack of transparency is raising questions about their reliability, credibility, or vulnerability to adversarial attacks. This caused rising demand for neural network explainability. The goal of this paper is to replicate existing experiments on a gender classification model and extend these experiments to analyze and uncover vulnerabilities of a network trained for gender classification on audio signal spectrograms. The easiest way to explain something is through visualization. For this, a layer-wise relevance propagation technique was chosen in this work because it produces easy-to-understand heatmaps of features relevant to a neural network. The heatmaps are produced by back-propagating relevances through a network from the output to the input layer. Two neural network models with AlexNet and ResNet architecture were used. Experiments with AlexNet model show that the network's predictions are highly dependent on a small number of time-frequency (TF) bins. By augmenting the training data using obtained relevance maps, I managed to lower the dependency on these bins. As a result, the prediction accuracy, when these bins were not present, was increased by $15\\%$. The proposed approach can potentially lead to increased robustness of models, preventing or reducing the impact of adversarial attacks. Interpretation of ResNet model showed dependencies on lower frequencies and time. Producing interpretable heatmaps of the ResNet model required the implementation of more robust LRP rules.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/025\/25_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\/025\/25.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 topic06 topic11\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">26<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal26\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/026\/26_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Vizualiza\u010dn\u00ed n\u00e1stroj pro pilota dronu v Microsoft HoloLens 2<\/h4>\r\n            <h5>Marek V\u00e1clav\u00edk<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/026\/26.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=\"modal26\" 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\">26<\/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\">Vizualiza\u010dn\u00ed n\u00e1stroj pro pilota dronu v Microsoft HoloLens 2<\/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>Marek V\u00e1clav\u00edk<\/strong><\/p>\r\n                            <p><em>Microsoft Hololens 2, ovl\u00e1d\u00e1n\u00ed dron\u016f, naviga\u010dn\u00ed prvky<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 grafika<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n                            <p>Ovl\u00e1d\u00e1n\u00ed drona m\u016f\u017ee b\u00fdt nelehk\u00fd \u00fakol a spolu s rozr\u016fstaj\u00edc\u00ed se \u0161k\u00e1lou vyu\u017eit\u00ed a z\u00e1jmem o tyto bezpilotn\u00ed letouny, se zved\u00e1 z\u00e1jem i o dokonalej\u0161\u00ed a vysp\u011blej\u0161\u00ed n\u00e1stroje ur\u010den\u00e9 k jejich ovl\u00e1d\u00e1n\u00ed. V mnoha odv\u011btv\u00edch se na repetetivn\u00ed \u00fakoly drona vyu\u017e\u00edvaj\u00ed auto-pilotn\u00ed programy, kter\u00e9 zajist\u00ed ur\u010ditou m\u00edru automatizace. Z\u016fst\u00e1v\u00e1 st\u00e1le mnoho situac\u00ed, kdy je zapot\u0159eb\u00ed ovl\u00e1dat drona manu\u00e1ln\u011b, tedy s p\u0159\u00edtomnost\u00ed osoby, kter\u00e1 letoun ovl\u00e1d\u00e1. Takov\u00fd pilot je pr\u00e1v\u011b nejv\u00edce z\u00e1visl\u00fd na n\u00e1stroji, kter\u00fd k ovl\u00e1dan\u00ed drona vyu\u017e\u00edv\u00e1 a ve v\u011bt\u0161in\u011b p\u0159\u00edpad\u016f nepot\u0159ebuje pouze drona ovl\u00e1dat, ale m\u00edt dostatek \u00fadaj\u016f jak o letounu, tak o jeho okol\u00ed.  C\u00edlem t\u00e9to pr\u00e1ce je prozkoumat mo\u017enost vyu\u017eit\u00ed roz\u0161\u00ed\u0159en\u00e9 reality, jako\u017eto prost\u0159ed\u00ed pro n\u00e1stroj uleh\u010duj\u00edc\u00ed pilotovy s dronem operovat a plnit r\u016fzn\u00e1 zad\u00e1n\u00ed. Pro zobrazen\u00ed roz\u0161\u00ed\u0159en\u00e9 reality budou po\u017eity br\u00fdle Microsoft HoloLens 2. Pomoc\u00ed t\u011bchto br\u00fdl\u00ed jsou u\u017eivateli zobrazov\u00e1ny v re\u00e1ln\u00e9m \u010dase letov\u00e9 \u00fadaje o letounu, mo\u017en\u00e9 detekovan\u00e9 p\u0159ek\u00e1\u017eky, orienta\u010dn\u00ed prvky, prvky mise, apod. Tato aplikace je schopn\u00e1 otestovat, v jak\u00e9 m\u00ed\u0159e je vyu\u017eit\u00ed roz\u0161\u00ed\u0159en\u00e9 reality pro pilotov\u00e1n\u00ed drona efektivn\u011bj\u0161\u00ed oproti b\u011b\u017en\u011b pou\u017e\u00edvan\u00fdm n\u00e1stroj\u016fm, kter\u00e9 zobrazuj\u00ed \u00fadaje z letounu v 2D form\u011b na displej telefonu, tabletu, apod..<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/026\/26_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\/026\/26.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\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">27<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal27\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/027\/27_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Authoring System for Defining Geospatial Objects<\/h4>\r\n            <h5>Andrej Tl\u010dina<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/027\/27.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=\"modal27\" 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\">27<\/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\">Authoring System for Defining Geospatial Objects<\/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>Andrej Tl\u010dina<\/strong><\/p>\r\n                            <p><em>Authoring system, Geospatial objects, Web application<\/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 goal of this project is to create an authoring system that will help users to create thematic maps with custom geospatial objects and custom datasets. This paper presents an authoring system that provides tools for creating simple and complex geospatial objects. The system allows users to import their datasets, containing custom data, like data about sales, wages, population, to mention few. Upon creating the needed geospatial object, the user then can use the mentioned imported data and map certain information onto the object. The project can help people like architects, cartographers, and academic users, who need thematic maps, so they can better communicate their ideas. For example, students can create thematic maps containing states that do not exist anymore. The project is an extension of the project Geovisto which uses predefined data for data visualization. This predefined data can be modified only by rewriting code. The extension will bring the possibility of creating custom graphical features or editing predefined ones, which can be used in other parts of the project. At the current stage of implementation, the system provides several tools for creating geospatial objects. It can import a dataset and apply an identifier which then maps the corresponding data onto the object. In addition, the user can export the state of the map and object and later import it.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/027\/27_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\/027\/27.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 topic08 topic09 topic11 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">28<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal28\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/028\/28_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>N\u00e1vrh gramatiky a u\u017eivatelsk\u00e9ho rozhran\u00ed pro filtrov\u00e1n\u00ed a vizualizaci \u010dasoprostorov\u00fdch dat<\/h4>\r\n            <h5>Richard Hauerland<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/028\/28.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=\"modal28\" 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\">28<\/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\">N\u00e1vrh gramatiky a u\u017eivatelsk\u00e9ho rozhran\u00ed pro filtrov\u00e1n\u00ed a vizualizaci \u010dasoprostorov\u00fdch dat<\/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>Richard Hauerland<\/strong><\/p>\r\n                            <p><em>Vizualizace, Anal\u00fdza trajektori\u00ed, Filtrace, Formalismus<\/em><\/p>\r\n                            <p><span class=\"label label-default\">P\u0159eklada\u010de a gramatiky<\/span> <span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>C\u00edlem t\u00e9to pr\u00e1ce je navrhnout gramatiku a u\u017eivatelsk\u00e9 rozhran\u00ed pro filtrov\u00e1n\u00ed a vizualizaci \u010dasoprostorov\u00fdch dat. Konkr\u00e9tn\u011b se budeme zab\u00fdvat vyhodnocov\u00e1n\u00edm dopravn\u00edch dat na z\u00e1klad\u011b anal\u00fdzy trajektori\u00ed. D\u016fle\u017eitou \u010d\u00e1st\u00ed pr\u00e1ce je n\u00e1vrh a popis formalismu, kter\u00fd umo\u017e\u0148uje prostorovou filtraci a filtraci na z\u00e1klad\u011b statick\u00fdch a dynamick\u00fdch atribut\u016f. Na z\u00e1klad\u011b vytvo\u0159en\u00e9ho formalismu provedeme n\u00e1vrh aplikace s u\u017eivatelsk\u00fdm rozhran\u00edm ur\u010den\u00e9 k anal\u00fdze dat. N\u00e1vrhu u\u017eivatelsk\u00e9ho rozhran\u00ed bude p\u0159edch\u00e1zet srovn\u00e1n\u00ed nejv\u00fdznamn\u011bj\u0161\u00edch existuj\u00edc\u00edch \u0159e\u0161en\u00ed.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/028\/28_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\/028\/28.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 topic03 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Modeling of Enhanced Interior Gateway Routing Protocol<\/h4>\r\n            <h5>Jan Zav\u0159el<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal29\" 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\">29<\/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\">Modeling of Enhanced Interior Gateway Routing Protocol<\/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>Jan Zav\u0159el<\/strong><\/p>\r\n                            <p><em>EIGRP, Simulation, Routing, OMNeT++<\/em><\/p>\r\n                            <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                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/029\/29_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\/029\/29.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\">\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        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornou-verejnosti.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odbornou ve\u0159ejnost\u00ed - cena Ji\u0159\u00edho Kunovsk\u00e9ho\"><\/div>\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 topic01\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Generative Adversarial Networks Applied for Privacy Preservation in Biometric-Based Authentication and Identification<\/h4>\r\n            <h5>\u013dubo\u0161 Mjachky<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal31\" 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\">31<\/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\">Generative Adversarial Networks Applied for Privacy Preservation in Biometric-Based Authentication and Identification<\/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>\u013dubo\u0161 Mjachky<\/strong><\/p>\r\n                            <p><em>Privacy Preservation, Machine Learning, Generative Adversarial Networks<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/031\/31_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\/031\/31.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\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>SAT solver in nondeterministic automata minimization<\/h4>\r\n            <h5>Michal \u0160ed\u00fd<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal32\" 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\">32<\/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\">SAT solver in nondeterministic automata minimization<\/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>Michal \u0160ed\u00fd<\/strong><\/p>\r\n                            <p><em>nondeterministic finite automata, minimization, state merging, SAT solver<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Testov\u00e1n\u00ed, anal\u00fdza a verifikace<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/032\/32_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\/032\/32.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 topic07 topic11 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">33<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal33\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/033\/33_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Visualization System of Network Forensic Data<\/h4>\r\n            <h5>Ivan Manoilov<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/033\/33.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=\"modal33\" 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\">33<\/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\">Visualization System of Network Forensic Data<\/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>Ivan Manoilov<\/strong><\/p>\r\n                            <p><em>Data processing, Analytical dashboards, Network Forensic Data<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>The goal of this project is to develop a system for processing various forensic data inputs (such as PCAP) and presenting them in a user-friendly, graphical way. Modern systems for visualization of data are too generic for this specific use-case and can't be employed for analysis of forensic data. This problem is solved via development of the system of analytical dashboards which represent the data, processed by various back-end services, responsible for parsing input, aggregating data and transforming it to the format acceptable by dashboards. Result of this thesis would be a highly extensible system, providing deep analytical view of network traffic, which enables the end-user to see underlying anomalies or problems of the traffic.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/033\/33_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\/033\/33.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">34<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal34\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/034\/34_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Aplikace pro detekci a vizualizaci anom\u00e1lie<\/h4>\r\n            <h5>Adam Ferencz, David Ba\u017eout<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/034\/34.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=\"modal34\" 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\">34<\/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\">Aplikace pro detekci a vizualizaci anom\u00e1lie<\/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 Ferencz, David Ba\u017eout<\/strong><\/p>\r\n                            <p><em>Anal\u00fdza davu, Po\u010d\u00edta\u010dov\u00e9 vid\u011bn\u00ed, Konvolu\u010dn\u00ed neuronov\u00e9 s\u00edt\u011b, Vizualizace v map\u011b, U\u017eivatelsk\u00e9 rozhran\u00ed, Leaflet, Webov\u00e1 aplikace<\/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> <span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>C\u00edlem t\u00e9to pr\u00e1ce bylo vytvo\u0159it aplikaci, kter\u00e1 bude slou\u017eit k detekci anom\u00e1lie v davu z video streamu dronu pozoruj\u00edc\u00edho sc\u00e9nu ze st\u0159edn\u00ed v\u00fd\u0161ky. Aplikace nejen\u017ee analyzuje videoz\u00e1znam, ale tak\u00e9 ho prom\u00edt\u00e1 do m\u00edsta v map\u011b. Slou\u017e\u00ed tedy nejd\u0159\u00edve jako konfigura\u010dn\u00ed n\u00e1stroj a n\u00e1sledn\u011b jako vizualiza\u010dn\u00ed n\u00e1stroj.  Cel\u00e1 aplikace je slo\u017een\u00e1 ze t\u0159\u00ed hlavn\u00edch \u010d\u00e1st\u00ed, kter\u00fdmi jsou v\u00fdpo\u010detn\u00ed modul, webov\u00fd server a webov\u00fd klient. Tento celek pak d\u00e1le komunikuje se serverem Vian, kter\u00fd je centr\u00e1ln\u00ed i pro dal\u0161\u00ed projekty, kter\u00e9 se v\u011bnuj\u00ed anal\u00fdze videa.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/034\/34_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\/034\/34.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">35<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal35\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/035\/35_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Mixture of mixtures method for unsupervised speech separation<\/h4>\r\n            <h5>J\u00e1n Pavlus<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/035\/35.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=\"modal35\" 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\">35<\/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\">Mixture of mixtures method for unsupervised speech separation<\/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>J\u00e1n Pavlus<\/strong><\/p>\r\n                            <p><em>speech separation, mixture of mixtures, neural networks<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>Speech classifier systems often fail on overlapped speech signals of more speakers as an input. For that reason, there are speech separation systems separating each speaker\u2019s signal from others to provide better input signals for further speech classification. In these separation systems, neural networks turn out to perform quite well. To train these networks it is necessary to have parallel mixtures and single speaker\u2019s signals as inputs and targets. Unfortunately, this criterion can not be frequently met for real mixtures. That also happens to be the reason why the training of the neural network is usually performed on artificial mixtures.  In this article, the mixture of mixtures method has been used to provide the required training on the unsupervised mixtures. This method was presented in the article Unsupervised Sound Separation Using Mixture Invariant Training. This particular method mixes two existing mixtures into one called the mixture of mixtures and it is further being used as an input for the neural network. The original mixtures are used as training targets. Such a method enables training speech separation neural networks on full or partly unsupervised datasets. The unsupervised mixtures can be real recordings, which could lead to better separation results for real data during test time.  We combine the mixture of mixtures method with ConvTasnet and perform experiments on the fully unsupervised and semi-supervised datasets generated from the WSJ0-2mix dataset. In our experiments, this method fails on the fully unsupervised dataset and it also does not have any positive impact on the experiments with the semi-supervised datasets. We discuss the possible reasons for the failure and outline the future work.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/035\/35_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\/035\/35.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 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">36<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal36\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/036\/36_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Darkmarket Forensics<\/h4>\r\n            <h5>Daniel Dolej\u0161ka<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/036\/36.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=\"modal36\" 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\">36<\/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\">Darkmarket Forensics<\/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>Daniel Dolej\u0161ka<\/strong><\/p>\r\n                            <p><em>darknet, dark web, dark marketplace, cryptomarket, forensic analysis, crawling, scraping, purchase detection, cryptocurrency, blockchain, transaction, correlation<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n                            <p>Overlay networks (like Tor or I2P) create a suitable environment for criminality to thrive on the Internet. Dark marketplaces (a.k.a. cryptomarkets) are one such example of criminal activities. They act as an intermediary in the trade of illegal goods and services. This project focuses on forensic analysis of such web services and subsequent extraction of non-trivial information about the realised orders and payments from selected marketplaces. The main goal is to pinpoint the time interval when an order has been completed on selected marketplaces and its following correlation with cryptocurrency blockchains. The implemented program provides fully automated non-stop monitoring of selected cryptomarkets. That, under certain conditions, allows detection of realised purchases, detailed product and vendor monitoring and collection of various meta-data entries. Law enforcement agencies can use acquired data as support evidence regarding the operation of selected cryptomarkets and their vendors. The acquired information can also indicate current trends in products supply and demand.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/036\/36_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\/036\/36.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\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Navigace uvnit\u0159 budov v roz\u0161\u00ed\u0159en\u00e9 realit\u011b<\/h4>\r\n            <h5>Oliver Rainoch<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-partnery.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno partnery z pr\u016fmyslu\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal37\" 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\">37<\/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\">Navigace uvnit\u0159 budov v roz\u0161\u00ed\u0159en\u00e9 realit\u011b<\/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>Oliver Rainoch<\/strong><\/p>\r\n                            <p><em>AR, Navigace uvnit\u0159 budov, Mobiln\u00ed aplikace, Android, Roz\u0161\u00ed\u0159en\u00e1 realita, Unity, ARCore<\/em><\/p>\r\n                            <p><span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/037\/37_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\/037\/37.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 topic02 topic11 topic12\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">38<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal38\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/038\/38_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Interaktivn\u00ed pr\u016fvodce pro zoologick\u00e9 zahrady<\/h4>\r\n            <h5>Martin Mach\u00e1\u010dek<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/038\/38.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=\"modal38\" 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\">38<\/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\">Interaktivn\u00ed pr\u016fvodce pro zoologick\u00e9 zahrady<\/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 Mach\u00e1\u010dek<\/strong><\/p>\r\n                            <p><em>zoo, informa\u010dn\u00ed syst\u00e9m, webov\u00e1 aplikace, mobiln\u00ed aplikace, interaktivn\u00ed mapa<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Informa\u010dn\u00ed syst\u00e9my<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n                            <p>Zoologick\u00e9 zahrady nab\u00fdvaj\u00ed d\u016fle\u017eit\u00e9ho ochrann\u00e1\u0159sk\u00e9ho posl\u00e1n\u00ed, pot\u0159ebuj\u00ed se ale takt\u00e9\u017e prezentovat a poskytovat n\u00e1v\u0161t\u011bvn\u00edk\u016fm zaj\u00edmav\u00e9 informace v podob\u011b kapesn\u00edho pr\u016fvodce. Zp\u016fsob spr\u00e1vy t\u011bchto informac\u00ed, spolu s jej\u00ed prezentac\u00ed t\u011bmto n\u00e1v\u0161t\u011bvn\u00edk\u016fm, je ov\u0161em velmi \u010dasto nedosta\u010duj\u00edc\u00ed. I p\u0159esto, \u017ee velk\u00e9 mno\u017estv\u00ed zahrad spad\u00e1 pod unii CSZOO, tak nejsou schopn\u00e9 vytvo\u0159it sjednocen\u00fd zp\u016fsob prezentace informac\u00ed jejich n\u00e1v\u0161t\u011bvn\u00edk\u016fm. Tato pr\u00e1ce se t\u00edmto probl\u00e9mem zab\u00fdv\u00e1 a poskytuje \u0159e\u0161en\u00ed -- sjednocuj\u00edc\u00ed informa\u010dn\u00ed syst\u00e9m pro jakoukoliv zoo spolu s jednotnou mobiln\u00ed aplikac\u00ed s novodob\u00fdm designem, kter\u00e1 slou\u017e\u00ed jako kapesn\u00ed pr\u016fvodce a efektivn\u00ed zdroj zaj\u00edmav\u00fdch informac\u00ed v zoo. D\u016fle\u017eitou sou\u010d\u00e1st\u00ed syst\u00e9mu je mo\u017enost lokalikace na map\u011b, a\u0165 u\u017e zv\u00ed\u0159ec\u00edch druh\u016f, expozic\u00ed, nebo nap\u0159\u00edklad st\u00e1nk\u016f se suven\u00fdry. Vyto\u0159en\u00fd informa\u010dn\u00ed syst\u00e9m je spolu s ve\u0159ejnou API zalo\u017een na frameworku Lumen, mobiln\u00ed aplikace je multiplatformn\u00ed d\u00edky technologii Cordova. Mapov\u00e9 komponenty jsou vytvo\u0159eny s pomoc\u00ed knihovny Leaflet spolu s OpenRouteService a mapov\u00fdch dat a dla\u017edic projektu OpenStreetMap. N\u00e1vrh syst\u00e9mu spolu s aplikac\u00ed byl konzultov\u00e1n prim\u00e1rn\u011b se Zoo Brno. Byly sestaveny i dotazn\u00edky pro zoo a n\u00e1v\u0161t\u011bvn\u00edky, kter\u00e9 dok\u00e1zaly up\u0159esnit po\u017eadavky na jednotliv\u00e9 \u010d\u00e1sti implementovan\u00fdch \u0159e\u0161en\u00ed. V prvotn\u00ed f\u00e1zi bylo telefonicky konktaktov\u00e1no celkem 20 zoo, z toho 7 uvedlo, \u017ee je tento syst\u00e9m zaj\u00edm\u00e1 a r\u00e1di by se dozv\u011bd\u011bli v\u00edce.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/038\/38_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\/038\/38.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 topic06 topic11 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">39<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal39\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/039\/39_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Ur\u010denie obsadenosti parkoviska z obrazu<\/h4>\r\n            <h5>Pavol Dubovec<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/039\/39.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=\"modal39\" 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\">39<\/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\">Ur\u010denie obsadenosti parkoviska z obrazu<\/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>Pavol Dubovec<\/strong><\/p>\r\n                            <p><em>Po\u010d\u00edtanie objektov, Po\u010d\u00edtanie vozidiel, Tvorba aplik\u00e1ci\u00ed, Deep Learning<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 grafika<\/span> <span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>Cie\u013eom tejto pr\u00e1ce je vytvori\u0165 aplik\u00e1ciu, ktor\u00e1 z obrazu zist\u00ed po\u010det vozidiel na zvolenej fotografii. Tak\u00e9to zis\u0165ovanie bude prebieha\u0165 klasifik\u00e1ciou, pomocou konvolu\u010dnej neur\u00f3novej siete. Tr\u00e9novacie d\u00e1tach pozost\u00e1vaj\u00fa z fotografii parkov\u00edsk z r\u00f4znych poh\u013eadov a poz\u00edci\u00ed.  Rie\u0161enie bolo navrhnut\u00e9 tak, \u017ee sa obr\u00e1zky s parkoviskom rozdelia na nieko\u013eko z\u00e1ujmov\u00fdch oblast\u00ed a z t\u00fdchto oblast\u00ed sa vytvoria v\u00fdrezy, pomocou vytvorenej aplik\u00e1cie \u0161pecializovanej na t\u00fato \u00falohu. N\u00e1sledne prebehne anot\u00e1cia obr\u00e1zkov vytvoren\u00fdch t\u00fdmto sp\u00f4sobom, pomocou vytvorenej hodnotiacej aplik\u00e1cie. Obr\u00e1zky sa n\u00e1sledne naform\u00e1tuj\u00fa na rovnak\u00fa ve\u013ekos\u0165. Tieto pripraven\u00e9 v\u00fdrezy s\u00fa n\u00e1sledne predan\u00e9 kni\u017enici na pre pr\u00e1cu s ML, Tensorflow, pomocou ktorej prebieha tr\u00e9novanie modelu.  Cie\u013eom bolo vytvori\u0165 model, ktor\u00fd by bol dostato\u010dne univerz\u00e1lny nato\u013eko, aby vedel ur\u010di\u0165 po\u010det vozidiel na fotografii v akomko\u013evek prostred\u00ed (\u010das, po\u010dasie, poveternostn\u00e9 podmienky) a v \u010do najkrat\u0161om \u010dase. V s\u00fa\u010dasnosti model dok\u00e1\u017ee predikova\u0165 spr\u00e1vny po\u010det vozidiel na v\u00fdrezu na testovac\u00edch d\u00e1tach s presnos\u0165ou 87% a s pripusten\u00edm chyby prv\u00e9ho r\u00e1du na 95%. Prim\u00e1rnym cie\u013eom tejto pr\u00e1ce je rie\u0161enie tohto probl\u00e9mu v re\u00e1lnom \u010dase. Jedn\u00e1 sa klasifik\u00e1ciu do 7 tried (0-6 vozidiel). Toto rie\u0161enie by mohlo by\u0165 zauj\u00edmav\u00e9 hlavne pre statick\u00e9 kamery na netypick\u00fdch miestach (napr. bo\u010dn\u00fd poh\u013ead), pr\u00edpadne je pre ne d\u00f4le\u017eit\u00e9 sn\u00edmanie ur\u010dit\u00fdch \u0161peci\u00e1lnych oblast\u00ed parkov\u00edsk.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/039\/39_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\/039\/39.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Personal Voice Activity Detection<\/h4>\r\n            <h5>\u0160imon Sedl\u00e1\u010dek<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal40\" 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\">40<\/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\">Personal Voice Activity Detection<\/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 Sedl\u00e1\u010dek<\/strong><\/p>\r\n                            <p><em>Voice Activity Detection, Recurrent Neural Networks, Speaker Verification<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/040\/40_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\/040\/40.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 topic02\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">41<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal41\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/041\/41_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Information System for Management of Geographical Data Visualizations<\/h4>\r\n            <h5>Jan Grossmann<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/041\/41.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=\"modal41\" 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\">41<\/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\">Information System for Management of Geographical Data Visualizations<\/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>Jan Grossmann<\/strong><\/p>\r\n                            <p><em>Information system, Data exploration, Geographical visualization<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Informa\u010dn\u00ed syst\u00e9my<\/span> <\/p>\r\n                            <p>The goal of this project is to create an information system for the visualization of geographical data. The main idea is to allow users to visualize their own geographical data, which they can import either from plain text files or directly attach their own database system as a source of data and make use of the data in real-time. By providing the necessary information like the type of database management system and credentials, the back-end of the information system will be able to connect, read or build up the schema of the database including all of the stored tables, objects, and its dimensions. Then the user will choose the proper form of data through the graphical user interface with zero need for programming knowledge. These data will be used to create the visualizations, using an existing application for visualization of geographical data named Geovisto. Created visualizations could be also shared easily, by providing a specific link that will show the interactive result, allowing the user to embed the view into his personal webpage. This paper presents a new web information system that will act as a point of contact between users, geographical data, and visualizations.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/041\/41_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\/041\/41.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 topic01 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">42<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal42\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/042\/42_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Fast, Scalable and DoS-Resistant Proof-of-Stake Consensus Protocol Based on an Anonymization Layer<\/h4>\r\n            <h5>Marek Tama\u0161kovi\u010d<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/042\/42.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=\"modal42\" 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\">42<\/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\">Fast, Scalable and DoS-Resistant Proof-of-Stake Consensus Protocol Based on an Anonymization Layer<\/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>Marek Tama\u0161kovi\u010d<\/strong><\/p>\r\n                            <p><em>Blockchain, Proof-of-Stake, Anonymity<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n                            <p>In this work, we summarized research in the state-of-the-art Proof-of-Stake protocols like Algorand, Tendermint, and LaKSA. We analyzed and summarized their features and issues. Based on the included research we propose a new PoS protocol that mitigates the found issues.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/042\/42_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\/042\/42.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 topic01\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">43<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal43\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/043\/43_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Secure Provisioning of IoT Devices<\/h4>\r\n            <h5>Petr Rusi\u0148\u00e1k<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/043\/43.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=\"modal43\" 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\">43<\/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\">Secure Provisioning of IoT Devices<\/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>Petr Rusi\u0148\u00e1k<\/strong><\/p>\r\n                            <p><em>IoT, Secure provisioning, IoT device provisioning<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <\/p>\r\n                            <p>With the role of IoT devices being more important than ever before, many large-scale applications of IoT devices are emerging. However, setting up a large number of IoT devices is time-consuming, as in most cases, it involves taking each IoT device individually, reflashing its firmware based on the device's use-case, and reconfiguring the device's settings to include the correct Wi-Fi credentials as well as other device-specific settings based on the use-case application. The aim of this paper is to create a zero-touch provisioning protocol that will configure the IoT device on its first boot automatically in a secure manner. At this stage of development, the work focuses on secure provisioning of Wi-Fi credentials, as the credentials cannot be shared with the device manufacturer for security reasons, and they cannot be obtained by the application code as the device has no internet connectivity. The protocol uses a dedicated configurator device to obtain the credentials, with a challenge-response authentication in place to verify the new device is authorized to obtain these credentials.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/043\/43_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\/043\/43.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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Innovating Sports Shooting With Computer Vision<\/h4>\r\n            <h5>Jana Gregorov\u00e1<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal44\" 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\">44<\/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\">Innovating Sports Shooting With Computer Vision<\/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>Jana Gregorov\u00e1<\/strong><\/p>\r\n                            <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                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/044\/44_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\/044\/44.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 topic12\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">46<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal46\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/046\/46_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Blokovanie sledovac\u00edch prvkov pre prehliada\u010de zalo\u017een\u00e9 na WebKitGTK<\/h4>\r\n            <h5>Samuel Dud\u00edk<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/046\/46.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=\"modal46\" 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\">46<\/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\">Blokovanie sledovac\u00edch prvkov pre prehliada\u010de zalo\u017een\u00e9 na WebKitGTK<\/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>Samuel Dud\u00edk<\/strong><\/p>\r\n                            <p><em>WebKitGTK, adblock, roz\u0161\u00edrenie, prehliada\u010d<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Webov\u00e9 technologie<\/span> <\/p>\r\n                            <p>Cie\u013eom pr\u00e1ce je vytvori\u0165 roz\u0161\u00edrenie pre prehliada\u010de zalo\u017een\u00e9 na technol\u00f3gii WebKitGTK, ktor\u00e9 u\u017e\u00edvate\u013eom umo\u017en\u00ed pohodln\u00e9 blokovanie rekl\u00e1m, sledovac\u00edch prvkov a r\u00f4znych ne\u017eiad\u00facich prvkov. Samotn\u00e9 roz\u0161\u00edrenie je implementovan\u00e9 v jazyku C. Na pozad\u00ed komunikuje so serverom nap\u00edsanom v jazyku Rust, ktor\u00fd rozhoduje, \u010di konkr\u00e9tnu po\u017eiadavku zablokova\u0165 alebo povoli\u0165. Server vyu\u017e\u00edva kni\u017enicu adblock-rust, ktor\u00e1 bola p\u00f4vodne vytvoren\u00e1 pre potreby prehliada\u010da Brave. Komunik\u00e1cia medzi serverom a klientom prebieha pomocou mechanizmu Unix domain socket. V\u00fdsledkom pr\u00e1ce je BlocKit -- plnohodnotn\u00e9 roz\u0161\u00edrenie ur\u010den\u00e9 na filtrovanie obsahu podporuj\u00face okrem sie\u0165ov\u00e9ho aj kozmetick\u00e9 filtrovanie. S\u00fa\u010das\u0165ou je i minimalistick\u00e9 GUI na jednoduch\u00fa konfigur\u00e1ciu a interakciu s roz\u0161\u00edren\u00edm.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/046\/46_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\/046\/46.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\">\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        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornou-verejnosti.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odbornou ve\u0159ejnost\u00ed - cena Ji\u0159\u00edho Kunovsk\u00e9ho\"><\/div>\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>\r\n    <div class=\"thumbnail topic01\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">48<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal48\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/048\/48_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Wi-Fi attacks using ESP32<\/h4>\r\n            <h5>Richard Stehlik<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/048\/48.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=\"modal48\" 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\">48<\/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\">Wi-Fi attacks using ESP32<\/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>Richard Stehlik<\/strong><\/p>\r\n                            <p><em>ESP32, ESP-IDF, Wi-Fi attack, PMKID, WPA handshake, handshake sniffer, penetration tool<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <\/p>\r\n                            <p>This work explores possibilities of Espressif's ESP32 SoCs in combination with its official development framework ESP-IDF in terms of implementing well-known Wi-Fi attacks on them.  Using ESP32 for such attacks may allow attackers to scale their malicious intentions more easily and cut cost and complexities of Wi-Fi attack executions to minimum.  Being low powered device also opens ways to minimize size of necessary hardware for Wi-Fi attacks and can easily operate on battery while maintaining a low weight.  Proposed solution presented in this work covers attacks on WPA\/WPA2 authentication and their variations like station deauthentication, WPS PIN brute-force attack or PMKID capture.  An universal Wi-Fi penetration tool for ESP32 was introduced,  that provides easy way to implement new attacks and their variants in the future. It shows how these attacks can be implemented purely by using ESP-IDF's public API or by bypassing closed source Wi-Fi Stack Libraries that have incorporated protection against misusing ESP32 for sending forged frames.  The outcome supports the need to mitigate some vulnerabilities in currently widely used Wi-Fi security features and give them more attention with higher priority.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/048\/48_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\/048\/48.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\">\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        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><img src=\"\/submissions\/images\/oceneni-odbornou-verejnosti.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odbornou ve\u0159ejnost\u00ed - cena Ji\u0159\u00edho Kunovsk\u00e9ho\"><\/div>\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 topic13\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">50<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal50\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/050\/50_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Beat Grep with Counters<\/h4>\r\n            <h5>Michal Hork\u00fd<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/050\/50.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=\"modal50\" 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\">50<\/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\">Beat Grep with Counters<\/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>Michal Hork\u00fd<\/strong><\/p>\r\n                            <p><em>regular expression matching, bounded repetition, ReDoS, counting automata, RE2<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Zpracov\u00e1n\u00ed dat (obraz, zvuk, text apod.)<\/span> <\/p>\r\n                            <p>Regular expression (regex) matching has an irreplaceable role in software development. The speed of the matching is crucial since it can have a significant impact on the overall usability of the software. However, standard approaches for regular expression (regex) matching suffer from high complexity computation for some kinds of regexes. This makes them vulnerable to attacks based on high complexity evaluation of regexes (so-called ReDoS attacks). Regexes with counting operators, which often occurs in practice, are one of such kind. Succinct representation and fast matching of such regexes can be archived by using a novel counting set automaton. We present a C++ implementation of a matching algorithm based on the counting set automaton. The implementation is done within the RE2 library, which is a fast state-of-the-art regular expression matcher. The implementation within an existing library has the advantage of using its already implemented and optimized parts. We hope that using such parts helps our implementation to be even faster and outperforms some of the state-of-the-art matchers in matching regexes with counting operators while preserving the advantages of the original algorithm for other kinds of regexes.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/050\/50_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\/050\/50.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 topic07\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>BiNMon - Bitcoin Network Monitor: Platforma pro monitorov\u00e1n\u00ed s\u00edt\u011b Bitcoin<\/h4>\r\n            <h5>Vladimir Jerabek<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal52\" 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\">52<\/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\">BiNMon - Bitcoin Network Monitor: Platforma pro monitorov\u00e1n\u00ed s\u00edt\u011b Bitcoin<\/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>Vladimir Jerabek<\/strong><\/p>\r\n                            <p><em>Monitorov\u00e1n\u00ed s\u00edt\u011b, Peer-to-Peer, Bitcoin, Kryptom\u011bny, Anal\u00fdza dat<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/052\/52_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\/052\/52.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\">\r\n        <div class=\"caption caption-image\">\r\n            <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        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Vyu\u017eit\u00ed neanotovan\u00fdch dat pro tr\u00e9nov\u00e1n\u00ed OCR<\/h4>\r\n            <h5>Petr Buchal<\/h5>\r\n            <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        <\/div>\r\n        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><\/div>\r\n    <\/div>\r\n    <div class=\"modal fade bs-example-modal-lg\" id=\"modal53\" 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\">53<\/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\">Vyu\u017eit\u00ed neanotovan\u00fdch dat pro tr\u00e9nov\u00e1n\u00ed OCR<\/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>Petr Buchal<\/strong><\/p>\r\n                            <p><em>neuronov\u00e1 s\u00ed\u0165, rozpozn\u00e1n\u00ed textu, self-training, neanotovan\u00e1 data, jazykov\u00fd model<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n                            <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                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/053\/53_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\/053\/53.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\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">54<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal54\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/054\/54_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Geographic data visualizations using heat maps with support for color blind users<\/h4>\r\n            <h5>Petr Ka\u0161par<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/054\/54.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=\"modal54\" 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\">54<\/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\">Geographic data visualizations using heat maps with support for color blind users<\/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>Petr Ka\u0161par<\/strong><\/p>\r\n                            <p><em>Heat map, Color blindness, Geovisualization<\/em><\/p>\r\n                            <p><span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n                            <p>Data visualization on a map is a tool which is being used in fields such as industry, political science, education and, now more than ever, epidemiology. Heat map is a type of geospatial visualization which displays intensity of observed phenomenon using color spectrum. However, people with visual impairment, commonly known as color blindness, are being limited in usage of these tools as colors as perceived by them are at best misleading, and at worse totally indistinguishable from each other. This makes it hard to even read displayed data, while making it practically impossible to create a visualization of their while being sure that they picked the right color spectrum. To address this issue I have extended an existing solution -- geovisualization application Geovisto with heat map layer which provides color schemes for people with most common forms of color blindness. By using the right scheme a person with color blindness can be sure that they are seeing true colors which are not being distorted by their specific type of impairment. It's then possible to switch to generally used blue-green-red color spectrum and publish it with confidence that people without any form of color blindness are seeing the right result. I have created a set of color schemes for users with dichromacy using tools which try to emulate color perception for color blind people.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/054\/54_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\/054\/54.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 topic01\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">56<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal56\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/056\/56_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Relevance of Usable Security Guidelines from IT Professional Point of View<\/h4>\r\n            <h5>Katar\u00edna Galansk\u00e1<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/056\/56.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=\"modal56\" 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\">56<\/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\">Relevance of Usable Security Guidelines from IT Professional Point of View<\/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>Katar\u00edna Galansk\u00e1<\/strong><\/p>\r\n                            <p><em>usable security, usability evaluation, authentication, encryption, digital certificates, privacy<\/em><\/p>\r\n                            <p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <\/p>\r\n                            <p>Balancing the security and usability has always been a challenge. Despite the importance of secure software, the security guidelines and standards are often too complicated, prone to error or time consuming. This non-equilibrium initiated the creation of the term usable security. For years it has been a common research problem. While the software should be developed with usability considerations of end users, security standards and guidelines used by IT professionals are not often given enough attention from the usability perspective. As the experts in the IT field are expected to have a higher level of knowledge, they often face very complex areas when trying to be compliant to particular security standard or follow specific guideline. This work presents the survey in the field of usable security, the aim of which was to evaluate the current awareness of the usable security across the people working in the software development. It discusses problems associated with the balance of the security and usability and devotes to design and implement an educational tool helping the newcomers in the IT field with making systems secure and usable. The aim is to introduce better understanding in certain areas of usable security, namely authentication, privacy, encryption and digital certificates.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/056\/56_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\/056\/56.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\">\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        <div class=\"awards-panel\"><img src=\"\/submissions\/images\/oceneni-odbornym-panelem.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odborn\u00fdm panelem\"><img src=\"\/submissions\/images\/oceneni-odbornou-verejnosti.png\" width=\"36\" height=\"36\" data-toggle=\"tooltip\" data-placement=\"top\" title=\"Ocen\u011bno odbornou ve\u0159ejnost\u00ed - cena Ji\u0159\u00edho Kunovsk\u00e9ho\"><\/div>\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 topic11\">\r\n        <div class=\"caption caption-image\">\r\n            <span class=\"badge\">58<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal58\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2021\/058\/58_nahled.png\" alt=\"\"><\/a>\r\n        <\/div>\r\n        <div class=\"caption\">\r\n            <h4>Aplikace chytr\u00fdch hodinek pro podporu sportovn\u00edho tr\u00e9ninku a z\u00e1vod\u016f<\/h4>\r\n            <h5>Pavel Dohnal\u00edk<\/h5>\r\n            <p class=\"download-menu\"><a href=\"\/submissions\/2021\/058\/58.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=\"modal58\" 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\">58<\/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\">Aplikace chytr\u00fdch hodinek pro podporu sportovn\u00edho tr\u00e9ninku a z\u00e1vod\u016f<\/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>Pavel Dohnal\u00edk<\/strong><\/p>\r\n                            <p><em>Mobiln\u00ed aplikace, SmartWatch, Flutter, iOS, Android, WearOS, 5G, REST, Java<\/em><\/p>\r\n                            <p><span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n                            <p>C\u00edlem t\u00e9to pr\u00e1ce je navrhnout a realizovat novou aplikaci na chytr\u00e9 hodinky pro podporu sportovn\u00edch tr\u00e9nink\u016f a mal\u00fdch z\u00e1vod\u016f ve sportovn\u00edch klubech. V\u00fdsledn\u00e1 pr\u00e1ce zahrnuje multiplatformn\u00ed multijazy\u010dnou mobiln\u00ed aplikaci pro Android a iOS, aplikaci na chytr\u00e9 hodinky s Wear OS a webovou aplikaci. Aplikace pro chytr\u00e9 hodinky m\u00e1 obsahovat snadn\u00e9 p\u00e1rov\u00e1n\u00ed na aplikaci v telefonu. Webov\u00e1 aplikace slou\u017e\u00ed k vytv\u00e1\u0159en\u00ed z\u00e1vodn\u00edch tras. Pomoc\u00ed hodinek jde p\u0159esn\u011b zm\u011b\u0159it sportovn\u00ed aktivitu, kter\u00e1 jde n\u00e1sledn\u011b na telefonu analyzovat. Na telefonu bude prob\u00edhat dopo\u010det zp\u0159esn\u011bn\u00ed polohy k pr\u016fjezdov\u00e9 br\u00e1n\u011b a \u010dasu pr\u016fjezdu. Stejn\u00e1 funkce m\u011b\u0159en\u00ed sportovn\u00ed aktivity bude k dispozici v telefonu. Z\u00e1vodn\u00edk bude dost\u00e1vat informace o sv\u00e9 pozici v z\u00e1vod\u011b a to pomoc\u00ed jednoduch\u00e9ho u\u017eivatelsk\u00e9ho rozhran\u00ed. K vytvo\u0159en\u00ed mobiln\u00ed multiplatfomn\u00ed aplikace, aplikace pro chytr\u00e9 hodinky a webov\u00e9 aplikace je pou\u017eit\u00fd framework Flutter 2.0 spolu s jazykem Dart. Pro serverovou \u010d\u00e1st je vyu\u017e\u00edv\u00e1na Java Spring v kombinaci s MySQL datab\u00e1z\u00ed. Cel\u00e1 serverov\u00e1 \u010d\u00e1st je nasazov\u00e1na v dockeru a komunikuje s mobiln\u00edmi za\u0159\u00edzen\u00edmi pomoc\u00ed REST API. V\u00fdsledkem je serverov\u00e1 aplikace, mobiln\u00ed multiplatfomn\u00ed aplikace, aplikace na chytr\u00e9 hodinky a webov\u00e1 aplikace.<\/p>\r\n                        <\/div>\r\n                        <div class=\"col-md-4\">\r\n                            <p><img class=\"img-responsive\" src=\"\/submissions\/2021\/058\/58_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\/058\/58.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<\/div>\r\n  \r\n<script src=\"\/submissions\/js\/main.js?20210430\"><\/script>\r\n\r\n\r\n<p>P\u0159\u00edsp\u011bvky na Excel@FIT proch\u00e1zej\u00ed recenzn\u00edm \u0159\u00edzen\u00edm, ale nejsou pova\u017eov\u00e1ny za fin\u00e1ln\u00ed publikaci v\u00fdsledku. P\u0159\u00edsp\u011bvek na Excel@FIT se nevylu\u010duje s n\u00e1slednou publikac\u00ed na v\u011bdeck\u00e9 \u010di odborn\u00e9 konferenci nebo v \u010dasopise. Autor\u016fm kvalitn\u00edch p\u0159\u00edsp\u011bvk\u016f na Excel@FIT a jejich vedouc\u00edm se naopak takov\u00e1 publikace doporu\u010duje.<\/p>\r\n<hr>\r\n<p>Submissions at Excel@FIT go through a reviewing proces, but they are not considered to be final publications of the result. Contributions presented at Excel@FIT do not exclude further publication at a scientific or professional conference or in a journals. Contrary to that, authors of high-quality contributions at Excel@FIT and their supervisors are encouraged to prepare such a contribution.<\/p>\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\t  \r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":2,"featured_media":3330,"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-702","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/pages\/702","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=702"}],"version-history":[{"count":83,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/pages\/702\/revisions"}],"predecessor-version":[{"id":3375,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/pages\/702\/revisions\/3375"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/media\/3330"}],"wp:attachment":[{"href":"https:\/\/excel.fit.vutbr.cz\/2021\/wp-json\/wp\/v2\/media?parent=702"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}