Browsing by Author "Svoboda, Tomáš"
Now showing items 1-13 of 13
-
Additive Pairs in Quantitative Type Theory
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 21. 6. 2021Jan závislé, tak lineární typy mají své kýžené vlastnosti. Zatímco závislé typy mo- hou vyjádřit závislosti mezi vstupy a výstupy funkcí, lineární typy umožňují kontrolu nad používáním zdrojů. Kombinace těchto dvou systémů ... -
Materiální svět mezi středověkým a novověkým myšlením
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Filozofická fakulta, 2012)Date of defense: 11. 9. 2012 -
Má stanovování nádorových markerů u nádorů ovaria v kontextu posledních negativních závěrů prací i nadále nějaký význam?
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Lékařská fakulta v Plzni, 2011)Date of defense: 19. 1. 2011Does the assessment of tumor markers in the context of the last negative conclusions still have any impact in ovarian cancer? Svoboda T.: Dept. Of Oncology and Radiotherapy, Univ.Hospital, Plzen, Czech Republic Summary: ... -
Numerický model NRTM tunelu v tuhém jílu
Defence status: RECOGNIZEDSvoboda, Tomáš (Univerzita Karlova, Přírodovědecká fakulta, 2012)Date of defense: 20. 1. 2012The thesis demonstrates the application of a hypoplastic model in class A predictions of a NATM tunnel in an urban environment. The Kralovo Pole tunnel is a main construction of a northern part of a Large City Ring Road ... -
Numerický model NRTM tunelu v tuhém jílu
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Přírodovědecká fakulta, 2011)Date of defense: 22. 9. 2011Disertační práce představuje aplikaci hypoplastického konstitučního modelu při realizaci NRTM tunelu v prostředí městské zástavby s cílem obdržet "class A" predikce chování zeminového masivu. Tunely Královo Pole tvoří ... -
Problematika rozvoje regionu sousedícího s Vojenským újezdem Brdy
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Přírodovědecká fakulta, 2009)Date of defense: 23. 9. 2009This diploma paper is about problems, which shepherd the region in proximity the military area Brdy. This region is among others situated in inner periphery, which brings another problems in development this region. The ... -
Realistic hair rendering in Autodesk Maya
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 3. 9. 2012Tato diplomová práce popisuje real-time zobrazovaní vlasů v 3D modelovacím programu Autodesk Maya. Zobrazovací modul je součást projektu Stubble - zasuvného modulu do programu Maya, který slouží k modelovaní vlasů. ... -
Srovnání plavecké přípravy v krátkém triatlonu a v moderním pětiboji
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Fakulta tělesné výchovy a sportu, 2010)Date of defense: 3. 5. 2010PŘÍJMENÍ A JMÉNO AUTORA: Svoboda Tomáš STUDIJNÍ OBOR: Tělesná výchova a sport VEDOUCÍ PRÁCE: PaedDr. Josef Horčic, Ph.D. Název: Srovnání plavecké přípravy v krátkém triatlonu a v moderním pětiboji Cíl práce: Hlavním cílem ... -
Star height
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 14. 9. 2017We present a certain family of languages and show that for those languages infinite hierarchy of star heights exists. The proof was first devised by Dejean and Schützenberger. More recently it was reformulated by Sakarovitch, ... -
Strukturní analýza průzkumné štoly Prackovice
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Přírodovědecká fakulta, 2006)Date of defense: 13. 6. 2006 -
Trestní odpovědnost v ochraně životního prostředí
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Právnická fakulta, 2015)Date of defense: 24. 9. 2015Předmětem práce je česká právní úprava trestní odpovědnosti na úseku ochrany životního prostředí. Vedle ust. hlavy VIII. zvl. části trestního zákoníku, pojednává i o dalších skutkových podstatách v této hlavě nezařazených, ... -
Virtuální hřiště
Defence status: DEFENDEDSvoboda, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 24. 6. 2008Tato práce slouží jako doprovodný dokument k programu Virtuální hřiště. Tento program měl za úkol simulovat pohyb a interakci dokonale tuhých těles v reálném prostředí s gravitací. Měl být optimalizován tak, aby byl schopen ... -
Výsledky desetiletého měření atmosférické depozice v Krkonoších =Results of ten-year measurements of atmospheric deposition in the Giant Mountains
Hošek, Jan; Schwarz, Otakar; Svoboda, Tomáš (2007)