|
|
Analysis of Distributed Computing Technologies for Password Cracking
Mráz, Patrik ; Veselý, Vladimír (referee) ; Hranický, Radek (advisor)
The goal of this thesis is to analyze the technologies for distributed computing in password cracking. Distribution is a key factor regarding the total time of cracking the password which can sometimes take up to tens of years. In the introductory section we take a look at the general password cracking, types of attacks and the most popular tools. Next we address the GPU parallelization as well as the need of distributed computing on multiple computers. We look at all kinds of technologies, such as VirtualCL, BOINC, MPI and analyze their usability in password cracking. We examine each technology's performance, efficiency, scalability and adaptability when given pre-defined conditions. Part of this thesis is a design and implementation of distributed password cracking using MPI technology along with Hashcat, a self-proclaimed World's fastest password cracker.
|
|
|
Tool for Abstract Regular Tree Model Checking
Mráz, Patrik ; Rogalewicz, Adam (referee) ; Hruška, Martin (advisor)
Formal verification deals with proving the correctness of the system according to the given specifications. Its need is driven by an increasing number of computers and a increase in the complexity of the systems being developed. The aim of this work is to implement the formal verification tool abstract regular tree model checking (ARTMC) over the VATA library. To achieve this goal, it was necessary to extend the VATA library on the finite tree transducers, abstractions of tree automata and integrate them together with the ARTMC into the VATA library.
|
|
|
Reproductive isolation between diploid and tetraploid cytotype of Vicia cracca and possibilities of evolution of this aggregate
Vlčková, Zuzana ; Münzbergová, Zuzana (advisor) ; Mráz, Patrik (referee)
Master thesis investigates reproductive barriers in diploid-polyploid complex of Vicia cracca. Complex with basic chromosome number x=7 consists of diploid (2x=14), tetraploid (4x=28) and rare triploid (3x=21) cytotype. I studied prereproductive barriers between diploid and tetraploid cytotype: phenology of flowering, pollinators' behavior (preference of spieces of pollinators to cytotypes, sequence of visited cytotypes), variables, that could explain pollinators' behavior (amount of nectar as the main reward, size and amount of pollen grains as a potentional reward). To find out how strong the triploid block is I analyzed ploidy of seeds and seedlings from mixed-ploidy population. The habitat isolation showed up to be the strongest reproductive barrier. Pollinator's behavior meaningfully contributes to isolation, phenology of flowering contributes only minimally. Index expressing rate of prereproductive barriers is 0,956. Pollinator Bombus pascuorum visited on one locality preferably tetraploid plants and Andrena sp. preferred diploid plants. Even though tetraploid plants produce more nectar, no other analysis showed pollinators' preference to tetraploid plants. I prepared one squash of diploid V. cracca using method of in situ hybridization. This method needs to be optimilized for the studied taxon.
|
|
|
Origin, inheritance and ecological sygnificance of apomixis in the genus Hieracium s.str.: the role of genetic and epigenetic mechanims
Pinc, Jan ; Mráz, Patrik (advisor) ; Hojsgaard, Diego (referee) ; Mandák, Bohumil (referee)
Apomixis (asexual reproduction by seeds) has the considerable potential in agriculture and crop breeding due to its ability to produce genetically identical progenies in a form of persistent propagules, i.e. seeds. However, the processes laying behind the origin of apomixis and connected molecular mechanisms are still unknown. Despite the fact, that apomicts are considered to be an evolutionary dead-ends, they are often more widely distributed than their sexual relatives (this phenomenon is commonly referred to as geographical parthenogenesis (GP). Although this phenomenon is studied for decades, its causes are still not fully understood. Importantly, several recent studies pointed out that apomicts with limited genetic variability can at some extent react to changing environment through changes in gene transcription by epigenetic modifications. It is generally assumed, that hybridisation and polyploidization played a crucial role in the emergence of apomixis. For this reason, presented studies test the putative origin of selected polyploid apomicts and if the interspecific hybridisation between diploid sexuals triggers polyploidization using predominantly polyploid and apomictic genus Hieracium s. str. Surprisingly, the presented study demonstrates the hybrid origin of almost all investigated...
|
|
|
Analysis of Distributed Computing Technologies for Password Cracking
Mráz, Patrik ; Veselý, Vladimír (referee) ; Hranický, Radek (advisor)
The goal of this thesis is to analyze the technologies for distributed computing in password cracking. Distribution is a key factor regarding the total time of cracking the password which can sometimes take up to tens of years. In the introductory section we take a look at the general password cracking, types of attacks and the most popular tools. Next we address the GPU parallelization as well as the need of distributed computing on multiple computers. We look at all kinds of technologies, such as VirtualCL, BOINC, MPI and analyze their usability in password cracking. We examine each technology's performance, efficiency, scalability and adaptability when given pre-defined conditions. Part of this thesis is a design and implementation of distributed password cracking using MPI technology along with Hashcat, a self-proclaimed World's fastest password cracker.
|
|
|
Geographical parthenogenesis: evolutionary and ecological significance of apomictic reproduction in vascular plants
Hartmann, Matthias ; Mráz, Patrik (advisor) ; Dobeš, Christoph (referee) ; Krahulec, František (referee)
It has been suggested that polyploidization affects the ecological niche of a species, possibly ultimately leading to a shift in the distribution of the species, such as in geographical parthenogenesis. The phenomenon describes the wider distribution and shift of asexuals towards higher altitudes, northern latitudes and more extreme habitats when compared with their closely related sexual relatives. Several hypotheses have been proposed to explain such patterns with lacking empirical evidence because investigations rather focused on single hypotheses, which were rather tested several times independently on multiple organisms than vice versa. Therefore, the present study aimed to tackle the phenomenon of geographical parthenogenesis from multiple angles, i.e. testing several hypotheses simultaneously using Hieracium alpinum as a model system. In the arcto-alpine Asteraceae H. alpinum sexually reproducing diploid individuals occur in a small isolated area in the Eastern and Southern Carpathians, while apomictically reproducing, i.e. asexual reproduction via seeds, triploid plants occupy the remaining and much larger part of the range from the Balkans to the arctic parts of Europe. This implies that asexual triploids have had some fitness / colonization advantage(s), leading to a replacement of sexual diploids...
|
|
|
Mode of reproduction and reproductive assurance of diploid and polyploid hawkweeds (Hieracium s. str.)
Zdvořák, Pavel ; Mráz, Patrik (advisor) ; Krahulcová, Anna (referee)
The mode of reproduction can greatly influence the demography and the evolutionary success of the taxon. In the case of autonomous asexual formation seeds are apomictic taxa fully independent of pollinators and compatible partners. For sexual taxa with strict autoincompatibility it is the opposite, i.e. sexual taxa need pollinators and compatible partners for birth of offspring. Therefore, in marginal population and for more extreme situation with lower pollinating activity will have apomictic taxa a higher level of reproductive assurance than sexual taxa vascular plants. This hypothesis was tested in natural populations of apomictic and sexual taxa. In the diploma thesis we therefore investigate the method mode of reproduction and reproductive assurance of 52 taxa of the genus Hieracium s. str. (family Asteraceae) in Europe. Of these, 12 were diploid sexually diploid taxa and 42 polyploid apomictic reproductive taxa. From these taxa we harvested seeds from fully developed capitulum and we determined the potential (total number of seeds in the capitulum) and the realized (the percentage of well-developed seeds at the capitulum). The ploidy of the offspring (the embryos and the seedling) and method origins of seeds we examined using flow cytometry. The results show that the plants of diploid species...
|
|
|
Tool for Abstract Regular Tree Model Checking
Mráz, Patrik ; Rogalewicz, Adam (referee) ; Hruška, Martin (advisor)
Formal verification deals with proving the correctness of the system according to the given specifications. Its need is driven by an increasing number of computers and a increase in the complexity of the systems being developed. The aim of this work is to implement the formal verification tool abstract regular tree model checking (ARTMC) over the VATA library. To achieve this goal, it was necessary to extend the VATA library on the finite tree transducers, abstractions of tree automata and integrate them together with the ARTMC into the VATA library.
|
|
|
Transgenerational effect of nutrient treatment on progeny of an apomitic plant
Vlk, Lukáš ; Mráz, Patrik (advisor) ; Skálová, Hana (referee)
Environmental conditions can influence epigenetic variability of clonal organisms. These environmentally induced changes have potential to persist in following generations. In theory, this transgenerational memory could allow clonal (and especially apomictic) plants to partly compensate reduced genetic variability and could enhance adaptative ability of apomictic populations. According to Muller's ratchet model, asexual organisms amass deleterious mutations, which could lead to their extinction. Possible transgenerational memory could partly compensate for this. It could also account for longtime survivorship of asexual organisms in environment. This thesis deals with transgenerational memory of triploid apomictic populations of Hieracium alpinum, with completely missing sexuality and thus genetically uniform offspring. Transgenerational effect in Hieracium alpinum was studied on clonal lineages originated from 5 populations (Norway, Austria, Bosnia and Herzegovina and Slovakia). Seeds were planted in cultivation experiment I in 3 treatments (control, added nutrients, added salicylic acid) and vegetative and generative traits were measured. Plants responded to nutrient addition but not to salicylic acid. Treatment with nutrient addition increased biomass, number of leaves and SLA (specific leaf...
|
|
|
Is there any influence of ecological gradient on the introgression and its evolutionary consequences in the genus Arabidopsis?
Hojka, Jakub ; Marhold, Karol (advisor) ; Mráz, Patrik (referee)
1 Hybridization, introgression and polyploidy, especially in their combination, belong to the most important speciation processes in vascular plants. Athough basic features of these processes are generally well known, their cases in particular groups of plants and concrete cases differ a lot and their studies often bring interesting results. In the genus Arabidopsis several cases of combined hybrid and polyploid speciation are known (e.g. A. kamchatica, A. suecica) and there are also cases where we expect introgressive hybridization (e.g. between A. arenosa and A. petraea). The aim of the bachelor thesis is an evaluation of known cases of homo- and heteroploid introgressive hybridization and hybrid speciation in the genus Arabidopsis in the context of similar cases in the family Brassicaceae and perhaps also other families of vascular plants. Next aim is to design method of detailed evaluation of the introgressive zone of A. arenosa and A. petraea (= A. lyrata subsp. petraea) in Central Europe using mophological, cytometric and molecular evidence as well as ecological parameters of studied localities. Set of morphological characters will be tested on the currently available material of A. arenosa that is cultivated at CEITEC Brno as part of the finalised GACR project.
|
guest ::
RSS feed.