Cílem této práce bylo teoreticky i experimentálně prozkoumat reálnost tzv.Mpembova jevu, při němž původně teplejší voda zmrzne dříve než voda původně chladnější. Pojednává o něm množství teoretických i experimentálních ...

Přestože moderní styl programování vyžaduje široké nasazení návrhových vzoru, programovací jazyky nenabízejí pohodlné prostředky k jejich efektivní aplikaci. Cílem této práce je ukázat v praxi, že zapojení moderní XML ...

Jednou zo najzaujimavejších otázok súčasnej chémie medzihviezdneho priestoru je pomer zastúpenia HCN voči HNC pozorovaný v medzihviezdných plyno-prachových mračnách. Pozorované hodnoty tohto pomeru sa pre rozne objekty ...

Audio CD Ripper je jednoduchá aplikace pracující v prostředí WinXP, která možňuje digitální kopírování hudebních CD pomocí ASPI rozhraní či uložení jednotlivých stop CD nebo obrazu CD ve formátu WAVE na pevný disk. Po ...

V této práci jsem se zaměřil na stále rostoucí význam automatického zpracování webových stránek. Náplní práce je návrh a implementace programového nástroje, který stránky zpracovává. Úkolem tohoto nástroje je oddělit data, ...

Práce se zabývá využitím emocí v umělé inteligenci v počítačových hrách. Bude zkoumán možný přínos emocí pro umělou inteligenci z hlediska lepší imitace lidského chování. Cílem práce je implementace emočního modelu v ...

Úvěrové riziko hraje při oceňování finančních nástrojů důležitou roli. Ve snaze pojistit se vůči možným problémům plynoucím z tohoto rizika byly vyvinuty finanční nástroje zvané úvěrové deriváty. V práci jsou popsány tři ...

V této práci je studován distributivní jakobián, distributivní hesián a relaxace Jakobiánu a Hessiánu. Jsou zde uvedeny příklady zobrazení, pro něž "absolutně spojitá část" distributivního Jakobiánu nebo Hessiánu nesplývá ...

Diplomová práce pojednává o vývoji a výskytech zlatého řezu ve starověkých matematických textech. Uvádí do problematiky zlatého řezu, popisuje v historických souvislostech jeho vznik a postupy, pomocí nichž byly objevovány ...

Diplomová práce je zaměřena na vytvoření webových stránek pro výuku kombinatoriky na středních školách. V době psaní této práce existovaly jen neúplné nebo velmi stručné webové stránky k tomuto tématu a většina z nich ...

Tato práce se zabývá numerickuo simulací jednoho dopravního modelu - kruhové objezdu. Model je popsán soustavou nelineárních ODR. Model nemusí mít jediné řešení. Kromě řešení s konstantní rychlostí mohou existova oscilatorická ...

U-statistiky jsou základem mnoha testových statistik. Táto práce se zabývá testy založenými na U-statistikách pro obecný dvouvýběrový problém. Po popisu dvouvýběrových testů založených na U-statistikách z obecného hlediska, ...

Cílem diplomové práce je vytvořit algoritmus pro určování optimálního plánu přidělení řidičů a vozidel na předem dané schéma jízd. Naším cílem při tvorbě plánu je minimalizace přímých nákladů spojených s přepravou. Zároveň ...

Seidelovo přepnutí množiny vrcholu je operace, která z grafu odebere hrany vycházející z této množiny a přidá do něj hrany tam, kde mezi množinou a zbytkem grafu nebyly. Ostatní hrany nejsou touto operací dotčeny. ...

The purpose of this diploma thesis is to offer the global review of current risks in the eld of life insurance business. In the rst part we focused on segmentation and description of these risks and possibilities of managing ...

In this thesis we study the concepts of relative topological properties and present some basic facts and relations between them. Our main focus is on various versions of relative normality, relative regularity and relative ...

Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ...

Cílem projektu MWindows je vytvoření multiplatformního toolkitu pro vývoj gra fického uživatelského rozhraní s použitím jazyka C++, čímž je určen pro rychlostně náročné aplikace. Toolkit musí maximálně zakrývat specifi ka ...

Komponentově orientované programování, vyuřívající behavior protokoly pro specifikaci chovaní komponent, představuje efektivní přístup k vývoji softwarových aplikací. Jedním z prostředků jak ještě více usnadnit vývoj je i ...

V tejto práci skúmame možnosti rozšírenia Datalogu o možnosť aktualizácie. Zaoberáme sa tiež možnosťou optimalizácie dotazovania pomocou zexplicitňovania (materializácie) intezionálnych pravidiel. Na základe nášho výskumu ...