|
Methodology for ensuring the quality of open educational resources for higher education
Petiška, Eduard ; Dlouhá, Jana ; Pospíšilová, Marie ; Dlouhý, Jiří ; Korhoňová, Lucie
In the methodology, we describe how to properly use and create quality open educational resources (OER), we focused especially on resources based on the MediaWiki software. We deal with what prerequisites for the creation of quality online resources need to be provided, e.g. in terms of content, work of the editorial team, technical parameters of the environment, etc. The methodology can be used by those who create educational materials of this type as well as for those who use them because it can help them orient in the information environment.
Fulltext: PDF
|
|
Examining the crime scene
Remešová, Michaela ; Krupička, Jiří (advisor) ; Dvořák, Marek (referee)
Examining the crime scene ABSTRACT Examining the crime scene is a crucial step in criminal investigation as it provides valuable insights into the nature of the incident. The traces left behind by the perpetrator offer important clues that contribute to our understanding of the sequence of events. Proper management and organization at the crime scene are essential, placing high demands on the leader and the entire investigative team in terms of professional expertise and practical experience. This paper emphasizes the significance of practical skills and strategic approaches in securing and preserving a crime scene. This thesis on crime scene investigation is a comprehensive compilation that employs content analysis of various sources including books, internet materials, and magazines, as well as practical manuals and official instructions for members of the Czech Republic Police. The main focus of the thesis is to address inquiries related to crime scene investigation, encompassing theories, methods, and tactics. It also delves into the identification and collection of evidence at the crime scene, its documentation, and explores modern forensic documentation techniques such as Spheron and 3D scanning. The thesis is structured to define fundamental concepts subjects, and investigative principles in its...
|
|
Automata in Software Verification and Testing
Hruška, Martin ; Rezine, Ahmed (referee) ; Kofroň, Jan (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá aplikacemi teorie automatů v zajištění kvality software. V první části se zabývá aplikací automatů v tzv. analýze tvaru, kterou lze využít pro formální verifikaci programů pracujících s dynamickými datovými strukturami. Konkrétně představuje rozšíření analýzy tvaru založené na lesních automatech o zpětný běh analýzy přes řádky programu, které se objeví v potenciálním protipříkladu a zjemnění abstrakce založené protipříkladech. Dále je v práci představena nová doména pro analýzu tvaru a to automaty nad grafy s omezenou stromovou šířkou. Ty jsou obecnější než lesní automaty, ale zároveň výpočetní složitost algoritmů s nimi pracujících je použitelná. V druhé části se zabýváme automatizovaným testováním výrobních informačních systémů v prostředí digitálního dvojčete. Představujeme metodu, která dokáže orchestrovat digitální dvojče tak, aby reprodukovalo reálné prostředí, v němž bývají zmíněné systémy nasazeny. To poskytuje bezpečné prostředí testování výrobních informačních systémů. Navíc jsme metodu rozšířili o možnost tvorby nových testovacích scénářů nad rámec pouhé reprodukce již pozorovaného chování reálného prostředí, a tak zvýšili kvalitu testovacího procesu.
|
|
Big Data Analysis Techniques for Network Traffic Monitoring: The Story of DNS over HTTPS Detection
Jeřábek, Kamil ; Laskov, Pavel (referee) ; Wang, Peter Shaojui (referee) ; Ryšavý, Ondřej (advisor)
Síťový monitoring hraje klíčovou roli v arzenálu nástrojů používaných síťovými operátory k zajištění bezpečnosti. S většinou dnes již šifrovaného síťového provozu a s nástupem nových protokolů, které rozšiřují šifrování na dříve nešifrovanou komunikaci, se tradiční monitorovací techniky, které spoléhají na viditelnost nešifrovaného síťového provozu, staly zastaralými. V tomto důsledku musí řešení nyní spoléhat na metadata extrahovaná široce rozšířenými monitorovacími infrastrukturami pracujícími na úrovni síťových toků. Jedním z protokolů, který dostává šifrované alternativy, je DNS. DNS over HTTPS (DoH) je jedním z pokusů o šifrování DNS provozu, který získal širokou podporu mezi uživateli a překladači doménových jmen. Implementace DoH je již integrována do většiny prohlížečů, proxy serverů a operačních systémů. I když DoH zlepšuje soukromí uživatelů, zanechává síťové operátory a~specializované systémy detekce vniknutí (IDS) slepé vůči DNS provozu. Navíc operátoři si nejsou vědomi používání DoH uživateli, protože DoH je navrženo tak, aby se zamíchalo mezi ostatní HTTPS provoz. Od standardizace v říjnu 2018 bylo DoH důkladně studováno z různých perspektiv, včetně detekce. Tato práce navrhuje spolehlivou metodu detekce s využitím kombinace technik, včetně strojového učení, k identifikaci DoH a jeho odlišení od běžného HTTPS provozu, což zvyšuje povědomí síťových operátorů o používání DoH a umožňuje jim jednat v souladu se svými bezpečnostními politikami. Práce podrobně zkoumá DoH v souladu s datově orientovaným konceptem strojového učení, což umožňuje vytvoření komplexních datových sad a návrh účinných praktických mechanismů detekce s využitím datových zdrojů široce rozšířených monitorovacích infrastruktur pracujících na úrovni síťových toků. Navíc navržená metoda detekce je testována v různých scénářích, odhalujících její charakteristiky a účinnost ve srovnání s jinými nejmodernějšími přístupy.
|
|
Use of verification for testing fault-tolerance in FPGA-based system
Podivínský, Jakub ; Fišer, Petr (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
Odolnost proti poruchám je jedna z nejčastěji využívaných technik pro eliminaci vlivu poruch na číslicové systémy a zvýšení jejich spolehlivosti. Tato práce popisuje platformu pro testování technik pro zajištění odolnosti proti poruchám v systémech založených na FPGA. Platforma využívá principů funkční verifikace, přičemž experimentální elektronická řídicí jednotka je přesunuta na FPGA, což umožňuje využít injekci poruch přímo do FPGA. Platforma umožňuje využít elektro-mechanickou aplikaci jako experimentální systém a sledovat vliv poruch jak na elektronickou řídicí jednotku, tak na chování řízené mechanické části. V práci jsou představeny experimenty se dvěma experimentálními systémy - robot pro hledání cesty v bludišti a elektronický zámek. Platforma je navržena tak, aby umožnila využití libovolného experimentálního systému s elektronickou řídicí jednotkou implementovanou v FPGA.
|
|
Revision of a Strategy In an Existing Entity
Kortusová, Anna ; Balcar, Petr (advisor) ; Fišerová, Tereza (referee)
This thesis aims to contribute to the understanding of the importance of strategic management as a part of business management. By means of a case study of an existing medium-sized enterprise, an application of a standard strategic management framework is presented. The purpose is to redesign the entity's current strategy to ensure further successful developments. In the first part of the thesis, a review of established literature on strategic management forms a basis for the introduction of the main concepts and stages of a strategic management process. The second part of the thesis is built on a comprehensive analysis of an external and internal environment of the entity. The aim is to formulate revised long-term strategies. The results of the internal and external audit identify key areas of the company's future success, which are customer orientation, implementation of the most modern technologies, ensuring effective and efficient processes, strengthening established partnerships and increasing employee engagement. On the basis of these areas, strategic goals and strategic initiatives are developed and further elaborated with the help of a strategic management system Balanced Scorecard. Furthermore, balanced set of performance indicators aligned to the revised strategy is designed to gauge the...
|
|
Instruments for the Development of Rural Municipalities
Perlín, Radim ; Bičík, Ivan (advisor) ; Anděl, Jiří (referee) ; Vaishar, Antonín (referee)
Charles University in Prague Faculty of Science Department of Social Geography and Regional Development Radim Perlín Instruments for the Development of Rural Municipalities Summary Prague 2010 Gradual change in the functional utilisation of rural space is characteristic of the second half of the twentieth century. The original agrarian function of rural areas is losing its significance and rural areas and municipalities, along with their residents, are subsequently seeking new roles within society's division of functions. Following increases in rural population during the second half of the nineteenth century, caused by the demographic revolution, a portion of the economically active residents of rural areas emigrated over the next several decades, contributing to the rapid population growth of cities. Decreases in family size represent a consequence of the departure of a portion of rural inhabitants. Korčák studied the initial phases of these processes back in 1929. After World War II and in connection with the necessity to ensure food security and sufficient volume of agricultural production, the Common Agricultural Policy was formulated within the emerging European community as one of the first joint policies. It focuses primarily on ensuring sufficient income for agricultural workers, in the midst of...
|
|
Incubation strategies of selected duck species
Klvaňa, Petr ; Albrecht, Tomáš (advisor) ; Šálek, Miroslav (referee) ; Bureš, Stanislav (referee)
- 9 - Incubation strategies of selected duck species Summary of the PhD. thesis Avian incubation is an energetically demanding process. It holds true especially for uniparental incubators in which all incubation efforts are restricted to one individual. All ducks species breeding in northern hemisphere are representatives of birds with uniparental care. High demands of clutch formation and incubation make from ducks perfect model for testing factors influencing parent investment decisions. On the other hand parental investment to actual breeding attempt depends on many factors including breeding season duration, food supply, female's age, risk of predation or resilt of previous nesting attempt. So investigation of this complex problematic is extremely difficult. This thesis is focused on the most important phase of breeding cycle - incubation of clutch. Clutch incubation is associated with high energy cost to maintenance optimal temperature conditions for developing embryos. Morover incubation process can has large effect on female's body mass because of reduction of feeding time. Incubation strategy of success female include many partial tactic reducing predation risk of clutch and incubating female or eggs cooling. The incubation strategies of three ducks species were investigated in this thesis - Mallard...
|
|
Detention of Children on the Move and International Standards of Human Rights Protection: Content Analysis of the Case-Law of Administrative Courts
Svoboda, Tomáš ; Honusková, Věra (advisor) ; Lipovský, Milan (referee)
Detention of Children on the Move and International Standards of Human Rights Protection: Content Analysis of the Case-Law of Administrative Courts Abstract | Key words: detention - child's best interest - right to freedom - retention - prohibition of torture - irregular migration The number of children on the move in Czech detention facilities is increasing. Detention as such is an interference with personal liberty and a potential interference with other fundamental rights and freedoms guaranteed by a diverse and wide range of international conventions. The objective of this thesis is twofold. The first objective is to determine how various human rights standards regulate the detention of children in the migration context. Consequently, the second objective aimed to determine the structure, shape and content of domestic case-law, specifically with respect to human rights standards. Previous research has focused only fragmentarily on child detention in the migration context, using only doctrinal methods. The attention of previous researchers has been focused on individual human rights mechanisms or on doctrinal analysis of the decisions of the Czech supreme courts. No research has analyzed human rights standards comprehensively or looked at Czech domestic case-law in its entirety. For these reasons, we...
|
|
Loop Analysis for LLVM IR Translation Validation Framework
Kubík, Jakub ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
Bugs in compilers can have severe consequences. Apart from traditional methods like testing, one of the ways of keeping compilers correct that gained traction only in recent years is translation validation, a technique ensuring the semantic correctness of optimizations in compilers. Alive2 is an open-source translation validation framework for LLVM that is currently widely used by LLVM developers. In order to make any static analysis tool usable, the frequency of false alarms must be kept to a minimum. Alive2 was designed to have zero false alarms and has been very successful in this endeavor except in the case of certain loops. Our aim in this thesis is to analyze Alive2's loop algorithms in an attempt to find the cause of these false alarms. This was motivated by personal communication with authors of Alive2 who presented the false alarm issue in loops as one of the more challenging and pressing issues in Alive2. We were successful in pinpointing the cause of false alarms and even providing a fix for the issue. Our solution is now a part of the Alive2 framework. Furthermore, we have identified other potential issues in Alive2 which we discuss in the thesis as well.
|