The work brings an implementation of an extensible parser, based on kind grammars. The application supports run-time syntax extensions, such as adding a new syntactic rule or a new terminal symbol, based on information ...

Benchmarks of software systems produce large amount of data that need to be stored and processed. The goal of the thesis is to design and implement a repository, providing also functions for presentation of the results. ...

A key feature of a mobile robotic system is the ability to determine its exact position. Solutions using digital cameras to accomplish this task play a major role in the current research. This thesis studies the topic of ...

Single crystals of Bi2Se3 doped with Mn (cMn=0 - 3,0.1019 atoms/cm3) atoms were grown using a modified Bridgman method. Prepared samples were characterized by X-ray diffraction analysis, reflectivity measurement in the ...

The thesis examines the share of market and credit exposition on the total rate of risk of an equity index. The paper describes models for estimation of market risk using the Value-at-Risk methods, which are the parametric ...

This thesis is dedicated to basic methods of calculating IBNR reserve estimate. The following approaches are introduced: chain ladder method, Mack's chain ladder method and Munich chain ladder method. Last two of them ...

Cílem této práce bylo navrhnout a implementovat notový editor se základními editačními funkcemi, ke kterým bude v budoucnu snadné přidávat další až do rozsahu použitelného pro hudebníky. Editor umožňuje vkládat a editovat ...

Cílem práce je porovnat stávající plánovací strategie ve webových robotech, navrhnout jejich pípadné vylepení a implementovat odpovídající monitor (plánovací strategii) ve webovém robotu.

Shell galaxies are ordinary elliptical galaxies that contain a fine structure in the form of concentric arcs with sharp edges in their luminous profile. This work contains a summary of our comprehensive study of the actual ...

Cílem diplomové práce bylo vytvořit sbírku řešených úloh z matematiky. Tato sbírka je určena jak žákům základních škol, protože obsahuje množství řešených příkladů, tak učitelům vyučujícím na základních školách jako inspirace ...

Diplomová práce se zabývá možnostmi využití internetu ve výuce funkcí na střední škole. Práce je rozdělena do dvou částí. První část se zabývá již existujícími internetovými stránkami s tématem funkce. Nalezené stránky ...

Předložená práce se zabývá modelováním chování NiTiNOLového drátu podrobné jednoosému tepelně-mechanickému namáhání. NiTiNOL, patřící díky reverzibilní martenzitické fázové transformaci (MT) mezi materiály s tvarovou pamětí, ...

We consider steady flows of homogenous incompressible fluid described by generalized Stokes system. We study two models, first with shear-rate dependent viskosity and second with pressure and shear-rate dependent viskosity. ...

V této práci jsou studovány zobecněné nezáporné celočíselné autoregresní procesy typu GINAR (generalized integer autoregressive) definované pomocí Steutelova a van Harnova zobecněného operátoru. Vlastnosti tohoto náhodného ...

The thesis deals with Cox point processes driven by processes of Ornstein-Uhlenbeck (OU) type. Processes of OU type are derived from Lévy processes. A formula for cross-correlation function of multivariate Cox point processes ...

Práce se zabývá pojištením dlouhodobé péce a dlouhodobé pracovní neschopnosti. Oba produkty jsou zarazeny mezi produkty soukromého zdravotního pojištení, o kterém pojednává první kapitola. Ve druhé kapitole najdeme ...

In the thesis we study a sequential monitoring scheme for detecting a change in variance. We assume to have a stable historical period of length m. The goal is to propose tests with asymptotically small probability of type ...

In this contribution, a basic theoretical approach to stable laws is described. There are mentioned some definitions of the stable distributions, properties and behavior of stable distributed random variables. Next, ...

Je navrženo zobecnění limitní ultramocniny tak, aby poskytlo charakterizaci (standardně omezených částí) elementárních rošíření universa teorie množin; speciálně je aplikovatelná na modely nestandardní teorie množin. Důraz ...

The aim of this work is to discuss the use of the Kalman lter in some economical problems. Generally taken, the Kalman lter is a mathematical method (an algorithm) used for estimation of the non-observable component of a ...

Vyhladávacie stroje (napr. Google) vládnu obsahu dnešného WWW. Sú neoddelitelnou súcastou každodenného prístupu k informáciám. Veda, ktorá sa zaoberá práve vyhladávacími strojmi, sa sústreduje na vyhladávanie prirodzených ...

V předložené práci studujeme seznamové barvení rovinných grafů. Seznamové barvení je varianta problému barvení grafu, kde každý vrchol má přidělený svůj vlastní seznam možných barev. Říkáme, že graf je k-vybíravý, je-li ...

Nakrytie grafu G do grafu H je "lokálny izomorfizmus": zobrazenie vrcholov grafu G na vrcholy grafu H také, že pre všetky v V (G), okolie vrchola v je zobrazené bijektívne na okolie (v H) obrazu v. My študujeme výpočetnú ...

Metoda strojového překladu založená na příkladech (EBMT) je korpusová metoda strojového překladu, která se pokouší získat překlad vstupního textu pomocí analogie s překladem textu podobného již hotového. Tato práce zkoumá ...

Obrovský vývoj v oblasti grafického hardware a programovatelnost grafických karet umožňují vyšší výkonnost a flexibilitu programování. Mnoho algoritmů se stalo interaktivními. Velmi důležitou roli mezi grafickými algoritmy ...

V rámci této práce byl vytvořen prototyp úložiště html dokumentů. Ukládání celých dokumentů je založeno jak na stávajících kompresních technikách (gzip, bzip2), tak i na novým metodách, kdy se dokument před kompresí vhodným ...

Oracle Text je dokumentografický informační systém, který tvoří nedílnou součást databáze Oracle. Je postaven na základním boolském modelu rozšířeném o další možnosti jako jsou přiřazení vah jednotlivým termům, výpočet ...

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 ...

Jako alternativa k MSERům a Harrisovským bodům byla vyvinuta metoda pro detekci polygonálních struktur v obraze, která je založena na analýze hranových pixelů. Původní motivací bylo rozpoznávání objektů s uniformním povrchem. ...