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

V této práci se zabýváme návrhem a implementací algoritmu pro porovnávání znaků Českého znakového jazyka na základě jejich vzájemné vizuální podobnosti. Navržený algoritmus analyzuje posloupnost pro znak charakteristických ...

V této práci jsme rozpracovali metodu kombinování klasifikátoru pomocí tconormového integrálu pro prípad kombinování týmu SVM klasifikátoru. Porovnávali jsme úspešnosti klasifikátoru získaných na základe kombinování SVM ...

Rentgen a pozdějipočítačová tomografi e umožnila lékařům nahlížet dovnitř pacienta bez použití invazivních metod a stává se dnes stále běžnější součástí lékařského vyšetření. Zpracování a zkoumání trojrozměrných obrazových ...

Burrows-Wheelerova transformace je jeden z nejoblíbenějších algoritmů používaných při bezztrátové kompresi dat. Druhá fáze obvykle pozůstává z kombinace algoritmů Move-to-front, Run-length encoding a bývá zapsaná Huffmanovým ...

Model vrstevnatých neuronových sítí je známý především díky své univerzální aproximační schopnosti. Již základní algoritmus zpětného šíření dává výsledky použtelné v reálných aplikacích. Efektivní řešení složitých úloh by ...

Rozšiřitelné jazyky jsou v současné době stále populárnější a přinášejí mnoho výhod. Takové jazyky mají relativně malé jádro, které se programátor snadno naučí, a lze je lépe přizpůsobit konkrétní řešené úloze - program ...

Až dosud byl soubor znalostí pro práci s procedurou 4ft-Miner nestrukturovaný a uložený pouze v hlavách lidí zabývajících se dobýváním znalostí. Bylo tedy potřebné, na základě mnohých analýz, shromáždit rady pro dobývání ...

Aplikační server SAP používá pro zajištění potřebných kryptografických funkcí externí knihovny. Tyto knihovny jsou volány prostřednictvím standardního rozhraní GSS-API. Hlavním výsledkem této práce je implementace knihovny ...

XML je rozšířitelný formát, kterrý je využíván k ukládání všech druhů dat, a XSLT představuje standardizovaný jazyk pro transformaci XML dat a jejich struktury. Dnes existuje mnoho implementací XSLT, ale většina z nich ...

Tato práce se odráží od myšlenky sémantického webu. Stručně rozebírá možnosti formální reprezentace znalostí v deskripční logice a její paralelu v několika formalismech pro tvorbu ontologií. Ukazuje, jak lze využít ontologií ...

Táto diplomová práca sa venuje problému mapovania relačných schém do už existujúcich ontológií, pričom sa orientuje na ontológie zapísané pomocou RDFS. Úvodná časť podáva prehľad a základné princípy nájdených podobných ...

Sdílení prostředků nastává v případech, kdy několik současně aktivních procesů či softwarových komponent využívá stejné systémové prostředky, což ovlivňuje výkon v porovnání s individuálním během. Izolované měření dob ...

Problematika deformovatelných modelů je v počítačové grafi ce studována již více než dvě desetiletí. Mnoho souvisejících témat muselo být pokryto a mnoho překážek muselo být překonáno, než se podařilo věrohodně modelovat ...

V práci studujeme problematiku simulátorů modelujících umělý život. Práce navrhuje a předkládá softwarový nástroj, umožňující provádět experimenty s vývojem jednoduchých organismů, jejichž genom je tvořen sadou parametrů. ...

Některé aplikace zpracování dat v databázových systémech vyžadují práci s hierarchicky uspořádanými daty. Informace takového charakteru se často vyskytují v biologických databázích, ale lze se s nimi setkat i v jiných ...

Obsahem předložené práce je výzkum učení redukční analýzy. Redukční analýza je metoda pro zjišt'ování syntaktické správnosti věty pomocí jejího postupného zjednodušování až do podoby, o jejíž správnosti je snadné rozhodnout. ...

Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...

V předložené práci byla zkoumána závislost na koncentraci iontu gallia v objemových monokrystalech LGAG: Pr a LuAG: Pr, připravených metodou ,,micro-pulling down,, (-PD) na Tohoku univerzitě v Sendaji, v Japonsku. -PD ...

In the present work we study the methods of using cryptographic algorithms to ensure the security of communication over computer networks and give a new perspective on the classic UNIX console chat program called talk. The ...

V předložené práci studuji úlohu strojového učení formálních jazyků. Úlohou práce je navrhnout a implementovat program umožňující studovat průběh a výsledky jednotlivých algoritmů na učení jazyků. Program podporuje učení ...

Norma SOAP je základným protokolom webových služieb. Webové služby otvárajú nové možnosti pri interakcii aplikácií s využitím sieťových spojení. V súvislosti s webovými službami je často diskutovaná aj servisne orientovaná ...