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

Práce se zabývá návrhem backendu pro kompilátor jazyka C++ s podporou generování kódu pro více cílových architektur. Backend je rozdělen na dvě části: systém popisu cílové architektury a generátor kódu. Popis cílové ...

Simulace síťové struktury může být efektivní metodou použitelnou např. při výuce, výzkumu nebo testování síťových monitorovacích programů, zkrátka všude, kde by jinak byla potřeba mnohem dražší výstavba reálné sítě. Navíc ...

Virtuální Stará Praha je webová aplikace umožňjící prohlížení centra Prahy vymodelovaného ve VRML. Tato práce ji rozšiřuje o možnost prezentace interiérů a o impostory, což jsou zjednodušené části geometrie scény používané ...

Diplomová práce se zabývá analýzou a návrhem systému pro automatické rozpoznávání SPZ z jednoho snímku. Vstupní data pochází ze systému pro měření rychlosti na silnicích v emirátu Abu Dhabi (Spojené arabské emiráty). Cílem ...

Dnešní GPU jsou svým výkonem a možností programování (což dříve nebylo možné) slibným nástrojem pro realizaci geometrických výpočtů souvisejících s počítačovou grafikou. Odlišnost GPU od klasických CPU ale působí řadu ...

Každá počítačová hra většího rozsahu používá pro vytvoření svého obsahu specializovaný editor. Toto platí především pro 3D hry. Editor umožňuje nejen sestavovat výsledné scény z herních objektů, ale i nastavovat těmto ...

S rostoucí důležitostí počítačového zpracování přirozeného jazyka narůstá i množství výzkumů na téma automatické analýzy anafory. Příspěvkem k výzkumu této problematiky je rovněž naše diplomová práce, jejímž cílem je ...

Jedním ze základních problémů moderní statistické fyziky je snada porozumět frustraci a chaosu. Základním modelem je konečně dimenzionální Edwards-Anderson Ising model. V optimalizaci to odpovídá zkoumání minimálních T-joinů ...

Na/cv hakalarskc pracc: I.imilni vcty v pravdepodobnosti. nchlost komergencc Aulor: Barbora Ilejinova Katcdra (ustav): Katcdra pravdepodobnosti a malematicke suuislik) Vcdouci bakalarskc pracc: Mur. Michal Kupsa. Ph.I) ...

Práce se zabývá tvorbou webového robota. Jeho úkolem je rekurzivně stahovat z internetu české stránky a čistit je na samotný prostý text (žádné HTML značky, styly nebo skripty). Ten potom bude využit pro tvorbu obrovského ...

Aplikace JAWS (www.freedomscienti c.com) je schopná zpřístupnit ovládání počítače nevidomým uživatelů. Aplikace s grafi ckými ovládacími prvky nahrazujícími standardní ovládací prvky Windows nebo aplikace, jež nemají plnou ...

SVN Proxy je aplikace, která se chová jako proxy SVN repository. Obsahuje lokální repository, do kterého uživatel provádí commity. Lokální repository je schopné se na požádání synchronizovat se vzdáleným SVN repository. ...

Program pro návrh nábytku je aplikace, která umožňuje v uživatelsky přítulném grafi ckém prostředí vytvářet návrh skříní. Navrhovaná skříň odpovídá požadavkům zadávaných uživateli. Na základě těchto požadavků a seznamu ...

Jelikož množství přijatých e-mailových zpráv rapidně stoupá, jsou uživatelé nuceni třídit je do několika kategorií. V předkládané práci představujeme nástroj, nazvaný Apofis, který pomáhá uživatelům automatizovat jejich ...

V predloženej práci je popísaný návrh a implementácia webového systému správy obsahu (CMS podľa anglického Content Management System). Systém je zameraný na generovanie formulárov a ich overovanie. Ďalej sa zaoberá spracovaním ...

V předložené práci studuji vlastnosti permutačních hlavolamů a hledám algoritmy použitelné k řešení těchto hlavolamů. Úlohou práce je implementovat algoritmus neoptimálního řešení permutačních hlavolamů rozkladem na ...

V predloženej práci študujem úlohu syntézy animovanej malby pomocou simulácie tahov štetca. Animovaná malba, ako nová výtvarná forma, dáva animátorovi velký rozmer slobody. Cielom projektu je navrhnúť framework, ktorý by ...