Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 41-50 z 11214
-
Package manager for C++
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024C++ currently lacks a standard package manager. While two projects competing for dominance exist, the most popular dependency management method is still to manage the packages manually. Although some progress has been made ... -
Použití velkého jazykového modelu jako asistenta pro konceptuální modelování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024This thesis explores the automation of domain modeling using large language models (LLMs), presenting an experimental LLM-based domain modeling assistant that collabo- rates with a human expert. The assistant provides ... -
Transition to quantum turbulence in nanofluidic Helmholtz resonators
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024This work aimed to explore the transition to turbulence in quasi-two-dimensional oscillatory flows, realized in a 500 nm thick Helmholtz resonators etched into fused quartz, with three different shapes of the resonator ... -
Wreath product of operadic categories
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024The concept of operadic categories was introduced in a 2015 paper "Operadic cat- egories and duoidal Deligne's conjecture" by Batanin and Markl as a generalisation of various "operad-like" structures, including classical ... -
Generating game content with generative language models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024 -
Type providers pro TypeScript
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Type systems of programming languages generally do not understand external data. In statically typed programming languages, developers handle data by writing typed interfaces and data access code by hand or using external ... -
Quadraticity of the operadic categories of graphs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024In this thesis we define the operadic category of simple graphs and study its constant operad. We then construct a discrete operadic fibration from this category to the category of graphs and use it to establish additional ... -
Study of optical properties of thin multi-layers based on black metals
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Thin films of black metals are characterized by their excessively rough, porous, fractal- like nanostructured surface, capable of strong light absorption. In this thesis, thin films of black aluminium and titanium were ... -
Game Portraying Obsessive-Compulsive Disorder
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024Obsessive-compulsive disorder (OCD) is one of the most prevalent psychiatric disorders in the world. Its symptoms are highly heterogeneous, so that each person can experience it differently. However, the unpleasant feelings ... -
Quaternion orders and quadratic forms
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 9. 2024A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key ...
RSS 1.0