|
Hry a význam logických spojek
Majer, Ondrej
Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika). Článek se zejména zaměřuje na to, jak se rozdíly mezi spojkami projevují v herních interpretacích příslušných logických systému a nakolik je rámec teorie her vhodný pro charakterizaci těchto rozdílu.
|
|
Důsledky změn daně z příjmů fyzických osob k 1. lednu 2008 na podnikatele
PUPÍKOVÁ, Hana
Bakalářská práce analyzuje dopady změn daně z příjmů fyzických osob včetně změn v pojistném na sociální zabezpečení a veřejné zdravotní pojištění provedených k 1.1.2008 na fyzické osoby - podnikatele. V první části práce vyjmenovává hlavní změny v oblasti zdanění příjmů podnikatelů, ve druhé části se podrobně věnuje dopadům způsobeným zavedením lineární sazby daně ve výši 15 %, zvýšením slev na dani a vynětím pojistného na sociální zabezpečení a veřejné zdravotní pojištění z daňově uznatelných nákladů. Práce porovnává zdanění příjmů v letech 2007 a 2008 v absolutních i relativních hodnotách.
|
|
Detekce lineární části Patlak-Rutlandova grafu
Šmídl, Václav
Detekce lineární části grafu je častým problémem při analýze dat. Konkrétně pro Patlak-Rutlandův graf je daný úkol důležitý pro správné vyhodnocení funkce ledvin ze scintigrafického vyšetření. Automatická metoda detekce byla navržena a testována na šestnácti sadách reálných medicínských dat.
|
|
Modlování vývoje výše škodních událostí
Kantorová, Petra ; Zimmermann, Pavel (vedoucí práce) ; Hrevuš, Jan (oponent)
Tato diplomová práce je zaměřena na odhad výše škody a pravděpodobnosti neuzavření (nevyřízení) škody v určité fázi vypořádacího procesu pojišťovny. Změna výše škody představuje změnu fáze vypořádacího procesu. K modelování těchto změn je využito zobecněného lineárního modelu. Do této teorie patří i klasický lineární regresní model, který je její speciální případ, má však přísnější předpoklady. Zobecněný lineární model mimo jiné umožňuje zajímavým způsobem prostřednictvím sdruženého modelu řešit problém heteroskedasticity. V praktické části práce je tohoto modelu využito. Součástí teorie zobecněného lineárního modelu je i logistická regrese, která v této práci napomáhá k modelování pravděpodobnosti neuzavření škody. Výsledky modelů jsou prezentovány v grafické podobě, zejména pak grafy obsahující pravděpodobnosti, že hodnoty dané škody se budou nacházet v určitém intervalu.
|
| |
| |
| |
| |
|
Obecné specifikace radioterapeutických přístrojů a jejich zastoupení na pracovištích v České republice
NOVÁK, Michal
Radioterapie je od prvního kontaktu pacienta se simulátorem až k léčebné aplikaci záření přímo spojena s přístroji. Přístroje v radioterapii jsou nenahraditelné, protože bez nich by léčba zářením ani nebyla možná. S výrobou moderních přístrojů, používáním nových ozařovacích technik, příslušenství, pomůcek a zejména rozvojem počítačové techniky se celý proces radioterapie stal složitější. Tato skutečnost však umožnila přiblížit se náročným požadavkům dnešní moderní radioterapie. V současné době se škála přístrojů používaných v radioterapii ustálila na několika typech, které pokrývají většinu klinických potřeb. Jsou to lineární urychlovače, kobaltové nebo cesiové izotopové ozařovače, terapeutické RTG přístroje a automatické afterloadingové systémy pro brachyterapii. Pozornost se dnes ubírá spíše směrem k rozšíření technických možností stávajících přístrojů, než k hledání nových typů zdrojů. Výjimkou je oblast využití nekonvenčních zdrojů záření, zejména neutronových zdrojů a urychlovačů těžkých částic. Tato bakalářská práce si klade za cíl nastínit význam přístrojů při léčbě zářením. Práce poskytuje přehled dnes nejčastěji používaných přístrojů pro léčebnou aplikaci ionizujícího záření. Tyto přístroje jsou v práci obecně specifikovány a jsou zde také poskytnuty důležité informace o zastoupení přístrojové techniky na pracovištích radioterapie v České republice.
|
|
Pseudospektra a nestacionární buzení
Kozánek, Jan ; Berthelot, F.
V předloženém příspěvku byly ukázány možnosti analýzy rezolventní funkce lineárních dynamických systémů pomocí tzv. -pseudospekter, jejich vztah k vlastním číslům, souvislost s rozkladem rezolventy na parciální zlomky a s partikulárním řešením. Dále jsme se zabývali přibližnou náhradou jistých případů nestacionárních buzení buzením exponenciálního typu.
|
host ::
