Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 71-80 z 11342
-
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 ... -
Multicolor Print Implementation for 3D Printer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025This thesis presents the design, development, and implementation of a Multi-Material Unit (MMU) for enhancing multi-color 3D printing capabilities. We have designed a new MMU prototype, developing its firmware using C++ ... -
Searching classes in the Wikidata ontology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025The Dataspecer tool facilitates the creation and management of abstract data struc- tures to represent and exchange data on the Web by leveraging input ontologies. How- ever, acquiring comprehensive heterogeneous ontologies ... -
Správa chytrých spotřebičů za účelem optimalizace spotřeby
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 6. 9. 2024Today, very popular domestic photovoltaic power plants often suffer from a mismatch between the times of highest production and highest household energy consumption. This thesis focuses on using IoT devices in combination ... -
Using convolutional neural networks to detect protein-ligand binding sites
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 10. 2. 2025Using convolutional neural networks (CNN) for high dimensional data such as images has shown some promising results, but it has issues with features without spatial correla- tion. I test a streamlined version of the REFINED ... -
Studium magnetických domén v nekolineárních antiferomagnetech a altermagnetech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 3. 2. 2025This thesis explores magnetic domain imaging in non-collinear antiferromag- netic and altermagnetic materials using thermoscanning and wide-field MOKE microscopy. Thermoscanning of non-collinear antiferromagnet Mn3GaN re- ... -
Complex experiment support through the IVIS framework
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2025)Datum obhajoby: 11. 2. 2025en davidkostal11@seznam.cz January 2025 1 Abstract Data experimentation is complex and consists of multiple steps, such as data gathering and workflow design. Because of this, an experiment management framework is needed. ... -
Automatic Relation Extraction from Clinical Documents: A Study of Fine-Tuned Transformer Models and LLMs
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 6. 2024
RSS 1.0