|
|
Verification of Programs with Pointers Based on Pattern Detection
Kubíček, Jan ; Erlebach, Pavel (referee) ; Vojnar, Tomáš (advisor)
This paper presents our results in study of verifiaction of infinite state space systems. We deal more concretely with abstract model checking. As main part of study we learned about pattern-based verification. This method is supposed to verify programs with dynamic memory structures like lists. Those structures are presented as directed graph. Pattern-based verifiaction abstracts any number of nodes by replacing them with summarized node. This way we achieve bounded presentation of unbounded memory structure. Afterwards, verification is very effective due to low number of possible memory configurations. In our own work we deal with making model of a program for a tool that implements pattern-based verification. This model isconstructed from a subset of the C language. The main contribution of work is making the verification of simple programs written in C language completely self-acting by automation of constructing input model. In this paper wepresent the grammar of created subset of the C language and implementation details of translation.
|
|
|
Diversity of iris coloration during evolution of geckos (Gekkota)
Ozerskyi, Serhii ; Brejcha, Jindřich (advisor) ; Šmíd, Jiří (referee)
Iris is an anatomical structure that performs the function of a diaphragm in the visual system of the eye. It usually occupies most of the visible part of the eye. In addition to the main function - not to let light pass by the pupil, iris can play many different roles due to the great variability of its coloration. Iris can be part of a camouflage or aposematic color, play a different role in intra- or interspecific communication. In some species, its color changes depending on age, season, biological cycles, or even quickly become marked in response to stimuli. Geckos (Gekkota) are distinguished by a particularly large variety of iris color. And in many of them, the iris pattern resembles branching veins. What significance and evolution history this pattern has is of interest. I used various models of evolutionary reconstruction in the R program to study the evolution of veined pattern of coloration of the iris, as well as phylogenetic comparative methods and binary character evolution model to identify its connections with the fusion of life and the contrast in brightness between the eye and the eye ring. It was revealed that the veined pattern is an ancestral condition for geckos and is present in most modern species. Most precisely, the evolution of the vein pattern is described by all rates different...
|
|
|
PATTERN PAINT ROLLER LAB
Giacintová, Zdeňka ; Arndt, Jan (referee) ; Ondrík, Jozef (advisor)
My work focuses on the technique of pattern paint rollers and their historical context. Above all, the work presents an opportunity for me to engage with a phenomenon that was very popular in its time and to explore its potential beyond traditional perceptions. Through a series of tests, I experimented with creating new designs and explored the possibilities of this technology, which included, for example, tests of the materiality and size of the roller matrix or the transfer of the decor from its typical interior setting to an exterior environment.
|
|
|
no noon on
Janechová, Lucia ; Houser, Milan (referee) ; Štindlová, Marie (advisor)
The thesis focuses on the theme of sun. We perceive the sun in many different ways according to its position on the sky, to where we are located or simply depending on our current mood. In paintings and objects I look for ways to capture it's visual form or the imprints of feelings it's capable of creating. For that I use spiky or round branch-like shapes as the variations of the sun rays, in the centre of paintings is usually a circle. I combine acrylics and oil with dry pastel, which enable more relaxed and free strokes. In effort to expand the scale of medium I included materials like copper or concrete in my work. The series is therefore finished with relief almost-objects and a copper “gate” the sun figuratively passes through at noon.
|
|
|
Diversity and function of pattern structures in the microworld
Hirnerová, Anna ; Škaloud, Pavel (advisor) ; Němcová, Yvonne (referee)
This thesis summarizes current knowledge of patterns and structures at various scales, with an emphasis on the use of these patterns in the microworld and also on the materials that are most often used. Patterns are applied in all areas of natural processes and human activity. There are many analogous models at different scales, but we do not know if they have the same self-organizing mechanisms. Many patterns formed by microorganisms can be prepared without their presence, on the basis of physical and chemical methods, so they are probably created under certain parameters that can be influenced by a given protist. These patterns are evolutionarily advantageous for microorganisms, because they provide them with a number of functional adaptations, mainly in connection with defense against predators and movement in the water column, which is based on the organism's life strategy. The mathematical description of the pattern is extremely important for its further research and for determining the laws that have allowed the organism to benefit from its parameters. Keywords: pattern, structure, convection, reaction - diffusion model, geometry, protist, microorganism, skeletons, shells, scales
|
|
| |
|
|
Personal and family representation of Zacharias of Hradec in the Telc Chateau.
Salava, Jan ; Zlatohlávek, Martin (advisor) ; Nespěšná Hamsíková, Magdaléna (referee)
The castle in Telc is one of the few buildings in the Czech republic whose interiors from the second half of the 16th century have been preserved almost unaltered. Owner dominion Zacharias of Hradec had the castle enlarged and its interiors splendidly decorated. The decorations reflect the personal taste of the castle lord. The early designs were taken from a production of Nurnberg workshops. Later the Dutch influence prevailed. The inspiration by the Dutch engravers Cornelis Cort, Frans Huys and Swiss Rudolf Wyssenbach can be traced. Later, but not less important source of inspiration, is book Imagines gentis austriacae by the Italian painter and draughtsman Francesco Terzio. Various crypto-portraits, mainly in the Rooms that were opened to the public, may be attributed to personal representation as well. Another very specific form of representation are the bears who support the coat of arms of the castle lord and his first wife Kateřina of Wallenstain. The bears point out to a legend, according to which the castle lord's family descends from house Ursini, an ancient Italian family. The imperial chamber served for family representation as well. The chamber is decorated with portraits medallions of the roman kings and queens and several unidentifiable portraits. Although I was not able to prove...
|
|
|
The relationship between a computer game and its audiovisual pattern
Šírová, Tereza ; Šlerka, Josef (advisor) ; Šisler, Vít (referee)
Diploma thesis The Relationship between the Computer Game and its Audiovisual Pattern deals with the similarities and differences between the computer games and audiovisual works. The thesis presents some theories reflecting different points of view to the influence and blending of these media forms. Those theories are the base for a suggestion of typology of games and movies adaptations that were made according to a pattern. In each of three suggested categories, there are mentioned some particular examples of computer games that were inspired by movie or series and also examples of movies that were inspired by computer game. The final chapter is a case study which compares the computer game Lost: Via Domus to its audiovisual pattern - series Lost.
|
|
|
Effects of pattern, size and background contrast of prey on discrimination learning in avian predators
Kuncová, Aneta ; Exnerová, Alice (advisor) ; Komárek, Stanislav (referee)
The topic of this master thesis was the effects of pattern, size and background contrast of prey on discrimination learning of avian predators. The aim of this study was to investigate the influence of selected components of warning coloration on aversive discrimination learning of avian predators of different age and sex. The choosen model organism was the Great tit (Parus major). The comparision was done between hand-reared naïve birds and wild-caught adults of different age and sex. The experiment was taking place in the experimental cage with one way mirror. The experiment used a design of simultaneous task with two pray which differed in one component of the coloration (pattern, size and background kontrast). The differencies in the ability of discrimination learning was found just between hand-rared naïve birds and wild-caught adults. Better results were shown by the wild-caught adults. The ability of discrimination learning of wild-caught adults was not influenced by the age and sex. Pattern was the only significant component of the warning coloration due to which the birds were able to memorise the discrimination task. Key words: avoidance learning, unpalatable prey, pattern, size, background, contrast
|
|
|
Evolutionary significance of visual traits of flowers and their influence on the pollinator constancy
Haveldová, Alice ; Štenc, Jakub (advisor) ; Klečka, Jan (referee)
Flower constancy is a behavior in which the pollinator visits flowers of the same plant species in a sequence more than would correspond to its preference for the given plant. This behavior is advantageous for plants because it can ensure efficient intraspecific pollen transfer which has a positive effect on their biological fitness. More efficient pollen transfer can lead to the selection of (visual and olfactory) flower traits that encourage flower constancy of pollinators. The main visual floral traits that affect constancy include colour, pattern, shape and size. However, these traits are of different importance for pollinators when they are deciding which flower to visit, and therefore their effect on flower constancy varies. The degree of flower constancy also differs between the functional groups of pollinators. Flower constancy is generally low in vertebrates, but insects and especially representatives of the order Hymenoptera are often flower constant.
|
guest ::
