{"id":3277,"date":"2018-09-03T14:49:49","date_gmt":"2018-09-03T13:49:49","guid":{"rendered":"http:\/\/www.sitola.cz\/wordpress\/?page_id=3277"},"modified":"2020-09-19T18:33:52","modified_gmt":"2020-09-19T17:33:52","slug":"spring-2018-programme","status":"publish","type":"page","link":"https:\/\/www.sitola.cz\/wordpress\/seminar\/spring-2018-programme\/","title":{"rendered":"Spring 2018 Program"},"content":{"rendered":"<p>This is the programme of the Sitola seminar in spring 2018. Presentations for the current semester are available <a href=\"https:\/\/www.sitola.cz\/wordpress\/seminar\">here<\/a>.<\/p>\n<ul>\n<li><strong>21.2.2018<\/strong><br \/>\nRNDr. Tom\u00e1\u0161 Rebok, Ph.D.<br \/>\n<strong>ElasticSearch, Hadoop\/Spark and Friends: Which data processing framework to use?<\/strong><br \/>\nAbstract: Over the past years, several frameworks such as ElasticSearch and Apache Hadoop\/Spark have been introduced to ease the task of big data processing and analysis. During the talk, we will overview the basic characteristics, features and issues of the most widely-used massive data processing frameworks available, and outline the suitable use-cases they could be used for. The talk will also introduce the data processing platforms being developed in several projects running at \u00daVT MU, which one can also use for their data processing tasks.<br \/>\n<BR><\/li>\n<li><strong>28.2.2018<\/strong><br \/>\n<strong>Panel about the (near) future of Sitola<\/strong><br \/>\nPanelists:  Ji\u0159\u00ed Filipovi\u010d, Jan Fousek, Ale\u0161 K\u0159enek, Milo\u0161 Li\u0161ka, Janka Paz\u00farikov\u00e1, Tom\u00e1\u0161 Ra\u010dek, Tom\u00e1\u0161 Rebok, Luk\u00e1\u0161 Ru\u010dka, Michal Zima<br \/>\n<BR><\/li>\n<li><strong>7.3.2018<\/strong><br \/>\nMgr. Michal Zima<br \/>\n<strong>Exchanging cryptocurrencies in decentralised settings<\/strong><br \/>\nAbstract: One of the many challenges that there are in the cryptocurrency ecosystem is decentralised exchange of cryptocurrencies. Inclusiveness, security, privacy&#8212;those are just examples of properties that a platform for decentralised exchanging of them migth offer. In the talk, we will go through the specifics of this challenge and cover how we approach them in Coincer, our implementation of such a platform, offering lessons on decentralising its components.<br \/>\n<BR><\/li>\n<li><strong>14.3.2018<\/strong><br \/>\nprof. Ing. Pavel Zezula, CSc.<br \/>\n<strong>Similarity searching for database applications<\/strong><br \/>\nAbstract: Though searching is already the most frequently used application of information technology today, similarity approach to searching is increasingly playing more and more important role in construction of new search engines. In the last twenty years, the technology has matured and many centralized, distributed, and even peer-to-peer architectures have been proposed. However, the use of similarity searching in numerous potential applications is still a challenge. In the talk, four research directions in developing similarity search applications at Masaryk University DISA laboratory are to be discussed.  First, we concentrate on accelerating large-scale face recognition applications and continue with generic image annotation task for retrieval purposes. In the second half, we focus on data stream processing applications and finish the talk with the ambition topic of content-based retrieval in human motion-capture data. Applications will be illustrated by online prototype implementations.<br \/>\n<BR><\/li>\n<li><strong>21.3.2018<\/strong><br \/>\nCanceled<br \/>\n<BR><\/li>\n<li><strong>28.3.2018<\/strong><br \/>\nRNDr. David \u0160afr\u00e1nek, Ph.D.<br \/>\n<strong>Parameter synthesis by formal methods<\/strong><br \/>\nAbstract: We will present a method for parameter synthesis in parametrised dynamical systems from temporal specifications. The method works with a dynamical system represented in terms of a finite-state transition system with parametrised transition relation. Technically, the method is based on model checking algorithms adapted to such kind of transition systems. Depending on a particular class of systems, the underlying algorithms can gain advantages from efficient symbolic representations of sets of parameter valuations. We will show several examples of such systems and respective representations. To demonstrate the method, we will describe applications to models representing dynamics of biological systems with complex non-linear behaviour. Additionally, we will briefly discuss an extension of the parameter synthesis method that allows to address the problem of bifurcation analysis (dramatic changes of systems behaviour with respect to small changes in parameter values).<br \/>\n<BR><\/li>\n<li><strong>4.4.2018<\/strong><br \/>\nVinh Quang Dang, Ph.D.<br \/>\n<strong>Enhanced scheduling for real-time traffic control<\/strong><br \/>\nAbstract: Traffic signal control in road networks is a practical problem which has been widely paid attention. In this talk, I will discuss an approach for the traffic signal control problem which is modeled as a scheduling problem. The proposed approach is based on a forward dynamic programming search. The goal is to construct a traffic control sequence for each intersection and minimize the total cumulative delay of all vehicles in a traffic network. We use SUMO simulator to demonstrate the performance of the proposed approach on a grid network in comparison with the Surtrac system.<br \/>\n<BR><\/li>\n<li><strong>11.4.2018<\/strong><br \/>\nMgr. Ji\u0159\u00ed Marek<br \/>\nCanceled<br \/>\n<BR><\/li>\n<li><strong>18.4.2018<\/strong><br \/>\nRNDr. Tom\u00e1\u0161 Ra\u010dek<br \/>\n<strong>Fitting SAXS curve to the ensemble of conformations<\/strong><br \/>\nAbstract: Protein structure determination plays a crucial role in understanding many biochemical phenomena. By combining results from multiple (experimental) sources like NMR, SAXS or MD, models of high quality can be obtained. In this talk, we describe several methods used for fitting SAXS curves (including our own). Further, we discuss the way of evaluating performance of these approaches and tackle the issue of comparing weighted ensembles of conformations. Even though the application domain lies in the field of structural biology, in the presentation we focus on computer-science aspects and difficulties (or even dead ends) we encountered during our work.<br \/>\n<BR><\/li>\n<li><strong>25.4.2018<\/strong><br \/>\nRNDr. Pavel Troubil, Ph.D.<br \/>\n<strong>Tactical planning for metals<\/strong><br \/>\nAbstract: Metals producing companies know orders from their customer for a few weeks ahead. They need to plan and schedule production to fulfill the orders, and also to prepare for orders which are still to come. Because whole supply chain from raw materials to finished good takes several weeks and customers require a faster response, safety stocks need to be maintained for different types of semi-finished and finished material. The capacity of resources is the greatest constraint, often together with requirements specific for metals production.<br \/>\nI will explain basics of the metals production and the planning and scheduling problem. Then I will move to the explanation of a robust iterative algorithm, which creates a very good solution from an empty plan in thousands of small steps.<br \/>\nIf time allows and audience is interested, a brief presentation may follow on similarities and differences I see between research in industry and academia.<br \/>\n<BR><\/li>\n<li><strong>2.5.2018<\/strong><br \/>\ndoc. RNDr. Petr Holub, Ph.D.<br \/>\n<strong>What does it take to coordinate IT of an international research infrastructure? Experiences from BBMRI-ERIC<\/strong><br \/>\nAbstract: European research infrastructures are complex interdisciplinary organizations where IT plays a fundamental roles: from research to practical implementation of delivered services. This talk will discuss what does it entail to coordinate IT of these infrastructures in a complex federated setup of BBMRI-ERIC, biomedical research infrastructure focusing on biobanking and biomolecular resources. The talk will also briefly mention challenges we are facing from the computer science perspective, which offer possible topics for collaboration for Masaryk University.<br \/>\n<BR><\/li>\n<li><strong>9.5.2018<\/strong><br \/>\nMgr. Luk\u00e1\u0161 Ru\u010dka<br \/>\n<strong>Myths &#038; facts about Method of Manufactured Solutions after the visit at INRIA<\/strong><br \/>\nAbstract: The talk introduces the audience the principles of Method of Manufactured Solutions (MMS), that is used to verify numeric code. Afterward, the specific aspects of MMS for modeling soft tissues and its pitfalls are presented. The talk is concluded with a brief window on the team behind the current state-of-the-art SOFA framework (soft tissue simulations), and the environment of Strasbourg branch of INRIA, motivated by the recent experience.<br \/>\n<BR><\/li>\n<li><strong>16.5.2018<\/strong><br \/>\nDies Academicus (no presentation)<br \/>\n<BR><\/li>\n<li><strong>23.5.2018<\/strong><br \/>\nMeeting of academic community (no presentation)<br \/>\n<BR><\/li>\n<li><strong>Examination period 24.5. \u2013 9.7.2018<\/strong><br \/>\nMeetings devoted to state exam training below are scheduled mostly. State exam trainings are in Czech. <strong>More days can be added if needed by students.<\/strong><br \/>\n<BR><\/li>\n<li><strong>30.5.2018<\/strong><br \/>\nMgr. Michal Zima<br \/>\n<strong>P2P Cryptocurrency exchange and blockchain size reduction (<a href=\"https:\/\/is.muni.cz\/auth\/th\/q1in8\/\">thesis<\/a> defense rehearsal)<\/strong><br \/>\nRise of cryptocurrencies and the underlying blockchain system in the past decade brought a new approach to digital money and building of decentralised consensus. We identify two long-term challenges in this area: centralisation of points of exchange of various cryptocurrencies and unbounded blockchain size growth. While the former limits the decentralised cryptocurrency ecosystem to several points of failure (evidenced by countless thefts from poorly secured exchange services), the latter might lead to weakening of peer-to-peer cryptocurrency networks due to a decline of nodes supporting it as requirements for resources rise. This Ph.D. thesis proposal elaborates on possible approaches to these challenges. A P2P system is proposed for trustless exchange of cryptocurrencies without intermediaries. Further, to make blockchain size growth sustainable, novel approaches to limit it with an upper bound are discussed.<br \/>\n<BR><\/li>\n<li><strong>13.6.2018<\/strong><br \/>\n<strong>State exam training<\/strong><br \/>\nJana Szabado\u0161ov\u00e1: <a href=\"https:\/\/is.muni.cz\/auth\/th\/c1svv\/\">Bezpe\u010dnostn\u00ed anal\u00fdza komunikace v energetick\u00fdch s\u00edt\u00edch<\/a><br \/>\nVedouc\u00ed: Eva Hladk\u00e1<br \/>\nOponent: Tom\u00e1\u0161 Pitner<\/p>\n<p><strong> 15:00 SitSem planning<\/strong><BR><\/li>\n<li><strong>20.6.2018<\/strong><br \/>\n<strong>State exam training<\/strong><br \/>\nJ\u00falia Sabano\u0161ov\u00e1: <a href=\"https:\/\/is.muni.cz\/auth\/th\/sldzp\/\">Natural neighbour interpolation of image warping field<\/a><br \/>\nVedouc\u00ed: Luk\u00e1\u0161 Ru\u010dka<br \/>\nOponent: Jan Fousek<\/p>\n<p>Martin Piatka: <a href=\"https:\/\/is.muni.cz\/auth\/th\/byffe\/\">Akcelerace dek\u00f3dov\u00e1n\u00ed videa pro n\u00e1stroj UltraGrid<\/a><br \/>\nVedouc\u00ed: Milo\u0161 Li\u0161ka<br \/>\nOponent: Martin Pulec<br \/>\n<BR><\/li>\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 spring 2018. Presentations for the current semester are available here. 21.2.2018 RNDr. Tom\u00e1\u0161 Rebok, Ph.D. ElasticSearch, Hadoop\/Spark and Friends: Which data processing framework to use? Abstract: Over the past years, several frameworks such as ElasticSearch and Apache Hadoop\/Spark have been introduced to ease the task of [&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\/3277"}],"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=3277"}],"version-history":[{"count":3,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages\/3277\/revisions"}],"predecessor-version":[{"id":3497,"href":"https:\/\/www.sitola.cz\/wordpress\/wp-json\/wp\/v2\/pages\/3277\/revisions\/3497"}],"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=3277"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}