Národní úložiště šedé literatury Nalezeno 20 záznamů.  1 - 10další  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Italské renesanční truhly v českých sbírkách
Horáček, Jaroslav ; Mergl, Jan (vedoucí práce) ; Karasová, Daniela (oponent)
Práce se zabývá tématem italských renesančních truhel (cassone) v českých sbírkách, mapováním tuzemského fondu a jejich kritickým zhodnocením. Výběrově byly zpracovávány nejvýznamnější kolekce v Moravské galerii v Brně, Severočeském muzeu v Liberci, Uměleckoprůmyslovém muzeu v Praze, Národním muzeu v Praze, Národní galerii v Praze a ve Slezském zemském muzeu v Opavě. Dále je pozornost věnována užitým zdobným technikám, materiálům, typologii a konstrukčním řešením. Nastíněna je i problematika odlišností v produkcích různých italských oblastí. Součástí práce je zárodek katalogu italských renesančních truhel v českých sbírkách.
Simulace tvaru buňek pomocí modelu cytoskeletu
Horáček, Jaroslav ; Bálek, Martin (vedoucí práce) ; Bílý, Tomáš (oponent)
Práce se zabývá počítačovým modelováním činnosti buněk. Hlavní důraz je kladen na simulaci tvarování buněk. Cílem práce je vytvořit teoretickou strukturu, která bude vhodně representovat buněčný cytoskelet. Model je založen na Zygotickém grafu. Ten definuje reakce buňky na příchozí podněty z prostředí. Oproti předchozím modelům přidáváme nově Výplňový graf a Zásobníkový graf do Zygotického grafu. Za účelem modelování tvarování buňky definujeme pružnost membrány. Také definujeme mechanismus cytoplasmatického pulsu. Ten je nezbytný pro modelování améboidního pohyb. Přidali jsme novou strukturu zvanou Zásobník, která reprezentuje skladovací schopnosti buňky. Využíváme náš model k simulaci pohybu améby. Další příklad ukazuje pohyb bílé krvinky skrze stěnu cévy. Také se snažíme simulovat růst buněk v uzavřeném prostředí.
Předpodmínění a regularita symetrických intervalových matic
Vigilev, Pavel ; Hladík, Milan (vedoucí práce) ; Horáček, Jaroslav (oponent)
V práci jsme se podívali na způsoby předpodmínění symetrických intervalových ma- tic, použili jsme táto předpodmíněni pro popis a implementaci algoritmů testování regu- larity symetrických intervalových matic. Dále jsme porovnali efektivitu popsaných algo- ritmů. Podívali jsme se na metody odhadu vlastních čísel této třídy matic. Zkonstruovali jsme také metodu odhadu vlastních čísel, která používá testování regularity pro filtrování vstupního intervalu. Pak jsme numericky porovnali efektivitu těchto metod na různých typech matic. Implementovali jsme všechny algoritmy v MATLABu s využitím knihovny IntLab. Zjistili jsme, že testování postačující podmínky se standardním předpodmíněním je nejefektivnější metoda testování regularity ze všech implementovaných námi metod. Zkonstruována námi metoda odhadu vlastních čísel dává přesné výsledky díky své itera- tivitě, ale je mnohém pomalejší než jiné metody se stejnou přesností. 1
Přeurčené soustavy intervalových lineárních rovnic
Horáček, Jaroslav ; Hladík, Milan (vedoucí práce)
Tato 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é části jsou popsány různé metody řešení přeurčených intervalových lineárních systémů. Řešením přeurčeného intervalového systému chápeme sjednocení všech řešení všech podsystémů. Jsou zde diskutovány známé i naše varianty algoritmů. Představíme naši vlastní metodu podčtverců. Všechny zmíněné metody jsou implementovány do jednoho toolboxu pro Matlab. Metody jsou otestovány na řešitelných a neřešitelných přeurčených systémech. Pro řeši- telné systémy testujeme obálku řešení, čas a speciální vlastnosti metod. Pro neřešitelné systémy testujeme detekci neřešitelnosti. Na konci této práce po- skytneme základní úvod do systému Intlab. 1
Interval linear and nonlinear systems
Horáček, Jaroslav ; Hladík, Milan (vedoucí práce) ; Garloff, Jürgen (oponent) ; Ratschan, Stefan (oponent)
Nejprve představíme základní aspekty intervalové analýzy, role intervalů a jejich aplikace. Poté popíšeme různé třídy intervalových matic a popíšeme je- jich vztahy. Tato látka představuje základ pro jednotící téma celé práce - řešení intervalových lineárních soustav. Představíme a porovnáme několik metod pro řešení čtvercových a přeurčených intervalových soustav. Pro čtvercové soustavy představíme novou shaving me- todu, pro přeurčené soustavy představíme nové schéma podčtverců. Diskutujeme detekci neřešitelnosti a řešitelnosti soustav a porovnáme několik polynomiálních podmínek. Dokážeme, že dvě nejsilnější podmínky jsou ekvivalentní za určitého předpokladu. Řešení intervalových lineárních soustav je poté použito řešení ostat- ních problémů v této práci. Zabýváme se výpočtem obálky determinantu intervalových matic. Dokážeme NP-těžkost relativní i absolutní aproximace. Navrhneme novou metodu založenou na řešení čtvercových intervalových soustav a Kramerově pravidlu. Charakterizu- jeme rozličné třídy matic, u kterých lze spočítat meze determinantu v polynomi- álním čase. Řešení soustav rovnic je též použito k výpočtu lineární a nelineární regrese pomocí nejmenších čtverců. Ta je poté aplikována na reálná medicínská data z analýzy plicních funkcí. Výsledky produkují několik potenciálně klinicky významných...
Teorie her jako teorie konfliktu a kooperace
Horáček, Jaroslav ; Černý, Karel (vedoucí práce) ; Šubrt, Jiří (oponent)
Tato práce se zabývá vztahem sociologie a matematiky, konkrétně vztahem so- ciologických teorií konfliktu a kooperace a teorie her. V práci jsou představeny čtyři obecné teorie konfliktu (a kooperace) od následujících autorů - John Rex, Kenneth Boulding, Louis Kriesberg a František Znebejánek. Každá teorie je do- plněna kritickou reflexí. Poté je představena formální teorie her. Snahou je uspo- řádat v novém světle v sociologii známé ale i méně známé koncepty teorie her. Důraz je kladen především na myšlenky a vysvětlení bez nutnosti matematic- kého formalismu. Dále se věnujeme historickému soužití sociologie a teorie her a rozboru témat, která teorie her podle sociologie řeší neuspokojivě. Jedná se na- příklad o předpoklad racionality, definice užitku a preferencí, předpoklad obecné znalosti atd. Zmíníme ale i témata z oblasti matematiky a informatiky, která po- malu pronikají do sociologie - počítačové modelování, predikce. Diskutovány jsou i možné modifikace teorie her a její přínosy pro sociologii. V závěru práce je na základě inspirace předchozími teoriemi a jednotlivými problematikami navržen vlastní teoretický model konfliktu a kooperace, který se snaží některé nedostatky vztahu sociologie a matematiky překonat.
Application of Branch and Bound Approach to Parametric Interval Linear Systems
Szabó, Adam ; Horáček, Jaroslav (vedoucí práce) ; Rada, Miroslav (oponent)
Tato práce se zaobírá parametrickými intervalovými lineárními soustavami. Branch and bound metodou a různými námi implementovanými prořezávacími podmínkami jsme dostali jejich množinu řešení. Přesněji jsme ji popsali po- mocí n-rozměrných boxů, které jsme získali díky využitým metodám. Seznámili jsme se se základními pojmy ohledně intervalů a lineárních soustav. Následně jsme zpracovávali získané boxy řešení vícerými metodami s cílem optimali- zovat jejich počet. Součástí práce je i porovnání jednotlivých prořezávacích podmínek na parametrických soustavách s různým počtem parametrů. Uve- dené algoritmy byly implementované do intervalového balíku Lime s možností jednoduché vizualizace získaných řešení. 1
Přeurčené soustavy intervalových lineárních rovnic
Horáček, Jaroslav ; Hladík, Milan (vedoucí práce)
Tato 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é části jsou popsány různé metody řešení přeurčených intervalových lineárních systémů. Řešením přeurčeného intervalového systému chápeme sjednocení všech řešení všech podsystémů. Jsou zde diskutovány známé i naše varianty algoritmů. Představíme naši vlastní metodu podčtverců. Všechny zmíněné metody jsou implementovány do jednoho toolboxu pro Matlab. Metody jsou otestovány na řešitelných a neřešitelných přeurčených systémech. Pro řeši- telné systémy testujeme obálku řešení, čas a speciální vlastnosti metod. Pro neřešitelné systémy testujeme detekci neřešitelnosti. Na konci této práce po- skytneme základní úvod do systému Intlab. 1
Determinanty intervalových matic
Matějka, Josef ; Horáček, Jaroslav (vedoucí práce) ; Hladík, Milan (oponent)
Tato práce se zabývá determinanty intervalových matic. Po úvodu do inter- valové aritmetiky se práce věnuje složitosti výpočtu těsné obálky intervalových determinantů, ukazuje v jaké složitostní třídě se tento problém nachází, dále pak složitosti aproximace daného problému, aproximaci jak s relativní tak i s absolutní chybou. Další kapitolou jsou různá předpodmínění matice, která mohou vést k těsnějším výsledkům. Po té, co rozebereme předpodmiňovaní matic představíme několik metod pro výpočet determinatnu, počínaje Gaussovou eliminací a vyu- žíváním Cramerova pravidla konče. Též se zastavíme i u speciálních tříd matic, jakými jsou symetrické, tridiagonální a Toeplitzovské matice. Nakonec předve- dené metody otestujeme. 1
Estimace dat s využitím intervalové analýzy
Pelikánová, Petra ; Horáček, Jaroslav (vedoucí práce) ; Černý, Michael (oponent)
V práci popisujeme přístupy k modelování intervalových dat pomocí reál- ných a intervalových odhadů. Porovnáváme koncepty metody vnějšího mod- elu a vnitřního modelu, diskutujeme definice jejich slabých a silných variant. Vysvětlujeme postupy hledání lineární i nelineární estimace dat. Na reálných příkladech ilustrujeme toleranční metodu a odečítací přístup. 1

Národní úložiště šedé literatury : Nalezeno 20 záznamů.   1 - 10další  přejít na záznam:
Viz též: podobná jména autorů
6 HORÁČEK, Jakub
1 Horáček, J.
6 Horáček, Jakub
18 Horáček, Jan
1 Horáček, Jan Jiří
68 Horáček, Jaromír
25 Horáček, Jiří
1 Horáček, Jonáš
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.