Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 76-80 z 11349
-
Third-party Matchmaking Discord Bot for Valorant
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025One of the common tasks in online multiplayer games is matchmaking, i.e., assembling a game with concrete players and game settings. Players, in general, want to be matched with similarly skilled players while spending ... -
Multilingual multidomain generation of school tests that are hard to solve automatically
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 9. 2024 -
Data mining in social network analysis
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 12. 2024Title: Data mining in social network analysis Author: Mgr. Peter Zvirinský Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: doc. RNDr. Iveta Mrázová CSc., Department of Theoretical ... -
Support for Uninterpreted Functions in Yaga SMT Solver
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024Yaga is a modern, modular SMT solver developed at Charles University, based on the Model-Constructing Satisfiability Calculus. Currently, its implementation in the C++ programming language contains plugins supporting Boolean ... -
Verification of LLVM bit-code via a system of Constrained Horn Clauses
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025The master thesis presents a novel static software verification tool, Hornix. The primary goal of the tool is to verify basic assertions concerning variable states and program execution paths. The tool is built upon the ...
RSS 1.0