The master's thesis introduces the Uppaal tool. It describes the principles and possibilities of modeling and analysis of systems using this tool. It also discusses in more detail the file formats that Uppaal tool uses. The structure of the XML file used to store created systems, the XTR format, which Uppaal uses to store simulation traces, and the IF format, which is necessary to understand the contents of the file in XTR format. The text also mentions available software support for working with these formats. Next part of this master's thesis is about designing user-friendly representation of simulations traces, along with designing application that translates simulation traces into designed representation. At the end of this thesis, the possible continuation of the project is mentioned together with the evaluation of the designed representation and the application.

This diploma thesis deals with the area of software testing, more precisely with the topic of managing test results. The aim of this work is to find, set up and implement a system that complements the missing functionality of the TMT tool, which is going to replace the Nitrate tool in Red Hat as a test management system. The content of this work is a basic introduction to the tools Nitrate, TMT and other technologies used in Red Hat. Furthermore, the work presents the current state of the test infrastructure and collected user requirements for a new system for managing test results. Subsequently, the ReportPortal tool is introduced as a system for test results management and the missing functionality is defined. The rest of the work is devoted to setting up the system itself and implementing the missing functionality, along with implementing the infrastructure needed to import test results into ReportPortal. The work describes the method of deploying the system in use and feedback from users. The deployed system is evaluated and its further possible improvements are discussed.

This thesis deals with the segmentation of lung parenchyma and extraction of airways tree from three dimensional CT scans. The external mask of the lungs is created and subsequently used to ease the process of airway segmentation. In this work, some published methods for airways segmentation are described with focus on one, which is described more in detail and also implemented in MATLAB. The proposed approach is based on morphological grayscale reconstruction. Method is tested on the real patient CT scans and finally, the results are discussed.

This work deals with the design and implementation of a hardware unit that is capable of playing MPEG-1 Layer III files, compliant with ISO/IEC 11172-3. There are given the benefits of using the MP3 format and principles that make it possible to compress the size of the resulting music recordings. The file format and all parts of the header are thoroughly studied as well as the method of encoding information. The process of the data decoding is divided into several consecutive, more or less discrete functional units and these units are designed and described in a hardware description language VHDL. There are also discussed features of FPGA chips - programmable gate arrays. Those are used for physical realization of the MP3 player. A development board is selected, including such an FPGA chip and other resources that allow synthesis of the entire circuit and playback in real time.

The goal of this work is design and implementation of library for RTF processing. The library contains classes for conversion of  RTF files to XHTML files. Implementation of library is made in Java programming language and it is tested by using proposed set of tests. Application interface of the library is a subset of the DOM standard and allows to manipulate with final XHTML document.

This thesis deals with an effective solution of the parallel I/O of the k-Wave tool, which is designed for time domain acoustic and ultrasound simulations. k-Wave is a supercomputer application, it runs on a Lustre file system and it requires to be implemented with MPI and stores the data in suitable data format (HDF5). I designed three methods of optimization which fits k-Wave's needs. It uses accumulation and redistribution techniques. In comparison with the native write, every optimization method led to better write speed, up to 13.6GB/s. It is possible to use these methods to optimize every data distributed application with the write speed issue.

This paper describes the file format of the climate data container used by the DELPHIN, THERAKLES and NANDRAD simulation programs. The climate data container format holds a binary representation of annual and continuous climatic data needed for hygrothermal transport and building energy simulation models. The content of the C6B-Format is roughly equivalent to the epw-climate data format.:1 Introduction 1.1 General File Layout 1.2 Principle Data Types 2 Magic Header and File Version 2.1 Version Number Encoding 3 Meta Data Section 4 Data Section 4.1 Cyclic annual data 4.2 Non-cyclic/continuous data

The thesis "Popular Music in Television Entertainment in 90's in Czech Republic" is mainly engaged in the development of music show in this period, namely monitors developments of hit-parades Medúza and Eso. The period of 90's can be talk like a top of this kind of shows that have been an integral part of television entertainment. In connection with their development this study also deals with the history of these formats prior to 1989 and with the period context. The complexity of the topic also forms the theoretical basis in which work is about notions of popular culture, mass and consumer culture and globalization. The concept of globalization is closely related to the developement of television programs. Globalization is going through all the basic components of the production of these programs, both music and the television environment itself, and is just a possible consequence of the decline in the popularity of television hit-parades today. Keywords Television entertainment, popular music, format in TV, music show, hit-parade

Maps are essential in the robots of today, not only to navigate but also to perform actions.This project’s aim was to create a program able to take map files of older standards suchas ROS Gridmaps or the current IEEE 2D map standard 1873-2015[2] and convert themto the new IEEE P2751/D1[4] standard. The new IEEE P2751/D1 is based of IEEE1873-2015 but improves by allowing 3D map formats such as Pointclouds or Voxel-gridsto be incorporated. This projects main goal was to have a program that is able to convertfrom some of these different map types into the new standard. The existence of sucha program eases any future adaptation. This report also includes a detailed evaluationof the efficiency of the IEEE P2751/D1 standard format in comparison to other mapformats.

There are many challenges associated with student retention. Saint Mary-of-the-Woods College (SMWC) has focused on determining the factors affecting student retention across its campus and distance course delivery formats in order to improve student retention. The purpose in this study was to explore the extent to which age, course delivery, technical ability, and financial background determine retention at SMWC. Retention and attrition models of Tinto and Walleri laid the foundation of this study. Qualitative data on technical ability were collected from 69 students who responded to the survey instrument on Survey Monkey. Quantitative data on retention, age, course delivery, and financial background on students who had graduated over the past 10 years were gathered from the offices of financial aid and the registrar. For quantitative data analysis, the influences of age and financial background on student retention were examined through multiple regression; the influence of course delivery on student retention was examined through 2-tailed t tests for comparing the 2 population means. Qualitative data were analyzed through a narrative approach. The findings of quantitative data analysis were that student age and financial standing were not significant predictors of student retention and that retention for distance course delivery was significantly lower than that of online delivery. The finding for qualitative analysis was that students with higher technical ability showed higher retention across both course deliveries. The social change implications include a better understanding by SMWC's administrators and faculty of course delivery and design in order to improve student retention, thus benefitting the local economy and community by creating a more skilled and employable workforce and a stronger reputation for SMWC.