Hledat
Zobrazují se záznamy 1-10 z 12
Autonomní navigace v jednoduchém terénu
Simple Terrain Autonomous Navigation
Diplomová práce (OBHÁJENO)
Vedoucí práce: Obdržálek, David
Datum publikování: 2023
Datum obhajoby: 05. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: An important ability for light terrain outdoor navigation of an UGV (Un- manned Ground Vehicle) is traversability detection. We focus on creating an evaluation layer for move_base package, which is part of ROS (Robot ...
Důležitou schopností pro možnost navigace autonomního robota v jedno- duchém venkovním terénu je rozpoznání průjezdnosti. Zaměřujeme se na vy- tvoření hodnotící vrstvy pro plánovací balíček move_base, který je součástí ROS ...
Důležitou schopností pro možnost navigace autonomního robota v jedno- duchém venkovním terénu je rozpoznání průjezdnosti. Zaměřujeme se na vy- tvoření hodnotící vrstvy pro plánovací balíček move_base, který je součástí ROS ...
Business model teplárenské společnosti
Business model of a central heating plant
Diplomová práce (OBHÁJENO)
Vedoucí práce: Křivánek, Mirko
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Presented thesis deals with the usage of computer simulations in management decision. Modeled environment is selected heat-distribution network, however model and its conclusions can be used for arbitrary heat - distribution ...
Práce je zaměřena na využití počítačových simulací pro manažerské rozhodování. Modelovaným prostředím je vybraná teplárenská soustava, avšak model i závěry mohou být obecně využity pro libovolnou entralizovanou teplárenskou ...
Práce je zaměřena na využití počítačových simulací pro manažerské rozhodování. Modelovaným prostředím je vybraná teplárenská soustava, avšak model i závěry mohou být obecně využity pro libovolnou entralizovanou teplárenskou ...
Analýza rozvrhů
Schedule analysis
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav ...
Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections ...
Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections ...
Multi-agentní hledání cest v orientovaných prostředích
Multi-agent Path Planning in Unidirectional Environments
Diplomová práce (OBHÁJENO)
Vedoucí práce: Surynek, Pavel
Datum publikování: 2016
Datum obhajoby: 12. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci se zaměříme na optimální multi-agentní plánování cest, které je NP-úplným problémem. K řešení této úlohy budeme využívat centralizovaný prohledávací algoritmus A*, pro který navrhneme novou heuristiku. Ke ...
In this paper we focus on the optimal multi-agent path planning, which is an NP-complete problem. To solve this task, we will use centralized A* search algorithm for which we propose a new heuristic. To construct our ...
In this paper we focus on the optimal multi-agent path planning, which is an NP-complete problem. To solve this task, we will use centralized A* search algorithm for which we propose a new heuristic. To construct our ...
Sumarizace genových expresních čipů z volně žijících druhů
Summarization of gene expression arrays from free living species
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mořkovský, Libor
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro zkoumání exprese exonů a genů v organismech se používají genové expresní čipy. Genové expresní čipy jsou vytvořeny podle genomů laboratorních kmenů modelových organismů. Pro zpracování naměřených dat se používají ...
Gene expression arrays are used to assess expression of exons and genes of orga- nisms. The design of expression arrays is based on a genome of laboratory strains of model organisms. The most frequent summarization algorithms ...
Gene expression arrays are used to assess expression of exons and genes of orga- nisms. The design of expression arrays is based on a genome of laboratory strains of model organisms. The most frequent summarization algorithms ...
External sources of axioms in lean theorem proving
External sources of axioms in lean theorem proving
Diplomová práce (OBHÁJENO)
Vedoucí práce: Suda, Martin
Datum publikování: 2012
Datum obhajoby: 03. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Automatické dokazovače vět lze upravit tak, aby mohly používat externí zdroje axiomů. To bylo nedávno zkoumáno v kombinaci se saturačním dokazovačem SPASS-XDB, který během saturační smyčky odesílá dotazy o externí axiomy ...
Automated theorem provers can be modified in order to use external sources of axioms. This was recently searched in combination with saturation based theorem prover SPASS-XDB. It sends queries to external sources and ...
Automated theorem provers can be modified in order to use external sources of axioms. This was recently searched in combination with saturation based theorem prover SPASS-XDB. It sends queries to external sources and ...
Rozpoznávání strukturovaných zvuků pomocí synchronizace v neutronové síti
Recognition of structured noises by neural network synchronization
Diplomová práce (OBHÁJENO)
Vedoucí práce: Maršálek, Petr
Datum publikování: 2007
Datum obhajoby: 05. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This work studies the phenomenon of sound recognition through spiking neuron network synchronization. The input layer res on specifi c features in the input sound, which resemble syllable. The neurons in the middle layer ...
Tato práce studuje fenomén rozpoznávání zvuků pomocí synchronizace v neuronové síti neuronů s akčním potenciálem. Používá vstupní vrstvu pro rozpoznávání příznaků v krátkém zvuku, který odpovídá slabice. Prostřední vrstva ...
Tato práce studuje fenomén rozpoznávání zvuků pomocí synchronizace v neuronové síti neuronů s akčním potenciálem. Používá vstupní vrstvu pro rozpoznávání příznaků v krátkém zvuku, který odpovídá slabice. Prostřední vrstva ...
Vyhledání obrázků podle obsahu
Content-based Image Search
Diplomová práce (OBHÁJENO)
Vedoucí práce: Surynek, Pavel
Datum publikování: 2014
Datum obhajoby: 21. 01. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci jsou prozkoumány přístupy k vyhledávání obrázků podle obsahu. Práce se zaměřuje na speciální případ vyhledávání obrázků podle obsahu, a to na vyhledávání obrázků podle skeče. V práci jsou rozebrány ...
This work aims at content-based image search. Different approaches to this type of search are investigated. The main focus of the thesis is special category of content-based image search called sketch-based image search. ...
This work aims at content-based image search. Different approaches to this type of search are investigated. The main focus of the thesis is special category of content-based image search called sketch-based image search. ...
Detekce anomalit v log datech
Anomaly Detection on Log Data
Diplomová práce (OBHÁJENO)
Vedoucí práce: Vomlelová, Marta
Datum publikování: 2021
Datum obhajoby: 02. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá detekováním anomalit v log datech. Velké sotfwarové systémy produkují velké množství logů, které nejsou dále zpracovávány. Logů je zpravidla tolik, že není možné ručně kontrolovat každý záznam. V této ...
This thesis deals with anomaly detection of log data. Big software systems produce a great amount of log data which are not further processed. There are usually so many logs that it becomes impossible to check every log ...
This thesis deals with anomaly detection of log data. Big software systems produce a great amount of log data which are not further processed. There are usually so many logs that it becomes impossible to check every log ...
Data a jejich klastrování
Data and their clustering
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2010
Datum obhajoby: 13. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato diplomová práce popisuje známé metody klastrování dat a zkoumá jejich možnou aplikaci na data z oblasti sociálních sítí. Z tohoto důvodu jsme zrekapitulovali, jak pomocí dat reálné objekty popisujeme a jaké využíváme ...
This master thesis descripes known methods of data clustering and examines their possible application on data from the area of social networks. Because of this we recapitulated how we describes objects using data and which ...
This master thesis descripes known methods of data clustering and examines their possible application on data from the area of social networks. Because of this we recapitulated how we describes objects using data and which ...