Individual Professional Practice in the Company

Import 03/11/2016Bakalářská práce popisuje absolvování odborné praxe ve společnosti Railsformers s.r.o. Odborná praxe byla zaměřena na vývoj mobilní aplikace pro operační systém Android. Aplikace je mobilním klientem pro online kuchařku receptů sRecepty. Úvod bakalářské práce popisuje důvody, které vedly k absolvování odborné praxe. V bakalářské práci je uveden seznam úkolů přidělených praktikantovi. U každého úkolu je detailně uveden postup implementace se zdůrazněním problémů, které se při vývoji objevily. Závěr práce je věnován zhodnocení dosažených výsledků a celkového přínosu praxe.The Bachelor’s thesis describes a professional practice at the Railsformers company. The professional practice has focused on mobile application development for Android operating system. The resulting application is a mobile client of a cookbook called the sRecepty. The introduction of the bachelor’s thesis includes various reasons of choosing a specialised training. It is followed by a list of tasks that has been assigned to the student. Every task includes a process of implementation in detail emphasising different solutions of issues. The end of this thesis focuses on achieved results and overall point of the practical training.460 - Katedra informatikyvýborn

Digital platforms and its impact on labor law

This thesis provides an analysis of digital platforms and its impact on labour law and related work patterns in general. The main focus is upon description of caused problems and their possible solutions whereas the question of worker's status in the platform economy and its arrangements is predominantly discussed. The introduction leads the reader to general description of digital platforms and its three main subsets (crowdsourcing, on deman work and passenger transport services). For a better undestanding the thesis further gives an idea of working conditions by analysing each working stage affected by platforms. After these initial introductory findings the thesis focuses on potential problems. The possible problems are first being described in general and then discussed from the practical point of view as they were already seen by various courts in the past. The sole analysis of courts decision is rather extensive since the three chosen decisions not only give us answers to some problematic questions but they also provide highly beneficial info about platforms in general and their business models as well. Finally, after the thesis is done with court decisions it continues to analyze applicable legal frameworks. First are being analyzed the European requirements and frameworks provided by EU...Cílem této práce je analýza dopadu digitálních platforem na pracovní právo a na podobu práce obecně. Těžištěm práce je zvolen popis způsobovaných problémů a jejich možná řešení, přičemž hlavní pozornost je věnována problematickému postavení pracovníka v ekonomice platforem a jeho možnými úpravami. V úvodu se tato práce nejprve zabývá obecnou charakteristikou digitálních platforem a jejich tříděním do tří pomyslných kategorií (crowdsourcing, on demand work a přepravní platformy). Pro lepší porozumění pracovních podmínek následně přibližuje jednotlivé fáze práce, ke kterým skrze zprostředkování platforem dochází. Po těchto uvádějících kapitolách začíná práce již věnovat pozornost potenciálním problémům. Možné problémy jsou nejprve popsány obecně a následně dochází k analýze praktických problémů, jimiž se již zabývala judikatura. Analýza judikatury je rozsáhlejší, neboť tři vybraná rozhodnutí se povšechně zabývají digitálními platformami a mimo možná řešení problémů nabízejí také pohled na konkrétní obchodní modely jednotlivých platforem. Po rozboru judikatury, která v této otázce předběhla legislativu, dochází i k její analýze. Nejprve je tedy rozebírán právní rámec Evropské Unie a některých členských států, kde je podrobněji rozebrán institut příležitostné práce, jenž vykazuje některé shodné znaky s...Katedra pracovního práva a práva sociálního zabezpečeníDepartment of Labor Law and Social Security LawFaculty of LawPrávnická fakult

Mobile Game Using Augmented Reality

Cílem práce bylo vytvoření hry v rozšířené realitě pro operační systém iOS. Výsledná hra je založena na herním žánru tower defense. Práce se věnuje rozšířené realitě a jejímu vývoji, dále popisuje nástroje potřebné pro vytvoření této hry. Další část práce popisuje návrh a následnou realizaci tohoto projektu. Nakonec se věnuje dostupným nástrojům pro testování, testování samotnému a rozebere výsledek testování.Main goal of this thesis was to create a game in augmented reality running on iOS operating system. The game is based on the tower defense game genre. The thesis describes augmented reality and its history. The work also describes tools which are necessary to create this project. Following part describes the design and development process of the game. Lastly the thesis deals with the tools available for testing, testing itself and its results.

Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Even simple hybrid systems like the classic bouncing ball can exhibit Zeno behaviors. The existence of this type of behavior has so far forced simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad hoc restrictions to circumvent Zeno behavior or to abandon hybrid modeling. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independently of the occurrence of a given event. Such an event can then even occur an unbounded number of times, thus making it possible to handle certain types of Zeno behavior

Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad-hoc restrictions to circumvent Zeno behavior or to abandon hybrid automata. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independent of the occurrence of a given event. Such an event can then even occur an unbounded number of times. This insight makes it possible to handle some types of Zeno behavior. If the post-Zeno state is defined explicitly in the given model of the hybrid automaton, the computed enclosure covers the corresponding trajectory that starts from the Zeno point through a restarted evolution

