Ing. Tomáš Kalvoda, Ph.D.

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Štěpán Starosta, Ph.D.

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

Mgr. Jan Starý, Ph.D.

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Theoretical Computer Science

This thesis aims to summarize the history and applications of eigenvalue computation. The work analyzes some eigenvalue algorithms. In the practical part of the thesis, a QR algorithm with Givens rotations is implemented in the Julia language and compared with the already available implementations of this algorithm in the Mathematica environment and the LAPACK library. The implementation is slower and less precise than already developed implementations, it does however provides possibility of logging the run of algorithm and possibility of setting precision.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Ondřej Guth, Ph.D.

Department of Software Engineering

This thesis is about the creation of a tool for generating mind maps from WooWoo files written according to the FIT-template. The generated mind map serves as a study material visualizing selected concepts from WooWoo files and displaying their relationships. The study material is an interactive web application easily accessible to students. The thesis deals with extraction of concepts from WooWoo text files using the WooWoo library; with generation of a layout for the concepts and for their relationships in the mind map using graph drawing algorithms from graph theory; with figuring out the importance of concepts using centrality algorithms and with problems of interactively displaying concepts and their relationships as a mind map in a web application. At the time of publication, the tool is being used at the Faculty of Information Technology, CTU.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Daniel Vašata, Ph.D.

Department of Theoretical Computer Science

Ing. Tomáš Kalvoda, Ph.D.

Mgr. Jan Starý, Ph.D.

Department of Theoretical Computer Science

In this work an implementation of moving weighted least squares method was created. The method was examined both theoretically and practically. The range search problem was formulated and 2 solutions were presented. A short description of Julia programming language can be found as well.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Ondřej Guth, Ph.D.

Department of Software Engineering

This thesis deals with the design, implementation, and testing of an extension of the Atom editor for streamlining the creation of WooWoo documents. Emphasis is put especially on clear presentation of the logical structure of documents using the existing templates. Familiarization with the WooWoo format, research of the possibilities of the extension of current editors and possibilities of displaying mathematical expressions and different graphic objects are all also part of the thesis.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Ivan Halaška

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

Mgr. Petr Novák, Ph.D.

Department of Applied Mathematics

Time series classification is a complex problem in the field of machine learning. Modern methods addressing this problem are demanding in performance and their efficient implementation is more important than ever. This paper analyzes methods for time series classification and also efficiently implements the MINIROCKET and k-Nearest Neighbors methods with Dynamic Time Warping}. In this work, several different optimizations of these algorithms are proposed and implemented against their implementation in the Python package sktime. These optimizations, which are described in detail, include reducing the necessary memory allocations, parallelization and vectorization of the computations, and reducing the necessary algorithm steps to achieve the result. The performance of this implementation is experimentally verified on 113 datasets from the University of California, Riverside time series archive, achieving up to 17 times better performance than the same algorithms in the sktime package.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Karel Klouda, Ph.D.

Department of Applied Mathematics

This thesis explore the field of mathematical optimization and show how it can be applied on the problems of knowledge engineering. Firstly, we develop a theoretical background in mathematical optimization and formulate basic optimization problems like linear programming, quadratic programming and vector optimization. Next we select different problems from the domain of knowledge engineering and express them in optimization framework. Then we present methods handling optimization problems, namely descent methods, Newton's method and barrier method. Finally, we move beyond the theoretical part and demonstrate various programming tools for solving optimization tasks.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Daniel Vašata, Ph.D.

Department of Computer Systems

This thesis shows how highly scalable module for symbolic testing of answers in mathematical quizzes was designed and implemented.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Software Engineering

The main goal of this thesis is to implement fractals visualization web application in programming language Julia. The purpose of this application should serve as a proof-of-concept for future Julia web applications with demanding computation requirements. To achieve this, we proposed the architecture with the properties according to requirements and then implemented it with detailed explanation.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Štěpán Starosta, Ph.D.

Department of Theoretical Computer Science

This bachelor's thesis is focused on algorithms for numerical polygonization of implicit surfaces. It compares properties of selected algorithms and specifies their advantages and drawbacks. In greater detail, it examines the algorithm Dual Marching Cubes. This work includes implementation of this algorithm in open-source algebraic system SageMath and compares it with the Marching Cubes algorithm, which is already present in the system. Implemented functions are used to visualize electron orbitals of hydrogen atom and presented on other interesting examples of implicit surfaces.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Daniel Vašata, Ph.D.

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

