Budeme skúmať vlastnosti koherentných torzných zväzkov na hladkých a singulárnych krivkách. Ďalej klasifikujeme torzné koherentné zväzky na nodálnej singulárnej krivke. Budeme skúmať ohraničenú derivovanú kategóriu ...

1 V posledních letech vědci po celém světě zkoumají nové přístupy k automatizaci úkolů, které byly tradičně považovány za proveditelné pouze lidmi, především prostřednictvím strojového učení. Tento proces automatizace je ...

Tato práce se věnuje tzv. modelům multiplikativních chyb (MEM), které se využívají k modelování nezáporných časových řad, nejčastěji ve finančním sektoru. Obsahem první kapitoly jsou modely ARCH a GARCH, které sice nepatří ...

Práce se zabývá robustní optimalizací pro omezení dané konkávní funkcí s konvexním regionem nejistoty. Využíváme Fenchelovu dualitu a vlast- nosti konjugovaných funkcí abychom reformulovali omezení do podoby, která je ...

Název práce: Úlohy typu PISA podpořené fyzikálním experimentem Autor: Gabriela Štyksová Katedra / Ústav: Katedra didaktiky fyziky Vedoucí diplomové práce: RNDr. Petr Kácovský, Ph.D., Katedra didaktiky fyziky Abstrakt: V ...

Už niekoľko desiatok rokov je známe že mnohé mikroorganizmy sú schopné tvoriť intracelulárne kryštálové inklúzie. Jednu zo skupín týchto kryštálových inklúzií tvoria mikrokryštály barytu (BaSO4) a celestinu (SrSO4), ktoré ...

Název práce: Metodika ab initio a dráhově integrální molekulární dynamiky pro vodíkově vázané systémy v kondenzované fázi Autor: Kryštof Březina Ústav: Fyzikální ústav Univerzity Karlovy Školitel: RNDr. Ondřej Maršálek, ...

Ultrafiltry na množinách hluboce souvisí s kompaktností v topologii a s elementár- ními rozšířeními v logice. Pomocí alternativního popisu ultrafiltrů vzešlého z kodensity monád zobecníme monádu ultrafiltrů do kategorií ...

Typové systémy programovacích jazyků obecně nerozumí externím datům. Ve staticky typovaných programovacích jazycích vývojáři pro práci s daty vytvářejí typy a přístupový kód buď ručně nebo s použitím externích nástrojů pro ...

V této práci provádíme důkaz Bassova Teorému P, věty charakterizující perfektní okruhy, pomocí elementárních nástrojů z teorie modulů a teorie kategorií. Dále uvádíme Bergmanův příklad okruhu, který je perfektní z právě ...

V této závěrečné práci se věnujeme různým paradoxům v celé jejich rozmanitosti. Na úvod čtenáře seznámíme s paradoxy týkajícími se nekonečna a jeho základní arit- metiky. Poté představíme několik geometrických a algebraických ...

Práce se zaměřuje na aplikaci Gompertzova-Makehamova zákona úmrtnosti v kon- textu aktuárských výpočtů, prováděných v rámci oblasti životního pojištění. Tento pří- stup umožňuje základní aktuárské výpočty založit na gama ...

Predikce vlastnostı ́ a struktury molekula ́rnı ́ch krystalu ̊ (krystalu ̊ skla ́dajı ́cı ́ch se z molekul va ́zany ́ch nekovalentnı ́mi vazbami) z ab-inito vy ́poc ̌tu ̊ je na ́roc ̌ny ́ proble ́m. Vazebne ́ energie takovy ...

Vzhledem ke globálnímu nárůstu teplot se městské klima stává stále diskutovaněj- ším tématem. Provádíme simulace pomocí modelu WRF, abychom posoudili, jak se mění různé meteorologické podmínky (teplota, rychlost větru, ...

Tato diplomová práce zkoumá Gabidulinovy kódy nad Galoisovými okruhy a jejich aplikaci v kryptografii. V úvodu práce je vysvětlena konstrukce Galoisových okruhů a je- jich základních vlastností. Tento krok je nezbytný pro ...

Ball-Evansův aproximační problém je vysoce studovaný v oblasti geometrické teorie funkcí. Možnost aproximace homeomorfismů pomocí difeomorfismů by měla mnohé dů- sledky např. v teorii regularity minimizérů či v metodě ...

Práce se zabývá měřením výkonu ECS knihoven pro programovací jazyk C#. Na rozdíl od často prováděných jednoduchých testů je cílem této práce provést komplexnější měření na ukázkové hře. Výsledkem práce je ukázková ...

Diplomová práce představuje několik zájímavých geometrických problémů týkajících se kružnic. Úvodní kapitola se věnuje konstrukcím Ar- chimédových kružnic. Následující kapitola seznamuje čtenáře nejprve s Cè- vovými větami ...

Plánovači výroby často sestavují rozvrh výroby tak, že iterovavaně získávájí návrhy na rozvrh a upravují vstupní parametry za účelem vyhovět mnohým, často protichůdným, optimalizačním cílům. Cílem této práce je zaměřit se ...

Relační databáze jsou široce rozšířené v softwarovém inženýrství, ale jazyk, kterým se k nim přistupuje, SQL, byl vytvořen v 70. letech minulého století a má řadu pro- blémů, které komplikují složitější dotazy. V této práci ...

Tato bakalářská práce se zabývá statistickou analýzou Markovových řetězců. Hlav- ním cílem je nalézt odhad matice pravděpodobností přechodu, stacionárního rozdělení a střední doby návratu řetězce do určitého stavu. V práci ...

Přiřazení autorství pomocí statistických a výpočetních metod je hojně zkoumaným tématem literární vědy, ovšem jen málo prací se zabývá řešením problému, kdy klasifikovaný text nenapsal nikdo z autorů, které model viděl při ...

V této bakalářské práci formálně definujeme objekty v Euklidovské geometrii, mřížky a afinní mřížky a použijeme je k popisu objektů v celočíselné trigonometrii. Dokážeme, že popsané objekty z celočíselné trigonometrie jsou ...

Zatiaľ čo poker ako rodina hier bol v posledných desaťročiach intenzívne študovaný, zberateľským kartovým hrám sa venuje relatívne malá pozornosť. Len nedávno sme videli agenta, ktorý môže konkurovať profesionálnym ľudským ...

Hlavním cílem této práce je představit kompletní a detailně zpracované důkazy někte- rých známých tvrzení z teorie míry. K tomuto účelu budeme častokrát využívat poznatky z oblasti funkcionální analýzy. Například použijeme ...

Cílem práce bylo zkoumat transport elektronů v reakčních centrech fotosyntetické purpurové bakterie Cereibacter sphaeroides. Měření jsme prováděli na dimerech vnitřních antén s reakčními centry. Použita byla metoda transientní ...

Tato práce se zaměřuje na charakterizaci spektroskopických vlastností karotenoidů, nejčastěji se vyskytujících biomolekul v živých organismech, za použití Ramanovy a fluorescenční mikroskopie. Cílem je zjistit, zda jsou ...