TEACHING (CZECH)
Summer semester 2024/2025
Previous courses
EDUCATION
Ph.D. - Computer Science
Palacký University Olomouc
2017 - 2024
MSc. - Computer Science
Palacký University Olomouc
2015 - 2017
BSc. - Computer Science
Palacký University Olomouc
2012 - 2015
THESES (CZECH)
Obhájené práce
Evidence chovu králíků
Ludmila Lavičková
Cílem práce je vytvořit iOS aplikaci sloužící k evidenci chovu králíků (případně dalších zvířat), která bude fungovat následovně:
- Umožní vložit/smazat/editovat králíka (jiné zvíře).
- U každého zvířete bude možné zadat jméno, fotografii, pohlaví, “odkaz” na potomky, datum vakcinace.
- U samic pak dále datum připuštění se samci a datum porodu mláďat.
- U samic bude aplikace upozorňovat na možnost připuštění na základě pěkného počasí (nutno ověřit jestli bude možné).
- Upozornění na “testovací připuštění, narození mláďat, odstavení samice od mláďat.
- Aplikace bude napovídat, které králíky je možné křížit.
- Ke každému králíkovi bude možné vygenerovat QR kód, který si uživatel bude moci vytisknout a nalepit na králíkárnu a po naskenování se zobrazí detail daného králíka.
Využití rozšířené reality při prezentaci katedry
Dalibor Janeček
Student nastuduje možnosti vývoje aplikace používající rozšířenou realitu pro operační systém iOS. Za pomoci frameworku ARKit student vytvoří aplikaci která bude používána na Dnech otevřených dveří například k prezentaci studijních oborů. Zájemce musí umět nebo se chtít naučit programovat v jazyce Swift a vlastnit zařízení s macOS a iOS podporující ARKit.
Vyhodnocování stromu závislostí tříd při kompilaci programu v jazyce Swift
Tadeáž Kříž
The student will develop a build-time dependency resolver. The resolver will: - analyze source code of an application written in Swift, - construct a dependency tree of application's classes, - verify that real implementations exist for these dependencies, - generate a file containing the dependency tree. The program will be implemented in the Swift language and will run on macOS system. Textual part will consist of: - description of the method used to construct and verify the dependency tree, - user and developer guide.
PUBLICATIONS
What Can FCA-Based Boolean Matrix Factorization Do for Object-Attribute Biclustering?
Trnecka M., Vyjidacek R
CONCEPTS 2024 DOI 10.1007/978-3-031-67868-4_9
Revisiting the GreCon Algorithm for Boolean Matrix Factorization
Trnecka M., Vyjidacek R
Knowledge-Based Systems DOI 10.1016/j.knosys.2022.108895
Revisiting the GreCon Algorithm for Boolean Matrix Factorization
Trnecka M., Vyjidacek R
CLA 2020 PDF