|
|
Efektivní funkcionální knihovna pro konečné automaty
Říha, Jakub ; Hruška, Martin (oponent) ; Lengál, Ondřej (vedoucí práce)
Konečné automaty jsou důležitou matematickou abstrakcí. Ve formální verifikaci se konečné automaty používají ke stručné reprezentaci regulárních jazyků. V této souvislosti se používají operace nad konečnými automaty, jako je testování jazykové univerzality a inkluze. Naivní přístup k implementaci těchto operací vede k explicitní determinizaci konečného automatu, což může být nakladné a nežádoucí. Nicméně existuje pokročilejší metoda k vykonávání těchto operací nazývaná Antichains algoritmus, která se vyhýbá explicitní determinizaci. Tato práce se zabývá efektivní implementací operací nad konečnými automaty v Haskellu a také porovnává několik implementačních variant. Získané výsledky jsou poté porovnány s knihovnou VATA, což je imperativní implementace knihovny pro práci nad konečnými automaty.
|
|
|
Static Analysis for Discovering Security Vulnerabilities in Web Applications on the Asp.Net Platform
Říha, Jakub ; Lengál, Ondřej (oponent) ; Vojnar, Tomáš (vedoucí práce)
This Bachelor thesis is intended to describe theoretical foundations as well as the construction of a static taint analyser based on the .NET Framework and the analysis services provided by the .NET Compiler Platform. This analyser detects SQL injection security vulnerabilities on the ASP.NET MVC platform. Firstly, the analyser constructs control flow graphs as an abstract representation of the analysed program. Then, it uses a static taint analysis to track potentially distrusted and tainted data values. Finally, analysis results are presented to the user.
|
|
| |
|
|
Analýza didaktické interakce skupinové výuky lyžování dospělých
Říha, Jakub ; Matošková, Petra (vedoucí práce) ; Süss, Vladimír (oponent)
Název: Analýza didaktické interakce skupinové výuky lyžování dospělých Cíle: Cílem práce je podrobně analyzovat a porovnat didaktickou interakci učitel - žák při výuce lyžování dospělých mezi dvěma instruktory stejné délky praxe ale různého vzdělání. Metody: Pro náš výzkum jsme použili metodu participantního pozorování s využitím řazení do kategoriálního systému podle standardizované techniky MADI (modifikovaná analýza didaktické interakce). Jde o 7 kategorií popisujících formy chování učitele, didaktický obsah výuky, didaktické situace a postojovou aktivitu. Výsledky: Výsledky práce potvrdily mimo jiné vyšší zastoupení dvou nejefektivnějších forem chování učitele (korekce a zpětná informace) u instruktora s pedagogickým vzděláním, a s tím spojenou vyšší kvalitu vyučovacího procesu. Klíčová slova: výuka, lyžování, instruktor, didaktická interakce, analýza, ADI, MADI
|
|
|
Performance of Private Equity Backed IPOs: Evidence from European Market
Říha, Jakub ; Fencl, Tomáš (vedoucí práce) ; Pečená, Magda (oponent)
Tato práce zkoumá finanční výkonnost primárních emisí akcií nabízených tzv. private equity fondy (anglicky private equity backed IPOs, dále jen "PE-backed IPOs"). Zkoumali jsme Evropský trh v období mezi lety 2000 až 2017, kdy trh primárních emisí akcií zažil enormní růst. Hlavním úkolem bylo porov- nat finanční výkonnost těchto PE-backed IPOs s ostatními primárními emisemi akcií a s trhem. Dále jsme zkoumali, jaký vliv mají tzv. valuační drivery na finanční výkonnost primárních emisí. Jako hlavní metodu pro porovnání fi- nančních výkonností jsme použili abnormální buy-and-hold výnosy s tzv. boot- strapped skewnwess-adjusted t-statistikou. V případě valuačních driverů jsme pracovali s OLS regresí. Hlavní závěry jsou, že Evropské PE-backed IPOs mají vyšší finanční výkonnost než trh, a to především ve Spojeném Království a v Západní Evropě. Výkonnost PE-backed IPOs je také lepší než výkonnost os- tatních primárních emisí, opět především ve Spojeném Království a v Západní a Severní Evropě. Co se týče valuačních driverů, bylo pozorováno několik sig- nifikantních korelací, nicméně jejich vypovídací hodnota je nepatrná.
|
|
|
Performance of Private Equity Backed IPOs: Evidence from European Market
Říha, Jakub ; Fencl, Tomáš (vedoucí práce) ; Pečená, Magda (oponent)
Tato práce zkoumá finanční výkonnost primárních emisí akcií nabízených tzv. private equity fondy (anglicky private equity backed IPOs, dále jen "PE-backed IPOs"). Zkoumali jsme Evropský trh v období mezi lety 2000 až 2017, kdy trh primárních emisí akcií zažil enormní růst. Hlavním úkolem bylo porov- nat finanční výkonnost těchto PE-backed IPOs s ostatními primárními emisemi akcií a s trhem. Dále jsme zkoumali, jaký vliv mají tzv. valuační drivery na finanční výkonnost primárních emisí. Jako hlavní metodu pro porovnání fi- nančních výkonností jsme použili abnormální buy-and-hold výnosy s tzv. boot- strapped skewnwess-adjusted t-statistikou. V případě valuačních driverů jsme pracovali s OLS regresí. Hlavní závěry jsou, že Evropské PE-backed IPOs mají vyšší finanční výkonnost než trh, a to především ve Spojeném Království a v Západní Evropě. Výkonnost PE-backed IPOs je také lepší než výkonnost os- tatních primárních emisí, opět především ve Spojeném Království a v Západní a Severní Evropě. Co se týče valuačních driverů, bylo pozorováno několik sig- nifikantních korelací, nicméně jejich vypovídací hodnota je nepatrná.
|
|
| |
|
|
Efektivní funkcionální knihovna pro konečné automaty
Říha, Jakub ; Hruška, Martin (oponent) ; Lengál, Ondřej (vedoucí práce)
Konečné automaty jsou důležitou matematickou abstrakcí. Ve formální verifikaci se konečné automaty používají ke stručné reprezentaci regulárních jazyků. V této souvislosti se používají operace nad konečnými automaty, jako je testování jazykové univerzality a inkluze. Naivní přístup k implementaci těchto operací vede k explicitní determinizaci konečného automatu, což může být nakladné a nežádoucí. Nicméně existuje pokročilejší metoda k vykonávání těchto operací nazývaná Antichains algoritmus, která se vyhýbá explicitní determinizaci. Tato práce se zabývá efektivní implementací operací nad konečnými automaty v Haskellu a také porovnává několik implementačních variant. Získané výsledky jsou poté porovnány s knihovnou VATA, což je imperativní implementace knihovny pro práci nad konečnými automaty.
|
|
|
Rým a strofika v českém verši, obzvláště u Jana Nerudy
Říha, Jakub ; Vaněk, Václav (vedoucí práce) ; Tureček, Dalibor (oponent) ; Wiendl, Jan (oponent)
Předkládaná práce se zaměřuje na dvě rozsáhlé oblasti teorie a historie českého verše: rým a strofiku. V první části, věnované rýmu, je po historickém a terminologickém úvodu představen ucelený popis a výklad norem rýmu v českém sylabotonickém verši (19. století), metodologicky vycházející z tradic českého strukturalismu. Charakteristika norem rýmu v ostatních versifikačních systémech a ve volném verši je podána ve zvláštním oddílu. Druhá část, věnovaná strofice, přináší obdobně koncipovaný výklad o strofických formách v českém sylabickém a sylabotónickém verši, inspirovaný vzhledem k absenci domácí tradice francouzskou metrikou. Vedle terminologického a metodologického aparátu obsahuje druhá část výčet a rozbor základních strofických forem v českém verši. Samostatný oddíl je v druhé části věnován nevelké skupině časoměrných strof užívaných v českém verši. Třetí část práce přináší tři případové studie věnované rýmu a strofice v české poezii druhé poloviny 19. století, se zvláštním zřetelem k dílu Jana Nerudy. Studie pojednávají (1) o problematice rýmu v poezii májovců, (2) o rytmické stránce Nerudova rýmu a (3) o strofice v básnickém díle Jana Nerudy. Klíčová slova: versologie - rým - strofika - májovci - Neruda, Jan
|
|
|
The Impact of Macroeconomic News on the Price of Financial Assets
Říha, Jakub ; Moravcová, Michala (vedoucí práce) ; Džmuráňová, Hana (oponent)
Tato práce zkoumá vliv zveřejňování českých makroekonomických zpráv a komunikace České Národní Banky (ČNB) na cenu finančních aktiv a jejich volatilitu. Jako finanční aktiva jsme zvolili směnné kurzy EUR/CZK a USD/CZK a také akciový index pražské burzy PX. K analýze jsme použili GARCH (1,1) a EGARCH (1,1) modely, každý s Normálním a Studentovým rozdělením reziduí. Hlavním zjištěním bylo, že komunikace ČNB má vliv cenu všech tří aktiv a překvapivě zvyšuje jejich volatilitu. Zveřejňování makroekonomických zpráv také významně ovlivňuje cenu a volatilitu zkoumaných aktiv, nicméně pro každé aktivum jsou významné jiné makroekonomické indikátory. Nejvíce ovlivňující jsou: index spotřebitelských cen, 1YPRIBOR a míra nezaměstnanosti. Další závěr našeho výzkumu je, že volatilita zkoumaných časových řad vykazuje známky pákového efektu, shlukování volatility a její přetrvávání. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.