Hledat
Zobrazují se záznamy 31-40 z 133
Vesmírná hra s umělou inteligencí
Space game with artificial intelligence
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pilát, Martin
Datum publikování: 2020
Datum obhajoby: 07. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Part of this thesis consists of the implementation of my own simple space game which serves as an experimenting en vironment for testing different aproaches of artificial inteligence. There have been created abstractions ...
Součástí této práce je implementace mé vlastní, jednoduché, vesmírné hry, která slouží jako experimentální prostředí pro testování různých přístupů umělé inteligence. Nad stavy a akcemi hry byly vytvořeny abstrakce ve formě ...
Součástí této práce je implementace mé vlastní, jednoduché, vesmírné hry, která slouží jako experimentální prostředí pro testování různých přístupů umělé inteligence. Nad stavy a akcemi hry byly vytvořeny abstrakce ve formě ...
Rozšíření matched formulí
Extensions to the class of matched formulae
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kučera, Petr
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: S KNF formulí můžeme asociovat incidenční graf. Tento graf je bipartitní a jedna partita zastupuje proměnné a druhá klauzule. Díky tomu můžeme definovat nové třídy KNF formulí, jimiž jsou matched formule a biklikově ...
We can associate an incidence graph with any CNF formula. It's a bipartite graph, in which he first part corresponds to variables and the second one to clauses. We can define matched formulas and biclique satisfiable ...
We can associate an incidence graph with any CNF formula. It's a bipartite graph, in which he first part corresponds to variables and the second one to clauses. We can define matched formulas and biclique satisfiable ...
Inteligentní křižovatka
Smart Traffic Intersection
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2019
Datum obhajoby: 16. 09. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is concerned with the problem of planning paths for autonomous cars through a smart traffic intersection. In this thesis, we describe existing concepts for solving this problem and discuss the possibilities of ...
Tato diplomová práce se zabývá problematikou rozvrhování průjezdů autonomních vozidel inteligentní křižovatkou. Jsou zde popsány existující návrhy na řešení tohoto problému, rozebrány různé přístupy, jak je možné k problému ...
Tato diplomová práce se zabývá problematikou rozvrhování průjezdů autonomních vozidel inteligentní křižovatkou. Jsou zde popsány existující návrhy na řešení tohoto problému, rozebrány různé přístupy, jak je možné k problému ...
Strukturované problémy pro SAT
Structured problems for SAT
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2013
Datum obhajoby: 02. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Strukturované problémy pro SAT Autor: Jan Klátil Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Jan Hric, Katedra teoretické informatiky a ma- tematické logiky ...
Title: Structured problems for SAT Author: Jan Klátil Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Jan Hric, Department of Theoretical Computer Science and Mathematical ...
Title: Structured problems for SAT Author: Jan Klátil Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Jan Hric, Department of Theoretical Computer Science and Mathematical ...
Hledání minimálních splňujících ohodnocení Booleovských formulí
Finding Minimum Satisfying Assignments of Boolean Formulas
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Balyo, Tomáš
Datum publikování: 2014
Datum obhajoby: 04. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci zkoumáme algoritmy a techniky pro řešení Booleovské splnitelnosti. Dále se zabýváme možnostmi jejich použití při řešení weighted short SAT, což je zobecnění problému splnitelnosti. Toto zobecnění požaduje ...
In this thesis we examine algorithms and techniques used for solving Boolean satisfiability (SAT). Then we inspect the possibility to use them in solving the weighted short SAT problem, which is a generalization of the ...
In this thesis we examine algorithms and techniques used for solving Boolean satisfiability (SAT). Then we inspect the possibility to use them in solving the weighted short SAT problem, which is a generalization of the ...
Modely aritmetických a bohatých teorií
Models of arithmetic and rich theories
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2009
Datum obhajoby: 16. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci formulujeme problematiku oboru peanovských součinů (na daném modelu Presburgerovy aritmetiky (Pr)) jakožto potenciálně možného základu pro konstrukci modelů Peanovy aritmetiky (PA). Tato problematika je ...
In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a ...
In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a ...
Řízení prohledávání stromů hry
A Controlled Searching of Game Trees
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2018
Datum obhajoby: 31. 01. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: A Controlled Searching of Game Trees Author: Jan Vrba Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: RNDr. Jan Hric Abstract: Monte-Carlo Tree Search is a search algorithm ...
Název práce: Řízení prohledávání stromů hry Autor: Jan Vrba Katedra / Ústav: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Jan Hric Abstrakt: Monte-Carlo Tree Search je metodou ...
Název práce: Řízení prohledávání stromů hry Autor: Jan Vrba Katedra / Ústav: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Jan Hric Abstrakt: Monte-Carlo Tree Search je metodou ...
Diář kompatibilní se softwarem pro nevidomé
Blind Friendly Time Organizer
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Cejnar, Pavel
Datum publikování: 2006
Datum obhajoby: 26. 06. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In present many diaries and organizers use attractive but nonstandard controls, which are problematic to read for software designated for blind people (e.g. JAWS, www.freedomscientific.com). The aim of this bachelor work ...
Mnoho v současnosti používaných diářů a organizérů používá graficky poutavé nestandardní ovládací prvky, při jejichž čtení má software pro nevidomé (například JAWS, www.freedomscientific.com) problémy. Cílem této bakalářské ...
Mnoho v současnosti používaných diářů a organizérů používá graficky poutavé nestandardní ovládací prvky, při jejichž čtení má software pro nevidomé (například JAWS, www.freedomscientific.com) problémy. Cílem této bakalářské ...
Multiagentní simulace založené na iterovaném vězňově dilematu
Multiagent simulations based on the iterated prisoner's dilemma
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Olmer, Petr
Datum publikování: 2008
Datum obhajoby: 24. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá možnostmi využití jazyka 3APL při simulaci iterovaného vězňova dilematu. Nedrží se však pouze teorie, ale předkládá i konkrétní příklad implementace multiagentního systému schopného provádět simulace nejen ...
This work is studying possibilities for simulating iterated prisoners dilema in the 3APL language. It does not stick to theory only but offers a concrete example of a multiagent system capable of simulating not only the ...
This work is studying possibilities for simulating iterated prisoners dilema in the 3APL language. It does not stick to theory only but offers a concrete example of a multiagent system capable of simulating not only the ...
Predikce výrobních časů v průmyslu pomocí metod strojového učení
Predicting Production Times Using Machine Learning
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pilát, Martin
Datum publikování: 2023
Datum obhajoby: 01. 02. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: S rozvojem automatizace plánování v průmyslu se zvyšují požadavky na~správný odhad parametrů jednotlivých výrobních operací, především pak jejich časová náročnost. Práce se zabývá různými metodami, jak odhad časové náročnosti ...
With the development of automated task planning in industry, the requirements for a correct estimation of the parameters of individual operations, especially their lead time, are increasing. This thesis is discussing various ...
With the development of automated task planning in industry, the requirements for a correct estimation of the parameters of individual operations, especially their lead time, are increasing. This thesis is discussing various ...