No exact match found for Svoboda,, Miroslav, using Svoboda Miroslav instead...
National Repository of Grey Literature 267 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
Additive Pairs in Quantitative Type Theory
Svoboda, Tomáš ; Šefl, Vít (advisor) ; Kratochvíl, Miroslav (referee)
Both dependent types and linear types have their desirable properties. Department types can express functional dependencies of inputs and outputs, while linear types offer control over the use of computational resources. Combining these two systems have been difficult because of their different interpretations of context presence of variables. Quantitative Type Theory (QTT) combines dependent types and linear types by using a semiring to track the kind of use of every resource. We extend QTT with the additive pair and additive unit types, express the complete QTT rules in bidirectional form, and then present our interpreter of a simple language based on QTT. 1
Territorial Jurisdiction of Administrative Bodies
Uldrich, Miroslav ; Petrmichl, Václav (advisor) ; Svoboda, Petr (referee)
Territorial Jurisdiction of Administrative Bodies Abstract The aim of the present diploma thesis is to make an interpretation of the existing legislation regulating the territorial jurisdiction of administrative bodies. The interpretation includes an in-depth analysis of the subject matter in question, highlights some minor shortcomings of the existing legislation and outlines the relevant remedial proposals. The present study primarily draws on legal regulations, case law and specialized literature as its main resources. It is divided into five chapters. The first chapter gives a description of territorial jurisdiction development after the emergence of independent Czechoslovakia in 1918, focusing on two fundamental legal regulations: legal regulation in the 1928 Government Decree and legal regulation in the 1967 Rules of Administrative Procedure. The second chapter is devoted to the existing legislation regulating the territorial jurisdiction of administrative bodies. It reviews the theoretical background to the subject-matter as well as territorial jurisdiction of administrative bodies and their functional competence. Common rules of regulation of territorial jurisdiction in the 2004 Rules of Administrative Procedure are discussed, with a special focus placed on the criteria used to define the...
Train Speed on the Selected Line Section
Horák, Matouš ; Hoza, Miroslav (referee) ; Svoboda, Richard (advisor)
The bachelor's thesis is engaged in finfing out speed of trains in particular section of the railway track. The first part describes a direct method of measure „in situ“ and processing the data acquired this way. The second part describes the other way, namely modeling in programme OpenTrack, then follows comparison the results from this similation with real measured values.
Optimisation of pressure condition in water supply systems
Sucháček, Tomáš ; Svoboda,, Miroslav (referee) ; Pollert, Jaroslav (referee) ; Tuhovčák, Ladislav (advisor)
This thesis is focused on the optimization of pressure conditions in the water supply network. There is a deep theoretical and critical search of the state of the art and there are fields where there is an insufficient field of knowledge, the so-called "knowledge gap". Experiments are proposed here to determine the dependence of water consumption on pressure conditions. There is a description of experiments and way how it was carried out, which were carried out on the water connection, in the pressure zone and in the laboratory on the hydraulic loop. There is proposed a methodology of experimental determination of the mathematical dependence of water consumption on pressure so that it can be used for optimization problems, where consumption is considered as an optimization criterion. The results of individual experiments are evaluated and a critical discussion of the achieved results is carried out. Finally, the achieved results are compared with the values found in a deep literature search.
The stress response to cardiac catheterisation. The concentration of stress markers of the hypothalamic-pituitary-adrenal axis
Skarlandtová, Hana ; Kittnar, Otomar (advisor) ; Gregor, Pavel (referee) ; Svoboda, Miroslav (referee)
In our study, we analyzed four stress markers (cortisol, cortisone, DHEA and DHEAS) in blood serum in young sows using minimally invasive heart catheterisation as the stress factor. The marker levels were assessed in four defined periods of the experiment, beginning with the baseline level on the day before intervention (1), the second period was after the introduction of anaesthesia (2), the third was after conducting tissue stimulation or ablation (3), and the final period was after the end of the catheterisation (4). Cortisol and cortisone were detected using HPLC method, DHEA(S) by commercial kits. For statistical analyses non-parametric tests were used (due to non standard Gaussian data distribution). In our study we arranged these experiments: 1. Diurnal variability in these markers concentration during heart catheterisation was tested. 2. Are there differences between stress markers concentration the day before experiment (sampling 1) and in the day of the catheterisation (samplings 2, 3, 4)? 3. Are there differences between these markers concentration during operation (the first sampling was excluded)? 4. The cortisol/cortisone ratio was calculated. We found only minimal statistical differences in studied markers between the morning and afternoon group (p > 0.05) in experiment 1. For tested...
Men and caves in the Neolithic Period
Peša, Vladimír ; Popelka, Miroslav (advisor) ; Svoboda, Jiří (referee) ; Pavlů, Ivan (referee)
Men and Caves in the Neolithic Period Vladimír Peša ABSTRACT From the beginning of archaeological excavations in the 19th century up to the present day, caves as archaeological sites have most often been interpreted as longer- or shorter-term settlements, hideaways or shelters for herdsmen; other interpretations that are considered for caves are cult functions and shelters for social outcasts. I see the beginnings of these notions of universal functions for caves in two contexts. Up until the second half of the 20th century there was a predominant interest throughout most of Europe in Palaeolithic history, and an interpretive model of Palaeolithic cave settlement was subsequently applied to frequently less distinct or even different find situations dating to post-Mesolithic periods. Secondly, at the close of the 19th century caves in the general consciousness of society (i.e. including archaeological) were mainly thought of as warfare shelters or as cover from inclement weather during agricultural activities away from the settlement. Speculation on the greater importance of cult activities and the symbolism of caves doesn't appear with greater regularity in literature until the 1980s; and yet, the settlement impression of caves persists. Using the Neolithic period as an example, the submitted work attempts...
Asian Perpetuities
Svoboda, Miroslav ; Večeř, Jan (advisor) ; Čoupek, Petr (referee)
This Master thesis studies Asian perpetuities, which is a term standing for European type of options with an average asset as the underlying asset and the execution time of the option in infinity. Assuming Geometric Brownian motion model of price of an asset, the goal of this thesis is to study behavior of the average of the asset price. Three different types of averaging are considered: arithmetic, geometric and harmonic average. The average values of the log-normals maintain the known distribution only for the geometric average. As it is shown in the thesis; however, when the average is examined on infinite time horizon, the arithmetic and harmonic averages maintain the inverse gamma distribution or gamma distribution, respectively. This result enables the computation of the price of Asian perpetuity which is also examined in the thesis. 1
Railway Tracks Possessions
Gelová, Zuzana ; Hoza, Miroslav (referee) ; Svoboda, Richard (advisor)
The Bachelor thesis deals with the costs quantification analysis of a particular track possession according to the New methodology. This thesis focuses to quantify costs of replacement transport, to analyse the influence of the track possession to surroundings and to analyse other factors. The first chapter describes the area of railway transport, in particular the concepts and laws concerning to railway track possessions. The second chapter describes the current situation, we learn about the regulations and procedures for the implementation of track possession according to SŽDC. The third chapter consists of goals of my thesis. The fourth chapter describes the principle of functioning of the New methodology. The fifth chapter consists of calculations and quantification of all alternatives of our track possession. The last chapter evaluates the cost results of all alternatives of our track possession. Summarized findings are used to define a better alternative of possession.
Asian Perpetuities
Svoboda, Miroslav ; Večeř, Jan (advisor) ; Čoupek, Petr (referee)
This Master thesis studies the Asian perpetuity, which is the European type option with the average asset as the underlying asset and the execution time of the option in infinity. Assuming the geometric Brownian motion model of an asset, the thesis studies the behavior of the average of the asset. Three different types of averaging are considered: arithmetic, geometric and harmonic average. The average values of the log-normals maintain the known distribution only for the geometric average but, as it is shown in the thesis, when the average is examined on infinite time horizon, the arithmetic and harmonic averages maintain the inverse gamma distribution or gamma distribution, respectively. This result enables the computation of the price of Asian perpetuity which is also examined in the thesis. 1
83/5000 Removal of pesticides from drinking water using different types of activated carbon
Lahodný, David ; Svoboda,, Miroslav (referee) ; Kučera, Tomáš (advisor)
The bachelor´s thesis deals with the effectiveness of selected types of activated carbon for the removal of pesticide substances from drinking water. The thesis is divided into two parts: theoretical and practical. The first part focuses on pesticides and activated carbon. For pesticides, their nature, distribution, occurrence and possible removal are described. Activated carbon is divided according to type, production and reactivation, the process of adsorption and also the main parameters of activated carbon are described. The second part is focused on laboratory experiment of pesticide removal from model waters. There are characterized the tested types of activated carbon, described the laboratory procedure and subsequent analysis of samples. In conclusion, the evaluation of individual types of activated carbon is evaluated with consideration to efficiency.

National Repository of Grey Literature : 267 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.