Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 61-70 z 11320
-
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 -
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 ... -
Schwarz methods
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 9. 2024Schwarz methods are numerical methods for solving partial differential equati- ons, based on domain decomposition dividing the original large problem into smaller sub-problems. The problem corresponding to each subdomain ... -
Structure and chemical stability of Ce-modified Co3O4(111) surfaces
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The objective of this thesis is to characterize the surface structure and study the chem- ical stability of the CeO2/Co3O4(111) sample, prepared on Ir(100) substrate. The sample was gradually annealed at temperatures ranging ... -
Datové struktury pro sketching dynamických množin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 9. 2024 -
Základy fungování internetu - výuková webová aplikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 13. 9. 2023A small revision of the Framework Education Programme for primary schools brings four areas into computing from September 2024. The Digital Technologies area includes a new topic on "the basics of how the internet works". ... -
Vysypávanie energetických elektrónov z radiačných pásov spôsobené bleskovými emisiami
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 5. 9. 2023This bachelor thesis explores the impact of lightning-generated whistlers on energetic particles trapped in the Van Allen radiation belts. The study uses energy spectra of preci- pitating electrons and electromagnetic wave ... -
Story Generation Using Dynamic Text Infilling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 7. 9. 2023Story generation, especially generating longer stories, is a complex problem regarding coherency and repetition. Even hierarchically generated stories may diverge from the outline due to the nature of left-to-right ... -
Komunitní hodnocení zdrojů pro výuku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 22. 6. 2023This bachelor thesis deals with the design and implementation of an application for community-based resource rating for education. Similar available applications on the internet are described, as well as the considerations ... -
Světlem vyvolaná spinová dynamika v antiferomagnetech s netriviální spinovou strukturou
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 6. 2024This work is focused on investigating the light-induced dynamics of magnetic ordering in antiferromagnetic semiconductor MnTe (with predicted altermagnetic properties) using the pump&probe method. The main goal is to ...
RSS 1.0