Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 7841-7920 z 11266
-
Studium počátečních fází růstu kovových vrstev metodami počítačové fyziky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Tato práce se zabývá popisem a analýzou obrazových dat, souvisejících s počátečními fázemi růstu tenkých vrstev. Úvodní rešeršní část obsahuje popis tenkých vrstev a způsoby jejich tvorby. Následuje přehled používaných ... -
Shluky volatility a dynamika poptávky a nabídky
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Název práce: Shluky volatility a dynamika poptávky a nabídky Autor: Jana Plačková Katedra: Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: Dr. Jan M. Swart e-mail vedoucího: swart@utia.cas.cz ... -
Útoky na bitově orientované proudové šifry obsahující LFSR
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 20. 9. 2012V predloženej práci sa venujeme kryptoanalýze jednej z najznámejších prúdových šifier - šifre A5/1. Táto šifra sa používa na zabezpečenie komunikácie mobilných telefónov, ktoré sú v súlade so štandardom GSM. Základným ... -
Dynamic resource balancing in virtualization clusters
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Účelem této práce bylo analyzovat problém vyvažování zátěže ve virtualizačních klastrech. Dalším cílem bylo implementovat pilotní verzi aplikace vyvažující zátěž ve virtualizačním klastru postaveném na platformě VMware ... -
Téměř optimální obchodní strategie pro více rizikových aktiv
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 9. 2011Uvažujeme investora, který má možnost investovat do více rizikových aktiv, nazvaných akcie, a do jednoho nerizikového aktiva, nazvaného opce. Cílem investora je maximalizovat svoje bohatství, a to dlouhodobě. Problematika ... -
Nekomutativni Choquetova teorie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011- ABSTRAKT - Nekomutatívna Choquetova teória Nech M je lineárny podpriestor komutatívnej C∗ -algebry C(X), ktorý oddeľuje jej body a obsahuje jednotku. Potom uzáver Choquetovej hra- nice pre M je Šilova hranica vzhľadom k ... -
Studium spinové polarizace v polovodičích pomocí laserové spektroskopie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 21. 9. 2011Tato práce se věnuje studiu dynamiky spinové polarizace ve feromagnetickém polovodiči Ga1-xMnxAs s širokým intervalem nominálního zastoupení manganových iontů s využitím metody ultrarychlé laserové spektroskopie - časově ... -
Velký mnohojazyčný korpus
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011V této diplomové práci je popsán webový korpus W2C. Tento korpus obsahuje 97 jazyku a pro každý z nich alespoň 10 milionů slov. Celková velikost je 10,5 miliardy slov. Aby bylo možné takovýto korpus vytvořit, bylo nutné ... -
Kombinatorická teorie grup v kryptografii
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 23. 1. 2012V předkládané práci se zabýváme aplikací rozhodovacích problémů z kombinatorické teorie grup v kryptografii, konkrétně protokolem Shpilrain- Zapata. Formálně dokážeme, že grupy s malým krácením slouží jako vhodná platforma ... -
State Space Symmetry Reduction for TBP Analysis
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných ... -
Některé otázky definovatelnosti
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 18. 9. 2012Zaměříme se na prvořádovou definovatelnost v kvaziuspořádané třídě konečných orientovaných grafů uspořádané vnořitelností. Nejprve dokážeme definovatelnost každého grafu až do velikosti tři. Protože budeme muset k jazyku ... -
Refaktorizace editoru stromů TrEd
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Název práce: Refaktorizace editoru stromů TrEd Autor: Peter Fabian Katedra: Útav formální a aplikované lingvistiky Vedoucí diplomové práce: doc. Ing. Zdeněk Žabokrtský, Ph.D., Útav formální a aplikované lingvistiky Abstrakt: ... -
Stochastická dominance vyšších řádů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Tato práce se věnuje stochastické dominanci vyšších řádů náhodných veličin a portfolií. Je prezentován souhrn poznatků o stochastické dominanci vyšších řádů a eficienci portfolií. Hlavní částí práce je důkaz, že za předpokladu ... -
Automatické vytváření sémantických sítí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Předložená práce si dává za cíl prozkoumat možnosti automatické konstrukce a rozšiřování sémantických sítí za použití metod strojového učení. Důraz je kladen na postup získávání rysů pro sadu dat. Práce prezentuje metodu ... -
Teorie a algebry formulí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 15. 9. 2011V předložené práci studujeme teorie prvého řádu a jejich Lindenbaumovy algebry zkoumáním vlastností řetězu BnT n<ω, nazvaného B-řetěz, kde BnT je podalgebra Lindenbaumovy algebry daná formulemi s nejvýše n volnými ... -
Creating a Bilingual Dictionary using Wikipedia
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Název práce: Tvorba dvojjazycného slovníku s použitím Wikipedie Autor: Angelina Ivanova Katedra/ Ústav: Ústav formální a aplikované lingvistiky (32-ÚFAL) Vedoucí diplomové práce: RNDr. Daniel Zeman Ph.D. Abstrakt: Strojove ... -
Procedurální generování měst
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Tato diplomová práce navrhuje novou metodu pro procedurální generování městských silničních sítí. Popsány jsou jednoduchá dopravní simulace založená na postřezích ze sociální geografie, která je schopná řídit časový vývoj ... -
Generování náhodných dat z biometrických vzorků
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Název práce: Generování náhodných dat z biometrických vzorků Autor: Bc. Romana Sachová Katedra (ústav): Katedra algebry Vedoucí diplomové práce: Ing. Mgr. Zdeněk Říha, Ph.D. e-mail vedoucího: zriha@fi.muni.cz Abstrakt: ... -
Extremální vlastnosti hypergrafů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011V t\'eto pr\'aci pod\'ame p\v rehled o n\v ekter\'ych ned\'avn\'ych v\'ysledc\' ich o skoc\'ich v hypergrafech v oblasti exterm\'aln\'i kombinatoriky. \v C\'islo $\alpha \in [0, 1)$ je skok pro $r$, pokud pro ka\v zd\'e ... -
Stochastická dynamika bublin v DNA
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Název práce: Stochastická dynamika bublin v DNA Autor: Bc. Vojtěch Kaiser Katedra: Katedra fyziky kondenzovaných látek Vedoucí diplomové práce: RNDr. Tomáš Novotný, Ph.D., Katedra fyziky kondenzovaných látek Abstrakt: ... -
Kódování a efektivita LDPC kódů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011LDPC kódy jsou lineární samoopravné kódy, které jednak umožňují přenos dat rychlostí libovolně blízkou kapacitě kanálu, a zároveň pro ně existují vysoce účinné dekódovací algoritmy. Naproti tomu hlavní nevýhodou většiny ... -
Kerdockovy kódy a okolí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 20. 9. 2012Název práce: Kerdockovy kódy a okolí Autor: Kateřina Teplá Katedra: Katedra algebry Vedoucí diplomové práce: prof. RNDr. Aleš Drápal, CSc., DSc., Katedra al- gebry Abstrakt: Kerdockovy kódy tvoří rodinu nelineárních kódů, ... -
Internetové obchody
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název práce: Internetové obchody Autor: Michal Hampl Katedra (ústav): Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: doc. RNDr. Mirko Křivánek, CSc. Abstrakt: Obsahem diplomové práce je ... -
Model dopravního toku s překážkou
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Název práce: Model dopravního toku s překážkou Autor: Adam Kovařík Katedra (ústav): Katedra numerické matematiky Vedoucí diplomové práce: prof. RNDr. Vladimír Janovský, DrSc. e-mail vedoucího: janovsky@karlin.mff.cuni.cz ... -
C-language code generator for SOFA 2
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011SOFA 2 je komponentový systém založený na hierarchickém komponentovém modelu. K návrhu aplikace slouží jazyk ADL, chování komponent je popsáno behaviorálními protokoly, dále systém umožňuje dynamickou rekonfiguraci komponet ... -
Výpočet rizikového kapitálu pro investiční životní pojištění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Název práce: Výpočet rizikového kapitálu pro investiční životní pojištění Autor: Bc. Tomáš Coufal Katedra/Ústav: Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: Mgr. Josef Lukášek e-mail vedoucího: ... -
Immersions and edge-disjoint linkages
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 15. 9. 2011Grafové imerze jsou přirozená analogie k intenzivně zkoumanému konceptu grafových minorů a topologických grafových minorů, ale teorie v této oblasti je mnohem méně rozvinutá. V práci se zabýváme hledáním postačujících ... -
Ray-based Born approximation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 20. 9. 2011Název práce: Bornova aproximace založená na paprskové metodě Autor: Libor Šachl Katedra: Katedra geofyziky Vedoucí diplomové práce: RNDr. Luděk Klimeš, DrSc. e-mail vedoucího: klimes@seis.karlov.mff.cuni.cz Abstrakt: Jedním ... -
Vessel segmentation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 6. 9. 2011Název práce: Segmentace cév Autor: Ján Dupej Katedra / Ústav: Katedra software a výuky informatiky Vedoucí diplomové práce: RNDr. Josef Pelikán, KSVI Abstrakt: V téhle práci je podán přehled některých dostupných segmentačních ... -
Generování kódu z diagramů aktivity jazyka UML
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Generování kódu z jazyka UML je dosud značně omezené. Diagramy, z nichž je nejčastěji generován kód popisují statickou strukturu. Jde především o diagramy tříd. Jedním z nejužitečnějších a nejméně využitých druhů jsou právě ... -
Podíly na zisku životních pojištění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011V předložené práci se zabýváme podíly na zisku u produktů životního pojištění. Nejprve se seznámíme obecně s podíly na zisku a se základními pojmy v oblasti podílů na zisku. Nahlédneme také do aktuální právní úpravy týkající ... -
Aplikace pro hodnocení výkonnosti zaměstnanců
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Diplomová práca predstavuje metodiku Balanced Scorecard, ktorá patrí k najuznávanejším spôsobom merania výkonnosti podniku. Práca kladie dôraz na sféru ľudských zdrojov, ktorej úlohu chce vyzdvihnúť. Zamestnanci predstavujúci ... -
Nonabsolutely convergent integrals
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011Název práce: Nonabsolutely convergent integrals Autor: Kristýna Kuncová Katedra: Katedra matematické analýzy Vedoucí diplomové práce: Prof. RNDr. Jan Malý, DrSc., Katedra matemat- ické analýzy Abstrakt: Cílem práce je ... -
Utilizing HLA for agent based development platforms
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012High Level Architecture (HLA) poskytuje univerzální řešení pro propojení více simulačních prostředí a aplikací, vytvářejíc složitějčí simulační system. Základní myšlenka HLA je kontrolovaná a směrovaná výměna objektů a ... -
Zobecněné limity afinních funkcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 8. 2. 2012V předložené práci je sestrojen koanalytický filtr na množině konečných posloupností přirozených čísel, který umožňuje získat silně afinní funkci libovolné borelovské třídy z kompaktní konvexní podmnožiny lokálně konvexního ... -
Sumarizace českých textů z více zdrojů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Diplomová práce se zabývá problémem sumarizace sady článků na dané téma. Rozebírá několik možných způsobů sestavování sumarizace a způsoby vyhodnocení jejich výsledků. Součástí práce je implementace popsaných algoritmů a ... -
Testování učení restartovacích automatů genetickými algoritmy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Název práce: Testování učení restartovacích automatů genetickými algoritmy Autor: Bc. Lenka Kovářová Katedra: Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. František Mráz, CSc. Abstrakt: Restartovací ... -
Výpočetní model zvířete určený pro výuku na SŠ
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012V rámci této práce vznikl výpočetní model, jehož pomocí se dá simulovat učení zvířat. Model staví na variantě q-učení a umožňuje modelovat základní typy učení, včetně klasického a operantního podmiňování. Na rozdíl od ... -
API pro ovládání robota v přirozeném jazyce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012 -
Generování kódu ze stavového modelu UML
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Tato práce se zabývá implementací vhodného algoritmu generování kódu ze stavových diagramů v UML. Práce obsahuje analýzu popisu stavových automatů v jazyce UML, následuje popis formátu vstupního souboru navrhovaného ... -
Interactive Preview Renderer for Complex Camera Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Název práce: Interactive Preview Renderer for Complex Camera Models Autor: Bohumír Zámečník Katedra (ústav): Kabinet software a výuky informatiky Vedoucí bakalářské práce: Dr. Alexander Wilkie E-mail vedoucího: alexander@wilkie.at ... -
Optimalizace projektových portfolií s časem a zdroji
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Název práce: Optimalizace projektových portfolií s časem a zdroji Autor: Bc. Tomáš Huml Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: Doc. RNDr. Roman Barták, Ph.D Abstrakt: Tradiční ... -
Guiding a Path Tracer with Local Radiance Estimates
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Algoritmus sledování světelných cest (path tracing) je základní, statisticky nestrannou metodou pro výpočet globálního osvětlení v třírozměrných scénách. Algoritmus je ovšem v praxi příliš pomalý, a proto slouží spíše pro ... -
Detekce duplicit v rozsáhlých webových bázích dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Tato diplomová práce se zabývá metodami používanými k detekci duplicitních dokumentů, a možností jejich integrace do internetového vyhledávače. Nabízí přehled běžně používaných metod, z nichž vybírá metodu aproximace ... -
CSG modelování pro polygonální objekty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Tato práce se zabývá efektivní a robustní technikou provádění booleovských operací nad polygonálními modely. Plné robustnosti je dosaženo ve vnitřní reprezentaci založené na rovinách a BSP stromech (binary space partitioning ... -
Stochastické modely tvorby škodních rezerv
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 24. 1. 2012V predloženej práci študujeme a popisujeme stochastický model vy- tvárania škodných rezerv pre poisťovne. Konkrétne sa jedná o model založený na nasledujúcich troch vlastnostiach. Modelovanie očakávaných poistných plnení ... -
Interactive scheduling and visualisation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Cílem této diplomové práce bylo navrhnout a implementovat grafický nástroj pro zobrazování a editaci rozvrhů, který by obsahoval funkci pro automatické opravení porušených podmínek v rozvrhu. Výsledná aplikace Gantt Viewer ... -
Informační systém překladatelské firmy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Práce analyzuje informační potřeby překladatelské agentury s důrazem na optimalizaci a automatizaci překladových procesů. Na základě analýzy je v práci navržen pro agenturu informační systém, a to včetně volby technologií. ... -
Adaptation of Relational Database Schema
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012V předložené práci studujeme evoluci databázového schématu a její vliv na související oblasti. Práce obsahuje přehled důležitých problémů spojených se změnou úložiště dat a také popisuje existující přístupy k těmto problémům. ... -
Port HelenOS pro hypervisor Xen
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Cílem práce je port operačního systému HelenOS pro paravirtualizovaný běh pod hypervisorem Xen na platformě IA-32. Výstupem práce je prototypová implementace, která umožňuje běh systému HelenOS jako PV guest pod hypervisorem ... -
Řešené úlohy z fyziky pro elektronickou sbírku - střídavý proud
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 2. 2. 2012Název práce: Řešené úlohy z fyziky pro elektronickou sbírku - střídavý proud Autorka: Michala Pfefrčková Katedra (ústav): Katedra didaktiky fyziky Vedoucí diplomové práce: RNDr. Zdeňka Koupilová, Ph.D. e-mail vedoucího: ... -
COSIM - Simulace povlakování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012Je dána povlakovací komora, ve které je rotující systém rotujících držáků, které drží rotující nástroje. Dále jsou v komoře umístěny elektrody (z různých materiálů), ze kterých se odpařuje materiál, který se nanáší na ... -
Zpětná alokace diversifikačního efektu v pojistném riziku
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 24. 1. 2012Určenie postačujúcej výšky ekonomického kapitálu a jeho spätná alokácia je pre poist'ovne kl'účová otázka. V diplomovej práci predstavíme dve metódy výpočtu ekonomického kapitálu. Prvý je založený na lineárnej korelácii ... -
Schematron Schema Inference
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 30. 1. 2012XML je populární jazyk pro výměnu dat. Mnoho dokumentů však nemá svůj popis schématu nebo je tento popis neaktuální. Tato práce navazuje na práce o automatickém odvozování schémat XML dokumentů a zaměřuje se na odvozování ... -
Studium vlnově-částicových interakcí v kosmickém plazmatu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Tato práce se zabývá lineární analýzou plazmatických vln, zejména metodami řešení disperzní relace horkého plazmatu. Uvádí některé výsledky, jichž bylo dosaženo při výzkumu vln v kosmickém plazmatu a mapuje stavající ... -
Elektronická struktura materiálů na bázi grafenu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 21. 9. 2011V posledních dvou letech byl předeslán koncept umělého grafenu, vytvořeného v běžných polovodičových 2D systémech s využitím nanolitografie na jejich površích. Takový systém by měl umožnit studium jevů spojených s částicemi ... -
Komprese pseudonáhodných posloupností
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011Generátory pseudonáhodných posloupností jsou široce využívanými objekty, mj. pro svoje použití v proudových šifrách. Jednou z cest vedoucích ke zvýšení odolnosti proti různým druhům útoků je použití komprese na generovanou ... -
Matematické modelování magnetosriktních látek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 20113 Název práce: Matematické modelování magnetostriktních látek Autor: Lukáš Vermach Katedra (ústav): Matematický ústav Univerzity Karlovy Vedoucí diplomové práce: Priv.-Doz. Dr. habil. RNDr. Martin Kružík Ph.D., Ústav teorie ... -
Prezentace detektorů elementárních částic pro veřejnost
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 20. 9. 2011Předkládaná diplomová práce se zabývá detektory elementárních částic a možnostmi jejich využití. V úvodu je čtenář seznámen s pojmy radioaktivita a jaderné záření. Dále se zde dozví, k jakým procesům dochází při průchodu ... -
Kreditní přirážka k tržnímu ocenění: přístupy k výpočtu a modelová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 rizikově neutrální oceňovací formulí pro kreditní přirážku k tržnímu oceňování v případech, kdy jsou jedna nebo obě strany kontraktu vys- taveny riziku úpadku. V případě, kdy čelí úpadku jen jedna ... -
Harmonický posun výšky tónu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Tato práce se zabývá návrhem a implementací hudebního efektu sloužícího pro harmonický posun frekvence jednohlasého zpěvového signálu. Efekt umožňuje v reálném čase generovat ze vstupního signálu dva hlasy s posunem výšky ... -
Vlastnosti grafů velkého obvodu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011V práci zkoumáme dva náhodné procesy pro kubické grafy velkého obvodu. První proces nalezne pravděpodobnostní distribuci na hranových řezech takovou, že každá hrana je v náhodně vybraném řezu s pravděpodobností alespoň ... -
MS SQL Application Development Framework
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název práce: Nástroje pro vývoj MS SQL aplikací Autor: Bc. Marek Hanes Katedra / Ústav: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Michal Kopecký, Ph.D. Abstrakt: Tato práce pojednává o vývoji databázových ... -
Vícerozměrné finanční časové řady
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 9. 2011V této práci popíšeme metody pro modelování vícerozměrných finančních časových řad. Zaměříme se, jak na modelování střední hodnoty pomocí vícerozměrných Boxových-Jenkinsových procesů, tak především na mode- lování podmíněných ... -
Tools for generating and editing of 2D terrain
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Unity je nástroj pro tvorbu her používaný velkým množstvím vývojářů. Jednou z jeho chybějících funkcí je širší podpora pro dvourozměrné hry, obzvlášť v oblasti editace a generování dvourozměrného terénu. Cílem této práce ... -
Vybrané metody pro analýzu mnohorozměrných finančních dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011V praxi se často setkáváme s daty ve formě pozorování několika proměnných v různých časových okamžicích. Těmto datům říkáme časové řady. V práci se zabýváme vybranými přístupy analýzy časových řad; grafickými modely, ... -
Optimization and Refinement of XML Schema Inference Approaches
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011I když je XML obecně už ivána technologie, větš ina XML dokumentů v oběhu neodpovídá ž ádnému specifikovanému schématu. Za této situace vznikl výzkum automatické konstrukce schémat z XML dokumentů. Tato práce zdokonaluje ... -
Atmosférické vlastnosti bílých trpaslíků
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 15. 9. 2011Analyzovali jsme ultrafialová spektra 40-ti bílých trpaslíků spektrálního typu DA. Analyzovaná spektra byla získána družicí Far Ultraviolet Spectroscopic Explorer (FUSE) a jsou veřejně přístupná v databázi MAST FUSE. Metodou ... -
Srovnání lokalizačních technik
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Tato práce srovnává lokalizační techniky používané v mobilní robotice. Lokalizace, tedy úloha zjistit vlastní polohu v prostoru, představuje jeden ze základních problémů robotiky. Tato práce se úvodem věnuje podrobnějšímu ... -
Klimatologie středomořských cyklón
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 15. 5. 2012Práce se zabývá klimatologií středomořských cyklón. V první části je uveden popis středomořské oblasti, druhá část se věnuje klimatickým poměrům ve Středomoří, tj. teplotám vzduchu, povrchu moře a srážkovým poměrům. Třetí ... -
MCTS with Information Sharing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Představíme naši výkonnou implementaci algoritmu Monte Carlo stromového vyhledávání (MCTS) pro hraní deskové hry Go: Pachi. Program je založeno na dříve publikovaných algoritmech i našich původních vylepšeních. Následně ... -
Weighted rearrangement-invariant function spaces
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 8. 9. 2011V této práci se zaměříme na studium zobecněných Gamma prostorů GΓ(p, m, v) a určíme některé jejich důležité vlastnosti. V článku Relative Rearran- gement Methods for Estimating Dual Norm (viz. citovaná literatura) se autoři ... -
Universal Constraint Language
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Názov práce: Univerzálny jazyk pre integritné obmedzenia Autor: Peter Piják Katedra / Ústav: Katedra softwarového inženýrství Vedúci diplomovej práce: Mgr. Martin Nečaský, Ph.D. Abstrakt: Dnešné softvérové systémy sú ... -
Integrace Pogamutu s Defconem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Název práce: Integrace Pogamutu s Defconem Autor: Bc. Radek Píbil Katedra: Kabinet software a výuky informatiky Vedoucí diplomové práce: Mgr. Jakub Gemrot Abstrakt: V této práci se zabýváme napojením platformy pro vývoj ... -
Statistická analýza intervalových dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011Tradiční statistická analýza začíná výpočtem základních statistických charakteristik jako je výběrová střední hodnota E, výběrový rozptyl V , kovariance či korelace. Při výpočtu těchto charakteristik se většinou předpokládá, ... -
Vulnerability Reports Analysis and Management
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Různé slabiny v softvérových produktech můžou často představovat značnou bezpečnostní hrozbu jestliže jsou objeveny nebezpečnými útočníky. Je proto důležité tyto slabiny identifikovat a ohlásit jejich existenci zodpovědným ... -
Workflow Modelling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Cílem diplomové práce bylo navrhnout a implementovat grafický editor umožňující modelování pracovních postupů (workflows) s důrazem na efektivitu práce, jednoduchost a použitelnost pro běžného uživatele. Výsledná aplikace ... -
Testování hypotéz modelů úrokových sazeb
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 14. 9. 2011V předložené práci se zabýváme problematikou stochastického modelování úro- kových sazeb. Jedním z nejobvyklejších postup· je modelovat dynamiku úroko- vých sazeb pomocí stochastické diferenciální rovnice difúze, jejímiž ... -
Metody statistické inference založené na matici vzdáleností
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 7. 9. 2011Při analýze dat pocházejících z oblasti ekologie často nelze použít tradičních mnohorozměrných metod. Použití koeficientů nepodobnosti a matice vzdáleností představuje způsob, jak tento problém vyřešit. V této práci ... -
Genetické algoritmy v evoluční robotice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011Tato práce se věnuje experimentálnímu porovnání evoluce neuronové sítě pro řízení robota za pomoci různých variant genetických algoritmů. Na třech úlohách evoluční robotiky jsou porovnány algoritmy používající reálné a ...