National Repository of Grey Literature 15 records found  1 - 10next  jump to record: Search took 0.01 seconds. 
pp-elimination of quantifiers in module theories
Novák, Jindřich ; Šaroch, Jan (advisor) ; Ježil, Ondřej (referee)
The aim of this thesis is to prove the Baur-Monk Theorem and thereby show complete module-theories admit an elimination of quantifiers down to (Boolean combinations of) existential formulae. To achieve this, following a brief introduction in Chapter 1, the reader is fami- liarised in Chapter 2 with the notion of a positive-primitive formula in the lan- guage of right R-modules, and its close relationship with commutative groups, their cosets, and lattices. Chapter 3 first lays the technical groundwork for the proof of the Baur-Monk Theorem, presented in Section 3.3, in its opening two subsections which contain the needed combinatorial and group-theoretical results, namely the Neumann Lemma and a variation on the Inclusion-Exclusion Principle. Chapter 4 concludes the mathematical work contained herein with a brief over- view of some immediate corollaries of the the Baur-Monk Theorem and earlier results.
The influence of tanning chemical agens on DNA degradation
Hebenstreitová, Kristýna ; Vaněk, Daniel (advisor) ; Novák, Jindřich (referee)
The illegal wildlife trade is currently on the rise, and it is becoming the fourth most lucrative sector of crime. The traded commodities of this sector are, for example, various animal artefacts from skins, teeth, scales, tusks, claws to whole animal bodies, as well as eggs of endangered birds (parrots and birds of prey) or amphibians and snakes. The rarer the species is, the higher the demand for it grows. Wildlife trade is regulated (among other things) under the international CITES convention (Convention on International Trade in Endangered Species of Wild Fauna and Flora). Proving that this convention has been violated, is complex process and can be very difficult to achieve. In many cases a DNA analysis of the artefact, is the only way to prove, that it originates from a protected animal species and not from a species with which it is legal to trade. This thesis deals with a specific type of animal artefact - tanned skins. With this type of biological material, it is often problematic to obtain amplifiable DNA (deoxyribonucleic acid). This thesis is investigating the influence of the chemicals used in the tanning process on the DNA degradation. Furthermore, it analyses, the influence of these substances on the inhibition of the polymerase chain reaction. The quantity of DNA is determined...
Telemetric monitoring of the feral pigeon ( Columba livia f. domestica) population at the Karlovo namesti square in Prague
Kanov, Štěpán ; Řezníček, Jan (advisor) ; Novák, Jindřich (referee)
"A Telemetric monitoring of the feral pigeon ( Columba livia f. domestica) population at the Karlovo náměstí square in Prague" This thesis deals with both the monitoring of numbers in the pigeon (Columba livia f. domestica, "the Pigeon") sites in question and also the spatial definition of the daily activities of individual specimens using a telemetric system. Previous researches gathered data on population density and food routes usually obtained by observation. Therefore we believe it's important to supplement this data with spatial movement maps of individuals that cannot be obtained by observation but the telemetry system allows us to do so in certain time period. The data obtained from GPS trackers will be processed into daily spatial activity maps of the specimen. These data will hopefully help us to gain insight into the life of not just specific individuals, but will also allow us to derive spatial activity of the entire population living in the locality in question. The results will be compared with the results from the previous pigeon count. This knowledge can be useful to population control, or serve in other studies. Keywords: pigeon, abundance, telemetry
Selected problems in the process of building operation appraisal for the purposes of expert opinions
Novák, Jindřich ; Pivoda, Bohuslav (referee) ; Puchýř, Bohumil (referee) ; Mikš, Lubomír (advisor)
The basic requirement for a good quality expert opinion are high quality sources of information, i.e. adequately detailed and valid groundwork. This dissertation analyzes groundwork for expert activities in the area of building operation appraisals, handling of information and its transmission within the life cycle of a construction. For this purpose, it is possible to divide the construction according to its functional parts. The thesis puts emphasis on drawing up a budget according to its functional parts, which is clearer for the investors, contractors and real estate administrators as well as the expert. A significant part of the dissertation is dedicated to recommendations on how to determine the usual price of building operations. In this section I define some options of how to determine the usual price of building operations, including their comparison. Likewise, I investigated and compared real agreed prices of building contracts for public commissions. The basic recommendation resulting from this chapter is the recommendation for the Czech statistics department to automate the data collection based on registers of building operations created with one of the budgeting programs (preferably according to functional parts). For the experts, I prepared a set of recommendations based on the analyzed differences between the budgeted prices and those applied in real contracts. There is no generally accepted method to evaluate the losses created due to delays in construction. For the purposes of this dissertation, I investigated the common prices of rent of the individual equipment and then established two approaches to put value on the cost of equipping the site, percentage rate and individual calculation. I examine in more detail the issues related to quantification of costs for wintertime arrangements. At the end of the chapter I define recommendations for experts. With regard to recommendations for establishing discounts from the construction price due to occurrence of defects and unfinished tasks, I analyzed real examples of distribution of defects and unfinished tasks at the moment of delivering the building operation to the investor and discovered that approximately 50% of defects are part of the surface working. Additionally, I analyzed the Czech technical regulations regarding surface working in order to find basis for assessment of the presence or absence of a defect. While investigating the approach to non-removable defects, I discovered incorrectly considered shelf life of waterproofing within the appraisal. Based on this, I investigated the market and determined the shelf life of common waterproofing systems. At the end of this dissertation I carry out a comparison of selected items of the two pricing systems most commonly used in the Czech Republic, URS and RTS. The differences are a result of contemplating using different technologies, varied mechanisms and diverse approaches to determine the costs of material.
Telemetric monitoring of the feral pigeon ( Columba livia f. domestica) population at the Karlovo namesti square in Prague
Kanov, Štěpán ; Řezníček, Jan (advisor) ; Novák, Jindřich (referee)
"A Telemetric monitoring of the feral pigeon ( Columba livia f. domestica) population at the Karlovo náměstí square in Prague" This thesis deals with both the monitoring of numbers in the pigeon (Columba livia f. domestica, "the Pigeon") sites in question and also the spatial definition of the daily activities of individual specimens using a telemetric system. Previous researches gathered data on population density and food routes usually obtained by observation. Therefore we believe it's important to supplement this data with spatial movement maps of individuals that cannot be obtained by observation but the telemetry system allows us to do so in certain time period. The data obtained from GPS trackers will be processed into daily spatial activity maps of the specimen. These data will hopefully help us to gain insight into the life of not just specific individuals, but will also allow us to derive spatial activity of the entire population living in the locality in question. The results will be compared with the results from the previous pigeon count. This knowledge can be useful to population control, or serve in other studies. Keywords: pigeon, abundance, telemetry
Phylogeny and biogeography of Neotropical and African riverine cichlids: multilocus phylogenetic methods in the evolutionary studies
Musilová, Zuzana ; Novák, Jindřich (advisor) ; Bryja, Josef (referee) ; Reichard, Martin (referee)
Summary: The thesis comprises from the introduction and five main parts: three of them are published papers, the rest two are manuscripts prepared for submitting to the scientific journals. The first two are published phylogenetic studies of the cichlasomatine cichlids based on (1) molecular characters, and (2) both morphological and molecular data with the description of a new genus Andinoacara. The third (3) is the already published description of the new species Andinoacara stalsbergi from Peru combining both morphological and phylogenetic approaches and including the detailed phylogeny of the genus Andinoacara. The next unpublished manuscript (4) is the more detailed comprehensive phylogeography of the two non-relative genera (including Andinoacaras) of the trans-Andean cichlids. Including all valid species from the majority of their distribution areas it was reconstructed the ancestral area of both genera in the Choco region, Colombia, and revealed the directions of their distribution spreading. The last (5) unpublished manuscript is the phylogeographical study of the cichlid genus Serranochromis from the headwaters of the totally unknown Central Angola. It showed several evidences of the faunal exchange among the adjacent river systems. Lastly, the thesis is supplemented by several appendices...
Sociodemographic profile of Salesians and their declared Path to the Order
Novák, Jindřich ; Soukupová, Blanka (advisor) ; Nešpor, Zdeněk (referee)
The Thesis Sociodemographic profile of Salesians and their declared Path to the Order exemplified on the Salesian community in Prague - Kobylisy is a microprobe into the life of selected religion community in Czech Republic. Theoretical part of the work provides a survey of the religious attitudes of the population based on statistical data of last several decades, basic data of the origins and history of the Salesians abroad and in our country, including conduct of this Fellowship and Roman Catholic church during difficult years of communist rule in this country. It also describes activities of the Salesians community after its restoration in 1990 until nowdays. Center of the work is however its empirical part. It covers original qualitative research of Salesian site in Praha - Kobylisy carried out between July 2008 and June 2009 including participant observation and unstructured interviews with selected sample of respondents of mentioned community. These talks were then subjected to the analyse from the sociodemographic and declared path to the Order standpoint of view. Keywords Faith, charisma, fellowship, persecution, path, pastoralism, empathy

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