Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 8641-8720 z 11264
-
Úhlové korelace v rozpadech Higgsova bosonu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 16. 5. 2011Standardní model předpovídá, že Higgsův boson je jeden a má kombinovanou paritu CP = +1. V MSSM však existuje navíc i Higgsův boson, který má CP = −1. Práce se zabývá tím, jak určit CP Higgsova bosonu na základě úhlových ... -
Automatické vytváření slovníků z paralelních korpusů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 10. 5. 2011V rámci práce implementujeme vlastní systém pro zarovnání slov v paralelním korpusu. Použitá diskriminativní metoda zarovnání využívá lexikálních asociačních měr a dalších příznaků a vyžaduje malé množství ručně anotovaných ... -
Plánování důchodu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 1. 6. 2011Předložená práce se zabývá optimálním plánováním starobní penze v rámci českého důchodového systému. Seznamuje čtenáře s plánovanou a nezbytnou reformou, která systému umožní vyrovnat se s nepříznivým demografickým vývojem ... -
Bus monitoring and control environment
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Tento text je především určen jako doprovod k softwarovému a hardwarovému prostředí na monitorování a kontrolu digitálních sběrnic. Tato práce analyzuje problémy kontroly a monitorování digitálních sběrnic a řešení, která ... -
Errors in Variables
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 1. 6. 20111 Názov práce: Errors in variables Autor: Katarína Mordinová Katedra: Katedra pravděpodobnosti a matematické statistiky Vedúci bakalárskej práce: Mgr. Zdeněk Hlávka, Ph.D. e-mail vedúceho: Zdenek.Hlavka@mff.cuni.cz Abstrakt: ... -
Oceňování opcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 1. 6. 2011Název práce: Oceňování opcí Autor: Radek Moravec Katedra: Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: doc. RNDr. Jan Hurt, CSc., Katedra pravděpodobnosti a matematické statistiky V předložené ... -
Téměř optimální obchodní strategie pro malé transakční náklady
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 1. 6. 2011Uvažujeme investora obchodujícího s futures na trhu s malými transakčními náklady a jeho kapitál je uložen na běžném účtu peněžního trhu, kde se může úročit. Jako model pro realizační cenu futures je použit aritmetický ... -
Analýza a problémy Top-K dotazu nad relační databází
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 30. 5. 2011Kvůli zvýšení kapacit úložných zařízení a rychlosti počítačových sítí v posledních letech roste potřeba efektivně třídit a prohledávat data. Výsledky dotazů o tísících záznamech pro uživatele často bývají velmi nepřehledné. ... -
NP vyhledávací problémy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 5. 2011Název práce: NP vyhledávací problémy Autor: Tomáš Jirotka Katedra: Katedra algebry Vedoucí diplomové práce: Prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce shrnuje dosavadní výsledky v oblasti NP vyhledávacích problémů. ... -
Obecná enumerace číselných rozkladů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 26. 5. 2011Název práce: Obecná enumerace číselných rozklad· Autor: Jaroslav Hančl Katedra: Katedra aplikované matematiky Vedoucí diplomové práce: doc. RNDr. Martin Klazar, Dr., KAM MFF UK Abstrakt: Předložená diplomová práce se zabývá ... -
Rozšířený binární Golayův kód
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 19. 5. 2011Tato práce pojednává o třech konstrukcích rozšířeného binárního Golayova kódu G24. První konstrukce vychází z projektivní roviny řádu čtyři. Z ní je vybudován Steinerův systém (5, 8, 24). Lineární obal jeho bloků tvoří ... -
Nízkoteplotní část hloubky vniku v konvenčních a nekonvenčních supravodičích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 10. 5. 2011V predloženej práci študujem teplotnú závislosť hĺbky vniku magnetickej indukcie v supravodičoch, umožňujúcu určiť symetriu parametru usporiadania, čo je dôležité pre teoretické modely. V konvenčných supravodičoch má ... -
Využití internetu při výuce mnohostěnů na střední škole.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 30. 5. 2011Tato práce je určena zejména učitelům a studentům deskriptivní geometrie na středních školách. Práce se zabývá především průnikem a konstrukcí jehlanů a hranolů v promítáních, se kterými se mohou seznámit studenti středních ... -
Stochastické modelování úrokových sazeb
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 1. 6. 2011Název práce: Stochastické modelování úrokových sazeb Autor: Jakub Černý Abstrakt: Tato práce studuje různé stochastické modely úrokových sazeb. Teoretická část popisuje modely okamžité úrokové sazby (short-rate mo- dely), ... -
Dynamic reconfiguration in SOFA 2 component system
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 30. 5. 2011SOFA2 je komponentový systém založený na vytváření a uchovávání komponent v distribuovaném prostředí. Tento systém podporuje komponentovou hierarchii, což znamená, že lze několik komponent sloučit do jedné komponenty. ... -
Extrakce faktů z Webu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V předložené práci navrhujeme a testujeme nový postup extrakce faktů z webu. Předložená metoda bere v úvahu, včetně DOM stromu webové stránky, také její vizuální podobu. Základem a první částí je extrakce sémantických částí ... -
Zdroj monoenergetických elektronů pro monitorování spektrometru v neutrinovém experimentu KATRIN
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 16. 5. 2011Mezinárodní projekt KATRIN (KArlsruhe TRItium Neutrino experiment) je experiment nové generace využívající beta rozpad tritia. Je navržen, aby umožnil změřit hmotnost elektronového antineutrina pomocí unikátního elektronového ... -
Těžké tautologie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 26. 5. 2011Skoumáme nedokazatelnost tvrzení NP$\not\subseteq$P/poly v různých fragmentech aritmetiky. Ta se obvykle dosahuje ukázáním těžkosti výrokových formulí kódujících superpolynomiální spodní odhady pro booleovské obvody. Nejprve ... -
Limita ve středoškolské matematice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 27. 5. 2011 -
Použití plánovacích technik pro generování sportovního komentáře pro dvojici virtuálních agentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Virtuální agenti jsou významní reprezentanti multimodálních uživatelských rozhraní. Tato práce představuje systém IVAN (Intelligent Interactive Virtual Agent Narrators), který v reálném čase generuje emotivně zabarvené ... -
Výpočetní složitost v teorii grafů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 9. 5. 2011V předložené práci studujeme problém rekonstrukce grafu ze seznamu uzavřených okolí vrcholů tohoto grafu. Tento problém, původně zformulovaný V. Sósovou, budeme zkoumat z hlediska teorie parametrizované složitosti a zobecníme ... -
Výběr volitelných parametrů částečného zapomínání
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Předložená práce se zabývá výběrem volitelných parametrů částečného zapomínání. Hlavním cílem je vytvoření algoritmu pro optimální vývoj těchto parametrů v čase, který bude lepší, ne použití konstatních parametrů. K tomuto ... -
Jednorozměrné difusní stochastické diferenciální rovnice s aplikacemi ve finanční matematice
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Předmětem této práce je využití pokročilých metod teorie pravděpodobnosti a částečně i matematické analýzy na určité partie finanční matematiky. V první kapitole jsou shrnuty potřebné poznatky z teorie pravděpodobnosti. V ... -
Modelování průběhu choroby HIV
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V předložené práci se zabýváme modelování průběhu choroby HIS pomocí Markova modelu. Při tomto přístupu je největším úskalím definice stavů choroby. Ty jsou obvykle definovány na základě počtu CD4+ T lymfocytů (podskupina ... -
Numerické řešení Navierových-Stokesových rovnic se zobecněnou stavovou rovnicí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Název práce: Numerické řešení Navierových-Stokesových rovnic se zobecněnou stavovou rovnicí Autor: Martina Ullrichová Katedra: Katedra numerické matematiky Vedoucí diplomové práce: doc. RNDr. Vít Dolejší, Ph.D., DSc. E-mail ... -
Postranní útok na RSA-CRT s využitím SFT algoritmu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Práce se zabývá postranním útokem na RSA s využitím Čínské věty o zbytcích a Montgomeryho násobení. Jádro útoku spočívá v hledání signifikantních koeficientů Fourierovy transformace vhodně zvolené funkce. V teoretické části ... -
Detekce změn v časových řadách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010In the present work we study di®erent methods for testing whether or not a change has occurred in the parameter values of an autoregressive model (AR). We discuss the changes in the mean and in the autoregressive coe±cients ... -
Insolventnost bank a pravděpodobnost ruinování Fondu pojištění vkladů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010První část této studie se věnuje způsobům řízení tržních, operačních a úvěrových rizik v bankovnictví jak z hlediska výmoh regulátora (Basel I a Basel II), tak z pohledu vnitřních modelů oceňování. Jako nejvíce používané ... -
Sliced Inverse Regression
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010The presented work deals with Sliced inverse regression method for dimension reduction of explanatory variable in case of multivariate data sets. The aim of this work is to present this method, its characteristics and ... -
Nezáporné časové řady
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010Časové řady sestávající z nezáporných pozorování se hojně vyskytují v praxi napříč vědními disciplínami. Nezápornost daných pozorování lze využít k odvození speciálních metod odhadu, které mohou konvergovat rychleji než ... -
Vlastnosti sigma-pórovitých množin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 8. 9. 2010V předložené práci dokazujeme několik nových výsledků týkajících se pórovitých a -pórovitých množin. V prvních dvou kapitolách práce zkoumáme některé otázky v R, zatímco v kapitole třetí se soustředíme na zcela jiný problém ... -
Relaxace v mechanice kontinua tuhé fáze
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Práce se zabývá modelováním materiálů s tvarovou pamětí, konkrétně stacionárního modelu tenkých martenzitických filmů. Po úvodní motivaci je popsána krystalografická struktura těchto materiálů a následně zaveden matematický ... -
Kombinatorika matematických struktur
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Kombinatorika matematické struktury prvního řádu je třída všech formulí, které platí ve všech strukturách v ní definovatelných. Tento pojem poprvé zavedl Krajíček v [6]. V předložené práci se zabýváme charakterizací a ... -
Matematická analýza a výpočtový algoritmus Rayleighovy-Plessetovy rovnice v okolí prudkého kolapsu bublinky.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Rayleighova-Plessetova rovnice je běžně užívána k popisu dynamiky kulových bublin ve vodě. Avšak pozorování vysokorýchlostní kamerou ukazují, že bublina během prudkého kolapsu ztrácí svůj kulový tvar a často se rozpadá na ... -
Kryptoanalýza s využitím postranní informace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010V této práci útočíme pomocí postranní informace na implementaci schématu RSA, která využívá Montgomeryho aritmetiku a Čínskou větu o zbytcích. Náš útok vychází z již dříve předvedeného Tomoedova útoku, který je zde zkoumán ... -
Prostory spojitých funkcí v topologii bodové konvergence
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 8. 9. 2010Název práce: Prostory spojitých funkcí v topologii bodové konvergence Autor: Martin Slavata Katedra: Katedra matematické analýzy Vedoucí diplomové práce: doc. RNDr. Jiří Spurný, Ph.D. e-mail vedoucího: Jiri.Spurny@mff.cuni.cz ... -
Shlukování segmentu pojistných smluv do rizikově homogenních skupin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010V předložené práci studujeme skupiny homogenní pojistných smluv dle definice CEIOPS a pro které počítáme rizikové charakteristiky. První část práce se zabývá kvantifikací těchto rizik. Jako hlavní kategorie studujeme ... -
Statistické metody pro interpretaci forenzních DNA směsí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010V předložené práci studujeme interpretaci forenzních DNA smění z pohledu teorie pravděpodobnosti a matematické statistiky. Provádíme detailní matematickou formulaci dané problematiky, což nám umožňuje formulovat matematicky ... -
Testy dobré shody v bodových procesech.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010Hlavním cílem této práce je provést srovnávací analýzu různých testů modelů bodových procesů, které jsou nyní k dispozici. Za tímto účelem byl pro statistický software R napsán skript ve kterém jsou implementované různé ... -
Úlohy pravděpodobnostního programování s diskrétním rozdělením
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Tato práce se zabývá úlohami stochastického programování s pravděpodobnostními omezeními s diskrétním rozdělením. Ukazuji konečnost a korektnost algoritmu pro výpočet p-leve eficientních bodů, který také implementuji v ... -
Chyba predikce v technických rezervách neživotního pojištění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Práce se zabývá popisem tří postupů pro výpočet rezervy na pojistná plnění - stochastickými verzemi metod Chain ladder, Bornhuetter/Fergusonovou a multiplikativní. V první části jsou představeny jejich předpoklady, odhady ... -
Investiční strategie
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010V předložené práci pojednáváme o úrokových měrách a uvádíme základní modely krátkodobých úrokových měr. Dále pak popisujeme finanční aktiva závislá na úrokové míře. Představujeme pojem durace a výpočet durace portfolia ... -
Funkcionální data a analýza jejich hlavních komponent
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010Předložená práce se zabývá analýzou funkcionálních dat. V první části práce je probírán problém, jak z konečně mnoha pozorování zkonstruovat funkci. Tato otázka je řešena rozvojem pomocí systémů bazických funkcí s důrazem ... -
Hypotéza o MDS kódech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010V předloženej práci skúmame niektoré vlastnosti MDS kódov a venujeme sa najma domnienke o MDS kódoch. Najprv MDS kódy predstavíme, uvedieme ich príklady a základné vlastnosti, napríklad ich súvislosť s latinskými štvorcami ... -
Diskrétní princip maxima v metodě konečných prvků prvního řádu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Tato diplomová práce se zabývá studiem disktrétního principu maxima pro reakčně-difuzní úlohu, jež je řešena metodou konečných prvků s různými typy prvků. Práce obsahuje stručnou charakteristiku řešené úlohy a použité ... -
Sdílení pravděpodobnostní informace bayesovských agentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Potřeba kombinovat pravděpodobnostní rozdělení v mnoha problémech teorie rozhodování. V této práci navzujeme na články [14] a [15], ve kterých se potlačuje supra Bayesovský přístup [9]. Je uvedena metoda pro kombinování ... -
Vícerozměrné míry rizika
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V této práci se budeme věnovat víceperiodickým mírám rizika a budeme pro ně formulovat víceperiodické modely. Víceperiodické modely berou v úvahu možnost reinvestice a tím zachycují lépe reálnou situaci než jednoperiodické ... -
Simulace závislosti kvality PET obrazů na dávce radiofarmak a tělesných parametrech metodou Monte Carlo
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010Pozitronová emisní tomografie (PET) je zobrazovací metoda umožňující zachytit distribuci podané radiofarmaka v těle pacienta. Tato práce podává přehled o základních principech PET zobrazování a používá teorii hladkých ... -
Algebraický přístup k CSP
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ... -
Oceňování kreditních derivátů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Kreditní deriváty jsou po teoretické i praktické stránce velmi zajímavým finančním instrumentem. Jejich oceňování se stalo v období finanční krize od roku 2007 často diskutovaným tématem. První část této práce je věnována ... -
Výpočetní prostředky stanovení IBNR rezerv neživotního pojištění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Název práce: Výpočetní prostředky stanovení IBNR rezerv neživotního pojištění Autor: Bc. Štěpán Gregor Katedra (ústav): Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: Mgr. Helga Krafferová, UNIQA ... -
Semidefinitní programování a jeho aplikace
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V této práci studujeme úlohu lineárního pozitivně semidefinitního programování (SDP). Ilustrujeme aplikabilitu této úlohy řadou příkladů a zahrnutím některých dalších optimalizačních úloh do této kategorie. Tento problém ... -
Gröbnerovy báze v kryptografii
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Předložené práce studuje využití Grobnerových bází v kryptografii, a to speciálně při kryptoanalýze blokový šifer. Nejprve seznamujeme se základními pojmy teorie Grobnerových bází a metodou pro jejich nalezení, kterou je ... -
Celoživotní finanční plánování a související rizika
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Tato práce se zabývá investičními modely a jejich rozšířením spočívajícím v zohlednění lidského kapitálu. Uvádí klasické modely známé z teorie portfolia, Markowitzův model a na něj navazující Model oceňování kapitálových ... -
Gradientní učení pro sítě hladce pulzních neuronů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Sítě pulzních (spiking) neuronů představují biologicky více plausibilní alter-nativu k perceptronovým sítím mající velký potenciál pro zpracování časových řad. Nicméně doposud pro ně nebyl znám prakticky použitelný učící ... -
Vizualizace a testování týmových profilů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cílem práce je představit metody vedoucí k vizualizaci a testování týmových profilů. Osobnostní profil je vektor skórů charakterizujícího člena týmu. Týmový profil je skupina osobnostních profilů. Prvním krokem pro zobrazení ... -
Checking Compliance of Java Implementation with TBP Specification
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Verifikace je postup umožnující zlepšit spolehlivost aplikací složených z komponent. Jedním z aktuálních témat je kompozice komponent a ověřování, zdali je tato kompozice korektní z pohledu komunikace mezi nimi. Pro popis ... -
Výuka stereometrie na střední škole s využitím internetu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010 -
Časová složitost minimalizace Booleovských funkcí.
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Práca sa zaoberá časovou zložitostou problému minimalizácie formúl reprezentujúcich Booleovské funkcie. Prezentuje základné koncepty z oblastí Booleovských funkcií, ich zápisu v normálnych formách a minimalizácie týchto ... -
Zpracování digitálních snímků videokymografických záznamů jako podpůrný nástroj pro diagnostiku hlasivek
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Videokymografi e je metoda umožňující zachytit řadu charakteristik kmitání hlasivek důležitých pro stanovení jejich diagnózy. Manuální extrakce těchto charakteristik je v řadě případ problematická, automatická extrakce by ... -
3D hry v J2ME
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Cílem textu je uvedení do problematiky vývoje 3D her v J2ME na mobilních zařízeních ve všech stupních vývoje od počátečního návrhu až k distribuci. Podrobně je popsána historie 3D her s důrazem na použité fyzikální a ... -
Vstupní data a jejich význam pro vrstevnaté neuronové sítě
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Neuronové sítě stále zůstávají konkurence schopným modelem v některých oblastech strojového učení. Jednou z jejich nevýhod je však jejich tendence k předurčení, která může vážne omezit jejich schopnost zobecňovat. V ... -
Jaderné kolektivní stupně volnosti a Skyrme funkcionál
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 20. 9. 2010Název práce: Teorie založené na energetických funkcionálech v jaderné fyzice Autor: Daniel Božík Katedra (ústav): Ústav částicové a jaderné fyziky, MFF UK Vedoucí bakalářské práce: prof. RNDr. Jan Kvasil, DrSc. e-mail ... -
Studium defektů v gradovaných tenkých vrstvách SiGe/Si pomocí rozptylu rtg.záření
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Cílem předkládané práce je studium defektů v gradovaných tenkých vrstvách Si1xGex/Si. Převládajícím typem defektů v takovýchto vrstvách jsou mist dislokace. Přítomnost defektů v látce vede ke vzniku difuzně rozptýleného ... -
Vlastnosti k-intervalových booleovských funkcí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Táto práca je zameraná predovšetkým na intervalové booleovské funkcie. Práca prezentuje základné znalosti o booleovských funkciach, ich reprezentáciach a hlavne sa koncentruje na pozitívne booleovské funkcie. Práca cituje ... -
Evoluční algoritmy pro strukturální učení neuronových sítí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Návrh topologie neouronových sítí je velmi komplikovaný problém, zejména když opustíme oblast standartních vrstevnatých sítí. Zajímavé řešení tohoto problému nám může poskytnou evoluční algoritmus. Jeden z možných evolucní ... -
Statistical Machine Translation between Languages with Significant Word Order Differences
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010One of the difficulties statistical machine translation (SMT) systems face are differences in word order. When translating from a language with rather fixed SVO word order, such as English, to a language where the preferred ... -
Forensic RAM dump image analyzer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Pro zísáván obrazů operační paměti počítače existují různé techniky, většina z nich ale poskytuje syrový obraz dat, který je obtížné analyzovat. Cílem téhle práce je vyvinout program pro automatickou analýzu obrazů paměti ... -
Teorie grafů ve výuce na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 16. 9. 2010Úkolem této diplomové práce je vytvořit interaktivní webové stránky zaměřené na vybrané problémy teorie grafů (např. hledání kostry grafu, problematika toků v sítích, význam jádra grafu v teorii her atd.) a možnosti jejich ... -
SOFA 2 runtime support for dynamic languages
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Komponentové systémy umožňují vytvářet rozsáhlé aplikace složené ze znovupoužitelných softwarových komponent. Vývoj těchto komponent je ovšem v mnoha dnešních komponentových systémech složitý, především díky zdlouhavému ... -
Zavedení exponenciály a logaritmu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 22. 9. 2010V této diplomové práci uvedeme šest de nic exponenciály o základu e a pět de nic přirozeného logaritmu. Dokážeme korektnost jednotlivých de nic, odvodíme základní vlastnosti obou funkcí a ukážeme ekvivalenci všech de nic ... -
Datové struktury pro různá rozdělení dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Práce se zabývá studiem problému predchudce, kde datová struktura udržuje dynamickou usporádanou množinu klícu. Krome prehledu nejduležitejších publikovaných výsledku ukazujeme podrobný popis konkrétní možnosti, jak lze ... -
Clearing Restarting Automata
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Cílem práce je studovat omezenější modely restartovacích automatů, které ... -
Systém českých číslovek a jejich automatické rozpoznání v textu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Diplomová práce má dva cíle. Prvním je systematické roztřídění českých číslovek a dalších (i víceslovných) kvantitativních výrazů s ohledem na možné využití pro automatické zpracování češtiny. Základem jsou stávající ... -
Kompilace bajtkódu jazyka Sky do C++
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 13. 9. 2010Programovací jazyk Sky je funkcionální jazyk urcený pro distribuované zpracování dat. V soucasné dobe existuje implementace prekladace jazyka Sky do bajtkódu, který je pak interpretován virtuálním strojem Sky. Nároky dnes ... -
Hloubková automatická analýza angličtiny
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Tato diplomová práce popisuje studii hloubkové, tj. sémantické analýzy angličtiny, zejména na základě teoretického popisu pomocí propozic a jejich argumentové struktury. Hlavním cílem práce je vytvořit systém pro automatickou ... -
Implementing the Dynamic Languages Using DLR Technology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010The Microsoft .NET Framework byl od jeho počátku vytvořen tak, aby podporoval široké spektrum jazyků nad Common Language Runtime (CLR). CLR poskytuje technologie jako garbage collection, JIT nebo integrované vývojové ... -
Datové struktury pro setříděné ukládání dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010V předložené práci studujeme dvě varianty přihrádkovací hry. Tato hra je použita v důkazu spodniho odhadu časové složitosti vkládání prvků do setříděného pole. Ukážeme, že tyto varianty přihrádkovací hramy jí až na konstantní ... -
Samoorganizace a umělé neuronové sítě pro extrakci znalostí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 7. 9. 2010Neuronové sítě jsou často využívány k predikci finančních časových řad. Předpovídání budoucích hodnot však skrývá řadu problémů, které často znemožní vytvoření protabilního obchodního systému. V této diplomové práci jsem ... -
Extrakce objektů z komplexních obrazových scén
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Datum obhajoby: 6. 9. 2010Ciel'om práce bolo navrhnút' a implementovat' architektúru pre získavanie obrázkov z databázy na základe ručne nakresleného zadania. Vyhl'adávanie je založené na deskriptore, ktorý popisuje čierno-biely obrázok nakreslený ...
RSS 1.0