Hledat
Zobrazují se záznamy 10691-10700 z 11240
Závislé typy a specifikace v teorii typů, Dependent Types and Specification in Type Theory
; Vedoucí práce: Dostál Matěj; Oponent práce: Horčík Rostislav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
Vývoj softwaru, který je nejen funkční, ale i formálně prokazatelně korektní, je klíčovou výzvou v informatice. V této bakalářská práce se zaměřujeme na formální dokazování korektnosti algoritmů pomocí důkazového asistenta ...
Nástroj pro anotování lidarových dat se schopností se učit, A Lidar Data Annotation Tool with the Ability to Learn
; Vedoucí práce: Štěpán Petr; Oponent práce: Prágr Miloš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
Tato práce se zabývá problematikou efektivní anotace dat z LiDARu pro zlepšení navigačních schopností dronů v lesním prostředí. Hlavním cílem je vývoj anotačního nástroje, který využívá schopnosti konvolučních neuronových ...
Inteligentní regulace vytápění rodinného domu, Intelligent Control of Heating in a Family House
; Vedoucí práce: Husák Miroslav; Oponent práce: Musil Vladislav (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
Práce uvádí čtenáře do problematiky vytápění obytných prostor a současných možností inteligentní regulace tohoto procesu. Popsanou teorii následně aplikuje při návrhu elektrického schématu a algoritmu pro řízení kotelny, ...
Optimalizace využití a návrh fotovoltaického zdroje v malém průmyslovém podniku, Optimization of PV Source Utilization in Small Industrial Enterprise
; Vedoucí práce: Beneš Martin; Oponent práce: Baudyš Dominik (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-04)
Tato diplomová práce se zabývá návrhem a vyhodnocením ekonomicky nejefektivnějšího systému fotovoltaického zdroje pro malý průmyslový podnik. Začátek práce je věnován technickému popisu technologií a jejich využití ve ...
Alternativní ekonomické hodnocení makroekonomicky významných projektů, Alternative economic evaluation of investments in macroeconomically important projects
; Vedoucí práce: Líman Jakub; Oponent práce: Bemš Július (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-04)
Tato práce se věnuje vysvětlení rozporu mezi nepříznivými výsledky modelování ekonomické efektivity jaderné elektrárny a postojem provozovatelů, kteří projekty výstavby jaderné elektrárny považují za stabilní a výnosné. V ...
Metody zpracování signálu a predikce kolizních situací pomocí senzorických systémů založených na vláknových Braggovských mřížkách, Signal Processing Methods and Collision Situation Prediction Using Sensory Systems Based on Fiber Bragg Gratings
; Vedoucí práce: Komanec Matěj; Oponent práce: Šifta Radim (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-03)
Systémy včasného varování před sesuvy půdy mají zásadní význam pro ochranu osob nebo staveb v jejich blízkosti. Vláknové Braggovské mřížky (FBG) představují vhodný senzor pro použití v takových scénářích díky své extrémní ...
Integrace simulátoru dronů v Unreal Enginu 5, Drone simulator integration in Unreal Engine 5
; Vedoucí práce: Pěnička Robert; Oponent práce: Sedláček David (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
Bakalářská práce se zabývá spojením plně autonomního simulačního systému dronů skupiny Multirobotických systémů (MRS) s herním enginem Unreal Engine 5 (UE5) a navržením virtuálních prostředí vhodných pro testování algoritmů ...
Sbírka znovupoužitelných Nuxt komponent, Collection of reusable Nuxt components
; Vedoucí práce: Malec Oldřich; Oponent práce: Míkovec Zdeněk (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-04)
Tato práce se zaměřuje na návrh a vývoj sbírky znovupoužitelných komponent pro webové aplikace využívající framework Nuxt. Cílem je vytvořit kolekci komponent, které zjednoduší začátek vývoje a zároveň budou jednoduše ...
Vliv růstové fáze a osvětlení na antibakteriální účinek fotoaktivních nanočástic, The Effect of Growth Phase and Illumination on the Antibacterial Effect of Photoactive Nanoparticles
; Vedoucí práce: Rutherford David; Oponent práce: Kolářová Kateřina (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-10)
Světová zdravotnická organizace považuje antimikrobiální rezistenci za jednu z deseti největších globálních zdravotních hrozeb. Proto je důležité studovat různé způsoby antimikrobiální léčby stejně jako potenciální rezistenci. ...
Interaktivní aplikace využívající pohybová data pro analýzu pohybového aparátu jedince, Interactive application using motion data for the analysis of an individual's musculoskeletal system
; Vedoucí práce: Sedláček David; Oponent práce: Berka Roman (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-12)
Tato diplomová práce zkoumá převedení současných metod pro zachytávání pohybu bez snímačů (markerů) a principů gamifikace v pediatrické fyzioterapii a ergoterapii do moderní doby počítačového věku. Cílem výzkumu je zjednodušit ...