Population genetics and symbiont assemblages support opposing invasion scenarios for the red turpentine beetle (Dendroctonus valens)

Exotic forest insects and their symbionts pose an increasing threat to forest health. This is apparently true for the red turpentine beetle (Dendroctonus valens), which was unintentionally introduced to China, where the beetle has killed millions of healthy native pine trees. Previous population genetics studies that used cytochrome oxidase I as a marker concluded that the source of D. valens in China was western North America. In contrast, surveys of fungi associated with D. valens demonstrated that more fungal species are shared between China and eastern North America than between China and western North America, suggesting that the source population of D. valens could be eastern North America. In this study, we used microsatellite markers to determine population structure of D. valens in North America as well as the source population of the beetle in China. The analyses revealed that four genetically distinct populations (herein named the West, Central, Northeast and Mexico) represent the native range of D. valens. Clustering analyses and a simulation-based approximate Bayesian computation (ABC) approach supported the hypothesis that western North America is the source of the invasive D. valens population. This study provides a demonstration of non-congruence between patterns inferred by studies on population genetics and symbiont assemblages in an invasive bark beetle.Financial support was provided by the Department of Science and Technology (DST)/National Research Foundation (NRF) Centre of Excellence in Tree Health Biotechnology. This project was supported by multiple grants from the NRF, South Africa, including the grant specific unique reference number (UID) 83924.http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1095-83122017-07-31hb2016Forestry and Agricultural Biotechnology Institute (FABI)GeneticsMicrobiology and Plant Patholog

Genetic analyses suggest separate introductions of the pine pathogen Lecanosticta acicola into Europe

Lecanosticta acicola is a heterothallic ascomycete that causes brown spot needle blight on native and nonnative Pinus spp. in many regions of the world. In this study we investigated the origin of European L. acicola populations and estimated the level of random mating of the pathogen in affected areas. Part of the elongation factor 1-α gene was sequenced, 11 microsatellite regions were screened, and the mating type idiomorphs were determined for 201 isolates of L. acicola collected from three continents and 17 host species. The isolates from Mexico and Guatemala were unique, highly diverse and could represent cryptic species of Lecanosticta. The isolates from East Asia formed a uniform and discrete group. Two distinct populations were identified in both North America and Europe. Approximate Bayesian computation analyses strongly suggest independent introductions of two populations from North America into Europe. Microsatellite data and mating type distributions indicated random recombination in the populations of North America and Europe. Its intercontinental introduction can most likely be explained as a consequence of the movement of infected plant material. In contrast, the spread of L. acicola within Europe appears to be primarily due to conidial dispersion and probably also ascospore dissemination.The project was supported financially by COST CZ LD12031 (DIAROD), the FPS COST Action FP1102 (DIAROD), Project indicators of trees vitality Reg. No. CZ.1.07/2.3.00/20.0265 co-financed by the European Social Fund and the state budget of the Czech Republic, the Scholarship Foundation of the Republic of Austria (OeAD-GmbH, Austria) for J. Janoušek. The research was supported with funding from the Austrian Science Fund FWF and the European Union Seventh Framework Programme FP7 2007–2013 (KBBE 2009-3) under grant agreement 245268 ISEFOR.http://apsjournals.apsnet.org/loi/phytohj2017Forestry and Agricultural Biotechnology Institute (FABI)Genetic

Acumen : an open-source testbed for cyber-physical systems research

Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorousbut- practical next-generation tools can deliver to developers of Cyber- Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the “agile research method” taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design

Modelling the invasion history of Sinanodonta woodiana in Europe: tracking the routes of a sedentary aquatic invader with mobile parasitic larvae

Understanding the invasive potential of species outside their native range is one of the most pressing questions in applied evolutionary and ecological research. Admixture of genotypes of invasive species from multiple sources has been implicated in successful invasions, by generating novel genetic combinations that facilitate rapid adaptation to new environments. Alternatively, adaptive evolution on standing genetic variation, exposed by phenotypic plasticity and selected by genetic accommodation, can facilitate invasion success. We investigated the population genetic structure of an Asian freshwater mussel with a parasitic dispersal stage, Sinanodonta woodiana, which has been present in Europe since 1979 but which has expanded rapidly in the last decade. Data from a mitochondrial marker and nuclear microsatellites have suggested that all European populations of S. woodiana originate from the River Yangtze basin in China. Only a single haplotype was detected in Europe, in contrast to substantial mitochondrial diversity in native Asian populations. Analysis of microsatellite markers indicated intensive gene flow and confirmed a lower genetic diversity of European populations compared to those from the Yangtze basin, though that difference was not large. Using an Approximate Bayesian Modelling approach, we identified two areas as the probable source of the spread of S. woodiana in Europe, which matched historical records for its establishment. Their populations originated from a single colonization event. Our data do not support alternative explanations for the rapid recent spread of S. woodiana; recent arrival of a novel (cold‐tolerant) genotype or continuous propagule pressure. Instead, in situ adaptation, facilitated by repeated admixture, appears to drive the ongoing expansion of S. woodiana. We discuss management consequences of our results