|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (advisor) ; Kubalík, Jiří (referee)
In this thesis is presented design and implementation of a system performing genetic programming in simply typed lambda calculus. Population initialization method based on term generating technique producing typed lambda terms in long normal form is introduced. This method is parameterized by simple search strategy. Several search strategies are presented, such as strategy for systematic generation or strategy corresponding to standard ramped half-and-half method. Another such a strategies called \textit{geometric} strategy is further examined in experiments and shown to have various desirable effects such as improved success rate, lesser time consumption and smaller average term size in comparison with standard ramped half-and-half generating method. Other performance enhancements are proposed and supported by experiments such as eta-normalization of generated individuals and @-tree representation of individuals. Abstraction elimination is utilized to enable use of simple tree- swapping crossover. Powered by TCPDF (www.tcpdf.org)
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (advisor) ; Kubalík, Jiří (referee)
In this thesis is presented design and implementation of a system performing genetic programming in simply typed lambda calculus. Population initialization method based on term generating technique producing typed lambda terms in long normal form is introduced. This method is parameterized by simple search strategy. Several search strategies are presented, such as strategy for systematic generation or strategy corresponding to standard ramped half-and-half method. Another such a strategies called \textit{geometric} strategy is further examined in experiments and shown to have various desirable effects such as improved success rate, lesser time consumption and smaller average term size in comparison with standard ramped half-and-half generating method. Other performance enhancements are proposed and supported by experiments such as eta-normalization of generated individuals and @-tree representation of individuals. Abstraction elimination is utilized to enable use of simple tree- swapping crossover. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Czech comics for children serving the new regime on examples of Rychlé Šípy and Jiskrovci comics (1945-1949)
Kubalík, Jiří ; Švec, Štefan (referee) ; Suk, Pavel (advisor)
Diploma thesis deals with the relationship between totalitarian propaganda and the comics. Special accent is laid upon the extraordinary comics series Jiskrovci and Rychlé šípy. In the thesis we explore possible connections of ideologically driven communication and its infuence in the field of the magazines for children and young people - especially the magazine Vpřed and Junáci vpřed!. We deal with the possible propagandist continuity, which connected all totalitarian regimes through the spectrum of that time. We deal with the level of conscious usage of the propaganda, following the timeline forma the nacistic Germany to postwar Czechoslovakia. The Czechoslovakian area is the key one for the purposes of this work. We support out findings with the analysis of the comics series a their mutual comparison. Similarities found in that comparison are the basis for proving or denying the propagandist tendencies in postwar Czechoslovakia. The thesis concentrates on the rise of the propagandist trends in the time of regime change. Comics Rychlé šípy was chosen because of its special status in the czech history and its educational dispositions. Jiskrovci was chosen because the comics aimed to reach the continuity with the Rychlé šípy, but was made after the totalitarian takeover in 1948.
|
|
|
Can I understand it?
Člověk v tísni, o. p. s. ; Bártová, Kateřina ; Cakl, Ondřej ; Dorůžková, Lucie ; Kadlecová, Markéta ; Kalibová, Klára ; Kubalík, Jiří ; Ludvíková, Miroslava ; Metelka, Petr ; Pospíchalová, Adéla ; Sedlášková, Petra ; Štampach, Ivan ; Toušek, Ladislav ; Vojtíšek, Zdeněk ; Zahradníková, Marie
Fulltext:  PDF
|
guest ::
RSS feed.