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