|
|
Využití simulovaného žíhání pro optimalizaci molekulárních otisků ve virtuálním screeningu
Filandr, Adam ; Hoksza, David (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Ligand based virtual screening může být realizován pomocí různých molekulárních reprezentací. Fragment-feature molekulární reprezentace reprezentuje molekulu jako množinu fragmentů, kde každému fragmentu přiřadíme vektor deskrip- torů. První cíl práce je najít vhodnou podobnostní funkci pro takovou reprezentaci. Tato reprezentace může být také vylepšena přiřazením vah jednotlivým deskriptorům, které jim udávají prioritu v dané podobnostní funkci. Druhým cílem práce je prozkoumat možnosti simulovaného žíhání jako algoritmu použitého k nalezení vah. Experimentálně analyzujeme vliv použití různých typů fragmentů, typů deskriptorů, podobnostních funkcí, korelovaných deskriptorů, fragmentového šumu a parametrů simulovaného žíhání. Jelikož jsou experimenty výpočetně náročné, vyrobíme také nástroj vhodný pro rozsáhlé výpočty. 1
|
|
|
Výkonná simulace destrukce prostředí ve hrách
Dobranský, Marek ; Kratochvíl, Miroslav (vedoucí práce) ; Vinárek, Jiří (oponent)
Deštrukcia v hernom prostredí sa stala populárnou súčasťou počítačových hier. Aktuálne používané herné enginy využívajú rôzne prístupy k deštrukcii. Táto práca študuje niekoľko takýchto prístupov a implementuje vybrané kľúčové myšlienky z dostupných štúdií, v novom kombinovanom prístupe. Používame delenie objektov a boolovské operácie na trojuholníkových sieťach k modifikácii pevných objektov, ktoré reprezentujú herné prostredie a tiež tvoríme jednoduchú aplikáciu k demonštrácii vybraného prístupu v reálnom čase. Dospeli sme k názoru, že navrhnutá metóda je použiteľná najmä v počítačových hrách so sieťami s malým počtom mnohouholníkov. 1
|
|
|
λ-calculus as a Tool for Metaprogramming in C++
Šefl, Vít ; Hric, Jan (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Šablonový systém jazyka C++ je natolik expresivní, že umožňuje napsat programy, které se vyhodnocují již během kompilace. Toho se dá využít například v generickém programování. Tyto programy jsou ale často náročné na psaní, čtení i údržbu. Navrhneme proto jednoduchý překlad z lambda kalkulu právě do C++ šablon a ukážeme, jak jej lze využít pro zjednodušení takovýchto metaprogramů. K této variantě lambda kalkulu dále přidáme Hindley-Milnerovo typový systém, Haskell syntaxi, uživatelsky definované datové typy, nástroje pro interakci se stávajícími šablonovými programy atp. Nakonec vytvoříme kompilátor, který je schopen transformovat programy psané v tomto jazyce do šablonových metaprogramů v C++. Powered by TCPDF (www.tcpdf.org)
|
|
|
Návrh a implementace jazyka pro code-golf challenge
Kliber, Filip ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Code-golf je jednou z kategorií programátorských soutěží, ve které je cílem im- plementovat řešení relativně snadné programátorské úlohy na co nejmenší počet bytů zdrojového kódu. Cílem mé práce je návrh a implementace programovacího jazyka, který je vhodný pro řešení code-golf úloh. Jazyk je navržený s ohledem na nově začínající řešitele code-golf challenge a zachovává čitelnost i srozumitel- nost. Zakládá se na běžně používaných jazycích, ale zároveň umožňuje stručný zápis algoritmických řešení úloh z oblasti code-golf. Součástí práce je také imple- mentace standardní knihovny jakožto běhové podpory pro tento jazyk. 1
|
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je prozkoumat možnosti implementace kompilátoru nízkoúrovňového funkcionálního jazyka. Předpokládá se zhodnocení teoretických vlastností funkcionálních jazyků, možných omezení vyplývajících z absence běhové podpory kódu a implementace kompilátoru jazyka, který demonstruje některé vybrané vlastnosti. Powered by TCPDF (www.tcpdf.org)
|
|
|
Kolegiátní kapitula ve Staré Boleslavi: hospodářské poměry v raném novověku
Kratochvíl, Miroslav ; Kostlán, Antonín (vedoucí práce) ; Maur, Eduard (oponent)
V diplomové práci je analyzováno hmotné zajištění kolegiátní kapituly ve Staré Boleslavi. Po nástinu této problematiky pro období středověku následuje těžiště práce, které se soustřeďuje na vyhodnocení ekonomické výnosnosti statků staroboleslavské kapituly v raném novověku; zároveň jsou analyzovány i další možnosti jejího ekonomického zabezpečení, včetně finančního efektu plynoucího z barokních poutí. V některých ohledech je prováděna komparace staroboleslavské kolegiátní kapituly s jinými českými církevními institucemi. Téma je zkoumáno především na základě nevydaných pramenů (urbáře, soupisy obyvatelstva, katastry; soupis nejdůležitějších z nich je uveden v příloze) s přihlédnutím k vydaným pramenům a sekundární literatuře.
|
|
| |
|
|
Hospodářský a sociální život kolegiátní kapituly ve Staré Boleslavi v 50. a 60. letech 17. století
Kratochvíl, Miroslav ; Šedivá Koldinská, Marie (vedoucí práce) ; Zdichynec, Jan (oponent)
V bakalářské práci je analyzován hospodářský a sociální život kolegiátní kapituly ve Staré Boleslavi v padesátých a šedesátých letech 17. století. Po nástinu historie kapituly a jejího místa v kontextu středověkého a raně novověkého vývoje následuje těžiště práce, soustředěné k výzkumu hospodářské a sociální situace staroboleslavské kapituly v padesátých a šedesátých letech 17. století. Téma je zkoumáno především na základě nevydaných pramenů (soupis nejdůležitějších z nich je uveden níže) s přihlédnutím k sekundární literatuře a je zasazeno do širšího rámce situace v Čechách po třicetileté válce. 1
|
|
|
Post-quantum alternative to secure sockets
Behún, Marek ; Kratochvíl, Miroslav (vedoucí práce) ; Kofroň, Jan (oponent)
Cílem této práce je implementovat softwarovou knihovnu, která umožní šifrovat interaktivní síťovou komunikaci pomocí kryptografického protokolu podobného SSL nebo TLS, jehož bezpečnost není ohrožena útočníkem vlastnícím kvantový počítač. Pro dosážení dané úrovně bezpečnosti výsledný software používá algoritmus na výměnu klíčů zvaný Supersingular Isogeny Diffie Hellman (SIDH). Software je poměrně jednoduchý, přenosný a nezávislý na specifikách konkrétního operačního systému. Práce také podává zhuštěný úvod do teorie, na které je algoritmus SIDH postaven, psaný pro cílovou skupinu studentů bakalářských a magisterských kurzů informatiky. Powered by TCPDF (www.tcpdf.org)
|
|
|
Výzkum elektrochemických a materiálových charakteristik nově vyvinutých vrstevnatých elektrodových materiálů pro lithno-iontové baterie
Kratochvíl, Miroslav ; Jirák, Tibor (oponent) ; Sedlaříková, Marie (vedoucí práce)
Diplomová práce se zabývá elektrodovými materiály pro lithno-iontové akumulátory, konkrétně vrstevnatými materiály připravenými novými postupy. Hlavním cílem této práce je tedy zabývání se připravováním elektrod novými postupy z nově vyvinutých vrstevnatých elektrodových materiálů a následně jejich proměření. Další úkol byl teoretický rozbor nově vyvinutých vrstevnatých elektrodových materiálů pro kladnou a zápornou elektrodu a jejich příprava novými postupy. V této práci byly podrobně rozepsány postupy příprav jednotlivých elektrod, elektrolytů a ostatních záležitostí s těmito přípravami spojené. Byly zde podrobně popsány baterie všeobecně, primární a sekundární lithiové články, palivové články, lithno-iontové akumulátory, vrstevnaté materiály tvořící jejich elektrody a samozřejmě s tím i spojená historie. Praktická část práce je zaměřena na samostatné měření vrstevnatých elektrodových materiálů připravované novými postupy a zhodnocením výsledků pro jednotlivé vrstevnaté materiály. V praktické části bylo dosaženo, že nově připravené vrstevnaté elektrodové materiály nabízejí vyšší kapacitu a napětí
|
host ::
RSS.