National Repository of Grey Literature 52 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
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 cryptosystem based on error-correcting codes
Kratochvíl, Miroslav ; Yaghob, Jakub (advisor) ; Kofroň, Jan (referee)
The goal of this thesis is to present the problem of implementation of user- friendly and practical cryptosystem based on algorithms that are intractable by quantum computing. Resulting software is expected to use code-based cryptography (McEliece-based cryptosystems) to the highest possible extent while maintaining similarity with already-existing cryptographical applications (GnuPG). 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
Differential discovery of protein features using tandem mass spectrometry
Wybitul, Evžen ; Kratochvíl, Miroslav (advisor) ; Pluskal, Tomáš (referee)
Disulphide bonds are crucial to correct protein folding, and heavily influ- ence protein function. Tandem mass spectrometry protein analysis is often used for the determination of disulphide bond positions, in combination with manual or computational interpretation methods. In this thesis we devise a program for automatic disulphide bond characterization called Dibby. Dibby identifies protein fragments in the fragmentation spectra, and uses the iden- tified fragments to determine which cysteines were connected in the protein. The identification algorithm is able to identify even complex fragments with multiple disulphide bonds that are often missed by other methods. To re- duce the fragment search space, we employ divide and conquer and branch and bound techniques. We evaluate Dibby on both measured and in-silico generated datasets, and find that it correctly identifies large portion of the present disulphide bonds with minimal manual interventions. 1

National Repository of Grey Literature : 52 records found   1 - 10nextend  jump to record:
See also: similar author names
20 KRATOCHVÍL, Martin
14 KRATOCHVÍL, Michal
1 Kratochvíl, M.
2 Kratochvíl, Marek
20 Kratochvíl, Martin
2 Kratochvíl, Martin Dominik
4 Kratochvíl, Matouš
12 Kratochvíl, Matěj
1 Kratochvíl, Maxim
14 Kratochvíl, Michal
1 Kratochvíl, Milan
1 Kratochvíl, Miloslav
1 Kratochvíl, Miloš
Interested in being notified about new results for this query?
Subscribe to the RSS feed.