|
|
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.
|
|
|
New features in Java 9 and possibilities of using them in programming courses
Fedorčák, Jaroslav ; Pavlíčková, Jarmila (advisor) ; Říha, Jan (referee)
Nowadays, there are a large number of programming languages with varying degrees of popularity among developers all over the world. Java is one of the leading programming languages, which has been developed for over 25 years and has been gradually adapted to modern programming techniques and new technologies in order to ensure its best usability by the developers. In July 2017, Oracle is to introduce the ninth version of the Java programming language, which represents a big step forward in terms of the design of programs by adding new language elements - modules. Other novelties in the language are, among others, the REPL tool jshell, the extension of the @Deprecated annotation, changes within Collections, and many others. The aim of this thesis is to describe the modularity from the theoretical point of view according to the principles on which it is based and its particular implementation in the language and to propose examples for teaching the use of modules in the Java Programming course at the University of Economics. Also, the aim of this thesis is to describe other novelties in the language which are also useful to include in lessons at the University. The benefits of this thesis will be therefore particular examples and procedures for teaching them, which will be possible - after the official release of Java 9 - to include in the lessons and to familiarize students with these new elements of the language. The thesis consists of three chapters. The first chapter is devoted to a brief presentation of this programming language and the development of its platform during its previous versions. This chapter also contains an extract from the language features published on the OpenJDK website. The second chapter presents the principles and the theoretical basis of modular programming, its implementation in Java 9, and three exercises gradually introducing the use of modularity at different proposed stages of practicing them at seminars. The last chapter briefly presents certain other novelties which are to appear in the language.
|
|
|
Framework Meteor as a web environment for developing applications
Zvyagintseva, Daria ; Pavlíčková, Jarmila (advisor) ; Říha, Jan (referee)
This bachelor thesis describes framework Meteor as a web environment for developing applications. The main goal of this work is to describe the properties of the framework, to write documentation in the Czech language and to design and develop the own application. The bachelor thesis is divided into the theoretical and practical parts. The theoretical part describes real-time frameworks, node.js frameworks and mainly describes the technical functionality, properties, structure of Meteor framework. Practical part consists of design and developing of own application. The last part of the thesis is the Meteor's assessment whether this platform is applicable for the development of real-time web applications. The main workload is a detailed but simple written overview of the Meteor framework and also a fully functional real-time Web application Nabidni.mi. This bachelor thesis could be used in the future for study purposes at universities or as a tutorial for programmers who are just starting with web application programming. The work is one of a few sources describing the Meteor framework in the Czech language.
|
|
|
Participation
Slavíková, Lucie ; Říha, Jiří (advisor) ; Vokoun, Rudolf (referee)
Participation Abstract The submitted thesis analyzes the institute of participation in the broader sense in Czech criminal law, thus except for participation in the narrower sense it focuses also on complicity. Participation is one of the most complicated topics of the general part of the criminal law while being currently one of the most relevant topics, since the number of criminal offences committed in cooperation is increasing. The purpose of the thesis is to critically evaluate current legal regulation of participation in the Czech Criminal Code and to suggest possible solutions to some of the identified drawbacks. This goal should be fulfilled not only by the analysis of Czech expert literature and case law, but also by the comparison with French and Belgian legal regulations of participation and by the analysis of relevant French and Belgian expert literature and case law. Except for the introductory part and the conclusion the thesis is composed of four chapters, which are further divided. The first chapter focuses firstly on a criminal participation of more persons in the commission of criminal offences in general and the possibilities of their punishment. In this context the system of plurality of criminal offences and the system of unity of a criminal offence (also known as the dualistic and...
|
|
|
The probabilistic solution of dike breaching due to overtopping
Alhasan, Zakaraya ; Fošumpaur, Pavel (referee) ; Šoltész,, Andrej (referee) ; Říha, Jaromír (advisor)
Doctoral thesis deals with reliability analysis of flood protection dikes by estimating the probability of dike failure. This study based on theoretical knowledge, experimental and statistical researches, mathematical models and field survey extends present knowledge concerning with reliability analysis of dikes vulnerable to the problem of breaching due to overtopping. This study contains the results of probabilistic solution of breaching of a left bank dike of the River Dyje at a location adjacent to the village of Ladná near the town of Břeclav in the Czech Republic. Within thin work, a mathematical model describing the overtopping and erosion processes was proposed. The dike overtopping is simulated using simple surface hydraulics equations. For modelling the dike erosion which commences with the exceedance of erosion resistance of the dike surface, simple transport equations were used with erosion parameters calibrated depending on data from past real embankment failures. In the context of analysis of the model, uncertainty in input parameters was determined and subsequently the sensitivity analysis was carried out using the screening method. In order to achieve the probabilistic solution, selected input parameters were considered random variables with different probability distributions. For generating the sets of random values for the selected input variables, the Latin Hypercube Sampling (LHS) method was used. Concerning with the process of dike breaching due to overtopping, four typical phases were distinguished. The final results of this study take the form of probabilities for those typical dike breach phases.
|
|
|
Reliability analysis of embankment dams endangered by filtration deformations
Čejda, Marek ; Baroková,, Dana (referee) ; Fošumpaur, Pavel (referee) ; Říha, Jaromír (advisor)
Subject of the dissertation is a probability analysis on creation of embankment subsoil filtration deformations. Out of the broad topic of filtration deformations, the dissertation is focused at initiation of the process. At this phase, the overlying layers downstream of levee get uplifted, and eventually get breached. The process of downstream subsoil failure probability estimation is formulated using mathematical and statistical modelling. Within the scope of parametrical study the suggested method is applied onto a test environment. Results of the probability estimation are compared with results obtained using Limit state design method. The results of stochastic modelling can be used for improvement of Limit state design method precision.
|
|
|
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...
|
|
|
Artificial Intelligence Approach to Credit Risk
Říha, Jan ; Baruník, Jozef (advisor) ; Vošvrda, Miloslav (referee)
This thesis focuses on application of artificial intelligence techniques in credit risk management. Moreover, these modern tools are compared with the current industry standard - Logistic Regression. We introduce the theory underlying Neural Networks, Support Vector Machines, Random Forests and Logistic Regression. In addition, we present methodology for statistical and business evaluation and comparison of the aforementioned models. We find that models based on Neural Networks approach (specifically Multi-Layer Perceptron and Radial Basis Function Network) are outperforming the Logistic Regression in the standard statistical metrics and in the business metrics as well. The performance of the Random Forest and Support Vector Machines is not satisfactory and these models do not prove to be superior to Logistic Regression in our application.
|
|
|
Criminal issue of spectator violence at sports events
Vrajíková, Barbora ; Říha, Jiří (advisor) ; Hořák, Jaromír (referee)
This diploma thesis is aimed at the spectator violence during the football matches from the point of view of criminal law. Due to the size of this problematics, the part of the thesis is also devoted to the administrative and private legislation. The term spectator violence can include a whole range of dangerous and violent behavior of fans at the football match. Most often we can qualify such behavior as disturbing the preparations and the progress of organized sports match, so as the criminal offense of disorderly conduct. The first chapter is dedicated to characteristics and typology of visitors of the football matches as potential perpetrators, focusing on football hooligans. The second chapter deals with the various manifestations of spectator violence and the development of this phenomenon in the Czech Republic. The third chapter is devoted to selected offences that can include the spectator violence most frequently. The largest part is devoted to the analysis of current legislation of the criminal offence of disorderly conduct, focusing on the explanation of vague legal terms and the principle of subsidiarity of criminal repression. Furthermore it is dedicated to theoretical analysis and practical examples of other selected offences related to spectator violence such as assault, rioting,...
|
|
|
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.