National Repository of Grey Literature 16,468 records found  previous11 - 20nextend  jump to record: Search took 0.92 seconds. 

The model of adaptive behavior for the development of Czech assessment scales for children
Chadimová, L. ; Urbánek, Tomáš ; Seifert, M. ; Ivanková, K.
We introduce results of cluster analysis conducted during the development of Czech assessment scales of adaptive behavior in children and adolescents. Within the frame of National Institute of Education we organized the group of experts on the topic of adaptive behavior, both from the academical and practical areas. Every member of the expert group obtained 300 items inspired by local or foreign methods of adaptive behavior assessment. The experts were instrued to cathegorize the items, which they found meaningful with regard to the construct of adaptive behavior and its manifestation on the Czech background. Based on results we compiled consequent model of adaptive behavior, that becomes the base structure for newly developed assessment scales. We compare this structure with the model of adaptive behavior used by DSM-V.\n

Height measurement in the northern area of mining areas Doubrava and Karviná Mines In 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
In the northern area of ​​mining areas Doubrava and Karvina mines on the border RA Detmarovice and Doubrava are implemented, the mining activities. For this reason, in order to detect possible effects of the mine to the surface and surface objects twice a year height focuses, points in this area stable. From 2014 he was a contractor for these works chosen by the Institute of Geonics, v.v.i., Ostrava. In August and November 2016 survey conducted campaigns planned this year, during which it conducted a total of 4 highrise focus of inter-related leveling routes, which are formed by these points. Highrise points are stabilized in the area of ​​interest in several ways - usually in steel design height marks on buildings, then as an iron bolt concreted in the ground or using nails driven into the concrete foundation or other alternative means. Distribution points in the area of ​​interest is indicative captured in the map appendix. Existing trace and focus points are highlighted in green, yellow trace inaccessible points, refocused points in red and violet points that have occurred to their long term disablement or destruction. Each zaměřovaných points in order to trace the terrain carefully documented (GPS coordinates, photos, text description) and registered. These documents are available from the contractor.

The leveling of the newly stabilized elevation points in RA Detmarovice in 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
In the northern area of mining areas Doubrava and Karvina mines on the border RA Detmarovice and Doubrava are implemented, the mining activities. For this reason, in order to detect possible effects of the mine to the surface and surface objects twice a year height focuses, points in this area stable. From 2014 he was a contractor for these works chosen by the Institute of Geonics, v.v.i., Ostrava. The measurement results are annually presented in the final report - elevation measurements in the northern area of mining areas Doubrava and Karviná Mines I. In 2016, the existing network of height points in a cadastral municipality Dětmarovice expanded by 11 new points. New points are stabilized by means of steel bench mark on objects. Elevation point near house No. 713 is a stabilized form of measuring support cast-in steel casing

Access to Information and Access to Justice in Environmental Matters in the Republic of Irealand and the Czech Republic
Vítková, Martina ; Stejskal, Vojtěch (advisor) ; Sobotka, Michal (referee)
This diploma thesis deals with access to environmental information and access to justice in environmental matters introduced by Aarhus Convention in the specific conditions of Czech Republic and Ireland. These rights are considered to be very important tools for environmental protection. At a time when people threaten their own existence by negative interference with the environment it is necessary that effective means for its protection exist. These means are access to environmental information and access to justice in environmental matters, which together can be called as environmental procedural rights. The first chapter of this thesis presents the sources of environmental procedural law and observes the development of law at international, European and national level. The most important international document in this field is the Aarhus Convention that was adopted in 1998 by most of the European countries and that provides for access to environmental information, access to justice and public participation in environmental decision-making. This convention has largely affected the law of the European Union, where several directives has been adopted, including most importantly the Directive 2003/4/EC on access to environmental information and the Directive 2003/35/EC on public participation in...

Cultural support in Prague's districts
Mokrá, Jolana ; KAŠPAR, David (advisor) ; PROKOP, Petr (referee)
Diploma thesis ”Cultural support in Prague's districts” focuses on a current situation in municipal strategical management and support of culture in all Prague districts. The introduction emphasises the importance of each level of government in the management and support of culture through comparing specific cultural policies. The research is divided into two parts. First one depicts how culture is being understood on the municipal level and presents an overview of existing instruments for support and planning. The second part is focused on a few municipal districts that handle their culture policy with a particular strategy and consider it to be an irreplaceable part of a local development. The second part also examines what tactics and tools these municipal districts use for a realization of their strategic goals. In conclusion, this thesis proves why the role of the local official government is so important in the developement and implementation of culture.

