Bachelor theses
Optimal path finding algorithms on 2D grid
Author
Jan Danihelka
Year
2012
Type
Bachelor thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Mgr. Petr Matyáš
Department
Algorithms for Combinatorics on Words related to Palindromic Richness
Author
Matúš Gura
Year
2016
Type
Bachelor thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
doc. Ing. Lubomíra Dvořáková, Ph.D.
Department
Summary
For a given finite group G consisting of morphisms and antimorphisms, we study finite words with language closed under the group G. We introduce related notions and definitions focusing on G-richness and its related notion of G-palindromic defect. We discuss and consider several algorithms and data structures for the implementation of a non-naive algorithm for G-defect computation. We implement and test our the proposed solution. Tests confirm the correctness of our solution. We believe that our implemented algorithm will become a part of the SageMath in the near future.
Application of Blockchain Technology in Smart Contracts
Author
Jaroslav Pešek
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Ing. Josef Gattermayer, Ph.D.
Department
Summary
The subject of this thesis is an insight into blockchain technology as a reliable computing distributed platform. A short introduction to cryptography used in existing blockchains is provided, as well as architecture, principle and potential security problems. It describes the concept of smart contracts. The output of this thesis is the analysis and model of application of these new technologies in the institution of the Faculty of Information Technology during the election to the academic senate.
Security of the Baletka voting system
Author
Petr Nohejl
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Mgr. Jakub Růžička
Department
Summary
Survey part of this thesis is chiefly focused on the security of electronic voting systems and it also describes specific cases of use of these systems in practice. Constructive part of the thesis follows up on theoretical (research) part and it observes electronic voting system named Baletka, which is being developed in the Faculty of Information Technology CTU in Prague and it ought to serve as a realization of electronic voting for Scientific Council FIT CTU.
Another part of this thesis is a security analysis of a crucial component of the system (web application implemented in Ruby on Rails framework).
All the other subjects of investigation that did not lead to exploited vulnerabilities are also mentioned. In these investigations the principles and functionalities of attacks are elucidated.
At the end, the vulnerabilities found are remedied.
Support Software for Research Department
Author
Šimon Urbánek
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Ing. Marek Skotnica
Department
Summary
This bachelor thesis deals with analyzing processes in Science and Research at the Faculty of Information Technology in Prague.
The introduction explains the basics of process analysis, describes approaches to information gathering, process modeling and summary of process optimization techniques.
After obtaining sufficient information by examining the organization's documents and analytical interviews, standardized models of the processes under investigation are created.
Process optimization is performed over these models, using heuristic methods, the output of which is theoretical optimization. The stage of implementation seeks concrete implementation options for theoretical solutions.
As proof of the idea of these solutions, a proof of concept of two implementation options has been developed to automate a particular action that has been performed manually.
Thanks to the created models, it is possible to link this work to other interested parties. The work is supplemented by materials for analyst interviews, notes of meetings and commented parts of heuristic methods.
Algorithms related to generalized palindromes in SageMath
Author
Ivan Romanenko
Year
2024
Type
Bachelor thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
prof. Dr. Ing. Petr Kroha, CSc.
Department
Summary
A palindrome is a word which reads the same from the left and from the right. Palindromic defect of word $w$ is the difference between $|w| + 1$ and the amount of pairwise distinct palindromic substrings of $w$. Concepts of palindrome and palindromic defect can be generalized to generalized palindrome, $\Theta$-defect and $G$-defect, where $\Theta$ is an antimorphism, $G$ is a finite group consisting of morphisms and antimorphisms (see \cite{palindromes}). The free open-source mathematics software system SageMath \cite{github_sage} contains a developed library containing numerous algorithms dealing with words. The first goal of the thesis is to present and prove several newly discovered algorithms for computing palindromic defect and its generalizations. As a special case of one of these algorithms, linear time algorithm for computing classical palindromic defect will be shown. The second goal of the thesis is to start adding some of these algorithms into SageMath.
Master theses
Algorithms generating bispecial factors in D0L-systems
Author
Lenka Čačková
Year
2015
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Ing. Karel Klouda, Ph.D.
Department
Summary
This thesis deals with non-pushy and circular D0L-systems. We present a summary of the known results on D0L-systems, especially concerning the method to describe all bispecial factors in a fixed point of a morphism. Based on analysis of this methods we design and implement its algorithm in computer algebra system SAGE.
Mobile application for MARAST
Author
Jindřich Štěpánek
Year
2017
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Ing. Karel Klouda, Ph.D.
Department
Summary
This thesis focuses on creating a mobile application of MARAST which is a tool for learning math on Faculty of Information Technology of the Czech Technical University in Prague. Thesis includes analysis of MARAST's web version and specification of suggested changes needed for enabling data sharing with mobile application. Outcomes of this thesis are a design and implementation of application interface for sharing data and developed functional mobile application MARAST for iOS system.
Cryptocurrencies exchange rates reporting tool
Author
Adam Pečev
Year
2019
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Mgr. Jan Starý, Ph.D.
Department
Summary
This work describes present cryptocurrency market. Then it defines attributes of cryptocurrency exchanges relevant to perform triangular arbitrage. On the basis of these attributes selected cryptocurrency exchanges are analysed. The core requirements important for the application are specified. The work also discusses the already existing applications. After that the new application is designed and implemented. The implementation includes downloading data from 3rd party APIs, processing them and displaying potential triangular arbitrage execution opportunities in real-time. Moreover, it allows a user to compare individual cryptocurrency exchanges considering the historical opportunities of triangular arbitrage execution.
Homework management system in Jupyter
Author
Dmitry Vanyagin
Year
2020
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Ing. Josef Vogel, CSc.
Department
Summary
This thesis describes the process of analysis and implementation of the Homework Management system in Jupyter. The main goal of this system is to allow teachers to prepare, distribute and collect homework assignments, which are prepared as Jupyter notebooks. Result of this work is a working prototype of the system that fulfills the requirements. All the steps of analysis, implementation, configuration, and deployment are thoroughly described.
Web application for seminars based on bingo game principles
Author
Martin Melichar
Year
2020
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
doc. Ing. Tomáš Vitvar, Ph.D.
Department
Summary
This thesis describes the development of an application that works on the seminar bingo principle. The theoretical part is devoted to the application requirements and the comparison of possible technologies for the implementation of a web application. The practical part deals with software development, including its testing. The result of the implementation enhances seminars and in addition helps with maintaining much needed focus among the participants.
Sample interactive graphic calculation output
Author
Dominika Králiková
Year
2021
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
doc. Ing. Ivan Šimeček, Ph.D.
Department
Summary
This diploma thesis focuses on the selection of appropriate technologies for the creation of interactive graphical visualizations of calculation output and on implementation of model examples designated to support the teaching of mathematical subjects with the use of proposed solution. First part of the thesis is dedicated to the analysis of available rendering systems. Subsequently, a list of model examples suitable for interactive demonstrations during a lecture is assembled. Afterwards the thesis focuses on the selection of a suitable rendering system, on the design and the implementation of a web application containing individual model examples, on the testing of this application and on its trial deployment. The output of this thesis is a finished web application implemented with the use of the Plotly library, which includes defined model examples such as function approximation with the help of Taylor polynomial or visualization of the method of Lagrange multipliers. The application supports easy creation of new visualizations and their integration with the MARAST teaching support system.
Algorithms for Combinatorics on Words
Author
Martin Rejmon
Year
2021
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
doc. Ing. Jan Janoušek, Ph.D.
Department
Summary
In this thesis, several algorithms for problems from the mathematical field combinatorics on words are thoroughly explained. The algorithms are also implemented in the free and open-source mathematics software system SageMath with the goal of their eventual integration into the same system. The algorithms include: classifying mortal and bounded letters of a morphism, deciding whether a morphism is injective, finding a simplification of a morphism, finding all infinite repetitions in a D0L system, and finding all factors (up to a certain length) of words of the language of a PD0L system. Furthermore, the problem of deciding whether a morphism of a D0L system is injective on the set of factors of words of the language of the system is discussed. The decidability of this problem is an open question, which is not answered in this thesis, but it is shown why it is nontrivial and where some approaches to solving this problem fail.
Acquisition and evaluation of user preferences of image data
Author
Matúš Magur
Year
2024
Type
Master thesis
Supervisor
doc. Ing. Štěpán Starosta, Ph.D.
Reviewers
Ing. Jiří Novák, Ph.D.
Department
Summary
In this thesis I am creating a web application for the Department of Zoology and Fisheries at the Faculty of Agrobiology, Food and Natural Resources of the Czech University of Life Sciences in Prague. The application will be used to create and manage online surveys, which will consist of images and questionnaires.
Within this work I analyze the requirements for the application and then design, implement and document it according to these requirements. Finally, I will test the implemented application with real users.
Multiple ways for users to subjectively rate images will be supported, and the questionnaire will also support different types of questions. The data obtained from the user ratings will then be statistically analysed by the application module, with a particular focus on investigating the correlation between the answers to the questionnaire questions and the subjective ratings of the images.