{"id":3441,"date":"2020-01-22T16:15:33","date_gmt":"2020-01-22T15:15:33","guid":{"rendered":"http:\/\/www.sitola.cz\/wordpress\/?page_id=3441"},"modified":"2021-01-11T09:46:27","modified_gmt":"2021-01-11T08:46:27","slug":"autumn-2019-programme","status":"publish","type":"page","link":"https:\/\/www.sitola.cz\/wordpress\/seminar\/autumn-2019-programme\/","title":{"rendered":"Autumn 2019 Program"},"content":{"rendered":"<p>This is the programme of the Sitola seminar in autumn 2019. Presentations for the current semester are available <a href=\"https:\/\/www.sitola.cz\/wordpress\/seminar\">here<\/a>.<\/p>\n<ul>\n<li><strong>12.9.2019<\/strong><br \/>\n<strong>SitSem:<\/strong> <a href=\"https:\/\/www.sitola.cz\/wordpress\/wp-content\/uploads\/2019\/09\/seminar_19f_Hozzova.pdf\">materials<\/a> from Jana Hozzov\u00e1<br \/>\n<strong>Basic statistics for scientists<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/www.coursera.org\/learn\/statistical-inferences\/\">Online course<\/a> containing all this and much more, including our and other examples of concepts in R\n<\/li>\n<li>Visualization of the <a href=\"http:\/\/rpsychologist.com\/d3\/cohend\/\">impact of the effect size<\/a> (Cohen&#8217;s d)<\/a>\n<\/li>\n<li>Visualization of the impact of the <a href=\"http:\/\/rpsychologist.com\/d3\/correlation\/\">correlation<\/a>\n<\/li>\n<li>Why most studies are <a href=\"http:\/\/shinyapps.org\/apps\/PPV\/\">false<\/a>?\n<\/li>\n<\/ul>\n<p><\/p>\n<li><strong>18.9.2019<\/strong><br \/>\nCESNET seminar (no presentation)\n<\/li>\n<p><\/p>\n<li><strong>25.9.2019<\/strong><br \/>\ndoc. Mgr. Hana Rudov\u00e1, Ph.D.<br \/>\n<strong>Adaptive large neighborhood search for scheduling of mobile robots<\/strong><br \/>\nAbstract: The talk addresses the scheduling of mobile robots for transportation and processing of operations on machines in a flexible manufacturing system. Both mobile robots and automated guided vehicles (AGVs) can transport components among machines in the working space. Nevertheless, the difference is that mobile robots considered in this work can process specific value-added operations, which is not possible for AGVs. This new feature increases complexity as well as computational demands. To summarize, we need to compute a sequence of operations on machines, the robot assignments for transportation, and the robot assignments for processing. The main contribution is the proposal of an adaptive large neighborhood search algorithm with the sets of exploration and exploitation heuristics to solve the problem considering makespan minimization. Experimental evaluation is presented on the existing benchmarks. The quality of our solutions is compared to a heuristic based on genetic algorithm and mixed-integer programming proposed recently. The comparison shows that our approach can achieve comparable results in real-time which is in order of magnitude faster than the earlier heuristic.<br \/>\nThe talk is an extended version of the presentation at <a href=\"https:\/\/gecco-2019.sigevo.org\">GECCO 2019<\/a>, see the paper <a href=\"https:\/\/doi.org\/10.1145\/3321707.3321764\">here<\/a>.<\/p>\n<\/li>\n<p><\/p>\n<li><strong>2.10.2019<\/strong><br \/>\nIng. Jana Hozzov\u00e1, Ph.D.<br \/>\n<strong>Improved search heuristics in molecular docking<\/strong><br \/>\nAbstract: Before the drug binds into the active site of the protein, it may need to pass through the tunnel within the protein. Molecular docking, a computer simulation, looks for a specific position of the drug so that it fits into the tunnel at the current spot. In collaboration with Loschmidt Laboratories in Faculty of Science at Masaryk University, we have developed a software tool CaverDock which applies a modified docking to construct a complete, smooth trajectory of the drug passing through the tunnel. From the point of computer science, the process of construction of the trajectory includes searching in a vast space of all possible conformations of the molecule. In this talk, we show our improved search heuristics of that search and back it up with a carefully done statistical evaluation.\n<\/li>\n<p><\/p>\n<li><strong>9.10.2019<\/strong><br \/>\nRNDr. Tom\u00e1\u0161 Ra\u010dek<br \/>\n<strong>DSL for computing partial atomic charges<\/strong><br \/>\nAbstract: While programming languages like C or Java can be used for any task, some applications might benefit from using more specialized solutions &#8211; domain specific languages (DSL). Compared to the general-purpose ones, languages like SQL, DOT, or CSS might offer several advantages &#8211; from the simplicity of use, meaningful error reporting to type safety.<br \/>\nIn this talk, we outline the design and the implementation of a simple DSL for computing partial atomic charges. Specifically, we cover all the aspects needed to translate a program in this DSL into a language like C++, i.e., grammar design, building a parser, abstract-syntax tree traversal, type checking, and code generation. Although the DSL in question is designed for computational chemists, no a priori chemical knowledge is required for this talk.\n<\/li>\n<p><\/p>\n<li><strong>16.10.2019<\/strong><br \/>\ning. Michal Bidlo, Ph.D.<br \/>\n<strong>Advances in evolutionary design of cellular automata<\/strong><br \/>\nThe talk will be devoted to the latest research results regarding an evolutionary design of complex multi-state cellular automata (CA). In particular, two-dimensional cellular automata will be considered in combination with a pattern development problem as a case study. An advanced representation technique for designing transitions functions for CA, called Conditionally Matching Rules, will be briefly introduced and its abilities compared to the conventional table-based representation. It will be demonstrated that the representation significantly influences both the quality of results and the way of their functioning. Interactive visualizations of selected results will also be included.\n<\/li>\n<p><\/p>\n<li><strong>23.10.2019<\/strong><br \/>\nRNDr. Dalibor Klus\u00e1\u010dek, Ph.D.<br \/>\n<strong>Improving fairness in a large scale HTC system through workload analysis and simulation<\/strong><br \/>\nIn this talk, we present an example of a real-life scheduling problem coming from one of the largest academic computing centers in France. This high throughput computing (HTC) center serves as one of the main facilities to analyze data produced by the Large Hadron Collider (LHC) at CERN. These high energy physics computations utilize nearly two-thirds of available resources while the remaining part is used by local users.  By analyzing these two different user groups and their workloads, we identify some problems related to the overall fairness of the existing scheduling scheme. Importantly, the scale and complexity of these large workloads composed of millions of jobs per month require special efforts when trying to improve the existing scheduler.  Using real-life data and detailed simulations, we evaluate newly proposed scheduling setups that aim at improving fairness between various user groups.  The results show that the existing scheduling setup can be enhanced, significantly improving the quality of service experienced by formerly unfavored users.\n<\/li>\n<p><\/p>\n<li><strong>30.10.2019<\/strong><br \/>\nSoumen Atta, Ph.D.<br \/>\n<strong>Solving maximal covering location problem using a genetic algorithm with local refinement<\/strong><br \/>\nMaximal covering location problem (MCLP) is one of the well-studied facility location problems. MCLP deals with the problem of finding an optimal placement of a given number of facilities within a set of customers. Each customer has a specific demand and the facilities should be placed in such a way that the total demand of the customers served by the facilities is maximized.<br \/>\nIn this talk, a new approach based on the genetic algorithm (GA) is discussed to solve MCLP. The approach utilizes a local refinement strategy for faster convergence. It is applied to several MCLP instances of sizes up to 2,500 customers from literature, and it is demonstrated that the proposed GA with local refinement gives better results in terms of percentage of coverage and computation time to find the solutions in almost all the cases.\n<\/li>\n<p><\/p>\n<li><strong>6.11.2019<\/strong><br \/>\nprof. Mgr. Ji\u0159\u00ed Damborsk\u00fd, Dr.<br \/>\n<strong>25 years of research experience in Loschmidt Laboratories<\/strong><br \/>\nAbstract: The research group, which became later known as Loschmidt Laboratories, has been started in 1994 by two people in a single laboratory (12 m<sup>2<\/sup>), equipped with a fridge, a shaker bath, and old spectrophotometer. We published the first article in\u00a0the local journal\u00a0Scripta Medica. Today, the group comprises of >40 members, facilities worth 100 mils. CZK, 350 m<sup>2<\/sup> of laboratories and publishes papers in visible journals, like\u00a0Nature Chemical Biology,\u00a0Angewandte Chemie,\u00a0Nucleic Acids Research,\u00a0The Journal of American Chemical Society,\u00a0ACS Catalysis\u00a0and\u00a0PNAS. In this interactive seminar, we will discuss critical elements of running an academic group. Selected topics to be covered: (i) recruitment, (ii) publishing strategies, (iii) group meetings, journal clubs, outreach seminars, (iv) bilateral meetings, and (v) project management, reporting. The topics will be introduced by 5-10 min description of practices in Loschmidt Laboratories, which will be followed by questions and discussion.\u00a0\n<\/li>\n<p><\/p>\n<li><strong>13.11.2019<\/strong><br \/>\ndoc. Mgr. Radek Pel\u00e1nek, Ph.D.<br \/>\n<strong>Simulated data in adaptive learning research<\/strong><br \/>\nAbstract: Adaptive Learning group has developed several widely used learning systems and used them to collect extensive data. Yet, in our research, we often use simulated data. I will describe the motivation for using simulated data and examples of specific research studies that we have done using simulated data, particularly for the analysis of the impact of biases in data collection.\n<\/li>\n<p><\/p>\n<li><strong>20.11.2019<\/strong><br \/>\nIng. Tom\u00e1\u0161 Ko\u0161\u0148ar<br \/>\nNetwork &#038; Network Traffic Monitoring<br \/>\nAbstract: Computer networks as general purpose communication facilities represent a basic platform for global information exchange in the current world altogether. Monitoring is, therefore, a necessary activity to maintain this complex technical environment in an operating state, fully functional and secure. In this talk, we will discuss and summarise basic and most common approaches to large scale and continuous infrastructure and traffic monitoring in wide area networks. We will show an example from real monitoring systems and finally highlight challenges for the future.\n<\/li>\n<p><\/p>\n<li><strong>27.11.2019<\/strong><br \/>\n\u0160t\u011bp\u00e1n Bal\u00e1\u017eik<br \/>\n<strong>Testing server selection algorithms in DNS resolvers <\/strong><br \/>\nAbstract: Different implementations of DNS resolvers take different approaches to the authoritative server selection problem, i.e., resolvers are faced with the question &#8222;Which authoritative server should I ask now?&#8220;. This presentation introduces a new tool for testing server selection strategies implemented in DNS resolvers called DNS Maze. DNS Maze runs DNS resolvers inside a simulated environment containing various authoritative server configurations (good and lame delegations, invalid signatures, \u2026) and also network parameters (latency, packet loss, \u2026), and gathers statistical data about communication between the resolver and authoritative servers. Using Maze, we can expose multiple versions of different implementations to various scenarios and get a better understanding of their performance, and thus make informed decisions refactoring\/rewriting\/configuring server selection part of DNS resolvers. We will also present our findings about various resolver implementations.\n<\/li>\n<p><\/p>\n<li><strong>4.12.2019<\/strong><br \/>\nMgr. B\u0159etislav Regner<br \/>\n<strong>Office 365 Overview<\/strong> (presentation for 40 minutes, survey talk)<br \/>\nAbstract: Office 365 is a suite of tools intended to facilitate daily work and collaboration, as well as a platform on which more complex systems can be built. In the talk, we will introduce some of the available tools and their intended usage &#8211; document storage, sharing and co-authoring, working with calendars and mailboxes, team communication and collaboration tools, planning, and task management. We will also mention some advanced data visualization, integration, automation, and development tools. Considering the audience &#8211; mainly IT pros, we will focus on tips, tricks, and known issues, instead of on detailed description of basic functions.\n<\/li>\n<p><\/p>\n<li><strong>11.12.2019<\/strong><br \/>\nMgr. Petra Hrozkov\u00e1<br \/>\n<b>Towards CaverDock 2.0.<\/b><br \/>\nCaverDock is a tool for modeling the transport process in protein tunnels. These processes are hard to measure, and in some cases, it is impossible. The course of tunnel transport is indispensable for studying protein reactions, and it is essential for detection whether the ligand will be able to go through the tunnel and react with an active center. The limitation of the CaverDock approach is a rigid structure of protein -CaverDock assumes there is almost no flexibility of protein, while in reality, the protein is, of course, quite flexible. These factors could be added to CaverDock from an external source, e.g., by an iterative refinement of CaverDock structures by minimization using the Amber force field. Another challenging task is to explore possible pathways through the tunnel rapidly: in our case, we decided to use a combination of the original CaverDock heuristics with algorithms used for motion planning in robotics.\n<\/li>\n<p><\/p>\n<li><strong>Tuesday 17.12.2019 16:00<\/strong><br \/>\n<strong>Discussion about future Sitola<\/strong> and<br \/>\n<strong>Christmas meeting<\/strong><\/p>\n<li><strong>Examination period 2.1. \u2013 12.2.2020<\/strong><br \/>\nMeetings devoted to state exam training are scheduled mostly. State exam training are in Czech mostly. <strong>More days can be added if needed by students.<\/strong><\/p>\n<li><strong>27.1.2021<br \/>\nState exam training (master)<\/strong><br \/>\n \tState exam rehearsals (master)<\/strong><br \/>\nD\u00e1vid Horov: <a href=\"https:\/\/is.muni.cz\/auth\/th\/gty3p\/\">Ve\u0159ejn\u00e1 data a nov\u00e9 aplikace o chytr\u00fdch m\u011bstech<\/a><br \/>\nVedouc\u00ed: Hana Rudov\u00e1<br \/>\nOponent: Barbora B\u00fchnov\u00e1\n<\/li>\n<p> \t <\/p>\n<li><strong>5.2.2020 State exam rehearsals (bachelor) <\/strong><br \/>\nAndrej Bet\u00edk: <a href=\"https:\/\/is.muni.cz\/auth\/th\/zl1j5\">Visualization of tree search algorithms<\/a><br \/>\nVedouc\u00ed: Hana Rudov\u00e1<br \/>\nOponent: Stanislav Mur\u00edn<\/p>\n<p>Samuel Gorta: <a href=\"https:\/\/is.muni.cz\/auth\/th\/dzzdg\">Detekce kortik\u00e1ln\u00edch vrstev v sign\u00e1lech magnetick\u00e9 rezonance n\u00edzk\u00e9ho rozli\u0161en\u00ed<\/a><br \/>\nVedouc\u00ed: Ale\u0161 K\u0159enek<br \/>\nOponent: Jan Fousek\n<\/li>\n<p><\/p>\n<\/ul>\n<p>Contact: <a href=\"http:\/\/www.fi.muni.cz\/~hanka\">Hana Rudov\u00e1<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This is the programme of the Sitola seminar in autumn 2019. Presentations for the current semester are available here. 12.9.2019 SitSem: materials from Jana Hozzov\u00e1 Basic statistics for scientists Online course containing all this and much more, including our and other examples of concepts in R Visualization of the impact of the effect size (Cohen&#8217;s [&hellip;]<\/p>\n","protected":false},"author":42,"featured_media":0,"parent":2896,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages\/3441"}],"collection":[{"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/users\/42"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/comments?post=3441"}],"version-history":[{"count":6,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages\/3441\/revisions"}],"predecessor-version":[{"id":3540,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages\/3441\/revisions\/3540"}],"up":[{"embeddable":true,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages\/2896"}],"wp:attachment":[{"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/media?parent=3441"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}