|
|
An Efficient Functional Library for Finite Automata
Říha, Jakub ; Hruška, Martin (referee) ; Lengál, Ondřej (advisor)
Finite automata are an important mathematical abstraction, and in formal verification, they are used for a concise representation of regular languages. Operations often used on finite automata in this setting are testing their universality and language inclusion. \mbox{A naive} approach to implement these operations leads to an explicit determinization of the automata, which can be costly and undesirable. There is, however, a more advanced method for performing those operations, called the Antichains algorithm, which avoids such an explicit determinization. This work shows how finite automata operations can be effectively implemented in Haskell and compares several approaches of their implementation. The obtained results are compared with VATA, an imperative implementation of a finite automata library.
|
|
|
Static Analysis for Discovering Security Vulnerabilities in Web Applications on the Asp.Net Platform
Říha, Jakub ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Tato bakalářská práce popisuje jak teoretické základy, tak způsob vytvoření statického analyzátoru založeném na platformě .NET Framework a službách poskytnutých prostřednictvím .NET Compiler Platform. Tento analyzátor detekuje bezpečnostní slabiny typu SQL injection na platformě ASP.NET MVC. Analyzátor nejdříve sestrojuje grafy řízení toku jako abstraktní reprezentaci analyzovaného programu. Poté využívá statické analýzy pro sledování potenciálně nedůvěryhodných dat. Nakonec jsou výsledky analýzy prezentovány uživateli.
|
|
| |
|
|
Analysis of Didactic Interaction in Group Skiing Lessons for Adults
Říha, Jakub ; Matošková, Petra (advisor) ; Süss, Vladimír (referee)
Title: Analysis of Didactic Interaction in Group Skiing Lessons for Adults Objectives: The aim of this thesis is to perform detailed analysis and comparison of the didactic teacher - student interaction during adult skiing lessons between two instructors with the same level of experience but different educational background. Methods: In our research we have employed a participant observation method using classification into a category system based on a standardised MADI (Modified Analysis of Didactic Interaction) technique. This includes 7 categories describing the forms of the teacher's behaviour, the didactic content of the lessons, didactic situations, and attitudinal characteristics. Results: The results of the study confirmed, among others, a higher incidence of the two most effective forms of teacher behaviour (correction and feedback information provision) in the instructor with pedagogical education, which was associated with a higher quality of the teaching process. Keywords: teaching, skiing, instructor, didactic interaction, analysis, ADI, MADI
|
|
|
Performance of Private Equity Backed IPOs: Evidence from European Market
Říha, Jakub ; Fencl, Tomáš (advisor) ; Pečená, Magda (referee)
This thesis investigates the performance of private equity backed IPOs. We have examined the European market in the period between 2000 and 2017 when the IPO activity experienced enormous growth. The main task was to assess whether the PE-backed IPOs evince superior performance when compared to their non-sponsored peers and the market. Further, we have examined the effect of the so-called valuation drivers on the IPOs' performance. To assess the IPOs' performance, we used the buy-and-hold abnormal returns with bootstrapped skewness adjusted t-statistics. In case of the valuation drivers' effect, OLS regression was applied. The main findings were that the PE-backed IPOs in Europe overperforme the market, mainly due to IPOs in the UK and Western Europe. The PE-sponsored IPOs also overperforme their non-sponsored peers, mainly due to IPOs in the UK, Western and Northern Europe. In case of the valuation drivers, we observed several significant correlations, however, their explanation power was negligible.
|
|
|
Performance of Private Equity Backed IPOs: Evidence from European Market
Říha, Jakub ; Fencl, Tomáš (advisor) ; Pečená, Magda (referee)
This thesis investigates the performance of private equity backed IPOs. We have examined the European market in the period between 2000 and 2017 when the IPO activity experienced enormous growth. The main task was to assess whether the PE-backed IPOs evince superior performance when compared to their non-sponsored peers and the market. Further, we have examined the effect of the so-called valuation drivers on the IPOs' performance. To assess the IPOs' performance, we used the buy-and-hold abnormal returns with bootstrapped skewness adjusted t-statistics. In case of the valuation drivers' effect, OLS regression was applied. The main findings were that the PE-backed IPOs in Europe overperforme the market, mainly due to IPOs in the UK and Western Europe. The PE-sponsored IPOs also overperforme their non-sponsored peers, mainly due to IPOs in the UK, Western and Northern Europe. In case of the valuation drivers, we observed several significant correlations, however, their explanation power was negligible.
|
|
| |
|
|
An Efficient Functional Library for Finite Automata
Říha, Jakub ; Hruška, Martin (referee) ; Lengál, Ondřej (advisor)
Finite automata are an important mathematical abstraction, and in formal verification, they are used for a concise representation of regular languages. Operations often used on finite automata in this setting are testing their universality and language inclusion. \mbox{A naive} approach to implement these operations leads to an explicit determinization of the automata, which can be costly and undesirable. There is, however, a more advanced method for performing those operations, called the Antichains algorithm, which avoids such an explicit determinization. This work shows how finite automata operations can be effectively implemented in Haskell and compares several approaches of their implementation. The obtained results are compared with VATA, an imperative implementation of a finite automata library.
|
|
|
Rhyme and Stanza in Czech Verse, especially in the Poetry of Jan Neruda
Říha, Jakub ; Vaněk, Václav (advisor) ; Tureček, Dalibor (referee) ; Wiendl, Jan (referee)
The present study focuses on the two broad areas of theory and history of Czech verse, rhyme and stanza. The first part of the study is dedicated to the rhyme. It contains a historical and terminological introduction and a comprehensive description and interpretation of principles of rhyme in Czech accentual-syllabic verse (19th century). The characterization of the principles of rhyme in other versification systems (syllabic verse, quantitative verse) and in free verse is allocated in the separate sections. Methodologically, the first part is based on the tradition of Czech structuralism. The second part, dedicated to the stanza, brings a similarly conceived interpretation of stanzaic forms in the Czech syllabic and accentual-syllabic verse. Given the absence of Czech tradition, the second part is methodologically inspired by French metrics. In addition to terminological and methodological apparatus the second part includes an inventory of basic stanzaic forms in the Czech verse and its analysis. A separate section within the second part is devoted to the small group of quantitative stanzas employed in Czech verse. The third part contains three case studies on rhyme and stanzaic forms in the Czech poetry of the second half of the 19th century, with special attention to the poetic work of Jan...
|
|
|
The Impact of Macroeconomic News on the Price of Financial Assets
Říha, Jakub ; Moravcová, Michala (advisor) ; Džmuráňová, Hana (referee)
This thesis investigates the effect of Czech macroeconomic news announcements and Czech National Bank (CNB) communication on the price of financial assets and its volatility. As the financial assets we selected the EUR/CZK and USD/CZK exchange rates and also the Prague stock PX Index. To analyze the aforesaid effect we employed the GARCH (1,1) and EGARCH (1,1) models, each with Normal and Student's t error distribution. The main results were that the CNB's communication indeed have significant effect on the price of all three examined assets and surprisingly also tend to increase their volatility. Also the macroeconomic announcements significantly influence examined assets however significant macroeconomic indicators differ for each asset. The most influencing ones are: CPI, 1YPRIBOR and the unemployment rate. Another finding of our research was that volatility of examined time series data shows the characteristics of leverage effect, volatility clustering and persistence. Powered by TCPDF (www.tcpdf.org)
|
guest ::
RSS feed.