Gravitační čočkování je jev způsobený ohybem světla v zakřiveném prostoročase kolem astrofyzikálního objektu charakterizovaného jeho rozložením hmoty. V práci jsou zkoumány a následně porovnávány vlastnosti a chování ...

Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be ...

Hlavním cílem práce je zkoumat ireducibilní rozklady v oborech celistvých prvků čísel- ných těles. Ke zkoumání těchto rozkladů je velmi nápomocný jednoznačný rozklad ideálů na prvoideály. Ireducibilní rozklady nějakého ...

Set funkce nabízejí způsob, jak vyjádřit vztah mezi podmnožinami konečné množiny. Používají se v mnoha oblastech, včetně vysvětlitelné umělé inteligence, kombinatorických aukcí a kooperativní teorie her. Při aplikaci ...

Bakalářská práce je rozdělena na dvě části - teoretickou a praktickou. V úvodu teoretické části je vysvětleno, co rozumíme pod pojmy finanční gramotnost a finanční vzdělávání. Následuje stručný popis vývoje finančního ...

Interakce proteinů s různými molekulami jsou klíčové pro jejich funkci a následně pro celkové fungování organismů. Studium těchto interakcí je důležité v mnoha vědních obo- rech, včetně medicíny, kde má zásadní význam pro ...

John H. Conway představil strukturu, které říká topograph. Jedná se o graf obsahující všechny možné báze Z2 jako své hrany. V této práci definujeme tento graf a dokazujeme jeho základní vlastnosti. Dále dokazujeme vlastnosti ...

V dnešní době přehlcené informacemi se sledování souvislostí, porozu- mění obsahu médií a online zpráv, zejména pro investiční účely, stává stále náročnějším. Tato práce se zabývá daným problémem a vývojem aplikace, která ...

V rámci tejto práce vznikla vzdelávacia webová aplikácia na precvičovanie databázových dopytov pomocou jazyka SQL. Stránka sa skladá zo štyroch hlavných častí - SQL hřiště, Úkoly, Diskusní fórum a Test. Študenti majú možnosť ...

Tato práce se zaměřuje na syntézu a charakterizaci nové skupiny fluoridových py- rochlorů typu AA′ B2F7: NaCdB2F7 (B = Mn, Fe, Co, Ni, Cu, Zn) predikované po- mocí vypočítaného tolerančního faktoru pro pyrochlorovou ...

Mnoho úloh ve strojovém učení lze považovat za hru dvou hráčů, kteří spolu sou- peří a jsou odměňováni tak, že součet skóre obou hráčů je vždy nula. Nicméně hledání známého konceptu, takzvané Nashovo ekvilibrium, může být ...

V předložené práci popisujeme metodu, pomocí níž je možné určit dynamiku spino- vého proudu ve spintronickém emitoru. Metoda funguje tak, že odstraní vliv detekční aparatury na změřený emisní signál z terahertzové spektroskopie ...

Moranův proces je model, který se používá v evoluční dynamice ke studiu přírozeného výběru. V tomto procesu máme populaci jedinců, která se vyvíjí v krocích. V jednom kroku je vybrán náhodný jedinec s pravděpodobností ...

Výstupem této bakalářské práce je výukový program zaměřený na grafové algoritmy, který je určen pro použití na technicky zaměřených středních a vysokých školách. Součástí programu je proprietární jazyk Cb, který je použit ...

Calico je desková hra pro 1-4 hráče založená na přikládání dílků různých barev a vzorů na herní desku. Hráči získávají body podle podmínek pro shlukování herních dílků stejných barev a vzorů nebo za plnění úkolů. Úkoly ...

Asteroidy jsou nejpočetnější skupinou těles naší Sluneční soustavy. Jejich pozorování jsou ovšem omezena jejich velikostí a vzdáleností. Zákryty nám umožnují určit tvar a velikost i malých asteroidů s kilometrovou přesností. ...

Cílem této bakalářské práce bylo zpracování pokusů z mechaniky, které by mohly být zařazeny do elektronické Sbírky fyzikálních pokusů. Dále byla práce zaměřena na seznámení se s typickými žákovskými miskoncepcemi v mechanice, ...

Název práce: Využití her pro pochopení základních principů kvantového popisu světa Autor: Jaroslav Kafka Katedra: Katedra didaktiky fyziky Vedoucí diplomové práce: RNDr. Zdeňka Koupilová, Ph.D., Katedra didaktiky fyziky ...

Práce je rozdělena do dvou částí. První z nich se podrobně věnuje některým výsled- kům obsaženým v [7]. Konkrétně se zabýváme algoritmem pro výpočet p-normy v lips- chitzovsky volných p-prostorech, který následně aplikujeme ...

