|
|
Caligraphy Editor with Japanese Character Recognition
Horáček, Petr ; Žák, Pavel (referee) ; Švub, Miroslav (advisor)
This work focuses on creating an application to support Japanese character learning. It also contains a brief overview of Japanese writing's history and evolution. Based on the study of existing options, this work sets the requirements for the application. It discusses problems and tries to find possible solutions. Character recognition is an important part. The work describes chosen solutions and their implementations. It ends by demonstrating achieved results and discussing options for further development of the system.
|
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
|
Syntactic Analysis Based on Matrix Grammar
Brindza, Dominik ; Horáček, Petr (referee) ; Zámečníková, Eva (advisor)
The subject of this thesis is to develop a method of syntactic analysis based on matrix grammar s. In its theoretical part we provide various analytical aspects for this type of regulated grammar in order to reveal the common background as well as search for similarities with the classical context-free grammars which we will then be able to benefit from in the practical part. Our goal is to extend the well-known predictive method of syntactic analysis to further accept a wider spectrum of formal languages - some of the context-sensitive ones which we are able to generate using our matrix grammars. Besides this main effort we also present some experimental algorithms and suggestions hich could be used in further research of this project.
|
|
|
Modified Deep Pushdown Automata
Škvařilová, Radka ; Horáček, Petr (referee) ; Meduna, Alexandr (advisor)
This thesis introduce two new modifications of deep pushdown automata - stateless deep pushdown automata and parallel deep pushdown automata. In theoretical part of this thesis is formal definition and research into power of these modification. Practical part consists of an implementation of simple automata program.
|
|
|
Application for Visualization of Finite Automaton Structure
Polcer, Ondřej ; Horáček, Petr (referee) ; Zámečníková, Eva (advisor)
The goal of this thesis is to create an application that converts text form of a finite state machine to a state diagram. First, the code form of finite state machine syntax is transformed into the object form and complemented by additional data. The algorithm of finding appropriate placement for individual state of structure follows to make their transition clear and understandable with considering the complexity of a given finite state machine. The application creates a set of equivalent views in various form and delivers the appropriate information for easy interpretation of results.
|
|
|
Japanese Character Description
Holáň, Jakub ; Zámečníková, Eva (referee) ; Horáček, Petr (advisor)
The Japanese language has from historical reasons a very complicated orthographical system based on more interconnected alphabets where the characters can be logograms (characters representing whole words) as well as phonograms (characters representing single sounds or syllables of a language). When searching or compiling a japanese dictionary various nontrivial methods of sorting these characters have to be used, e.g. sorting them by number of strokes or by radicals (basic building elements of a character). The aim of this thesis is to find an ideal database structure to accurately describe japanese characters and relationships between them. For good measure, a demonstration application has been developed, which can be used as a learning and revision tool for japanese students. The application is intended for internet use and it has been put together using the most up to date web technologies, such as Google Web Toolkit and Java servlets.
|
|
|
Checkers - like Network Game
Semerád, Lukáš ; Horáček, Petr (referee) ; Čermák, Martin (advisor)
This bachelor thesis is concerned with board game checkers. It summarizes the history and previous games. The thesis discusses the various versions of the rules that are played around the world. It also deals with the analysis of algorithms for a computer game. The result of this work is a program that allows the game two players, game via network and play against the computer. Also allows different setting default rules.
|
|
| |
|
|
Early Buddhist Cosmology of the Pali canon
Horáček, Petr ; Holba, Jiří (advisor) ; Melnikova, Nora (referee)
This paper is focused on the early Buddhist cosmology. It briefly presents the general concepts of cosmology in Buddhism and the Pali Canon in order to better emphasize the characteristics of the primary text on which the work is based, namely the Agaññasutta of the Pali canon. The author takes into account other suttas of the Pali canon and secondary literature as well. The Agaññasutta represents one of the first cosmological texts of Buddhism and can therefore be considered as a very valuable source of information about the early cosmological ideas and the context in which these ideas were formed. It deals with the destruction of the world, its re-emergence, the emergence of creatures, human beings and social strata, the election of the first king and the establishment of the ascetic social groups. To gain a better orientation in the source material, the plot can be divided into the period until the development of human beings, the creation of social institutions with the election of the king and the emergence of alternative social institutions headed by a Buddhist monk. The main aim of the present paper is to show that the Agaññasutta contains the structure based on the necessity of the emergence of the human beings in their physical form and endowed with their moral faults, the society which...
|
|
|
Appeals in civil proceedings
Horáček, Petr ; Winterová, Alena (advisor) ; Sedláček, Miroslav (referee)
a klíčová slova v anglickém jazyce Title of rigorous thesis: Appellate review in civil procedure Abstract The rigorosum thesis focuses on the extraordinary remedy of "appellate review" (in Czech: dovolání), as stipulated in Act No. 99/1963 Coll., the Code of Civil Procedure, as amended. The remedy is extraordinary in the sense that it allows to contest a final and enforceable court decision. The thesis is divided into seven chapters. The first two chapters focus on the general principles of civil procedure, appellate systems, types of remedies and the history of the concept of appellate review. The second chapter also includes a passage presenting the planned recodification of civil procedure based on the substantive intent of the Civil Procedure Rules drafted in 2017. The third chapter is the core of the thesis and contains, in particular, the conditions for admissibility of appellate review and the requisites of an application for appellate review. The chapter describes who can lodge an application for appellate review, and specifies the place and deadline for filing the application. Two autonomous requisites are essential for an appellate review and the relevant proceedings: (a) definition of the conditions for admissibility of appellate review; and (b) specification of the grounds for appellate...
|
guest ::
RSS feed.