|
Shell shape variability in selected members of family Geoemydidae
Protiva, Tomáš ; Rehák, Ivan (advisor) ; Šmíd, Jiří (referee) ; Široký, Pavel (referee)
Turtles always fascinated men primarily by morphology, unique embryogenesis and later also by uncertain phylogenetic position. As this group exists for 200 Mya, with taxon Odontochelys and Proganochelys identified as the first ancestors, recently they are endangered by habitat destruction and hunting for meat. The worst situation is in Asia, with China as the most important consumer of turtle meat and other products. Captive breeding programs may be the only chance for lot of almost extinct species. Proper taxonomic and geographical determination is crucial for correct management of rescue programs. Shell shape variability studied by geometric morphometric method and supported by genetics is the right tool for this task. My thesis is focused on verification of the use of geometric morphometric method for selected species of family Geoemydidae. This family has centre of distribution in Asia and many of its species are endangered by so called Asian Turtle Crisis. We found unusual high occurrence of supernumerary vertebral scute in Morenia petersi. Shape of the carapace and plastron is not affected by presence of this extra scute. There are no significant differences between turtles with additional scute and turtles with normal five vertebral layouts. Scute pattern with supernumerary vertebral scute...
|
|
Performance Measurement of Selected Drools Tools
Široký, Petr ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
Performance testing is often overlooked. This thesis describes the performance testing of the Drools Expert and Drools Fusion tools. Drools is a Business Logic Integration Platform. Expert and Fusion are parts of this platform, which provide rule based expert system and event processing capabilities respectively. Tests are designed and implemented with main focus on finding performance regression between different versions of Expert and Fusion tools. Results for two versions of these tools are discussed at the end of the thesis.
|
|
Model-Based Testing of JBoss Drools
Široký, Petr ; Holík, Lukáš (referee) ; Letko, Zdeněk (advisor)
Model-based testing (MBT) is using a model of expected behavior of the system to automatically generate a set of tests. It aims at reducing the testing cost when compared to the traditional testing techniques. This work focuses on testing a real-world software system using the selected MBT tool OSMO. The tested system is responsible for compiling business rules and it is one of the main components of the Drools platform, developed by Red Hat. The work describes the introduction of MBT considering the good reception from the community of developers, then the creation of compiler input models and evaluation of the newly created test suite. The usage of the MBT resulted in detection of five reported and three potential issues in the tested code. Using the Drools compiler example, the work summarizes the main strengths and also weaknesses of practical use of MBT techniques.
|
| |
|
Avian malaria parasites and their vectors
Synek, Petr ; Munclinger, Pavel (advisor) ; Hypša, Václav (referee) ; Široký, Pavel. (referee)
Parasites causing avian malaria belong to the group Haemosporida, which represents a monophyletic group of dixenic protists within Apicomplexa. Their asexual reproduction takes place in a vertebrate intermediate host, and the formation of gametes and sporogony occur in blood-sucking dipteran insects, which are the definitive hosts of these parasites. Three main genera (Plasmodium, Haemoproteus and Leucocytozoon) are found mostly in their avian hosts. We focused on the Haemosporida of wild birds and their transmission by insect vectors in natural populations, which had previously been a neglected area. Our results were obtained both by traditional methods (investigation of infections by microscopy of blood smears) and mainly by molecular methods (e.g. nested PCR) centered around work with unique haplotypes of the haemosporid lineages. The aim of our work was to determine the range of possible insect vectors of avian haemosporidians in the territory of the Czech Republic, taking into account the specificity of the parasites within these vectors, and to describe the diversity of haemosporidians in the populations of their bird intermediate hosts. We chose four different species of birds from four orders (Passeriformes, Strigiformes, Accipitriformes, and Galliformes). As potential vectors of avian...
|
|
Shell shape variability in selected members of family Geoemydidae
Protiva, Tomáš ; Rehák, Ivan (advisor) ; Šmíd, Jiří (referee) ; Široký, Pavel. (referee)
Turtles always fascinated men primarily by morphology, unique embryogenesis and later also by uncertain phylogenetic position. As this group exists for 200 Mya, with taxon Odontochelys and Proganochelys identified as the first ancestors, recently they are endangered by habitat destruction and hunting for meat. The worst situation is in Asia, with China as the most important consumer of turtle meat and other products. Captive breeding programs may be the only chance for lot of almost extinct species. Proper taxonomic and geographical determination is crucial for correct management of rescue programs. Shell shape variability studied by geometric morphometric method and supported by genetics is the right tool for this task. My thesis is focused on verification of the use of geometric morphometric method for selected species of family Geoemydidae. This family has centre of distribution in Asia and many of its species are endangered by so called Asian Turtle Crisis. We found unusual high occurrence of supernumerary vertebral scute in Morenia petersi. Shape of the carapace and plastron is not affected by presence of this extra scute. There are no significant differences between turtles with additional scute and turtles with normal five vertebral layouts. Scute pattern with supernumerary vertebral scute...
|
|
Canine babesisosis in Europe
Majerová, Karolina ; Votýpka, Jan (advisor) ; Široký, Pavel. (referee)
Babesiosis is a parasitic disease that affects various animal species and also human. It is characteristic by erythrocyte destruction and malaria-like syndroms and caused by different Babesia species which belong to the phylum Apicomplexa. Canine babesiosis is a serious veterinary disease which has recently spread to new regions in Europe and belongs to the cathegory of "emerging infectious diseases". The most common causative agent of canine babesiosis in Europe is Babesia canis whose vector is a tick Dermacentor reticulatus. The range of geographical distribution of D. reticulatus has been expanding in last decades - probably due to climate changes - northward and in Central Europe westward too. Occurrence of canine babesiosis in new regions which have been well documented from Central and Western Europe, is probably caused by the spread of its tick vector, Dermacentor reticulatus, but more factors can play a role.
|
| |
|
Performance Measurement of Selected Drools Tools
Široký, Petr ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
Performance testing is often overlooked. This thesis describes the performance testing of the Drools Expert and Drools Fusion tools. Drools is a Business Logic Integration Platform. Expert and Fusion are parts of this platform, which provide rule based expert system and event processing capabilities respectively. Tests are designed and implemented with main focus on finding performance regression between different versions of Expert and Fusion tools. Results for two versions of these tools are discussed at the end of the thesis.
|
|
Model-Based Testing of JBoss Drools
Široký, Petr ; Holík, Lukáš (referee) ; Letko, Zdeněk (advisor)
Model-based testing (MBT) is using a model of expected behavior of the system to automatically generate a set of tests. It aims at reducing the testing cost when compared to the traditional testing techniques. This work focuses on testing a real-world software system using the selected MBT tool OSMO. The tested system is responsible for compiling business rules and it is one of the main components of the Drools platform, developed by Red Hat. The work describes the introduction of MBT considering the good reception from the community of developers, then the creation of compiler input models and evaluation of the newly created test suite. The usage of the MBT resulted in detection of five reported and three potential issues in the tested code. Using the Drools compiler example, the work summarizes the main strengths and also weaknesses of practical use of MBT techniques.
|