|
|
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.
|
|
|
High-performance exploration and querying of selected multi-dimensional spaces in life sciences
Kratochvíl, Miroslav ; Bednárek, David (advisor) ; Glaab, Enrico (referee) ; Svozil, Daniel (referee)
This thesis studies, implements and experiments with specific application-oriented approaches for exploring and querying multi-dimensional datasets. The first part of the thesis scrutinizes indexing of the complex space of chemical compounds, and details a design of high-performance retrieval system for small molecules. The resulting system is then utilized within a wider context of federated search in heterogeneous data and metadata related to the chemical datasets. In the second part, the thesis focuses on fast visualization and exploration of many-dimensional data that originate from single- cell cytometry. Self-organizing maps are used to derive fast methods for analysis of the datasets, and used as a base for a novel data visualization algorithm. Finally, a similar approach is utilized for highly interactive exploration of multimedia datasets. The main contributions of the thesis comprise the advancement in optimization and methods for querying the chemical data implemented in the Sachem database cartridge, the federated, SPARQL-based interface to Sachem that provides the heterogeneous search support, dimensionality reduction algorithm EmbedSOM, design and implementation of the specific EmbedSOM-backed analysis tool for flow and mass cytometry, and design and implementation of the multimedia...
|
|
|
Heuristics for paths in maps
Kudláčková, Lada ; Mareš, Martin (advisor) ; Kratochvíl, Miroslav (referee)
The content of the thesis is a description of heuristic procedures, which are used to find the shortest paths in the graphs and verify their effec- tiveness on the actual data. It deals with heuristics for Dijkstra's algorithm, especially the A* algorithm, which uses a lower distance-to-target estimate. Heuristics are implemented and tested on the road network of the Czech Re- public. 1
|
|
|
Inference-driven resource managemenent and polymorphism in systems programming
Klepl, Jiří ; Kratochvíl, Miroslav (advisor) ; Bednárek, David (referee)
Systems programming languages facilitate the implementation of software that runs in restricted environments close to the hardware, such as operating systems, drivers, and real-time and embedded systems. Implementation of desirable features of such languages, such as generic programming and type system capabilities that prevent programmer errors, are complicated by strict constraints on the run-time properties of the program. This thesis explores a novel combination of C-- language with advanced type system features that allow type checking of highly polymorphic generic code and demonstrates type-driven resource management in this language. As the main result, the thesis provides a proof-of-concept in a prototype compiler of an extended ver- sion of C-- to LLVM and describes a type system based on deferred constraint solving that is capable of type inference in the presence of multi-parameter typeclasses and C-- subtypes. We demonstrate the functionality of the type system and the compiler on selected program examples and report several identified design challenges that may be addressed to make the system more practical. 1
|
|
|
Sound Synthesizer Emulator
Kulikov, Maximilian ; Klusáček, David (advisor) ; Kratochvíl, Miroslav (referee)
A tool for creation of emulators of audio synthesizers. The base of the work is an imperative programming language Cynth that describes signals of the resulting sound. Cynth code is translated into C code for further linkage with a program that controls GUI and MIDI input controls and output monitoring and connection with a sound card. The intermediate step of translation into C allows taking advantage of the C compiler optimizations. The Cynth language is restricted in a way that eliminates any dynamic allocations at run-time while allowing complex compile-time programming and working with statically allocated data structures for expressive description of signals. 1
|
|
| |
|
|
Implementation of a tone mapping operator for scotopic viewing conditions
Safko, Martin ; Wilkie, Alexander (advisor) ; Kratochvíl, Miroslav (referee)
Creating night-time images and movies that look plausible has been a problem in the industry since the creation of camera. To capture an image we need enough light to create a measurable quantity on a camera sensor. For this reason, shooting at night was not possible until sensors sensitive enough were developed and even then the captured images do not look realistic. Movie industry circumvent these issues by manually color correcting the footage in post-production. We implement an algorithm presented in a 2011 SIGGRAPH paper capable of solving this problem in a psycho-physically plausible and consistent way for spectral images and also augment it by a technique taken from a paper by INRIA. 1
|
|
|
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
|
|
|
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
|
|
|
Sound Synthesizer Emulator
Kulikov, Maximilian ; Klusáček, David (advisor) ; Kratochvíl, Miroslav (referee)
A tool for creation of emulators of audio synthesizers. The base of the work is an imperative programming language Cynth that describes signals of the resulting sound. Cynth code is translated into C code for further linkage with a program that controls GUI and MIDI input controls and output monitoring and connection with a sound card. The intermediate step of translation into C allows taking advantage of the C compiler optimizations. The Cynth language is restricted in a way that eliminates any dynamic allocations at run-time while allowing complex compile-time programming and working with statically allocated data structures for expressive description of signals. 1
|
guest ::
RSS feed.