Hledat
Zobrazují se záznamy 1-6 z 6
Suffix Array for Large Alphabet
Suffixové pole pro velkou abecedu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lánský, Jan
Datum publikování: 2007
Datum obhajoby: 14. 05. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Burrows-Wheelerova Transformace (BWT) [3] je používána jako hlavní část blokové komprese, která má dobrý kompresní poměr a přijatelný čas běhu. Suffixová pole jsou používána v kódovací fázi BWT a my se soustředíme na jejich ...
Burrows-Wheeler Transform (BWT) [3] is used as the major part in block compression which has good balance of speed and compression ratio. Suffix arrays are used in the coding phase of BWT and we focus on creating them for ...
Burrows-Wheeler Transform (BWT) [3] is used as the major part in block compression which has good balance of speed and compression ratio. Suffix arrays are used in the coding phase of BWT and we focus on creating them for ...
Web Frameworks Comparison Concerning the Efficiency of Development
Web Frameworks Comparison Concerning the Efficiency of Development
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Skoro všetky podnikové webové projekty sú dnes implementované v nejakom webovom frameworku. Frameworky sa líšia vo filozofii, vlastnostiach a podpore pre ostatné populárne frameworky a technológie. Cieľ tejto práce bolo ...
Almost all enterprise web projects today are implemented in some kind of web framework. The frameworks differ in philosophy, features and support for other popular frameworks and technologies. The aim of this thesis was ...
Almost all enterprise web projects today are implemented in some kind of web framework. The frameworks differ in philosophy, features and support for other popular frameworks and technologies. The aim of this thesis was ...
Précis querying over relational data
Précis querying over relational data
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2007
Datum obhajoby: 21. 05. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Free form of querying a database belongs among basic methods of text processing. In the past, a number of attempts appeared to use this style of querying also over a relational database (e.g. system BAROQUE [3] in 80ties). ...
Network Repository for Performance Evaluation Results
Network Repository for Performance Evaluation Results
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2007
Datum obhajoby: 05. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: For performance evaluation of software systems, benchmarking is used. Benchmarking generates a large amount of output data, which is necessary to store, process and evaluate it. Network Repository serves as a repository ...
Pro měření výkonu softwarových systemů se používá benchmarkovaní. Benchmarkovaní vytváří velké množství dat, které je třeba ukládat, zpracovávat a vyhodnocovat. Network Repository slouží jako úložiště výsledků vznikajících ...
Pro měření výkonu softwarových systemů se používá benchmarkovaní. Benchmarkovaní vytváří velké množství dat, které je třeba ukládat, zpracovávat a vyhodnocovat. Network Repository slouží jako úložiště výsledků vznikajících ...
Risk Process with Random Income
Proces rizika s náhodným příjmem
Diplomová práce (OBHÁJENO)
Vedoucí práce: Klebanov, Lev
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This diploma thesis deals with risk processes. It describes a classical risk process and mentions the ruin probability. A convolution formula and the Beekman convolution formula for calculating the ruin probability are ...
Silné důkazové systémy
Silné důkazové systémy
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: R-OBDD je nový Cook-Reckhowův důkazový systém pro výrokovou logiku založen na kombinaci OBDD důkazového systému a rezolučního důkazového systému. R-OBDD má sílu OBDD důkazového systému - tautologie s exponenciálně velkými ...
R-OBDD is a new Cook-Reckhow propositional proof system based on combination of OBDD proof system and resolution proof system. R-OBDD has the strength of OBDD proof system - hard tautologies for resolution like PHPn or ...
R-OBDD is a new Cook-Reckhow propositional proof system based on combination of OBDD proof system and resolution proof system. R-OBDD has the strength of OBDD proof system - hard tautologies for resolution like PHPn or ...