Individual human odor as a forensic trail in criminal proceeding made by contact or contactless transmission and its resistance to physical agents
Santariová, Milena ; Bartoš, Luděk (advisor) ; Chmelíková, Eva (referee)
The dissertation thesis consists of four papers that have been published in scientific journals. Study n. 1 The need to recover evidence from water is quite common in criminal investigation. The article deals with the possibility to collect human scent from such objects and with the ability of specially trained dogs to match such scent samples with scent samples collected from detained suspects. During an experiment, designed as a blind one, it has been proved, that human scent can survive on submerged objects and can be later used for scent identification. Study n. 2 To collect odors the Czech Republic Police use special fabric sorbents manufactured under the registered mark ARATEX. Before use the fabric sorbent is treated by water vapor sterilization. After the scent identification the sorbent is destroyed. The goal of the study was to verify if the vapor sterilization is effective enough to remove human scent that has already penetrated into the sorbent structure or in other words if the sorbent can be exposed to vapor sterilization and then used again. Specially trained dogs were used to match starting odors with target odors in the line-ups. The results showed that dogs are able to correctly match human odors even after they have being exposed to vapor sterilization. Study n. 3 The purpose of the study was to determine the temperature at which the human scent is degraded so that a dog would not be able to identify it. In contrast to expectations, eight dogs used in the experiment almost flawlessly identified human scents from five scent donors exposed to temperatures of 100°C, 200°C, 300°C, 400°C, 500°C, 600°C, 700°C, and 800°C. Only two of the dogs were able to identify 5 of 15 scent samples exposed to 900°C. No dog identified a scent exposed to 1000°C. Our study verified heat survivability of human scent far beyond existing expectations. Study n. 4 We tested the hypothesis that if odor fallout (the release of a human odor onto an untouched object) in human subjects exists, then holding a hand above an absorbent will produce a detectable scent which will be subsequently matched in a detection test by trained dogs. Scents were collected from seven males to sterile cotton absorbent squares. The left hand was used to get the control scent and the right hand served as the target scent. Each experimental subject was sitting and his left hand was laid down on a cotton square for 3 min. The right hand was held 5 cm above another cotton square for 3 min. The scent identification was done by two specially trained police German shepherds. Both dogs performed 14 line-ups and correctly matched the collected scents of all test subjects. The results suggest the existence of human odor fallout, whereby a human scent trace is left by humans even if they do not touch an object.

Design of methods for quantitative empirical identification of socially vulnerable demographic groups and analysis of existing interactions with tax and social benefits and other tools of governmental social policy
Janský, Petr ; Kalíšková, Klára ; Münich, Daniel
This certified methodology describes the designed method for quantitative empirical identification of socially vulnerable demographic groups and analysis of existing interactions with tax and social benefits and other tools of governmental social policy. The methodological approach combines data on households’ incomes with data on households’ expenditures and enables the analysis of the impact of social benefits and direct as well as indirect taxes on income inequality and risk of poverty in the Czech Republic.

Risk analysis of load bearing RC structure review
Bohatec, Jiří ; Laníková, Ivana (referee) ; Šimůnek, Petr (advisor)
Master thesis deals with the evaluation of risks in the course of strengthening reinforced concrete column. It describes the assessment of existing structures according to ISO 13822, discusses the dangers that can occur when determining the carrying capacity of the existing structure. It also describes the different phases of strengthening steel banding, their functions and influence on the overall capacity. Also showing calculation process of strengthening reinforced concrete column, using steel banding, based on standard EN 1992-1-1 and EN 1998-3. In a concrete example of reinforcement is shown a process for determining the carrying capacity and then designed to the increase. In the two examples performs risk analysis using the universal matrix of risk analysis that identifies and quantifies the importance of various hazards associated with the calculation and implementation of the project.

Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (referee) ; Šlapal, Josef (referee) ; Švéda, Miroslav (advisor)
Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný koncový uzel je dosažitelný v dané síťové konfiguraci a stavu.   Prezentovaná práce se skládá ze dvou částí. První část se věnuje modelování sítí, chování směrovaích protokolů a síťové konfiguraci. V rámci modelu sítě byla vytvořena modifikovaná topologická tabulka (MTT), která slouží pro agregaci síťových stavů určených pro následnou analýzu. Pro analýzu byl použit přístup založený na logickém programování, kdy model sítě je převeden do Datalog popisu a vlastnosti jsou ověřovány kladením dotazů nad logickou databází. Přínosy práce spočívají v definici grafu síťových filtrů, modifikované topologické tabulce, redukce stavového prostoru agrgací síťových stavů, modelů aktivního síťového prvku jako filter-transformace komponenty a metoda pro analýzu dosažitelnosti založena na logickém programování a databázích.   

Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.