
Word Sense Disambiguation
Kraus, Michal ; Glembek, Ondřej (referee) ; Smrž, Pavel (advisor)
The master's thesis deals with sense disambiguation of Czech words. Reader is informed about task's history and used algorithms are introduced. There are naive Bayes classifier, AdaBoost classifier, maximum entrophy method and decision trees described in this thesis. Used methods are clearly demonstrated. In the next parts of this thesis are used data also described. Last part of the thesis describe reached results. There are some ideas to improve the system at the end of the thesis.


Frequency Responses
Urbánek, Radim ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
The aim of this MSc Thesis is to create a system for automatic generation of frequency characteristics of electrical circuits. These circuits are described by differential equations. A special simulator of RLC circuit has been created and frequence response, vector diagram can be generated. This system has been mainly suggested for application in education. The process of solving differential equations is based on the Taylor method. Systems in general is the theoretical part of this project. Different definitions of systems their divission ,basic phenomenons and mathematical devices are described there. Next chapter deals with the mathematical devices for solving differential equations which makes the basis for description of phenomenons in these systems. There are also systems TKSL and TKSL/C. In the next chapter I was investigaty the analyze of vector diagrams for simple and more difficult circuits. I have found a solution for actual circuit by this technique. The last chapter is devoted to the frequency characteristics and descriptions of simulation program for generation the frequency characteristics.

 

Education Purpose Oscilloscop
Švantner, Martin ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
This bachelor's thesis analyses possibilities, how purchase digital oscilloscopes into school laboratory. Target is to make education more interesting and more practital than is teoretical explication. Complicated professional equipments are not right for education because they are very expensive and hard to use. So I aim for special equipment, which can be more acquisition.


Taylor Series Assembler
Valenta, Václav ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
The objective of this work is to get familiar with numerical solution of differential equations. The solution is made by specialized microprocessor HC08. Basic arithmetic operations and algorithms which helps to make precise results are analyzed here.

 

Parallel Computer Systems Based on Numerical Integrations
Kraus, Michal ; Kubátová, Hana (referee) ; Kollár,, Ján (referee) ; Kunovský, Jiří (advisor)
This thesis deals with continuous system simulation. The systems can be described by system of differential equations or block diagram. Differential equations are usually solved by numerical methods that are integrated into simulation software such as Matlab, Maple or TKSL. Taylor series method has been used for numerical solutions of differential equations. The presented method has been proved to be both very accurate and fast and also procesed in parallel systems. The aim of the thesis is to design, implement and compare a few versions of the parallel system.


Function Generator
Suška, Jiří ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
This bachelor's thesis dissert on different types of oscillators, their functions and usage in everyday life. This thesis also contains comparing several types of oscillators and possible concepts for function generator whitch will be used in course IPR.


Some results in convexity and in Banach space theory
Kraus, Michal ; Lukeš, Jaroslav (advisor) ; Kalenda, Ondřej (referee) ; Smith, Richard (referee)
This thesis consists of four research papers. In the first paper we construct nonmetrizable compact convex sets with pathological sets of simpliciality, show ing that the properties of the set of simpliciality known in the metrizable case do not hold without the assumption of metrizability. In the second paper we construct an example concerning remotal sets, answering thus a question of Martín and Rao, and present a new proof of the fact that in every infinite dimensional Banach space there exists a closed convex bounded set which is not remotal. The third paper is a study of the relations between polynomials on Banach spaces and linear identities. We investigate under which conditions a linear identity is satisfied only by polynomials, and describe the space of poly nomials satisfying such linear identity. In the last paper we study the coarse and uniform embeddability between Orlicz sequence spaces. We show that the embeddability between two Orlicz sequence spaces is in most cases determined only by the values of their upper MatuszewskaOrlicz indices. 1

 