Ing. Eliška Šestáková

Department of Software Engineering

This bachelor thesis focuses on the addition of interactive teaching techniques to the MARAST web portal, which is actively used to support the teaching of mathematical subjects at the Faculty of Information Technology CTU in Prague. The content of the work is to get acquainted with the internal structure of the portal, the technologies used in it, also an essential part is the analysis of the requirements of potential users. The goal of this work is the design and implementation of new functionalities aimed at increasing the degree of interaction between teachers and students during teaching.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Theoretical Computer Science

Tens of millions of full live concerts are available on video- and audio-sharing services, and set lists with song time annotations are an essential information provided with them. Since the manual annotation is repetitive and time-consuming, an automatic tool is very valuable. This thesis proposes a solution to the unsupervised song segmentation in full concert audio. To my best knowledge, it is the first attempt to deal with the problem of this particular definition. Segment boundaries are identified by the log-likelihood ratio method and three different models for the classification are introduced. On the collected dataset, containing various musical genres and audio quality, the implemented system achieves 88.92% f-measure and 81.30% specificity of correctly labeled seconds in audio signal. Overall results show that its boundary detection is relatively successful, and therefore it serves as a decent baseline system for future solutions.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Mgr. Jan Starý, Ph.D.

Department of Software Engineering

The goal of this thesis is to implement an interface in Julia for the Triangle library. Triangle is written in C and can genarate Delaunay triangulations. The author of Triangle is Jonathan Shewchuk. The result of this thesis is a package that can work with Triangle in Julia. Graph of the triangulation can be generated also. The package is tested using unit tests.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Daniel Vašata, Ph.D.

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Applied Mathematics

This bachelor thesis deals with the analysis of accuracy of weather forecast services. On-line services which publicly provide machine-processable data are reviewed. The application for automatic data collection from selected services is designed and implemented. An analysis of collected data is done and accu- racy of services is graphically visualized based on time, location and various weather elements.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Matěj Tušek, Ph.D.

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

Ing. Daniel Dombek, Ph.D.

Department of Applied Mathematics

This thesis is about processing semantic relations from mathematical data and using those relations to enrich the data in a resulting visualisation of those mathematical concepts. For this, a program was created to process mathematical data in a specific format, extract the semantic relations and create a resulting visualisation in a web format. This visualisation is intended for students to better understand the relations between the mathematical concepts.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

Ing. Daniel Vašata, Ph.D.

Department of Software Engineering

Ing. Tomáš Kalvoda, Ph.D.

Ing. Ondřej Guth, Ph.D.

Department of Software Engineering

The thesis focuses on analysis of making LaTeX documents in teams and solves discovered difficulties. The following text describes the research phase, a plan how to address the issues, implementation of an application, its user interface, distribution channels, testing and features of some used libraries.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Štěpán Starosta, Ph.D.

Department of Theoretical Computer Science

In this thesis we will deal with algorithms for numerical computation of matrix exponential. We will focus more closely on open-source program Sage in which we will implement infrequent Krylov's method for. This method differs from the others with the main approach for solving the problem. By little steps we will introduce all parts of this method, we will describe its implementation and at the end we will measure its precision and efficiency compared to the methods available in Sage. At the end of this thesis we will demonstrate practical example of the usage of our implementation of Krylov's method on real physical problem of heat conduction.

Thesis on DSpace

Ing. Tomáš Kalvoda, Ph.D.

doc. Ing. Ivan Šimeček, Ph.D.

Department of Software Engineering

The scope of the thesis is the implementation of a web application according to the requirements of key users from the Department of Applied Mathematics at the FIT CTU in Prague. The input of the application is scanned student work uploaded to the application by students or lecturers. The assignment of individual pages of the submitted work to students or graded parts of assignments is done manually or with the use of QR codes. QR codes are assigned to students using the mobile part of the web application. Teachers correct student work using the built-in editor. The application is integrated to the school's KOS information system and to the faculty system for recording student scores Grades. The user interface is implemented in Czech and English with fully parameterized localization. The server part is implemented in Java, the user interface in the React framework with an editor written in JavaScript. PostgreSQL is used as the database.

Thesis on DSpace