Hledat
Zobrazují se záznamy 11-20 z 234
Kompilace KNF do backdoor decomposable monotone circuit
Compilation of a CNF into a backdoor decomposable monotone circuit
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kučera, Petr
Datum publikování: 2021
Datum obhajoby: 02. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: NNF obvod je zakořeněný orientovaný acyklický graf (DAG), který v listech obsahuje true/false nebo literály a má dva typy vnitřních uzlů, a to konjunkci (∧) a disjunkci (∨). Decomposable NNF (DNNF) je NNF, který navíc ...
An NNF circuit is a directed acyclic graph (DAG), where each leaf is labelled with either true/false or a literal, and each inner node represents either a conjunction (∧) or a disjunction (∨). A decomposable NNF (DNNF) is ...
An NNF circuit is a directed acyclic graph (DAG), where each leaf is labelled with either true/false or a literal, and each inner node represents either a conjunction (∧) or a disjunction (∨). A decomposable NNF (DNNF) is ...
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 ...
Softwarové řešení digitálních archivů
Software solution for digital archives
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Macková, Kateřina
Datum publikování: 2021
Datum obhajoby: 10. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato bakalářská práce se zabývá modernizací knihovních systémů. Zaměřuje se na technologie jako single-page application, která zefektivňuje síťovou komunikaci a snižuje vytížení serveru. Cílem bylo sepsat a zakomponovat ...
This bachelor's thesis is on the modernisation of library systems. It focuses on tech- nologies such as single-page application, which streamlines network communication and reduces server usage. The goal was to describe ...
This bachelor's thesis is on the modernisation of library systems. It focuses on tech- nologies such as single-page application, which streamlines network communication and reduces server usage. The goal was to describe ...
Doménově specifické jazyky
Domain Specific Languages
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Dom énově specifi cké jazyky (DSL) jsou jazyky navržen é pro určitou problémovou oblast. Jejich syntaxe a základní primitiva jsou přizpůsobeny t ří dě problém u, kter é mají řeš it. Dí ky této specializaci jsou programy v ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Go na malých deskách
Go on Small Boards
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2008
Datum obhajoby: 23. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme vhodnost použití heuristik užívaných při počítačové analýze šachu (konkrétně se bude jednat o transpoziční tabulky, killery, historii a protitahy) pro výpočty hodnoty pozice v go. V první části ...
In presented work we study applicability of the heuristics used in computer analysis of the chess (to be specific we will consider transposition tables, killer moves, history heuristics and counter-moves) for the valuation ...
In presented work we study applicability of the heuristics used in computer analysis of the chess (to be specific we will consider transposition tables, killer moves, history heuristics and counter-moves) for the valuation ...
Rezervační systém vstupenek
Ticket Reservation System
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Zlomek, Josef
Datum publikování: 2006
Datum obhajoby: 26. 06. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The aim of the bachelor thesis was to design and implement a Ticket Reservation System. The reservation system is primarily focused on ticket distribution for occasional culture events. During reservation and selling of ...
Cílem bakalářské práce bylo vytvořit Rezervační systém vstupenek. Rezervační systém je primárně určen pro rezervaci a prodej vstupenek na příležitostné kulturně-společenské akce. Rezervace a prodej vstupenek se provádí nad ...
Cílem bakalářské práce bylo vytvořit Rezervační systém vstupenek. Rezervační systém je primárně určen pro rezervaci a prodej vstupenek na příležitostné kulturně-společenské akce. Rezervace a prodej vstupenek se provádí nad ...
Rozpoznávání rukopisu pomocí neuronové sítě
Handwriting recognition using neural network
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Surynek, Pavel
Datum publikování: 2010
Datum obhajoby: 17. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Rozpoznávání rukopisu pomocí neuronové sítě Autor: Martin Petr Katedra (ústav): Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Pavel Surynek, PhD. e-mail vedoucího: ...
Title: Handwriting recognition using neural network Author: Martin Petr Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Pavel Surynek, PhD. Supervisor's e-mail address: ...
Title: Handwriting recognition using neural network Author: Martin Petr Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Pavel Surynek, PhD. Supervisor's e-mail address: ...
Systém pro distribuované výpočty
System for Distributed Computing
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Yaghob, Jakub
Datum publikování: 2009
Datum obhajoby: 11. 02. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá řešením úloh prostřednictvím systémů pro distribuované výpočty. Na úvod seznamuje čtenáře se základními principy těchto systémů a představuje některé běžně používané systémy. Dále je pak navržen vlastní ...
This thesis is about solving problems using systems for distributed computing. In the beginning, it provides the reader brief introduction to the area of systems for distributed computing and introduces some of the existing ...
This thesis is about solving problems using systems for distributed computing. In the beginning, it provides the reader brief introduction to the area of systems for distributed computing and introduces some of the existing ...
Vizualizace plánů pro logistické úlohy
Visualization of plans for logistics tasks
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Surynek, Pavel
Datum publikování: 2011
Datum obhajoby: 07. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Analýza plánů je důležitá při testování plánovacích systémů i při kontrole plánu před jeho provedením. Program VLP (Visualizace Logistických Plánů), který je výsledkem této práce, umožňuje uživateli orientaci v plánech pro ...
Plan analysis is important for testing of planning systems and checking the plan before its execution. VLP application (result of this thesis) helps user with orientation in plans for logistical tasks and with finding ...
Plan analysis is important for testing of planning systems and checking the plan before its execution. VLP application (result of this thesis) helps user with orientation in plans for logistical tasks and with finding ...
Turistická navigace pro mobilní zařízení na platformě J2ME/CLDC
Tourist navigation for mobile devices on J2ME/CLDC platform
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Zajíček, Ondřej
Datum publikování: 2009
Datum obhajoby: 14. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem práce je navrhnout a implementovat program, který bude sloužit jako turistická navigace. Program bude určen pro mobilní zařízení na platformě J2ME/CLDC s GPS modulem. Základní funkce budou: zobrazení aktuální pozice ...
Subject of the thesis is design and implementation of application, which will be used as tourist navigation. Application will run on mobile devices with GPS module. Main features are: tracking of device position on a map, ...
Subject of the thesis is design and implementation of application, which will be used as tourist navigation. Application will run on mobile devices with GPS module. Main features are: tracking of device position on a map, ...