Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 361-420 z 11199
-
Generování textů českých coververzí anglických písní
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This thesis explores the topic of generating Czech lyrics to English cover songs. Songs are often adapted to different languages to make them more available to people who do not necessarily speak the language of the original ... -
Abstract interpretation of pandas
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Pandas is a Python library widely used for data-manipulation. The code written with Pandas lacks any type-safety and everything is decided at runtime. This can potentially be a source of errors and crashes at runtime. One ... -
Combining effects with dependent types
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be ... -
Command-line tool lsql-csv for CSV files processing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024lsql-csv is a tool for small CSV file data querying from a shell with short queries. It makes it possible to work with small CSV files like with a read-only relational databases. The tool implements a new language LSQL ... -
Riešenie Zermelovho navigačného problému pomocou level-set metódy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024Effective path planning for long-distance flights is critically important when air streams significantly affect airship movement, as is the case for a ship or a zeppelin. Optimal con- trol can save travel time, fuel consumed ... -
Bilineárny model pre časové rady
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024Title: A bilinear model for time series Author: Katarína Čorejová Department: Department of Probability and Mathematical Statistics Supervisor: RNDr. Jitka Zichová, Dr., Department of Probability and Mathema- tical Statistics ... -
Rezonance pro modelové potenciály v kvantové mechanice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024Resonance phenomena appear in various areas of physics. A case of shape resonance is associated with the scattering of particles on a potential barrier, through which particles pass due to tunneling effect. The energy ... -
Rozptyl súčinu náhodných veličín
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024This thesis focuses on the variance of the product of random variables and its appli- cation in specific examples. The work is systematically divided into four chapters, where the variance for independent and dependent ... -
Strojové učení pro rozpoznávání jednoduchých fyzikálních systémů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024The rise of machine learning, particularly through the use of neural networks, has begun to change how we solve problems, including understanding simple physical systems. This thesis focuses on the Direct Poisson Neural ... -
Basic Properties of Multigrid Methods
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024Multigrid methods are among the most effective iterative methods for the numerical solution of partial differential equations (PDEs). In the thesis, we consider Poisson's equation as the model problem and present its ... -
Vybrané statistické úlohy pro procesy s diskrétními stavy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 27. 6. 2024In this thesis we are concerned with the description of Poisson processes. Firstly, we define the basic terminology and state the fundamental theorems, which we then supplement by explanatory remarks. We present methods ... -
Momenty a kumulanty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024This bachelor thesis deals with moments and cumulants as key concepts in probability and statistics. The theoretical part defines moments, mean, variance, and higher moments, including their applications in probability ... -
Poissonův proces a procesy obnovy jako modely škodní frekvence
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024This bachelor's thesis focuses on modeling claim frequency, examining the Poisson process and its generalization, the renewal process. The first part of the thesis analyzes the Poisson process, while the second part delves ... -
Parametric variance modelling within a feasible weighted least squares estimator
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024This thesis explores the implications of heteroscedasticity in regression models, where the variance of errors is not constant across observations. Traditional estimators such as Ordinary Least Squares (OLS) rely on the ... -
Aktuárské výpočty založené na Gompertzově-Makehamově úmrtnosti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024The study focuses on applying the Gompertz-Makeham mortality law in actuarial calculations for life insurance. This method simplifies actuarial calculations by relying on the gamma function, which requires only a few ... -
Distribučné modely šperkov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024This work solves jewelry distribution problem using the theory of integer prog- ramming. In theoretical part we present basic definitions and fundamental theory of integer programming. Theoretical part also presents detailed ... -
Wild binary segmentation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024The goal of this work is to describe some (multiple) change-point detection methods that aim to estimate the total number and locations of structural changes in the data. From the variety of all change-point detection ... -
Zobecněné gama rozdělení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024 -
Test shody s binomickým rozdělením založený na faktoriálních momentech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024The bachelor thesis deals with a goodness-of-fit test with a binomial distribution based on factorial moments. In the introductory section, the basic concepts are introdu- ced, followed by the part, where the asymptotic ... -
Gravitational sources in the vicinity of black holes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024Black holes are among the most intriguing objects in the Universe. When isolated and stationary, they are described by the simple Kerr(-Newman) metric. However, astro- physical black holes are seldom isolated; in fact, we ... -
Testy shody rozptylů v jednoduchém třídění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024The bachelor thesis deals with tests of variance equality in the context of simple classification. It focuses on three tests commonly used in practice. The thesis first provides an overview of concepts and knowledge from ... -
Non-equilibrium Thermodynamics of Hyperbolic Systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 6. 2024Continuum mechanics and thermodynamics have been used in many fields from sci- ence to industry to medicine. While simple materials have already been described, for instance by the famous Navier-Stokes equations, more ... -
Machine-learning-based self-adaptation of component ensembles
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 8. 7. 2024In the area of distributed self-adaptive smart systems (such as applications of Internet of Things and Cyber-Physical Systems), machine learning has been successfully used in several applications including the prediction ... -
Testy ekvivalence
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024In this thesis, we focus on equivalence tests used in situation where we need to prove the validity of statements usually framed as null hypothesis. We present a procedure used for solving these tests called the confidence ... -
Intervalový odhad korelačního koeficientu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024Correlation coefficients are a standard measure of the relationship between two ran- dom variables. In this paper, we will present various methods for constructing a (1 − α) level confidence interval for Pearson and Kendall ... -
Machine learning through geometric mechanics and thermodynamics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 202430. prosinec 2023 This thesis studies novel approaches to learning of physical models, incorporat- ing constraints and optimizing path dependent loss functions. Recent advances in deep learning and artificial intelligence ... -
Polární kódy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024 -
Kochenova-Stoneova nerovnost
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024The main theme of this work is the Kochen-Stone inequality and its alternatives. The first chapter summarizes the Borel-Cantelli lemma and is supplemented with seve- ral examples in which the proven lemma is utilized in ... -
Girsanovova věta v diskrétním čase
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 24. 6. 2024This bachelor's thesis deals with the Girsanov theorem in discrete time, which has wide applications, for example in financial mathematics or filter theory. This theorem talks about the construction of a probability measure ... -
Problém nejmenších čtverců s maticí, která je částečně hustá a částečně řídká
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 21. 6. 2024This thesis deals with the method of least squares with matrices that are partly dense and partly sparse. The first part of the thesis describes the method of least squares and its basic properties. Then theoretical ... -
Optimalizační algoritmy pro trénování neuronových sítí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 21. 6. 2024 -
Kryptografie na copánkových grupách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Braid groups involve certain problems that enable the construction of trapdoor func- tions for the purposes of asymmetric cryptography. Specifically, the conjugacy problem has shown potential in this direction, leading to ... -
Vlastnosti Killingových vektorů v axiálně symetrických prostoročasech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024 -
Two-dimensional integer trigonometry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024In this thesis, we will formally define objects in Euclidean geometry, lattices and affine lattices and use them to describe objects in integer trigonometry. We will prove that the described objects in integer trigonometry ... -
Arithmetic-geometric mean sequences and elliptic curves over finite fields
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024In the thesis we introduce arithmetic geometric mean sequences, firstly over real num- bers and then over finite fields Fq such that q ≡ 3 (mod 4). We connect the sequences with graphs and prove some properties over general ... -
Conway's topograph
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024John H. Conway has introduced the topograph, a graph containing all possible bases of Z2 as its edges. This work aims to properly define this topograph and prove its key properties. In addition, we will delve into the ... -
Studium kónických křížení metastabilních stavů v kontinuu s využítím molekulární symetrie.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024The bachelor thesis deals with the study of vibrational interaction effects in molecu- les modeled by quantum dots embeded into the electronic continuum, modeled as "s" and "p" partial waves, using non-local theory. We ... -
Barvicí invarianty uzlů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024We can color knots by various finite quandles and check if they have non-trivial coloring. If so, we can say that the knot is not an unknot. However, we will focus on quandles that always give trivial coloring. It will ... -
Binární kódy indukované hranovým grafem n-dimenzionální krychle
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024This paper deals with the binary codes from the line graph of the n-cube, then the codes of the design, which is defined by the vertex graph of the n-cube, and finally the dual codes of these codes. The first chapter is ... -
Modelování protoplanetárního disku na základě měření z ALMA a VLTI
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024The protoplanetary disk DoAr 44 (Haro 1-16, V2062 Oph) is a pre-transitional disk in the Ophiuchus star-forming region. A large observational dataset is available, including ALMA complex visibilities, VLTI/GRAVITY continuum ... -
Identifikace případů se čtyřmi top kvarky v datech z urychlovače LHC pomocí algoritmů strojového učení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Jet tagging is a method of analyzing accelerator collision products. It performs labeling of jets according to the flavor of quark from which they arose. The subject of the thesis is to use machine learning and deep learning ... -
Slabé hodnoty a slabá měření v kvantové mechanice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024The main goal of this thesis is to introdude to readers the concept of weak measure- ments in quantum mechanics. Firstly a model of indirect measuremnts is established as an alternative to Von Neumann measurement postulate. ... -
Inducing two-way shape memory effect in Nitinol-Polymer Composite
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Title: Inducing Two-way Shape Memory Effect in NiTi-polymer Composite Author: Jakub Zeman Supervisor: Sneha Manjaree Samal, Ph.D., Institute of Physics of the Czech Academy of Sciences Abstract: Two-way shape memory effect ... -
Homological dimensions and special classes of rings
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024In this thesis, we study commutative noetherian rings using homological methods. We characterize regular local rings as rings with finite global dimension and show that they are stable under localization. After this we go ... -
Probing the activation of organic molecules using the low-energy electron diffraction
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024Self-assembled organic molecules promise a wide range of applications in many fields such as organic chemistry, nanotechnology or molecular electronics. The goal of this thesis is to create covalent bonds in self-assembled ... -
Mixed-precision computations in numerical linear algebra
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 6. 2024 -
Artificial Intelligence for Quoridor game
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 5. 2. 2024 -
Reconstruction of ultrafast spin currents using terahertz spectroscopy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024We describe a method by which it is possible to find the dynamics of a spin current in a spintronic terahertz emitter or other emitters derived from it. This method takes an ex- perimental emission measurement from time-domain ... -
Studium změn periody u pulzujících hvězd
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024In this thesis, light curves measured by the satellite TESS were analysed for pulsating variable stars BL Cam and BO Lyn. In total, 705 new times of maximum light were identified for BL Cam and 333 for BO Lyn. Additionally, ... -
Vychylující teorie a reflexní funktory
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024In this thesis we familiarize the reader with the fundamental notions of tilting theory. Building on those, we formulate and prove two major results of classical tilting theory, Brenner-Butler theorem and Bongartz lemma. ... -
Slabé riešenie Navier-Stokesových rovníc
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024We derive the weak formulation of the Navier-Stokes equations directly from the basic physical principles, showing that the weak formulation and thus also the weak solution are completely natural for this system. Next, we ... -
Filtrace modulů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The aim of this thesis is to familiarise the reader with the concept of a C-filtration, to show properties of special instances of C-filtrations and to construct structures corresponding to general C-filtrations. The first ... -
Congruent numbers, elliptic curves, and L-functions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The main goal of this thesis is to connect the ideas surrounding the congruent number problem. At first we define congruent numbers and elliptic curves which naturally emerge from this problem. We then define the addition ... -
Projektivní geometrická algebra
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024 -
Nejednoznačné rozklady v číselných tělesech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The thesis is studying irreducible factorization in rings of integers of an algebraic number fields. To study factorization, the unique factorization of ideals into prime ideals is extremely useful. The irreducible ... -
Simulating flows past a mountain range using smoothed particle hydrodynamics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The method of Smoothed Particle Hydrodynamics is applied to the phenomenon of mountain waves - atmospheric internal gravity waves generated by flows over topogra- phy. General aspects of the method and the alternative ... -
Dynamické simulace a výpočty elektronových spřažení pro interpretaci ultrarychlé IR spektroskopie excitovaných Re komplexů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024In this thesis we make use of methods applied in quantum chemistry and molecular dynamics to interpret the results of the spectroscopy of two rhenium donor-acceptor com- plexes ReCl(CO)3 (N,N'-4-((4-(diphenyl)phenyl)carb ... -
On the lattice of multi-sorted relational clones on a two-element domain
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024In this thesis, we study relational clones on a two-element domain (here- inafter just "relational clones"). Firstly, we provide an alternative, elementary, and purely relational proof of the famous characterization of all ... -
Ultrarychlá generace anizotropní populace elektronů ve vodivostním pásu polovodičů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024The thesis is devoted to a possible implementation of a new concept of electronics, the so-called valley-tronics, on an experimental optical setup. The aim is the construction of this setup that enables the study of the ... -
Teplotní závislost optického přepínání antiferomagnetu CuMnAs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 6. 2024CuMnAs is an antiferromagnet in which the possibility of writing and reading in- formation using short electrical or optical pulses has already been demonstrated. This recording represents a switching between different ...