Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 7921-8000 z 11266
-
Podpora využívání experimentálního systému Vernier na českých školách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 21. 9. 2011Cílem práce bylo zmapovat již publikované návody na experimenty s měřicím systémem Vernier. A také tyto experimenty rozšířit o další návody použitelné v českém prostředí. V rámci diplomové práce vzniklo 6 podrobných návodů ... -
XML Query Adaptation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011V předložené práci studujeme evoluci XML schémat, jejích typ· a vlivu na dotazy, které jsou na příslušných schématech závislé. Práce obsahuje přehled existujících přístup· tohoto problému. Přístup představený v této práci ... -
Obchodní strategie v neúplném trhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011MAGISTERSKEJ PRÁCE NÁZOV: Obchodná stratégia v neúplnom trhu AUTOR: Tomáš Bunčák KATEDRA: Katedra pravdepodobnosti a matematickej štatistiky, Univerzita Karlova v Prahe VEDÚCI PRÁCE: Andrea Karlová Zaoberáme sa problematikou ... -
Efficient Detection of XML Integrity Constraints
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název práce: Efektívna detekcia integritných obmedzení v XML Autor: Michal Švirec Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Irena Mlýnková, Ph.D. Abstrakt: Znalosť integritných obmedzení v ... -
Reputation-based Adaptation for Structured P2P Networks
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Cieľom tejto diplomovej práce je implementovať reputačný manažment do smerovacieho protokolu peer-to-peer siete. Táto implementácia je porovnaná so súčasnými riešeniami bezpečnosti v peer-to-peer sieťach - buď žiadna ... -
Instantons and Unitarily Inequivalent Quantum Vacua
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Název práce: Instantóny a unitárni neekvivalentní kvantová vakua Autor: Roman Derco Katedra: Ústav částicové a jaderné fyziky Vedoucí diplomové práce: doc. Alfredo Iorio, Ph.D. , Ústav částicové a jaderné fyziky Abstrakt: ... -
Bezpečnostní kontejnery a přístupová práva v HelenOS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název práce: Bezpečnostní kontejnery a přístupová práva v HelenOS Autor: Štěpán Henek Katedra (ústav): Katedra softwarového inženýrství Vedoucí diplomové práce: Mgr. Martin Děcký e-mail vedoucího: decky@ksi.mff.cuni.cz ... -
Dimension Reduction Techniques in Morhpometrics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Tato práce se zabývá aplikací metod redukce dimenze v antropologii a morfometrii. Zejména se sousteuje na nelinearní metody redukce dimenze. Práce zavádí nový postup nazývaný multipass redukce dimenze. Ukážeme, že pomocí ... -
Vztah determinismu a nedeterminismu pro lineární čas
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak ... -
Meze pro vzdálenostně podmíněné značkování grafů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Problém λ − L(p, q)-značkování je přiřadit vrcholům grafu značky {0, . . . , λ} tak, aby sousední vrcholy měly značky od sebe vzdálené alespoň p a vrcholy se společným sousedem značky od sebe vzdáleny alespoň q. Zabýváme ... -
Sbírka úloh z kinematiky hmotného bodu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 9. 2011Název práce: Sbírka úloh z kinematiky hmotného bodu Autor: Jana Moltašová Katedra (ústav): Katedra didaktiky fyziky Vedoucí bakalářské práce: RNDr. Dana Mandíková, CSc. e-mail vedoucího: Dana.Mandikova@mff.cuni.cz Abstrakt: ... -
Porovnání prediktorů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011 -
Geometrické vlastnosti podprostorů spojitých funkcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011Tato práce se zabývá některými geometrickými vlastnostmi Münt- zových prostorů jakožto podprostorů spojitých funkcí. První kapitola je věno- vána výčtu několika nejdůležitějších vět Müntzova typu. Jmenovitě se věnuje ... -
IDE-supported development of component-based applications
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Na rozdíl od komerčních komponentových systémů nemají ty akademické dostatečnou podporu v integrovaných vývojových prostředích. Tato práce analyzuje vývoj komponentově založených aplikací na komponentovém sys- tému SOFA 2 ... -
Úrovňové množiny mnohorozměrné hustoty a jejich odhady
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Úrovňová (vrstevnicová) množina nějaké funkce je oblast, v níž daná funkce překračuje určitou úroveň. Úrovňovou množinu pravděpodobnostní hustoty lze považovat za alternativu k tradičnímu odhadu oblasti spolehlivosti, ... -
Využití internetu při výuce kuželoseček na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Název práce: Využití internetu při výuce kuželoseček na střední škole Autor: Bc. Věra Effenberger Katedra: Katedra didaktiky matematiky Vedoucí práce: RNDr. Jana Hromadová, Ph.D. e-mail vedoucího: Jana.Hromadova@mff.cuni.cz ... -
Optimal pairs of function spaces for weighted Hardy operators
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011Názov práce: Optimálne páry priestorov funkcií pre váhove Hardyho operátory Autor: Rastislav Ol'hava Katedra: Katedra matematické analýzy Vedúci diplomovej práce: Prof. RNDr. Luboš Pick, CSc., DSc., Katedra matem- atické ... -
Homotopické struktury v algebře, geometrii a matematické fyzice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 15. 9. 2011Název práce: Homotopické struktury v algebře, geometrii a matematické fyzice Autor: Eva Černohorská Katedra: Matematický ústav UK Vedoucí diplomové práce: RNDr. Martin Markl, DrSc., Matematický ústav AV ČR, Matematický ... -
Riziko dlouhověkosti v životním pojištění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011V této práci se zabýváme rizikem dlouhověkosti, které vyplývá z nejistoty o budoucím vývoji úmrtnosti ve vyšších věcích. Může vznikat zejména kvůli nepředvídatelnému poklesu úmrtnosti. Pro poskytovatele důchodových pojištění ... -
Skorokompaktní vnoření prostorů funkcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011Práce se zabývá studiem skorokompaktních vnoření prostorů funkcí, konkrétní zkoumanou třídou jsou klasické a slabé Lorentzovy prostory s normou danou pomocí obecné váhové funkce. Tyto prostory obecně nejsou Banachovy ... -
Stochastické síťové modely
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011V předložené práci studujeme stochastické síťové modely reprezentující projekt jako souhrn činností a různé přístupy k těmto modelům. Zabýváme se metodou kritické cesty, síťovými modely s pravděpodobnostními omezeními, ... -
Přeurčené soustavy intervalových lineárních rovnic
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Tato práce se zabývá přeurčenými soustavami intervalových lineárních rovnic. První část se skládá z úvodu do intervalové aritmetiky a intervalové lineární algebry a základní teorie intervalových lineárních systémů. Ve druhé ... -
Grammar-based genetic programming
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Genetické programování (GP) založené na stromech má několik známých nedostatků: složité přizpůsobení specifickým programovacím jazykům a prostředím, problém uzávěru a více typů a problém deklarativní reprezentace vědomostí. ... -
Zešikmená obecná rozdělení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 26. 1. 2012V předložené práci studujeme rodiny obecných zešikmených rozdělení. Budeme postupně budovat představu o stále obecnějších třídách rozdělení. Nejdůležitější pro nás budou rodiny šikmých normálních rozdělení, eliptických ... -
Návrh a vyhodnocení uživatelského rozhraní pro osvětlování filmových scén
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Tato diplomová práce se zabývá globálním osvětlením a celkovým procesem nasvětlování předpřipravených scén. Za tímto účelem byl napsán program pro práci se světlem. Ten dokáže pracovat s přímým i nepřímým osvětlením v ... -
Metody modelování a statistické analýzy procesu extremálních hodnot
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 24. 1. 2012V předložené práci se zabýváme vývojem extremálních hodnot časových řad, konkrétně se zaměřujeme na proces maxim. Zkoumáme, kdy tato maxima nastávají a v jaké výši. Pomocí přístupu bodového procesu a pomocí statistických ... -
Inference of XML Integrity Constraints
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Tato práce navazuje na dřívější pokusy odvodit (inferovat) schéma existujících XML dokumentů. Jelikož je odvozování struktury již relativně dobře popsáno, soustředíme se na integritní omezení. Několik jich popisujeme, ... -
Podpora rozpoznávání matematických vzorců v rámci OCR systému
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Cieľom tejto práce je implementovať prevod naskenovaného matematického vzorca do editovateľnej podoby vo forme TEX súboru ako doplnok fungujúceho OCR systému. V práci sa venujeme podrobnej analýze tohto problému, jeho ... -
Exponenciální, logaritmické rovnice a jejich soustavy s využitím internetu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 13. 9. 2011Úkolem této diplomové práce je vypracovat kvalitní učební pomůcku při studiu exponenciálních a logaritmických rovnic na střední škole. Nemá se jednat o učebnici ale o interaktivní webové stránky, které budou obsahovat ... -
Nerovnosti pro integrální operátory
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011Předložená práce obsahuje shrnutí dosud známých výsledků o operá- torových nerovnostech typu " good λ", " better good λ" a " rearranged good λ" na prostorech funkcí nad Eukleidovským prostorem s Lebesgueovou mírou a jejich ... -
Support for NUMA hardware in HelenOS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Cílem této diplomové práce je rozšířit operační systém HelenOS o podporu ccNUMA hardwaru. Text práce obsahuje stručný úvod do problematiky ccNUMA, přehled vlastností NUMA hardwaru a přehled vlastností HelenOS spojených s ... -
Urychlení evolučních algoritmů pomocí rozhodovacích stromů a jejich zobecnění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Evoluční algoritmy jsou jednou z nejúspěšnějších metod pro řešení netradičních optimalizačních problémů. Protože evoluční algoritmy používají pouze funkční hodnoty cílové funkce, blíží s k jejímu optimu mnohem pomaleji než ... -
Analýza atraktorů zobecněných Newtonovských tekutin v 3d oblastech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011Zkoumáme systém nelineárních parciálních diferenciálních rovnic, konkrétně tzv. model Ladyženské, ve třech prostorových dimenzích. Ukážeme, že po přidání perturbace vyššího řádu tento model vykazuje podstatně lepší ... -
Adaptivní volba parametrů stabilizačních metod pro rovnice konvekce-difúze
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Název práce: Adaptivní volba parametrů stabilizačních metod pro rovnice konvekce-difúze Autor: Bc. Petr Lukáš (e-mail: luk.p@post.cz) Katedra (ústav): Katedra numerické matematiky Vedoucí diplomové práce: Doc. Mgr. Petr ... -
Numerická simulace proudění stlačitelných tekutin pomocí paralelních výpočtů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 16. 9. 2011Předmětem práce je paralelní implementace programu na numerickou simulaci proudění stlačitelných tekutin. Program je založen na nespojité Galerkinově metodě, která je díky svým vlastnostem velmi vhodná pro paralelizaci. V ... -
Vlastnosti a aplikace ploch nízkého stupně
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 13. 9. 2011V diplomové práci "Vlastnosti a aplikace ploch nízkého stupně" se věnujeme především vlastnostem svazků kvadratických ploch. Je vysvětleno současné převedení dvou symetrických matic do kanonického tvaru, a projektivní ... -
Řízení podnikového rizika
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011V předložené práci studujeme jednotlivá rizika, kterým podnik je neustále vysta- ven. Zaobíráme se ohodnocením rizik z různých pohledů, největší důraz je však kladen na nejmodernější typ míry rizik: Value at Risk. Studujeme ... -
Sémantická anotace doménově závislých dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Jedním z problémů při sémantizaci webu je získávání sémanticky anotovaných dat - webových stránek. Tato práce se proto detailně zaměřuje na manuální anotaci webových stránek a snaží se tento proces uživatelům co nejvíce ... -
Methods of Study of Photosensitizer-Photophysics with Application on Thiazolyl-porphyrins
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 20. 9. 2011Název práce: Metody výzkumu fotofyziky fotosensibilizátorů s aplikací na thiazolyl- porfyriny Autor: Marek Scholz Katedra: Katedra chemické fyziky a optiky Vedoucí diplomové práce: RNDr. Roman Dědic, Ph.D. e-mail vedoucího: ... -
Combining text-based and vision-based semantics
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Získání a reprezentace (lexikální) sémantické informace patří mezi nejdůležitější úlohy, které přispívají ke kvalitě automatického zpracování přirozeného jazyka (viz např. nedávná studie (Turney a Pantel, 2010)). V této ... -
Konvexně nezávislé podmnožiny konečných množin bodů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Nech' fd(n), pro n > d ≥ 2, je nejmenší přirozené číslo takové, že každá množina fd(n) bod· v obecné poloze v Rd obsahuje n bod· v konvexní poloze. Nech' hd(n, k), pro n > d ≥ 2 a k ≥ 0, je nejmenší přirozené číslo takové, ... -
An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Gruzínština se výrazně odlišuje od indoevropských jazyků. Vyznačuje se řadou jazykových jevů, které jsou obtížné pro lingvistickou teorii i počítačové zpracování. Navíc patří mezi jazyky, u kterých nelze plně využít ... -
Počítačové studium sondové diagnostiky vysokoteplotního plazmatu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 23. 9. 2011Název práce: Počítačové studium sondové diagnostiky vysokoteplotního plazmatu Autor: Jan Lachnitt Katedra / Ústav: Katedra fyziky povrchů a plazmatu Vedoucí diplomové práce: prof. RNDr. Rudolf Hrach, DrSc., Katedra fyziky ... -
Supporting multiplatform applications with YA-RPC
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název práce: Supporting multiplatform applications with YA-RPC Autor: František Kovařík Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Petr Hnětynka, Ph.D. E-mail vedoucího: hnetynka@d3s.mff.cuni.cz ... -
Studium produkce dijetů ve fotoprodukčních interakcích na HERA
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 5. 2012V této práci jsou analyzována současná měření difrakční fotoprodukce dijetů na urychlovači HERA s důrazem na možné narušení faktorizace. Jsou zkoumány možné důvody rozdílnosti studií H1 a ZEUS kolaborací, jako rozdílné ... -
Shlukování textových dokumentů a jejich částí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Práce analyzuje možnosti použití vektorového modelu a shlukování aplikované na jednotlivé části dokumentu - kapitoly, odstavce a věty - z hlediska možnosti usnadnění navigace v dokumentu mezi podobnými částmi. Součásti ... -
Malé hry - gobblet - remizová strategie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Název práce: Malé hry - gobblet - remizová strategie Autor: Bc. Filip Bureš Katedra / Ústav: Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: Mgr. Vladan Majerech, Dr., KTIML Abstrakt: Diplomová ... -
Vývoj dynamického modelu pro odhad radonové zátěže budov
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 9. 2011Název práce: Vývoj dynamického modelu pro odhad radonové zátěže budov Autor: Barbora Vaňková Katedra (ústav): Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: Ing. Marek Brabec, Ph.D. e-mail ... -
Tool for Collaborative XML Schema Integration
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název: Nástroj pro kolaborativní návrh integrace XML schémat Autor: Jiří Meluzín Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: Martin Nečaský, Ph.D. Abstrakt: Cílem této práce je vyvinout metodu pro ... -
Samoupravující seznamy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Samoupravující seznamy Samoupravující seznamy jsou datové struktury sloužící k rychlému vyhledávání za předpokladu, že některé prvky v nich uložené jsou vyhledávány častěji než jiné, přičemž pravděpodobnosti přístupu k ... -
Studium růstu 1-D struktur obsahujících atomy kovů III a IV skupiny pomocí STM
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 23. 9. 2011Práce se zabývá studiem struktur Al a Sn na povrchu Si(100) s rekonstrukcí 2$\times$1 pomocí STM. Jsou studovány zvláštnosti zobrazování a morfologie kovových struktur. Z STM měření jsou pro Al a Sn získány růstové ... -
Kapitálové požadavky kladené na pojišťovny v Solvency II a jejich kvantifikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Názov práce: Kapitálové požadavky kladené na pojišt'ovny v Solvency II a jejich kvantifikace Autor: Bc. Martin Kožár Katedra (ústav): Katedra pravdepodobnosti a matematickej štatistiky Vedúci diplomovej práce: Mgr. Martin ... -
Hybrid Machine Translation Approaches for Low-Resource Languages
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011V poslední době poskytují systémy automatického překladu založené na korpusových datech dobré výsledky pro celou řadu jazykových párů. Ty jazyky, pro které není k dispozici dostatek dat (jako např. Urdu), však při použití ... -
Školní větné rozbory jako možný zdroj závislostních korpusů (?)
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Cílem práce je prozkoumat možnosti využití dat ze školních větných roz- borů pro značkování slov v jazykových korpusech. Za účelem ověření této hy- potézy byla vybrána množina vět, které byly předloženy žákům základních a ... -
Aktualizace XML dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Aktualizácia XML dát je veľmi široká oblasť, ktorá musí riešiť niekoľko neľahkých problémov. Od návrhu jazyka s dostatočnou vyjadrovacou silou až po úložisko XML dát schopné zmeny aplikovať. Spôsobov ako sa s nimi ... -
Exploring Higher Order Dependency Parsers
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Syntakticka analyza jejednim z nejdulezitejsich kroku pocitacoveho zpracovani pfirozenych jazyku. V teto praci se zamefujeme na formalismus zavislostni gramatiky, protoze jeho hlavnf principy, zejmena vztah fidiciho a ... -
Modelling Planning Problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Téma předložené diplomové práce spadá do oblasti znalostního inženýrství v automatickém plánování. V poslední době je pro reprezentaci plánovacích problémů často využíván koncept stavových proměnných. V rámci této práce ... -
Advanced Optimizations in Dynamic Language Compiler
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Dynamické programovací jazyky jsou navržené pro běh v interpretu a tím pádem provádějí značnou část typových kontrol za běhu. Oproti tomu překladače statických jazyků mohou značnou část této třídy kontrol odstranit za ... -
Úlohy stochastického dynamického programování: teorie a aplikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 24. 1. 2012Názov práce: Úlohy stochastického dynamického programování: teorie a aplikace Autor: Gabriel Lendel Katedra: Katedra pravděpodobnosti a matematické statistiky Vedúci diplomovej práce: Ing. Karel Sladký CSc. e-mail vedúceho: ... -
Search Strategies for Scheduling Problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012V předložené práci porovnávám prohledávací strategie pro řešení rozvrhovacích problémů z pohledu programování s omezujícími podmínkami. Těžiště práce je věnováno rozvrhovacím problémům obsahujícím alternativní úlohy. V ... -
Studium a srovnávání hlavních typů evolučních algoritmů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Evoluční algoritmy patří mezi nejmladší a zároveň nejprogresivnější metody řešení obtížných optimalizačních úloh. Tyto algoritmy si získali svou velkou oblibu díky dobrým experimentálním výsledkům na složitých optimalizačních ... -
Kreditní riziko
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 24. 1. 2012Diplomová práce se zabývá problematikou kreditního rizika a vy- branými metodami jeho výpočtu. Z přístupů měření kreditního rizika se zaměřuje na předpoklady, postupy výpočtu, výsledky i specifika modelů CreditMetrics a ... -
Modelování ve finanční analýze
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 24. 1. 2012V predloženej práci študujeme regionálne a globálne väzby, ako dôkaz integrácie akciových trhov vo Frankfurte, Amsterdame, Prahe a USA rovnako dynamiku prenosu volatility medzi súvisiacimi devízovými kurzami použitím ... -
Limitní chování Nashovy rovnováhy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 22. 6. 2012Předmětem studia oboru teorie her jsou hry jakožto matematické modely pro- blémů z praxe. V těchto hrách se vyskytují dva či více hráčů, kteří se snaží jednat tak, aby maximalizovali svůj zisk. Speciální důležitost při ... -
Použití ACO algoritmu na řešení jednoduché substituční šifry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012Název práce: Použití ACO algoritmu na řešení jednoduché substituční šifry Autor: Luboš Turek Katedra (ústav): Katedra algebry Vedoucí bakalářské práce: doc. RNDr. Jiří Tůma, DrSc. e-mail vedoucího: jiri.tuma@mff.cuni.cz ... -
Anotující disassembler pro AMD64
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012Cílem práce je vytvořit disassembler pro architekturu AMD64, který bude sloužit pro zjednodušení analýzy programů na úrovni strojového kódu. Práce popisuje formát instrukcí, binárních souborů a systémové konvence, které ... -
Distropine - Distribuovaný systém pro komentování webových stránek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012V tejto bakalárskej práci si kladieme za cieľ navrhnúť a implementovať peer-to-peer variantu služby pre komentovanie internetových zdrojov. Z funkčného hľadiska sa jedná o implementáciu diskusného fóra v P2P prostredí. ... -
Face Recognition in Social Networks
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012Rozpoznávání tváří je čím dál tím populárnější služba v různých obrázkových galeriích a sociálních sítích. Žádná z těchto reálných aplikací však neposkytuje uživateli možnost nastavení parametrů. Cílem této práce je vyvinout ... -
Zobrazování drahokamů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012Broušené drahokamy získávají svůj charakteristický vzhled díky způsobu, jakým v nich dochází k mnohačetným odrazům a lomům světla. Cílem této práce je navrhnout a implementovat aplikaci pro fotorealistické zobrazování ... -
Aplikace Laplaceovy transformace a HPM (Homotopy perturbation method) pro řešení Burgersovy rovnice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 22. 6. 2012Bakalářská práce se zabývá metodou homotopie pro řešení různých druhů funkcionálních rovnic. V úvodu je metoda zformulována. V první kapitole je pak užití na několika typech funkcionálních rovnic. Ve druhé kapitole se ... -
Použití hp verze nespojité Galerkinovy metody pro simulaci stlačitelného proudění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 5. 2012Názov práce: Použitie hp-verzie nespojitej Galerkinovej metódy pre simulá- ciu stlačiteľného prúdenia Autor: Karol Tarčák Katedra: Katedra numerické matematiky Vedúci diplomovej práce: prof. RNDr. Vít Dolejší, Ph.D., DSc. ... -
Generating life episodes for the purpose of testing of episodic memory models
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 3. 9. 2012Cílem práce je vytvořit generátor událostí generující korpus vstupních episod, které se dají použít jako vstupní data pro testování modelů episodické paměťi. Specielně, použité řešení by mělo zajistit, že bude výsledek ... -
GPS tracks data processing and visualization
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 3. 9. 2012Velké rozšíření GPS zařízení schopných zaznamenávat a ukládat trasu pohybu vytváří obrovské množství dat obsahujících široké spektrum informací, které je možné využít k mnoha různým účelům. Typické využití je vykreslení ... -
Metody výpočtu vyrovnávací rezervy
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 12. 9. 2011 -
Vizualizace algoritmů pro vyhledávání v textech
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 9. 2011Práce se zabývá návrhem a implementací programu sloužícího k objasnění fungování algoritmů pro vyhledávání v textech pomocí grafického zobrazení jejich struktur. Součástí práce je i analýza některých zajímavých, již ... -
Složky úrokových sazeb vládních dluhopisů
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012Predložená práca sa zaoberá rozpadom výnosov vládnych dlhopisov na rizikové zložky. Konkrétnejšie rozoberá kapitál na likviditu, nelikviditnosť straty a očakávané straty. Na úvod si povieme vlastnosti dlhopisov, konkrétne ... -
Feature selection for text classification with Naive Bayes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012Tato práce se zabývá výzkumem v oblasti klasifikace dokumentů. Popisuje již existujici techniky s důrazem na Naivní Bayesův klasifikátor. Zmíněny jsou i některé z metod pro výběr příznaků. Teoretické pozadí je základem pro ... -
Radon-Nikodymova derivace v pravděpodobnosti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 19. 6. 2012Tato bakalářská práce se zabývá Radon-Nikodymovou derivací, jejími vlast- nostmi, souvislostí s derivací míry a následně jejím využitím v teorii pravděpodob- nosti. Je zde podrobně definované podmíněné pravděpodobnostní ... -
Silně stacionární časy a konvergence Markovských řetězců
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 19. 6. 2012V této práci si ukážeme, jak se dá odhadovat rychlost konvergence markovských řetězců k jejich stacionárnímu rozdělení. Budeme k tomu používat metodu využívající silně stacionárních časů. Zaměříme se pouze na nerozložitelné ... -
Systém pro podporu výuky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 6. 2012V předložené bakalářské práci je realizována webová aplikace usnadňující práci lektorům i studentům libovolného prezenčního kurzu. Umožní jednoduchou, ale účinnou komunikaci mezi lektorem a studenty i mezi studenty navzájem ...