Bakalářská práce pojednává o testech shody rozptylů v kontextu jednodu- chého třídění. Zaměřuje se na tři testy, které jsou běžně využívány v praxi. V práci je nejprve uveden přehled pojmů a poznatků z teorie pravděpodobnosti, ...

V této práci zkoumáme různé systémy silně vázaných nelineárních par- ciálních a obyčejných diferenciálních rovnic, které pocházejí převážně z biologických věd, a to jak teoreticky, tak numericky. Hlavní část této práce je ...

Název: Vliv funkcionalizovaných nanočástic různé velikosti, složení a povrchových vlastností na buněčné funkce Autor: Mariia Uzhytchak Oddělení: Oddělení optických a biofyzikálních systémů, Fyzikální ústav Akademie věd ...

Družice Kepler a TESS z dôvodu hľadania exoplanét poskytujú veľmi presné fotomet- rické dáta využívané na skúmanie premennosti hviezd. V tejto práci vykonávam analýzu zákrytovej dvojhviezdy KIC 3858884 s prítomnými pulzáciami. ...

Metoda kapkově nanášených povlaků v Ramanově spektroskopii je založena na měření Ramanovo spektra ze suchého depozitu zkoumaného vzorku, který se vytvoří vysušením kapky roztoku nebo suspenze kápnuté na pevný hydrofobní ...

Fázové diagramy ve fyzice kondenzovaných látek jsou často velmi komplexní. Vývoj nových metod, které mohou identifikovat rozdílné fáze bez jakýchkoliv předchozích znalostí je proto velmi důležitý. V této práci jsme aplikovali ...

Populární objektově-orientované programovací jazyky jako Java nebo Scala typicky dovolují měnit objekty přiřazením nových hodnot do jejich datových položek. Zároveň je však běžné psát kód, který k objektům přistupuje pouze ...

Multi-agentní hledání cest s protivníkem je grafový problém. V několika vrcholech grafu jsou rozmístěni pohybliví agenti. Agenti jsou rozděleni do dvou týmů: útočníci a obránci. Každý útočník má přiřazen jeden cílový vrchol ...

Tato práce představuje lokální polynomiální regresi a její teoretické aspekty, které se hodí k jejímu rozšíření, které používá jednostranné jádrové funkce. Jednostranné limity regresní funkce a její derivace touto cestou ...

Tato bakalářská práce se zaměřuje na návrh a vývoj mobilní aplikace IncomeMate pro operační systém Android. Aplikace IncomeMate je navržena tak, aby pomáhala lidem s nepravidelnými příjmy nebo s více brigádami efektivně ...

Tato práce se zaměřuje na rekonstrukci podmnožiny Pygmalionu, progra- movacího systému, který byl ve své době revoluční díky použití programo- vání pomocí demonstrací a ikonického (vizuálního) programování. Vzhledem k tomu, ...

Měření efektivních účinných průřezůje důležitéprovalidaci jadernýchdat.Ať už se jednáo spektrální účinné průřezy(SACS),tj.průřezyzprůměrované přesneutronové spektrum(měřenonareaktorech), neboodiferenciálníúčinné ...

Tato práce se soustředí na porovnání nových zdrojů světla MonaLIGHT od společ- nosti CRYTUR, spol. s.r.o. v aplikaci Kerrovského mikroskopu s komerčně dostupnými zdroji světla LED lamp SOLIS-565D od společnosti Thorlabs, ...

Motivací pro tuto práci je současný nedostatek uživatelské kontroly nad osobními daty v centralizovaných systémech. I když stávající řešení jako Solid tento problém do jisté míry řeší a nadcházející legislativa jde také ...

Prioritní rozhodovací pravidla (PDRs) jsou hladové heuristické algoritmy používané ke získaní přibližného řešení NP-těžkého úkolu organizace práce (JSP). Manuální příprava PDR vyžaduje zkušenosti v dané oblasti pro zís- ...

Akreční disky kolem rotující Kerrovy černé díry byly v posledních letech do- konce pozorovány. Prvním a dosud nejznámějším je obrázek černé díry v galaxii M87. Kolem této černé díry můžeme vidět rotující hmotu, která formuje ...

Tato práce se zabývá relačními klony na dvouprvkové množině (dále jen " relační klony"). Zaprvé poskytujeme alternativní a elementární důkaz slavné charakterizace (relačních) klonů pocházející od E. Posta z roku 1941, ...

Současný exponenciální nárůst genomických dat vyžaduje nové prostorově úsporné algoritmy pro jejich kompresi a vyhledávání. Moderní přístupy často místo původních dat využívají příslušných množin k-merů, což jsou podřetězce ...