Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 8881-8940 z 11266
-
Magnetic nanostructures with application potential
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010Hlavním zaměřením této práce je studium makroskopických a mikroskopických magnetických vlastností vybraných nanomateriálů obsahujících kobalt a železo, značná část práce se zabýva vizualizací morfologie a magnetické struktury ... -
Překladač SPARQL pro Bobox
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 24. 5. 2010Cílem práce je navrhnout a implementovat překladač jazyka SPARQL pro systém Bobox. Kromě lexikální a syntaktické analýzy odpovídající W3C standardu jazyka SPARQL je součástí práce i sémantická analýza a optimalizace dotazů, ... -
Poloautomatická analýza struktury textu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 24. 5. 2010Práce popisuje návrh a implementaci algoritmu, který na základě počáteční lidské nápovědy převádí data v HTML dokumentech vygenerovaných z databáze, avšak určených pro lidské čtení, do strukturovaného tvaru vhodného pro ... -
Simulace obchodování na akciovém trhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 31. 5. 2010Tato diplomová práce se zabývá simulací obchodování na elektronickém akciovém trhu NASDAQ. Soustředí se na simulaci obchodování s vysokou frekvencí, tzv. High Frequency Trading (HFT) strategií. Simulace je založena na ... -
Dynamické Kohonenovy mapy a jejich struktura
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 31. 5. 2010Tato diplomová práce se zabývá jedním z nejpoužívanějších modelů umělých neuronových sítí, a to Kohonenovými samoorganizujícími se mapami. Podrobně popíšeme jednotlivé modely Kohonenových map, provedeme jejich analýzu a ... -
Aplikace Baireovy věty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 18. 9. 2009Cielom tejto práce je v troch roznych prípadoch dokázat', že množina prvkov s danou vlastnost'ou je množina typických prvkov. Najskor dokážeme, že typická spojitá funkcia, definovaná na intervale [0; 1], nemá deriváciu v ... -
Evoluce využívání paměti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Předmětem bakalářské práce je návrh a implementace aplikace pro simulaci vývoje populace jedinců. Výsledkem práce je studie závislosti využití paměti a energie organismů na prostředí, zadaném na počátku simulace. Z výsledků ... -
Možnosti zvýšení výkonu přírodou inspirovaných globálních optimalizačních metod
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Tato práce se zabývá optimalizací funkcí reálných proměnných pomocí přírodou inspirovaných metod. Obsahuje popis vybraných globálních optimalizačních metod (Differential Evolution, Self-Organizing Migrating Algorithm, ... -
Free Query Tool - tool for enhanced querying SQL databases
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Práce popisuje návrh a implementaci nástroje pro dotazování do SQL databáz (SQL konzolu), který ulehčí práci zkušenému SQL vývojáři. Především zefektivní psaní SQL dotazů ve volném textu tím, že kontroluje jména již napsaných ... -
Simulace burzovního trhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Tématem práce je simulace burzovního trhu. Studuje se závislost burzovního indexu PX Pražské burzy cenných papírů a.s. v závislosti na makroekonomických veličinách. Využívá se spojení metod neuronových sítí a náhodné ... -
Real-time fyzikální simulace pro mobilní zařízení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009V bakalářské práci se zabývám implementací knihovny pro fyzikální simulaci na mobilních telefonech. Uvádím několik možných přístupů k problému, ze kterých jeden vyberu a popíši důkladněji. Dále se zabývám obecnými postupy ... -
Určení smysluplnosti české věty na základě syntaktické informace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Práce se zabývá navržením znalostního algoritmu pro rozpoznání smysluplnosti věty. Jedná se o velmi zajímavou úlohu v rámci zpracování přirozeného jazyka, například pro potřeby internetových vyhledávačů. "Smysluplnost" ... -
Simulace statiky budovy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009V předložené práci studujeme metody analýzy statiky budovy. Základem této práce je analýza statiky prutových konstrukcí. Na tomto základe, vybudujeme program schopný simulovat chování prostorové budovy zatížené kromě vlastní ... -
Český morfologický guesser
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009C ílem práace je implementace guesseru pro českýy jazyk, kter ý využívá slovní kov á data. První m krokem při analýze textu je p ři řazení morfologick ých tag ů jednotlivým slov ům v textu. Morfologick é tagy popisují ... -
Kreslení grafů s podmínkami na velikosti stěn
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 14. 9. 2009V této práci se věnujeme úsečkovým nakreslením rovinných grafů s předepsanými obsahy stěn. Pomocí genetického algoritmu hledáme grafy, které pravděpodobně nelze nakreslit se všemi stěnami stejně velkými. Pro jeden takový ... -
Komprese e-mailu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 14. 9. 2009E-mail je velmi specifická datová struktura upravená příslušnými normami RFC. Běžná komprese pro textová data použitá na emaily nezohledňuje strukturu emailu, nejvíce je patrná nízká účinnost běžných metod u malých souborů, ... -
Vizualizace algoritmů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 14. 9. 2009Cieľom práce je navrhnúť program pre vizualizáciu činnosti algoritmov pri výuke. Užívateľ vytvorí algoritmus a pripojí k jeho datovým štruktúram pripravené vizualizačné komponenty. Program potom zaznamená priebeh výpočtu ... -
Systém pro vytváření a kompilaci programů v grafickém daty řizeném paralelním programovacím jazyce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 22. 6. 2009Ciel'om tejto práce je navrhnút' schému pre grafickú tvorbu dátmi riadených paralelných procesov naprogramovaných v jazyku JAVA, implementovat' editor pre vizuálne vytváranie daných schém a súcasne vykonávacie jadro, ktoré ... -
Bezpečnostní auditor WWW stránek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 22. 6. 2010Tato práce řeší problématik bezpečnosti webových stránek primárně ze strany programátorů dynamických webových aplikací. Popisuje jednotlivé chyby, kterých se programátoři dopouštějí a vysvětluje, jak lze takovým chybám ... -
Webová aplikace pro výuku základních poznatků z matematiky na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 22. 6. 2010Název práce: Webová aplikace pro výuku základních poznatků z matematiky na střední škole Autor: Vladimíra Pavlicová Katedra: Katedra didaktiky matematiky Vedoucí bakalářské práce: RNDr. Jarmila Robová, CSc. e-mail vedoucího: ... -
Návrh a analýza tvorby databázového systému personální agentury
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 15. 9. 2009Předmětem této práce je návrh a analýza tvorby databázového systému pro personální agenturu, která se zabývá zprostředkováním brigád pro studenty. Součástí systému je nejen vlastní podpora běžných procesů a pracovníků ... -
POMDPs for dynamic troubleshooting
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Pojmem dynamický troubleshooting se označuje proces analýzy bezpečnostního systému v reálním čase, predikce a detekce možných problémů, řešení problémů a předchzení jejich výskytu. Je-li tento proces realizován počítačem, ... -
Model předjíždění na kruhovém objezdu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 11. 2. 2010Práce se zabývá rozšířenou verzí dopravního modelu, který byl představen v článku [9]. Model simuluje pohyb N-tice vozidel stejných vlastností po kruhové dráze. Rozšíření spočívá ve dvou ohledech: na rychlosti vozu se ... -
Modelování růstu kostní chrupavky na biodegrabilním scafoldu při mechanickém zatěžování.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 14. 5. 2010V předložené práci se zabýváme modelováním růstu kostní chrupavky. Začínáme prozkoumáním pozadí problému, tj. biologií chrupavky, možnostmi léčení a metodami tkáňového inženýrství. Následuje odvození modifikovaného zákona ... -
Vliv volby generátoru stochastické dominance na eficienci portfolií
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 10. 2. 2010V předložené práci studujeme vlastnosti množin portfolií eficientních vzhledem k různým množinám užitkových funkcí. Zavádíme odborné pojmy z oblasti stochastické dominance, omezujeme se na scénářový přístup a definujeme ... -
Digitální restaurace nástěnných maleb
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Diplomová práce zpracovává nástěnné malby za použití algoritmů pro image processing. Součástí jsou algoritmy pro registraci, fúzi a segmentaci obrazu. Vstupními daty jsou snímky v různých modalitách (viditelné a ultrafialové ... -
Umělé emoce v počítačových hrách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Vývoj inteligentních virtuálních agentů (IVA) je náročný proces obsahující mnoho dílčích podproblémů. Teoretická výuka se v této oblasti může opřít o několik vynikajících publikací. Naproti tomu praktickou výuku je v této ... -
Metody a možnosti anonymní komunikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Práce se zabývá metodami komunikace, které poskytují účastníkům anonymitu. Předně jsou definovány základní pojmy, jako např. samotný pojem anonymity. Po nastínění možností hodnocení metod již práce zpracovává známé nebo ... -
Datové úložiště pro rozvolněné objekty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Rozvolněné objekty jsou do databáze ukládány po jednotlivých atributech. Každý atribut je mapován na právě jednu tabulku. V každé tabulce jsou hodnoty pro všechny objekty, na kterých je příslušný atribut definován. Zatímco ... -
Řízení toku v přístupových bodech bezdrátové sítě IEEE 802.11
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Bezdrátové sítě založené na standardu IEEE 802.11 (Wi-Fi) se dnes často používají jako první míle pro připojení k Internetu. Standard však pro toto použití nebyl navržen a proto se tento způsob nasazení potýká s problémy. ... -
Modely uživatelských preferencí v prostředí webovských obchodů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Cílem práce je získat přehled v široké oblasti modelů uživatelských preferencí v prostředí internetových obchodů. Z popsané množiny modelů bude vybrána část, pro kterou budou navrženy konkrétní metody výpočtu preferencí. ... -
Entropické kodéry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Cílem této diplomové práce je implementace různých metod entropického kódování a měření jejich kompresního poměru a rychlosti v kontextu programu XBW [Lan07]. Tyto metody zahrnují aritmetické kódování (s použitím Moatovy ... -
Metody sledování chování procesů na Windows
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Tato práce rekapituluje vybrané metody pro sledování chování procesů na operačních systémech Windows. Zvláštní pozornost je věnována použití virtualizace jako pomocného prostředku k řešení problému. Cílem práce bylo zhodnotit ... -
Methods for precise local affine frame constructions on MSERs
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010 -
Využitie webových aplikačných frameworkov pri tvorbe informačných systémov
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Webové aplikačné frameworky urýchľujú prácu pri tvorbe webových informačných systémov. V súčasnosti je vývojárom k dispozícii veľké množstvo frameworkov. Táto práca sa snaží nájsť vhodné kritéria pre ich porovnanie. Na ... -
XML based framework for transformation of Java source code
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Cílem této práce bylo vytvoření frameworku pro transformaci zdrojových kódů v jazyce Java. Základem frameworku je XML technologie. Framework definuje XML Schema použité k reprezentaci zdrojových kódů. Tyto zdrojové kódy ... -
Memory Representation for Model Checker of C/C++
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010V předložené práci je popsán návrh a C++ implementace nově vytvořeného paměťového modulu, který bude použit k reprezentaci paměti zkoumaného programu v GIMPLE Model Checkeru (explicit state model checkeru). Modul se liší ... -
Algorithms for Parallel Searching in XML Datasets
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Práce se bude zabývat problematikou indexace XML dat a efektivního vyhledávání s indexem. Hlavním těžíštěm bude snaha navrhnout datové struktury a algoritmy, které umožní úlohu vyhledávání maximálně paralelizovat a využít ... -
Dynamic setup for clusters with multi-master architecture
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Diplomová práce se zabývá problémem multi-master konfigurace pro počítačové clustery, na kterých běží systém PROOF. PROOF je framework postavený na master-worker architektuře, který se používá především na analýzu fyzikálních ... -
Koordinace mezi logickými agenty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009V predloženej práci študujeme súčasné modely pre koordináciu a navrhujeme nový model založený na argumentačnom systéme. Tento systém, nazvaný Argumentation BlackBoard for Coordination (ABBC) a jeho rozšírenie, Abstract ... -
Samoorganizace a morphing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Morphing je známý fi lmový vizuální efekt. Spočívá v plynulé přeměně jednoho obrazu na jiný. Tak se například postava filmu změní v medvěda. Realizace takového efektu vyžaduje pečlivou, soustředěnou a drahou práci animátora. ... -
Podpora procesorů UltraSPARC III, IV, T1 a T2 v HelenOS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Stručné představení operačního systému HelenOS. Přehled obecných vlastností 64-bitových procesorů SPARC (registry, trapy, jednotka správy paměti, OpenBoot PROM). Specifické vlastnosti procesorů vyhovujících JPS (Joint ... -
Bodová primitiva na grafických akcelerátorech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010V posledních letech je bodům jako způsobu reprezentace objektů věnováno více pozornosti. V této práci jsou představeny možnosti zpracování modelů reprezentovaných body. Je zde uveden přehled algoritmů, které lze využít při ... -
Metody pro řešení úloh semi-infinitního programování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 3. 6. 2009Cílem práce je dát přehled základních přístupů k řešení úloh lineárního semi-infinitního programování. Dále se práce podrobněji zabývá různými variantami metod sečných nadrovin pro úlohu lineárního semi-infinitního ... -
Mobilní telefon jako dálkoměr-hloubkoměr-pravítko
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práce je zaměřena na vytvoření aplikace pro některou mobilní platformu (vybrána byla platforma Windows Mobile Professional), která automaticky a efektivně detekuje deformovaný pravoúhlý předmět ve snímku a díky ... -
Support for development of enterprise applications in Java
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práce se zabývá srovnáním dvou často používaných technologií při vývoji aplikací na platformě Java, frameworku Spring 2.5 a komponentové architektury Enterprise JavaBeans (EJB) 3.0. Jejím cílem je poskytnout ... -
Syntax-based extraction of component behavior specifications
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny ... -
Interface k online internetovým přenosům v přirozeném jazyce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 1. 2. 2010Tento text popisuje práci na vytvoření interfacu k živým internetovým přenosům. Ty bylo nutné převést z textové podoby do podoby hlasové a následně přehrát na elektronickém králíkovi Nabaztagovi. Uživateli je pak umožněno ... -
Pohyb částic v blízkosti kompaktních hvězdných objektů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010V této diplomové práci se zabýváme vlastnostmi hvězdného větru hnaného absorpcí záření ve spektrálních čarách v rentgenových dvojhvězdách. Na konkrétním případu systému Cygnus X-1 jsou analyzovány efekty, které má kompaktní ... -
Systémy pro formální matematiku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Typový systeé Mizaru je pomrěně sofistikovaný - obsahuje celou řadu vlastností, jako jsou závislé typy, atributy, přetěžování, konstrukci podtypů, struktury a další. Tyto vlastnosti nemalou měrou přispívají k tomu, že ... -
Segmentace orgánů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009 -
IntelliSense Implementation of a Dynamic Language
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Vývojáři během samotného programování často opakují stejná slova a stále opisují běžné výrazy. Dále také prohledávají dokumentace a zdrojové kódy, například kvůli znění deklarací metoda jiných symbolů. Z tohoto pohledu je ... -
Sémantická personalizace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Cílem této diplomové práce je navrhnout a implementovat nástroj v podobě frameworku, který bude určen pro webové tvůrce a měl by umožňovat metody personalizace v rámci libovolné webové aplikace. Framework bude získávat ... -
Modely výpočetní inteligence pro hydrologické predikce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Tato práce se zabývá možností využití metod výpočetní umělé inteligence v oblasti hydrologických předpovědí. Praktická studie problému krátkodobé predikce průtoku na základě světových srážek je provedena na skutečných ... -
Využitie prostriedkov modelovania biznis procesov na implementáciu formalizovaných lekárskych doporučení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Diplomová práca analyzuje prostriedky na modelovanie biznis procesov v oblasti lekárskych odporúčaní. Business Process Management Notation je použitý ako prostriedok na modelovanie biznis procesov a namodelované je ním ... -
Počítačem usnadněné bydlení - Inteligentní vytápění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010Tématem práce je využití počítačových technologií pro usnadnění a vylepšení našeho života v domácnostech. Student zváží a porovná různé řídící postupy především s ohledem na dlouhodobé tepelné řízení budov. Vybrané postupy ... -
Unit checking for Java IDE
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 7. 9. 2009Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., veri cation of device drivers by SLAM), the code model checking tools are not widely used in general software ... -
Systém pro detekci napadení databáze metodou "SQL injection"
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 2. 2. 2010 -
Nedávné rozpady asteroidů a akrece jejich prachu na Zemi
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 17. 5. 2010Hlavn ím c ílem pr áce je anal ýza akrece prachu poch ázejí cí ho z rozpad u asteroid ální ch rodin Emilkowalski a YC2. Pomocí numerick ého integr átoru budeme sledovat dr áhy jednotliv ých prachov ých částic, z nich ž n ... -
Metafory a modelování živých systémů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 21. 9. 2009Předložená práce si klade za cíl teoreticky prozkoumat a popsat některé modely živých systémů. V první části se zabývá modely autonomních systémů, jako je například buňka nebo živý tvor jako celek. V této části je představen ...