Prohlížení katedra teoretické informatiky dle autora "Valenta Michal"
-
Algoritmy synchronizace dokumentace při vývoji SW
Autor: Červenka Adam; Vedoucí práce: Flígl Stanislav; Oponent práce: Valenta Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28) -
Analýza Scala programů pomocí Grafových Databází
Autor: Otakar Vinklář; Vedoucí práce: Křikava Filip; Oponent práce: Valenta Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)Aby bylo možné vyvinout takový programovací jazyk, který budou lidé rádi využívat, je nutné znát, jak je tento jazyk používaný. V článku [KŘIKAVA, Filip; MILLER, Heather; VITEK, Jan. Scala implicits are everywhere: a ... -
Efektivní dotazování nad databází PubChem
Autor: Valášek Jan; Vedoucí práce: Galgonek Jakub; Oponent práce: Valenta Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-10)Tato práce se zabývá způsoby a technologiemi vyhodnocování dotazů v jazyce SPARQL na rozsáhlých RDF datech pocházejících z projektu \mbox{PubChemRDF}. Součástí publikace je popis jednotlivých nástrojů, použitých optimalizací, ... -
Integrace systému V3S do datového skladu ČVUT
Autor: Štádler Michal; Vedoucí práce: Kuznetsov Stanislav; Oponent práce: Valenta Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-11)Práce obsahuje analýzu systému V3S pro účel jeho integrace do Datového skladu ČVUT. Dále popisuje návrh a realizaci stage, integrované, sémantické, přístupové a prezentační vrstvy nově integrovaných dat z V3S do Datového ...