|
|
Využití simulovaného žíhání pro optimalizaci molekulárních otisků ve virtuálním screeningu
Filandr, Adam ; Hoksza, David (advisor) ; Kratochvíl, Miroslav (referee)
Ligand based virtual screening can be realised with various molecular rep- resentations. Fragment-feature representation represents the molecules as a set of fragments, where each fragment receives a set of descriptors. First goal of this thesis is to find suitable similarity function for such represen- tation. This representation can also be improved by assigning a weight for each descriptor, which gives it a priority in a given similarity function. The second goal of this thesis is to examine simulated annealing as an algorithm used to find the weights. We experimentally analysed the influence of various fragment types, descriptor types, similarity functions, correlated descriptors, fragment noise and parameters of simulated annealing. Because the experi- ments are computationally demanding, we also created a tool for large scale computations. 1
|
|
|
Výkonná simulace destrukce prostředí ve hrách
Dobranský, Marek ; Kratochvíl, Miroslav (advisor) ; Vinárek, Jiří (referee)
Destructible environments have become a popular feature of computer games. Currently used game engines employ different approaches to imple- ment such environment. This thesis studies several such approaches and implements some key ideas from available research in a new, combined ap- proach. We use tessellations and boolean operations on triangular meshes to modify rigid-body objects that represent game environment, and create a simple application to demonstrate the approach in a real-time environment. We conclude that the proposed method is mainly suitable for computer games that feature low-polygon meshes. 1
|
|
|
λ-calculus as a Tool for Metaprogramming in C++
Šefl, Vít ; Hric, Jan (advisor) ; Kratochvíl, Miroslav (referee)
The template system of C++ is expressive enough to allow the programmer to write programs which are evaluated during compile time. This can be exploited for example in generic programming. However, these programs are very often hard to write, read and maintain. We introduce a simple translation from lambda calculus into C++ templates and show how it can be used to simplify C++ metaprograms. This variation of lambda calculus is then extended with Hindley-Milner type system and various other features (Haskell-like syntax, user-defined data types, tools for interaction with existing C++ template code and so on). We then build a compiler capable of transforming programs written in this language into C++ template metaprograms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Design and implementation of a language for code-golf challenge
Kliber, Filip ; Parízek, Pavel (advisor) ; Kratochvíl, Miroslav (referee)
Code-golf is one of types of programming competitions. Primary objective of such competition is to provide a solution to relatively simple programming task, such that the length of the source code is minimal in terms of bytes. The goal of my thesis is to design and implement a programming language that is suited for code-golf challenges. The language is designed with respect to beginners in the code-golf domain. It preserves readability and intelligibility, and it is based on popular programming languages, but still provides facilities for concise writing of algorithmical solutions for code-golf tasks. The work also contains implementation of a standard library as support for runtime environment of the language. 1
|
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (advisor) ; Hric, Jan (referee)
The goal of this thesis is to explore the current possibilities of implementation of compilers of low-level functional languages. It is expected to evaluate theoretical possibilities of functional programming languages, possible limitations that arise from the absence of run-time code support in low-level environment, and to implement a language compiler that demonstrates some chosen properties. Powered by TCPDF (www.tcpdf.org)
|
|
|
Collegiate Chapter of Stará Boleslav: economic conditions in the early modern period
Kratochvíl, Miroslav ; Kostlán, Antonín (advisor) ; Maur, Eduard (referee)
In my diploma thesis is analyzed economic security of the collegiate chapter house in Stará Boleslav (near Prague). After an outline of the issue in the Middle Ages, the study concentrates on an evaluation of the profitability and economic impact of the estates of the Stará Boleslav chapter in the early modern period; also other possibilities of economic security are analysed here (including financial effect resulting from the Baroque pilgrimage). In some respects, the comparison is made here between Stará Boleslav collegiate chapter and some similar Czech church institutions. The topic is examined primarily on the basis of unpublished sources (land registers, population censuses etc.; list of the most important of them is included in appendix), taking into account also printed sources and secondary literature.
|
|
| |
|
|
Agricultural and Social Life of the Collegiate Chapter of Stará Boleslav in the Fifties and Sixties of the 17th Century
Kratochvíl, Miroslav ; Šedivá Koldinská, Marie (advisor) ; Zdichynec, Jan (referee)
The thesis analyses the agricultural and social life of the collegiate chapter of Stará Boleslav in the fifties and sixties of the 17th century. The core of the thesis focused on researching of the agricultural and social situation of the chapter of Stará Boleslav in the fifties and sixties of the 17th century follows after a brief outline of the chapter's history and its position within the context of the medieval and early modern development. The topic is mainly studied on the basis of unpublished sources (a list of the most important ones is presented below), also considering secondary literature, and it is placed into a broader context of the situation in Bohemia after the Thirty Years War. 1
|
|
|
Post-quantum alternative to secure sockets
Behún, Marek ; Kratochvíl, Miroslav (advisor) ; Kofroň, Jan (referee)
The goal of this thesis is to implement a software library that provides a wrapping of real-time socket- like communication into an cryptographic protocol with purpose similar to SSL or TLS, that is secure against an adversary in possession of a quantum computer. Resulting software utilizes the Supersingular Isogeny Diffie Hellman (SIDH) key-exchange algorithm for achieving this level of security, and is simple, portable and independent on system-specific primitives. The thesis gives a concise introduction to the theory on which SIDH is built, targeting the audience of undergraduate students of Computer Science. Powered by TCPDF (www.tcpdf.org)
|
|
|
The research on electrochemical and material characteristics new developed layered electrode materials for lithium-ion batteries
Kratochvíl, Miroslav ; Jirák, Tibor (referee) ; Sedlaříková, Marie (advisor)
The diploma thesis deals with electrode materials for lithium-ions accumulators, concretely layered materials prepared via new methods. The main objective of this work is dealing with new procedures prepare electrodes of newly developed layered electrode materials and subsequently their measure. Another challenge was a theoretical analysis of newly developed layered electrode materials for positive and negative electrodes and their preparation of new procedures. In this work the detailed procedures for the preparation of individual electrodes, electrolytes and other issues associated with these preparations. There were describing batteries of general, primary and secondary lithium cells, fuel cells, Lithium-ion batteries, layered materials forming the electrodes and of course the history these cells. Practical work is focused on separate measurements layered electrode materials prepared by new processes and assessment of results for individual layered materials. In the practical part has been made that the newly prepared layered electrode materials offer higher capacity and voltage.
|
guest ::
RSS feed.