Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 661-680 z 11244
-
Classes of modules arising in algebraic geometry
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 18. 1. 2024This thesis summarises the author's results in representation theory of rings and schemes, obtained with several collaborators. First, we show that for a quasicompact semiseparated scheme X, the derived category of very ... -
Towards Machine Translation Based on Monolingual Texts
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 9. 2. 2024Title: Towards Machine Translation Based on Monolingual Texts Author: Ivana Kvapilíková Institute: Institute of Formal and Applied Linguistics Supervisor: doc. RNDr. Ondřej Bojar, Ph.D., Institute of Formal and Applied ... -
Precision measurement of neutrino oscillations parameters
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 4. 3. 2024The Daya Bay Reactor Neutrino Experiment, located in Southeast China, was de- signed to measure short baseline oscillation of electron antineutrinos originating from six 2.9 GWth nuclear reactors. In 2012, it discovered ... -
Výklad derivace jako podílu diferenciálů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 29. 6. 2023 -
The Last Clan - RTS game in Unity
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 7. 9. 2023This thesis explores the development of a real-time strategy (RTS) game using Unity's Data-Oriented Technology Stack (DOTS) and the C# programming lan- guage. RTS games offer captivating real-time battles, requiring players ... -
Material picker: Material recognition in images using machine learning
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 2. 2024The process of setting material properties for realistic appearance after rendering is usually tiresome and often requires carefully crafted skill for fine-tuning the parameters, as different combinations of these parameters ... -
Learning capabilities in Transformer Neural Networks
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 24. 3. 2023Title: Learning Capabilities of the Transformer Neural Networks Author: Dušan Variš Department: Institute of Formal and Applied Linguistics Supervisor: doc. RNDr. Ondřej Bojar, Ph.D., Institute of Formal and Applied ... -
Základy fungování internetu - didaktické materiály pro 2. stupeň ZŠ
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 15. 2. 2024The Framework Educational Programme was revised in the Czech Republic in 2021 to include the basic principles of the Internet and computer networks in teaching computer science at ISCED level 2. According to the new revision, ... -
HCI modely pro multi-objective doporučovací systémy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024One of the most developing research fields of information retrieval are recommender systems. They typically try to recommend a few of the most relevant or most suitable items to users from all the candidates when the number ... -
Group Detection in Crowds Using Spatiotemporal Data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 2. 2024This thesis addresses the challenge of social group detection in crowds, presenting an algorithm informed by sociological insights into common group formations among pedestrians. Our proposed algorithm demonstrates comparable ... -
Extrakce vícejazyčných valenčních rámců ze závislostních korpusů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 2. 2024Multilingual valency dictionaries provide helpful information about correspon- dence of valency frames (verbs and their arguments) across various languages. This work aims at developing a program that automatically creates ... -
Performance and Usability Improvements for Data Lineage Analysis of C# Programs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024The Manta Flow is a highly automated static analysis platform producing data lineage over its input and representing it in a graph. The platform performs analysis on various technologies and programming languages via ... -
Terahertzová vodivost nositelů náboje v polovodičích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 8. 2. 2024In this thesis, we investigate the conductivity spectra of samples of weakly doped gal- lium arsenide in the terahertz region as a function of temperature. These are silicon-doped gallium arsenide of type N and zinc-doped ... -
Diplomacy-Based Strategy Game
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 2. 2024Strategy games are known for allowing players to choose from a vast array of different strategies that can be employed to achieve victory. The major- ity of these games revolve around the standardized pillars of 4X (Explore, ... -
Numerické srovnání algoritmů CGLS a LSQR
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 7. 2. 2024This bachelor thesis deals with the introduction of two mathemati- cally equivalent algorithms, CGLS and LSQR, which can be viewed as versions of the method of conjugate gradients applied to a system of normal equations. ... -
Electrotransport properties of CuMnAs single crystals
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 26. 10. 2023Electrical transport measurement of small, irregular shape sample is difficult task. In order to overcome these limitations, this thesis employed a focused ion beam microfabrication. Process of microfabrication is successfully ... -
Strukturní parametry martenzitu v Ti slitinách, ovlivněné přítomností atomů kyslíku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 8. 2. 2024Structure parameters of martensite in Ti alloys modified by presence of oxygen atoms This study discusses the influence of beta-stabilizing elements and oxygen on the martensitic structure in metastable β titanium alloys. ... -
Universal quadratic forms over orders in number fields
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 13. 9. 2023This thesis studies quadratic forms and lattices over rings of integers in number fields, and, to some extent, over non-maximal orders as well. The main focus is on universality of forms and lattices, and on the connected ... -
Colorings of Infinite Graphs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 29. 6. 2023COLORINGS OF INFINITE GRAPHS DÁVID UHRIK Abstract: This thesis focuses on the study of uncountable graphs in relation to Ramsey theory, the chromatic number, and the uncountable Hadwiger conjec- ture. A large part of this ... -
(Im)possibilty results in Proof Complexity and Arithmetic
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)Datum obhajoby: 6. 11. 2023Title: (Im)possibilty results in Proof Complexity and Arithmetic Author: Erfan Khaniki Department: Department of Algebra Supervisor: Prof. RNDr. Pavel Pudl'ak, DrSc Abstract: We study various problems in proof complexity, ...
RSS 1.0