Hledat
Zobrazují se záznamy 1-6 z 6
Volba parametrů řešiče SATu pomocí technik strojového učení, Parameter Setting in SAT Solver Using Machine Learning Techniques
; Vedoucí práce: Surynek Pavel; Oponent práce: Kalvoda Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
SAT řešiče jsou nezbytné nástroje pro mnohé oblasti počítačové vědy a průmyslu. Obsadily funkci univerzálního nástroje, který uživatelé používají k řešení problémů, jež by v opačném případě museli řešit ad-hoc, což by ...
Optimalizační metody ve znalostním inženýrství, Optimization Methods in Knowledge Engineering
; Vedoucí práce: Kalvoda Tomáš; Oponent práce: Klouda Karel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-15)
Tato práce se zabývá problematikou matematické optimalizace a ukazuje, jak ji lze aplikovat na problematiku znalostního inženýrství. Nejdříve se zaměříme na teoretické základy matematické optimalizace a formulujeme základní ...
Detekce poruch v rentgenových snímcích pomocí neuronových sítí, Detecting abnormalities in X-Ray images using Neural Networks
; Vedoucí práce: Žitný Jakub; Oponent práce: Kalvoda Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-19)
Současný přístup k diagnostice a hodnocení poškození kloubů reumatoidní artritidou je vizuální inspekce rentgenových snímků radiologem, která je obecně drahá, časově náročná a subjektivní. Automatické hodnotící systémy ...
Návrh kamerového systému pro snímání vzorku pneumatiky, Design of a camera system for scanning a tire tread
; Vedoucí práce: Jiřina Marcel; Oponent práce: Kalvoda Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-09)
Cílem této práce je navrhnout kamerový systém, který snímá pneumatiky projíždějících vozidel a ze záznamu dále získává vzorky pneumatik ve standardizované podobě. Jsou prozkoumány existující systémy určené pro snímání ...
Detekce poruch v rentgenových snímcích pomocí neurónových sítí, Detecting abnormalities in X-Ray images using Neural Networks
; Vedoucí práce: Žitný Jakub; Oponent práce: Kalvoda Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
Rentgen je jedna z nejlevnějších a nejpopulárnější diagnostických metod. Automatizování takového úkonu může pomoci lékářům ke správné diagnóze. Tato práce se zabývá automatickým detekováním abnormalit z rentgenových snímků ...
Klasifikace časových řad v Julia, Time Series Classification in Julia
; Vedoucí práce: Kalvoda Tomáš; Oponent práce: Novák Petr (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)
Klasifikace časových řad je komplexní poblém v oboru strojového učení. Moderní metody řešící tento problém jsou náročné na výkon a jejich efektivní implementace je důležitější než kdy dřív. Tato práce se zabývá analýzou ...