|
|
Unique Car Counting
Uhrín, Peter ; Špaňhel, Jakub (referee) ; Juránek, Roman (advisor)
Current systems for counting cars on parking lots usually use specialized equipment, such as barriers at the parking lot entrance. Usage of such equipment is not suitable for free or residential parking areas. However, even in these car parks, it can help keep track of their occupancy and other data. The system designed in this thesis uses the YOLOv4 model for visual detection of cars in photos. It then calculates an embedding vector for each vehicle, which is used to describe cars and compare whether the car has changed over time at the same parking spot. This information is stored in the database and used to calculate various statistical values like total cars count, average occupancy, or average stay time. These values can be retrieved using REST API or be viewed in the web application.
|
|
|
Weighted rearrangement-invariant spaces and their basic properties
Soudský, Filip ; Pick, Luboš (advisor)
In this thesis we shall provide the reader with results in the field of classical Lorentz spaces. These spaces have been studied since the 50's and have many applications in partial differential equations and interpolation theory. This work includes five papers. The first paper studies the properties of Generalized Gamma spaces. The second paper provides an alternative proof of normability characterization of classical Lorentz spaces. The third paper discusses conditions of linearity and quasi-norm property of rearrangement-invariant lattices. The following paper gives a characterization of normability of Gamma spaces. And finally the last paper characterizes the embeddings between GΓ spaces. 1
|
|
|
Convergence of the embedding scheme
Hofierka, Jaroslav ; Klimeš, Jiří (advisor) ; Čížek, Martin (referee)
To obtain accurate adsorption energies of molecules on surfaces is a challenging task as the methods with sufficient accuracy are too computationally demanding to be applied to the systems of interest. Embedding theories provide a natural remedy: focus the computation on a small region and incorporate the effects of the environment. In this thesis, embedding schemes and the response of many-electron systems to an adsorbed impurity are investigated. To this end, two approaches are used: tight-binding and ab initio. In the tight-binding method, the Green's function formalism is studied and explicit expressions for Green's functions of various one- and two-dimensional models are obtained. Using this formalism, we study qualitatively the local density of states and adsorption energies. In the second part of this thesis, state-of-the-art ab initio methods are employed to study convergence of the subtractive embedding scheme for adsorption energies of small closed-shell systems on two-dimensional graphene and hexagonal boron nitride. The efficiency and applicability of the scheme are assessed for neon and hydrogen fluoride as adsorbates. We found that the studied embedding method works better for neon compared to hydrogen fluoride, which may be explained by the use of a two-body dispersion correction.
|
|
|
Visualization of black hole spacetimes
Maixner, Michal ; Krtouš, Pavel (advisor) ; Svítek, Otakar (referee)
This work is focused on visualisation of Schwarzschild, Reissner- Nordström and Kerr black hole. The two-dimensional conformal diagram was constructed. In the case of Kerr black hole, the causal structure was visualized by intersection of chronological future of given point in spacetime with hyper- surfaces of constant value of Boyer-Lindquist coordinate t. Conformal diagram for Kerr black hole was constructed only in the neighbourhood of outer event horizon. Then the causal diagram, which is analogous to conformal diagram for Reissner-Nordström black hole was constructed. In all cases two-dimensional spa- celike hypersurfaces were chosen that were embedded into Euclidean space. The interpretation of time evolution of black hole universe was given to a sequence of such embedded hypersurfaces. In the case of Kerr black hole the embedding of outer ergosphere and outer event horizon were also constructed. 1
|
|
|
Universal metric spaces
Raška, Martin ; Hušek, Miroslav (advisor) ; Vejnar, Benjamin (referee)
The thesis covers the properties of isometric embeddings of metric spaces into the Urysohn universal space U (P.S. Urysohn, 1927) and its generalizations (M. Katětov, 1988). The examination of various metric properties of the space U leads to the question of extendability of the embedding ϕ: M → U from a subspace M of a space P onto an embedding Φ: P → U. We approach to this question in situation P = M ∪ {p} in finer form. If ϕ denotes an embedding M → U, let Rϕ denotes the set of images of the point p in U under all possible isometric extensions of the embedding ϕ (we call Rϕ the space of realizations). The main objective of this thesis is answering the following question: Which forms do the spaces Rϕ assume, if ϕ passes all embeddings of the space M into the space U? Corollary 1 and theorem 3 in the II. part of the thesis metrically characterize the family {Rϕ|ϕ: M → U}. We use previous results in part III in order to determine the number of classes of metrically equivalent embeddings of the space M into the space U. As a consequence, we obtain the result of J. Melleray about the homogeneity of the space U.
|
|
|
Weighted rearrangement-invariant spaces and their basic properties
Soudský, Filip ; Pick, Luboš (advisor) ; Soria, Javier (referee) ; Barza, Sorina (referee)
In this thesis we shall provide the reader with results in the field of classical Lorentz spaces. These spaces have been studied since the 50's and have many applications in partial differential equations and interpolation theory. This work includes five papers. First paper studies the properties of Generalized Gamma spaces. Second paper provides an alternative proof of normability characterization of classical Lorentz spaces. The third paper discus conditions of linearity and quasi-norm property of rearrangement-invariant lattices. The following paper gives a characterization of normability of Gamma spaces. And finally the last paper characterizes the embeddings between Generalized Gamma spaces. Powered by TCPDF (www.tcpdf.org)
|
|
|
Embedding the approach to war reporting
Folta, Adam ; Marjanovič, Teodor (advisor) ; Osvaldová, Barbora (referee)
In this bachelor thesis called Embedding the approach to war reporting I would like to bring coherent material about embedding. The first part of the text will cover the historical setting of embedding in context. It roots into the ancient times and through World War I. or Vietnam War the text terminates with Ukrainan crisis. Another part of the work will bring information about objectivity whether embedding shows complete and comlex reporting. If is it true that journalist, who spent a time with troops, will be affected by the troops, thus the objectivity will turn up a dilemma.. In the bachelors thesis I would like to present principle of journalist ethics, which are usefull for being in a conflict or crisis situation. The legislation is also part of the text and it is connected with rules, which have to be followed by embed. These rules are part of the bigger concept of ISAF organization. Another part of my bachelor thesis involves an attitude of Czech army and shows how Czech system works. In the practical part of the work I will publish the transcript of three interviews with journalists like František Šulc, Michal Kubal and Teodor Marjanovič. These journalists were embedded with Czech and American troops in the Second Gulf War in 2003, and during operations in Afghanistan. In my bachelor...
|
|
|
Weighted rearrangement-invariant spaces and their basic properties
Soudský, Filip ; Pick, Luboš (advisor)
In this thesis we shall provide the reader with results in the field of classical Lorentz spaces. These spaces have been studied since the 50's and have many applications in partial differential equations and interpolation theory. This work includes five papers. The first paper studies the properties of Generalized Gamma spaces. The second paper provides an alternative proof of normability characterization of classical Lorentz spaces. The third paper discusses conditions of linearity and quasi-norm property of rearrangement-invariant lattices. The following paper gives a characterization of normability of Gamma spaces. And finally the last paper characterizes the embeddings between GΓ spaces. 1
|
|
|
Learning to Generate Images with Convolutional Neural Networks
Kohút, Jan ; Kolář, Martin (referee) ; Hradiš, Michal (advisor)
The aim of this Bachelor's thesis is to design and analyze convolutional neural networks generating images of characters based on their parameters. Parameters of characters are type of char, font, colour of character, background colour, translation and rotation. Neural networks have created multidimensional representation of each parameter. Relations inside these representation are similar to relations inside parameters. Neural networks generate characters with new values of parameters based on interpolation between learned values of parameters. Neural networks are capable to generalize problem of generating images.
|
guest ::
