Poslední příspěvky

Zobrazují se záznamy 8881-8940 z 11266

  • Magnetic nanostructures with application potential 

    Výsledek obhajoby: OBHÁJENO
    Bittová, Barbara (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 17. 5. 2010
    Hlavní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
    Čermák, Miroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 24. 5. 2010
    Cí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
    Šenkýř, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 24. 5. 2010
    Prá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
    Ulrych, Stanislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 31. 5. 2010
    Tato 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
    Křižka, Radek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 31. 5. 2010
    Tato 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
    Peprníková, Ľubica (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 18. 9. 2009
    Cielom 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
    Polák, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    Př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
    Pátek, Zdeněk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    Tato 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
    Šuška, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    Prá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
    Šejnoha, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    Té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
    Mocný, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    V 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
    Rovenský, Vladimír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    Prá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
    Zajíček, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    V 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
    Suchánek, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    C í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
    Bernáthová, Anna (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 14. 9. 2009
    V 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
    Alakša, Štefan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 14. 9. 2009
    E-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
    Bašista, Peter (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 14. 9. 2009
    Cieľ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
    Antolík, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 22. 6. 2009
    Ciel'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
    Steinhauser, Antonín (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 22. 6. 2010
    Tato 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
    Pavlicová, Vladimíra (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 22. 6. 2010
    Ná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
    Zásměta, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 15. 9. 2009
    Př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
    Krč, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Pojmem 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
    Krejčiřík, Radek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 11. 2. 2010
    Prá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
    Kozák, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 14. 5. 2010
    V 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
    Dungl, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 10. 2. 2010
    V 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
    Blažek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 21. 9. 2009
    Diplomová 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
    Bída, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 21. 9. 2009
    Vý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
    Tomisová, Martina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Prá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
    Švec, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Rozvolně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
    Turek, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Bezdrá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
    Václav, Branislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Cí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
    Uzel, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Cí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
    Matoušek, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Tato 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
    Mikulík, Andrej (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
    Špaňo, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Webové 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
    Šebesta, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Cí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
    Kouba, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    V 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
    Kruliš, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Prá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
    Opočenská, Kateřina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Diplomová 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
    Krištofič, Milutín (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 21. 9. 2009
    V 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
    Lessner, Daniel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 21. 9. 2009
    Morphing 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
    Římský, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Struč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
    Skotáková, Jana (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    V 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
    Peinlich, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 3. 6. 2009
    Cí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
    Stach, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Diplomová 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
    Krůček, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Diplomová 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
    Reidinger, Josef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Pro 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
    Macošek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 1. 2. 2010
    Tento 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
    Čechura, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 17. 5. 2010
    V 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
    Kunčar, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 21. 9. 2009
    Typový 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
    Kolomazník, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
  • IntelliSense Implementation of a Dynamic Language 

    Výsledek obhajoby: OBHÁJENO
    Míšek, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Vý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
    Koudelka, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Cí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
    Paščenko, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Tato 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
    Mišúr, Juraj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Diplomová 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
    Kontsek, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 2. 2. 2010
    Té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
    Kebrt, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 7. 9. 2009
    Code 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
    Pieš, Martin (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
    Pokorný, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
    Datum obhajoby: 17. 5. 2010
    Hlavn í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
    Ibrahimová, Nora (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 21. 9. 2009
    Př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 ...

© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV