|
Relation between accepting languages and complexity of guestions on oracle
Živný, Stanislav
Označme X třídu množin, vzhledem k nimž P = NP relativizovaně a Z třídu množin, vzhledem k nimž P 6= NP. Vedle známých vlastností těchto tříd ukážeme, že úplné úlohy ponenciálních složitostních tříd a silnějších patří do X. Ukážeme, že některé úplné úlohy, pokud vůbec existují, deterministických složitostních tříd definovaných časovou složitostí větší než polynomiální a menší než exponenciální, nepatří do X. Ukážeme, že těžké problémy exponenciálních tříd nemusí nutně patřit do X. Charakterizujeme množiny z X jako množiny ležící v průniku prvního stupně rozšíření dolní a nultého stupně rozšířené horní hierarchie. Dokážeme, že X ani Z nejsou uzavřené vůči operacím průnik, sjednocení a symetrická diference. Dále dokížeme, že Z není uzavřena vůči disjunktnímu sjednocení, z čehož vyplývá, že disjunktní sjednocení může snížit složitost měřenou vztahem k rozšířené dolní hierarchii.
|
|
Efektivní kompetenční model
Hoffmannová, Anna ; Štikar, Jiří (oponent) ; Riegel, Karel (vedoucí práce)
Metodologie kompetencí se vyvinula z výzkumů zaměřených na určení vlastností a charakteristik, které se podílejí na rozlišení mezi průměrnou a nadprůměrnou výkonností. Přínosem kompetenčního modelu je to, že poskytuje zaměstnancům informaci o tom, co potřebují, aby byli úspěšní na svém současném, případně budoucím pracovním místě. Stanovením požadavků pro dané pozice následně umožňuje porovnávat aktuální úroveň kompetencí zaměstnanců s požadovanou úrovní. Efektivní kompetenční model podporuje a přispívá k naplňování cílů organizace a strategie. Teoretická část práce shrnuje dosavadní přístupy a poznatky k této problematice. V praktické části testujeme a ověřujeme kompetenční model. Pomocí konkrétního příkladu revize stávajícího modelu, resp. tvorby nového kompetenčního modelu, zjišťujeme, zda je model ve společnosti využíván, reflektuje její strategické potřeby a je propojen s ostatními procesy lidských zdrojů. Za tímto účelem je model podroben důkladné analýze s identifikováním nedostatků a příležitostí ke zlepšení a vyúsťuje v realizaci řešení situace. V práci je zdůrazněna myšlenka, že kompetenční modely nejsou univerzální a efektivita jejich používání spočívá v identifikovatelnosti, definovatelnosti, srozumitelnosti a komunikovatelnost kompetencí.
|
|
Smluvní modifikace společného jmění manželů
Ćavarová, Renata ; Dvořák, Jan (oponent) ; Salač, Josef (vedoucí práce)
Právnická fakulta Univerzity Karlovy Smluvní modifikace společného jmění manželů - 61 - 9.9.9.9. ZávěrZávěrZávěrZávěr Jak již bylo uvedeno v úvodu mé práce, "manželství je zákonný svazek muže a ženy, není jen osobním svazkem těchto dvou jedinců, ale vyjadřuje i důležitý sociální a ekonomický aspekt projevující se jak uvnitř tohoto svazku, tak vůči ostatním členům společnosti."97 Proto jsem se ve své práci pokusila postihnout nejdůležitější problémy institutu společného jmění manželů se zaměřením na jeho smluvní modifikaci, jak mezi manžely samotnými, tak i vůči třetím osobám. V úvodu své práce jsem se pokusila vystihnout nejdůležitější momenty historického vývoje právní úpravy majetkových vztahů mezi manžely, zejména z pohledu možností modifikace, která byla zákonnou úpravou v tom kterém období manželům poskytována. Za téma své práce jsem si zvolila smluvní modifikaci společného jmění manželů, avšak zaměřila jsem se v ní i na vznik manželství a s tím spojený vznik společného jmění mezi manžely a zákonný rozsah společného jmění dle současné úpravy. Domnívám se totiž, že bez důkladného vysvětlení těchto pojmů není možné vystihnout samotnou úpravu smluvní modifikace. Ačkoli je společné jmění manželů poměrně mladým institutem, který, jak již bylo několikrát zmíněno v mé práci, se v našem právním řádu objevil až...
|
|
Principy a ekonomické vyčíslení škod z porušování průmyslových práv dle zákona č. 221/2006 Sb.
Holub, Michal ; Svačina, Pavel (vedoucí práce) ; Jurečka, Jan (oponent)
Tato diplomová práce zkoumá ocenění škod podle zákona č. 221/2006 Sb. V práci jsou popsány průmyslová práva, u kterých se škody vymáhají podle zákona č. 221/2006 Sb. Je provedena analýza zákonů a judikátů u jednotlivých právních titulů, které se týkají vymáhání škod, a analýza zákona č. 221/2006 Sb. V práci je rozebírán postup, důležité problémy a aspekty, které se týkají jednotlivých způsobů oceňování škod. Na závěr je na studii hypotetického případu ukázáno principiální řešení problémů souvisejících s oceněním škod.
|
|
Dlouhodobý majetek v mezinárodně uznávaných účetních systémech
Oplt, Lukáš ; Krupová, Lenka (vedoucí práce) ; Kudrnová, Lenka (oponent)
Práce se zabývá oblastí dlouhodobého hmotného a nehmotného majetku a její úpravou v Mezinárodních standardech účetního výkaznictví (IFRS). Ilustruje hlavní zákonitosti účetního postupu a hlavní problémy a různá řešení, která s tímto postupem souvisejí. U významných oblastí naznačuje i řešení dle amerických obecně uznávaných účetních zásad. První kapitola se věnuje obecnému popisu současné účetní harmonizace a východiskům IFRS. Druhá kapitola se zabývá standardem IAS 16 -- Pozemky, budovy a zařízení. Třetí kapitola pak charakterizuje standard IAS 38 -- Nehmotná aktiva zejména v oblastech, kde lze nalézt největší rozdíly oproti hmotným aktivům. Ve čtvrté kapitole je zpracována statistika společností vykazujících dle IFRS, zda a jak dodržují metody a postupy vyžadované standardy.
|
|
Zobrazení dlouhodobého hmotného majetku v účetnictví podle české legislativy a IAS/IFRS
Lachoutová, Marie ; Rauš, Jiří (vedoucí práce) ; Strouhal, Jiří (oponent)
Diplomová práce se zabývá problematikou dlouhodobého hmotného majetku z pohledu českých účetních a daňových předpisů a z pohledu Mezinárodních standardů účetního výkaznictví (IAS/IFRS). Práce konkrétně popisuje vymezení, ocenění, odpisování, snížení hodnoty, účtování a vykazování dlouhodobých hmotných aktiv podle těchto tří pohledů. Z oblasti IAS/IFRS jsou zdůrazněny standardy IAS 16 - Pozemky, budova a zařízení, IAS 40 - Investice do nemovitostí a IFRS 5 - Dlouhodobá aktiva držená k prodeji a ukončené činnosti. Součástí práce je výzkum 60 mezinárodních i českých společností s cílem zjistit v praxi nejčastěji aplikované účetní principy a metody. Práce obsahuje řadu ilustrativních příkladů, které vysvětlují jednotlivé teoretické problémy.
|
|
Nelineární modelování meteorologických dat
Pop, Lukáš ; Raidl, Aleš (vedoucí práce) ; Mikšovský, Jiří (oponent)
Práce se zabývá možnostmi aplikace nelineárních metod založených na teorii dynamických systémů na meteorologické problémy. Úvodní část zkoumá popis dynamických systémů, zejména pak systémů deterministicky chaotických, pro něž byly uvedené metody zkonstruovány. Popisuje pojem atraktoru a jeho typických invariantů. Následující část shrnuje různé způsoby rekonstrukce fázového prostoru systému pomocí jím produkovaných časových řad. Přitom je navržena modifikace Caovy metody. Rozepsány jsou jednotlivé možnosti předpovědí meteorologických prvků vycházející z této rekonstrukce. Další část popisuje vliv různých druhů šumu a nepřesnosti měření na dynamický systém popsaný logistickou rovnicí, který je jednoduchým příkladem deterministicky chaotického systému. Poslední část rozebírá jednotlivé druhy chyb, jimiž jsou zatíženy nelineární metody předpovědi, popisuje charakteristické vlastnosti a zvláštnosti meteorologických dat a zkouší modifikace lokálních lineárníh modelů na datech NCEP/NCAR reanalýz.
|
|
Parametrizovaná složitost v teorii grafů
Suchý, Ondřej ; Kráľ, Daniel (oponent) ; Kratochvíl, Jan (vedoucí práce)
Seidelovo přepnutí množiny vrcholu je operace, která z grafu odebere hrany vycházející z této množiny a přidá do něj hrany tam, kde mezi množinou a zbytkem grafu nebyly. Ostatní hrany nejsou touto operací dotčeny. Parametrizovaná složitost se ptá, zda lze exponenciální část algoritmu pro těžké problémy omezit nějakou funkcí pouze zvoleného parametru, u nejž lze očekávat malé hodnoty. Tato práce zkoumá složitost otázek, zda lze zadaný graf převést na graf s nějakou vlastností P pomocí Seidelova přepnutí, z parametrizovaného hlediska. Nejdříve krátce shrneme dosud známé výsledky. Pak předvedeme parametrizovanou dostupnost přepnutí na regulární grafy, grafy s omezeným stupněm vrcholu, s omezeným počtem hran a grafy prosté zakázaného podgrafu. Krátce podáme základní definice a postupy parametrizované složitosti.
|
|
Ztráty a nálezy - práce a mateřství
Linková, Naděžda ; Vodochodský, Ivan (vedoucí práce) ; Hájek, Martin (oponent)
Diplomová práce Ztráty a nálezy- práce a mateřství se snaží zachytit prožitek mateřství a životní strategie maminek - vysokoškolaček, které se nějakým způsobem - byť omezeným - zapojily do pracovního procesu dříve, než je v českém prostředí obvyklé - do dvou let věku svého dítěte (dětí). Rekonstrukce šesti příběhů mateřství s důrazem na pracovní aktivitu respondentek ukazuje jedinečnost i podobnost každého z nich. Dovoluje tak nahlédnout do soukromí několika matek a spolu s nimi "prožít" jednu z nejdůležitějších a převratných fází jejich života, sledovat problémy, se kterými se potýkají, i způsoby, kterými je řeší. Práce vychází z osmi polostrukturovaných rozhovorů, které byly zaměřeny na prožitek těhotenství, porodu a prvních let života s dítětem, s důrazem na pracovní aktivitu dotazovaných žen. Powered by TCPDF (www.tcpdf.org)
|
|
Citlivostní analýza v energetickém hodnocení budov
Auer, Zbyněk ; Plášek, Josef (oponent) ; Šikula, Ondřej (vedoucí práce)
Diplomová práce byla zaměřena na parametrické počítačové simulace energetické náročnosti budov. Cílem práce bylo stanovit citlivost jednotlivých provozních a klimatických vlivů na celkovou energetickou náročnost bytového domu, které se projeví na výsledné podobě Et-křivky. Pro parametrické simulace energetické náročnosti budovy se předpokládá využití aplikace BSim a připravených klimatických databází pro konkrétní lokalitu v místě hodnoceného objektu. Výstupem bude zhodnocení reálného užívání objektu na Et-křivce pomocí vlastní aplikace.
|
host ::
