|
|
Incremental Inductive Coverability for Alternating Finite Automata
Vargovčík, Pavol ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
In this work, we propose a specialization of the inductive incremental coverability algorithm that solves alternating finite automata emptiness problem. We experiment with various design decisions, analyze them and prove their correctness. Even though the problem itself is PSpace-complete, we are focusing on making the decision of emptiness computationally feasible for some practical classes of applications. We have obtained interesting comparative results against state-of-the-art algorithms, especially in comparison with antichain-based algorithms.
|
|
|
In Space
Blatná, Hana ; Vítková, Lenka (referee) ; Klímová, Barbora (advisor)
The bachelor's thesis is a series of fourteen drawings created exclusively using graphite. The drawings reflect a subjective view of the universe, inspired by archaic interpretations of planets and universe solids, conspiracy theories, black and white images of textures, surfaces, rocks and meteorites captured by modern technology. The drawings are an attempt to express hidden inner motives, personal mythology, the energy of the landscape, the relationship to nature. The paper is a parallel to the sky, a projection surface on which dreamy cosmic landscapes penetrate in imprints, geometric shapes and using perspective.
|
|
|
Shapelessness
Conde, Tamara ; Kohoutková, Karolína (referee) ; Jamrichová, Kristína (advisor)
The main body of my diploma work is composed of several paintings of large formats. These paintings depict the fusion, invasion, and profound alteration of two bodies being mixed into one. The paintings contain chunks of interwoven bodies of fleshy caucasian tones, that of my own body and that of oyster mushrooms. These formats are not placed in rigid confines. Along with the large paintings, there are two small formats on wood that resemble morphed organs between the two main models. These two small formats on wood play a fixed role in contrast to the loose canvases. These illustrative works of art play hide and seek with an explanatory audio for whoever roams too long in the installation. The documentation of the thesis text focuses on the partial historical reevaluation of humanity's notions of hybridity in a scientific and cultural sense. The text is structured to define the etymological logic of the keywords used to characterize the project, the philosophical implications these words convey, and to follow the links that tie my project to scientific concepts that are creatively misused in contemporary artistic practice even among other artists. To sum up, the text is structured in such a way as to define the reason why shapelessness is the best word to describe the ambitions of my artwork.
|
|
|
Shapelessness
Conde, Tamara ; Kohoutková, Karolína (referee) ; Jamrichová, Kristína (advisor)
The main body of my diploma work is composed of several paintings of large formats. These paintings depict the fusion, invasion, and profound alteration of two bodies being mixed into one. The paintings contain chunks of interwoven bodies of fleshy caucasian tones, that of my own body and that of oyster mushrooms. These formats are not placed in rigid confines. Along with the large paintings, there are two small formats on wood that resemble morphed organs between the two main models. These two small formats on wood play a fixed role in contrast to the loose canvases. These illustrative works of art play hide and seek with an explanatory audio for whoever roams too long in the installation. The documentation of the thesis text focuses on the partial historical reevaluation of humanity's notions of hybridity in a scientific and cultural sense. The text is structured to define the etymological logic of the keywords used to characterize the project, the philosophical implications these words convey, and to follow the links that tie my project to scientific concepts that are creatively misused in contemporary artistic practice even among other artists. To sum up, the text is structured in such a way as to define the reason why shapelessness is the best word to describe the ambitions of my artwork.
|
|
|
In Space
Blatná, Hana ; Vítková, Lenka (referee) ; Klímová, Barbora (advisor)
The bachelor's thesis is a series of fourteen drawings created exclusively using graphite. The drawings reflect a subjective view of the universe, inspired by archaic interpretations of planets and universe solids, conspiracy theories, black and white images of textures, surfaces, rocks and meteorites captured by modern technology. The drawings are an attempt to express hidden inner motives, personal mythology, the energy of the landscape, the relationship to nature. The paper is a parallel to the sky, a projection surface on which dreamy cosmic landscapes penetrate in imprints, geometric shapes and using perspective.
|
|
|
Incremental Inductive Coverability for Alternating Finite Automata
Vargovčík, Pavol ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
In this work, we propose a specialization of the inductive incremental coverability algorithm that solves alternating finite automata emptiness problem. We experiment with various design decisions, analyze them and prove their correctness. Even though the problem itself is PSpace-complete, we are focusing on making the decision of emptiness computationally feasible for some practical classes of applications. We have obtained interesting comparative results against state-of-the-art algorithms, especially in comparison with antichain-based algorithms.
|
|
|
On Belief in Power
Smetana, Pavel ; Hogenová, Anna (advisor) ; Blažková, Miloslava (referee)
This thesis researches the phenomenon of (mostly human) power from the point of view, from which human accepts it and believes in it. At first, it deals with the phenomenon of power in the work of Machiavelli (The Ruler) and it points out the possible danger of its absolutisation. For insight into thinking of Machiavelli, it deals with the analysis of Ľubomír Belás and also with the viewpoint of Anna Hogenová, Jan Patočka, Ernst Jünger, Václav Bělohradský and other authors. The thesis also shows the Comenius' criticism of Machiavelli. There comes a sort of revelation of the principle of power which disregards other values and the thesis warns against it. In the next step, the thesis researches the conception of Václav Klaus (Blue, not a Green Planet) and with the help of Jan Keller's statements and some scientifical opinions in ecological issues (Ravi Kumar Kooparapu) the thesis finds it closed in a certain way of economical thinking, guestioning-suppressive and thus somewhat power-based. Further, this thesis researches the form of strong distortion of the picture of the world which appears in the work of ideologist Alexander Dugin (The Great War of Continents). It shows dangerous power - demagogic features in his work and compares it with the similarities in the orations of Rudolf Goebbels. The...
|
|
|
Dzogchen and its philosophical aspect in Bon tradition
KLOZAR, Karel
The thesis deals with philosophical aspect of Dzhgchen, which is the core of the Yungdrung Bon traditon. It is very special spiritual tradition because of it's very special nondualistic view of man and universe. First part deals with the history and division of it's teachings and it's Dzogchen lineages. Next part focuses on explanation of differences in views of sutra, tantra and Dzogchen, mainly from the standpoint of the view of base, path, fruit, emptiness, clarity, conscioussness and mind and it's nature. Next part provides translation of the text Twelve little tantras and it's deep explanation. Last part, and most important one, focuses on philosophical examination of some key aspects of Dzogchen, mainly on it's view of autenticity of mindnature. This part also compares Pramenides's fragments with some key points of view of Buddhism and Dzogchen, which may lead to some unexpected conclusions about man's thinking and the problem of it's intentionality.
|
guest ::
