Hledat
Zobrazují se záznamy 1-10 z 14
A decentralized file synchronization tool
Nástroj pro decentralizovanou synchronizaci souborů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mareš, Martin
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: We explore the problem of file synchronization, with the goal of improving on the efficiency, scalability, robustness, flexibility and security of current file synchronization tools. We solve several important subproblems ...
V práci zkoumáme problém synchronizace souborů s cílem zlepšení efek- tivity, škálovatelnosti, robustnosti, flexibility a bezpečnosti současných syn- chronizačních nástrojů. Vyřešíme několik podstatných podproblémů, které ...
V práci zkoumáme problém synchronizace souborů s cílem zlepšení efek- tivity, škálovatelnosti, robustnosti, flexibility a bezpečnosti současných syn- chronizačních nástrojů. Vyřešíme několik podstatných podproblémů, které ...
Inspektor webových stránek
Web site inspector
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mareš, Martin
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této práce je vyvinout nástroj pro automatickou kontrolu webových strá- nek. V práci jsme vytvořili rozšiřitelný systém, který ověřuje provázanost odkazů a syntax HTML a CSS. K tomu jsme integrovali již existující ...
Our goal is to develop a tool for automatic website checking. We created an ex- tensible system that checks the validity of links as well as HTML and CSS syntax. For that, we integrated existing tools and libraries into ...
Our goal is to develop a tool for automatic website checking. We created an ex- tensible system that checks the validity of links as well as HTML and CSS syntax. For that, we integrated existing tools and libraries into ...
Ramsey-type results for ordered hypergraphs
Ramseyovské výsledky pro uspořádané hypergrafy
Rigorózní práce (UZNÁNO)
Vedoucí práce: Valtr, Pavel
Datum publikování: 2017
Datum obhajoby: 24. 04. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Ramseyovské výsledky pro uspořádané hypergrafy Martin Balko Abstract Představíme uspořádaná Ramseyova čísla, která jsou obdobou Ramseyových čísel pro grafy s lineárně uspořádanými vrcholy. Studujeme růst uspořádaných ...
Ramsey-type results for ordered hypergraphs Martin Balko Abstract We introduce ordered Ramsey numbers, which are an analogue of Ramsey numbers for graphs with a linear ordering on their vertices. We study the growth rate ...
Ramsey-type results for ordered hypergraphs Martin Balko Abstract We introduce ordered Ramsey numbers, which are an analogue of Ramsey numbers for graphs with a linear ordering on their vertices. We study the growth rate ...
Determinanty intervalových matic
Determinants of Interval Matrices
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Horáček, Jaroslav
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This work focuses on the determinants of interval matrices. After a short introduction into interval arithmetics, the works focus on time complexity of computation tight enclosures of interval determinants, we show what ...
Tato práce se zabývá determinanty intervalových matic. Po úvodu do inter- valové aritmetiky se práce věnuje složitosti výpočtu těsné obálky intervalových determinantů, ukazuje v jaké složitostní třídě se tento problém ...
Tato práce se zabývá determinanty intervalových matic. Po úvodu do inter- valové aritmetiky se práce věnuje složitosti výpočtu těsné obálky intervalových determinantů, ukazuje v jaké složitostní třídě se tento problém ...
Steinerovská barvení kubických grafů
Steiner coloring of cubic graphs
Diplomová práce (OBHÁJENO)
Vedoucí práce: Fiala, Jiří
Datum publikování: 2017
Datum obhajoby: 15. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is dedicated to the coloring of cubic graphs. It summarizes the knowledge we have about so called Steiner coloring, which is an edge-coloring such that the colors incident with one vertex form a triple of some ...
Tento text se zabývá barvením kubických grafů a shrnuje dostupné poznatky o tzv. Steinerovském barvení, což je hranové barvení, kde barvy stýkající se u jednoho vrcholu tvoří trojici nějakého částečného Steinerova systému. ...
Tento text se zabývá barvením kubických grafů a shrnuje dostupné poznatky o tzv. Steinerovském barvení, což je hranové barvení, kde barvy stýkající se u jednoho vrcholu tvoří trojici nějakého částečného Steinerova systému. ...
Structural properties of graphs and eficient algorithms: Problems Between Parameters
Strukturální vlastnosti grafů a efektivní algoritmy: Problémy separující parametry
Dizertační práce (OBHÁJENO)
Vedoucí práce: Fiala, Jiří
Datum publikování: 2017
Datum obhajoby: 12. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Strukturální vlastnosti grafů a efektivní algoritmy: Problémy separující parametry Dušan Knop Parametrizovaná složitost se v přůběhu posledních dvou dekád stala jednou z nejvýznamějších oblastí výpočetní složitosti. ...
Structural Properties of Graphs and Eficient Algorithms: Problems Between Parameters Dušan Knop Parameterized complexity became over last two decades one of the most impor- tant subfield of computational complexity. ...
Structural Properties of Graphs and Eficient Algorithms: Problems Between Parameters Dušan Knop Parameterized complexity became over last two decades one of the most impor- tant subfield of computational complexity. ...
O vnitřku minimálního konvexního mnohoúhelníku
On the interior of a minimal convex polygon
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Valtr, Pavel
Datum publikování: 2017
Datum obhajoby: 21. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Zvolme konečnou množinu bod· P v rovině v obecné poloze, tj. žádné 3 body neleží na přímce. Konvexní n-úhelník je minimální, pokud v jeho konvexním obalu neleží jiný konvexní n-úhelník s vrcholy v P. Erd®s a Szekeres (1935) ...
Computer Modeling of Tissue Development
Počítačové modelování vývoje tkání
Rigorózní práce (UZNÁNO)
Vedoucí práce: Hedrlín, Zdeněk
Datum publikování: 2017
Datum obhajoby: 10. 05. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nazev prace: Poci'tacove modelovani vyvoje tkam' Autor: Vojtech Bednar Katedra: Katedra aplikovane matematiky Vedoucl: Doc. RNDr. Zdenek Hedrlin, CSc. Abstrakt; Tato prace popisuje hybridnf na individualni bunce zalozeny ...
Title: Computer Modeling of Tissue Development Author: Vojtech Bednaf Department: Department of Applied Mathematics Supervisor: Doc. RNDr. Zdenek Hedrlm, CSc. Abstract: This thesis describes hybrid individual cell-based ...
Title: Computer Modeling of Tissue Development Author: Vojtech Bednaf Department: Department of Applied Mathematics Supervisor: Doc. RNDr. Zdenek Hedrlm, CSc. Abstract: This thesis describes hybrid individual cell-based ...
Výměna směrovacích informací
Routing information exchange
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mareš, Martin
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: We present an efficient method for serialization of complex objects into a compact binary form based on the Concise Binary Object Representation (CBOR). We provide a high-performance, well-tested imple- mentation of a data ...
V práci představujeme efektivní způsob serializace složitých objektů do úsporné binární reprezen- tace vycházející z Concise Binary Object Representation (CBOR). Součástí práce je výkonná a dobře otestovaná knihovna pro ...
V práci představujeme efektivní způsob serializace složitých objektů do úsporné binární reprezen- tace vycházející z Concise Binary Object Representation (CBOR). Součástí práce je výkonná a dobře otestovaná knihovna pro ...
Plánovač spojení ve městě
Urban transport planner
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mareš, Martin
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Travelling in the city is a part of everyday life for many people. It is sometimes difficult to choose the right combination of walking and public transport especially in unfamiliar parts of the city. We processed publicly ...
Cestování po městě je součástí každodenního života mnoha lidí. Zvolit správnou kombinaci pěší chůze a cestování hromadnou dopravou bývá náročné, obzvlášť v neznámých částech města. Zpracovali jsme veřejně dostupná data a ...
Cestování po městě je součástí každodenního života mnoha lidí. Zvolit správnou kombinaci pěší chůze a cestování hromadnou dopravou bývá náročné, obzvlášť v neznámých částech města. Zpracovali jsme veřejně dostupná data a ...