|
|
Rekonstrukce digitálních fotografií s využitím hloubkové mapy
Valeš, Ondřej ; Brejcha, Jan (oponent) ; Čadík, Martin (vedoucí práce)
Cílem této práce je navrhnout postup, který bude provádět rekonstrukci digitálních fotografií na základě vyhledání podobných fotografií v datasetu, jejichž obsah je poté využit při rekonstrukci, a otestovat možnosti generování fotografií přímo z hloubkové mapy pro účely rekonstrukce. K určení podobnosti je použit deskriptor fotografií GIST nově obohacený o informaci z hloubkové mapy, který umožňuje rychlé vyhledání fotografií v datasetu a nový postup vkládání dat do rekonstruované oblasti, která je na rozdíl od existujících přístupů nejprve rozdělena na podoblasti na základě analýzy hloubkové mapy. To umožňuje řešit rekonstrukci jednotlivých podoblastí zcela odděleně a přináší zlepšení výsledku rekonstrukce, protože podoblasti jsou menší a méně komplexní. Součástí práce je klasifikace fotografií v datasetu pomocí rozšířeného deskriptoru GIST a implementace systému umožnujícího vyhledávání v datasetu na základě podobnosti a za pomoci hloubkové mapy.
|
|
|
Efektivní algoritmy pro stromové automaty
Valeš, Ondřej ; Hruška, Martin (oponent) ; Lengál, Ondřej (vedoucí práce)
Cílem této práce je navržení efektivních algoritmů pro testování jazykové ekvivalence a inkluze stromových automatů a dále pak implementace těchto algoritmů jako rozšíření knihovny VATA. Nejprve je provedena rešerše existujících přístupů testování ekvivalence a inkluze slovních i stromových automatů. Z nich poté vychází návrh nového přístupu k testování ekvivalence a inkluze jazyků stromových automatů založený na bisimulaci vzhledem ke kongruenci, ke kterému je představen formální důkaz korektnosti. Součástí práce je také srovnání efektivity představeného algoritmu a již existujících přístupů, které ukazuje, že na obtížných případech je náš algoritmus často lepší než existující přístupy.
|
|
|
Problematika převodních cen v českém a mezinárodním daňovém právu
Valeš, Ondřej ; Kotáb, Petr (vedoucí práce) ; Kohajda, Michael (oponent)
Problematika převodních cen v českém a mezinárodním daňovém právu Postupná globalizace vede k rozmachu obchodně a majetkově sdružených společností, které nazýváme nadnárodní. Nadnárodní společnosti provádějí v rámci jejich skupiny společností tzv. vnitropodnikové transakce, a to za odlišných podmínek než by prováděly v běžném obchodním styku. Tyto transakce nazýváme závislé, protože jsou prováděny mezi spojenými osobami v prostředí, které není konkurenční, ale spřízněné. Problematika převodních cen je obvykle spojována s daňovou optimalizací, protože za pomoci těchto transakcí jsou nadnárodní společnosti schopny docílit nižší daňové zátěži. Agresivní daňové optimalizaci brání řádné nastavení převodních cen vnitropodnikových transakcí. Převodní ceny vnitropodnikových transakcí jsou nastaveny řádně, pokud jsou v souladu s principem tržního odstupu, který se svým způsobem snaží simulovat konkurenční prostředí. Cílem této práce je nastínit úpravu převodních cen v českém a mezinárodním daňovém právu a analyzovat problémy této úpravy. V českém právním řádu jsou převodní ceny upraveny zejména v Zákoně o daních z příjmu a v nezávazných pokynech Ministerstva financí, které se ve velké míře odvolávají na mezinárodní úpravu. Na mezinárodní úrovni se převodním cenám věnuje především Organizace pro...
|
|
|
Efektivní algoritmy pro stromové automaty
Valeš, Ondřej ; Hruška, Martin (oponent) ; Lengál, Ondřej (vedoucí práce)
Cílem této práce je navržení efektivních algoritmů pro testování jazykové ekvivalence a inkluze stromových automatů a dále pak implementace těchto algoritmů jako rozšíření knihovny VATA. Nejprve je provedena rešerše existujících přístupů testování ekvivalence a inkluze slovních i stromových automatů. Z nich poté vychází návrh nového přístupu k testování ekvivalence a inkluze jazyků stromových automatů založený na bisimulaci vzhledem ke kongruenci, ke kterému je představen formální důkaz korektnosti. Součástí práce je také srovnání efektivity představeného algoritmu a již existujících přístupů, které ukazuje, že na obtížných případech je náš algoritmus často lepší než existující přístupy.
|
|
|
Problematika převodních cen v českém a mezinárodním daňovém právu
Valeš, Ondřej ; Kotáb, Petr (vedoucí práce) ; Kohajda, Michael (oponent)
Problematika převodních cen v českém a mezinárodním daňovém právu Postupná globalizace vede k rozmachu obchodně a majetkově sdružených společností, které nazýváme nadnárodní. Nadnárodní společnosti provádějí v rámci jejich skupiny společností tzv. vnitropodnikové transakce, a to za odlišných podmínek než by prováděly v běžném obchodním styku. Tyto transakce nazýváme závislé, protože jsou prováděny mezi spojenými osobami v prostředí, které není konkurenční, ale spřízněné. Problematika převodních cen je obvykle spojována s daňovou optimalizací, protože za pomoci těchto transakcí jsou nadnárodní společnosti schopny docílit nižší daňové zátěži. Agresivní daňové optimalizaci brání řádné nastavení převodních cen vnitropodnikových transakcí. Převodní ceny vnitropodnikových transakcí jsou nastaveny řádně, pokud jsou v souladu s principem tržního odstupu, který se svým způsobem snaží simulovat konkurenční prostředí. Cílem této práce je nastínit úpravu převodních cen v českém a mezinárodním daňovém právu a analyzovat problémy této úpravy. V českém právním řádu jsou převodní ceny upraveny zejména v Zákoně o daních z příjmu a v nezávazných pokynech Ministerstva financí, které se ve velké míře odvolávají na mezinárodní úpravu. Na mezinárodní úrovni se převodním cenám věnuje především Organizace pro...
|
|
|
Rekonstrukce digitálních fotografií s využitím hloubkové mapy
Valeš, Ondřej ; Brejcha, Jan (oponent) ; Čadík, Martin (vedoucí práce)
Cílem této práce je navrhnout postup, který bude provádět rekonstrukci digitálních fotografií na základě vyhledání podobných fotografií v datasetu, jejichž obsah je poté využit při rekonstrukci, a otestovat možnosti generování fotografií přímo z hloubkové mapy pro účely rekonstrukce. K určení podobnosti je použit deskriptor fotografií GIST nově obohacený o informaci z hloubkové mapy, který umožňuje rychlé vyhledání fotografií v datasetu a nový postup vkládání dat do rekonstruované oblasti, která je na rozdíl od existujících přístupů nejprve rozdělena na podoblasti na základě analýzy hloubkové mapy. To umožňuje řešit rekonstrukci jednotlivých podoblastí zcela odděleně a přináší zlepšení výsledku rekonstrukce, protože podoblasti jsou menší a méně komplexní. Součástí práce je klasifikace fotografií v datasetu pomocí rozšířeného deskriptoru GIST a implementace systému umožnujícího vyhledávání v datasetu na základě podobnosti a za pomoci hloubkové mapy.
|
host ::
RSS.