National Repository of Grey Literature 370 records found  beginprevious367 - 370  jump to record: Search took 0.01 seconds. 
Code Generation from Object Oriented Petri Nets
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis describes opinions about generating code from PNtalk language into more standard object orinted languages, such as C++ or Java. Goal is to construct model of the formalism of Object Oriented Petri Nets (OOPN), represented in PNtalk languege in mentioned languages. This model should be simlpier and more effective than actual implementation in Smalltalk language. Thesis also contains ideas about abstactization the code generator to be able to generate code in various languages.
Cryptanalysis of Symmetric Encryption Algorithms Using Genetic Programming
Smetka, Tomáš ; Janoušek, Vladimír (referee) ; Homoliak, Ivan (advisor)
This diploma thesis deals with the cryptanalysis of symmetric encryption algorithms. The aim of this thesis is to show different point of view on this issues. The dissimilar way, compared to the recent methods, lies in the use of the power of evolutionary principles which are in the cryptanalytic system applied with help of genetic programming. In the theoretical part the cryptography, cryptanalysis of symmetric encryption algorithms and genetic programming are described. On the ground of the obtained information a project of cryptanalytic system which uses evolutionary principles is represented. Practical part deals with implementation of symmetric encrypting algorithm, linear cryptanalysis and simulation instrument of genetic programming. The end of the thesis represents experiments together with projected cryptanalytic system which uses genetic programming and evaluates reached results.
Object Oriented Petri Nets Virtual Machine
Sitarčík, Ľuboš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This diploma thesis formally defines the Object Oriented Petri Nets and presents term a virtual machine. Then it introduces the concept of Object Oriented Petri Nets Virtual Machine. Finally, project describes a procedure for implementation of the OOPN Virtual Machine.
Odborné podklady pro legislativní zajištění úrazového pojištění
Janoušek, Vladimír ; Kučina, Pavel ; Paleček, Miloš
Zpracování odborných podkladů pro vládní návrh o úrazovém pojištění a vymezení principů prováděcích právních předpisů k zákonu o úrazovém pojištění.
Fulltext: Download fulltextPDF; Download fulltextPDF; Download fulltextPDF; Download fulltextPDF; Download fulltextPDF

National Repository of Grey Literature : 370 records found   beginprevious367 - 370  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.