Vážení uživatelé, z důvodu pravidelné údržby bude Digitální repozitář UK dnes, dne 22. 10. 2019 v době od 17:00 do 17:15 dočasně nedostupný. Děkujeme za pochopení. || Dear users, the system will be going down for regular maintenance between 5PM and 5:15PM today. Thank you for your understanding.
Search
Now showing items 1-10 of 419
Distribuované rozvrhování
Distributed Scheduling
diploma thesis
Advisor: Olmer, Petr
Date Issued:
Date of defense: 26. 05. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This thesis deals with distributed meeting scheduling (DMS) with respect to the multiagent system paradigm. The DMS goal is to find an optimal or at least acceptable time slot for the meeting of given subjects. Each subject ...
Tato práce se zabývá problematikou označovanou jako distributed meeting scheduling (DMS) z hlediska paradigmatu multiagentních systémů. Cílem DMS je nalézt optimální nebo alespoň možný čas konání schůzky daných subjektů, ...
Tato práce se zabývá problematikou označovanou jako distributed meeting scheduling (DMS) z hlediska paradigmatu multiagentních systémů. Cílem DMS je nalézt optimální nebo alespoň možný čas konání schůzky daných subjektů, ...
Maticová kalkulačka
Matrix calculator
bachelor thesis
Advisor: Chrpa, Lukáš
Date Issued:
Date of defense: 24. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cieľom práce je vytvorenie prostredia, ktoré umožní užívateľovi pracovať s vybranými maticovými algoritmami za účelom porozumenia ich princípom. Pomocou jednoduchého jazyka umožní zadávať požiadavky na výpočty a zobrazovať ...
The aim of this project is creating an environment which would allow the user to work with chosen matrix algorithms, with the emphasis on understanding their principles. Using a simple programming language, the user will ...
The aim of this project is creating an environment which would allow the user to work with chosen matrix algorithms, with the emphasis on understanding their principles. Using a simple programming language, the user will ...
Go na malých deskách
Go on Small Boards
bachelor thesis
Advisor: Hric, Jan
Date Issued:
Date of defense: 23. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Constraint satisfaction for HW/SW verification
Použití programování s omezujícími podmínkami pro verifikaci HW/SW
diploma thesis
Advisor: Barták, Roman
Date Issued:
Date of defense: 26. 05. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint ...
Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním ...
Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním ...
Simulace ekonomiky
Economic simulation
bachelor thesis
Advisor: Zajíček, Ondřej
Date Issued:
Date of defense: 24. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Návrh a implementace ekonomické simulace společnosti (na úrovni státu). Cílem je simulovat toky komodit a peněz, vývoj nabídky a poptávky na jednotlivých trzích a rozvoj měst. Důraz není kladen na přesnost simulace, ale ...
Design and implementation of economy society simulation (at country level). The aim is to simulate comodities and financy flow, supply and demand progress at each market and evolution of the cities. Exactnest of the ...
Design and implementation of economy society simulation (at country level). The aim is to simulate comodities and financy flow, supply and demand progress at each market and evolution of the cities. Exactnest of the ...
Multiagentní simulace založené na iterovaném vězňově dilematu
Multiagent simulations based on the iterated prisoner's dilemma
bachelor thesis
Advisor: Olmer, Petr
Date Issued:
Date of defense: 24. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Evoluční algoritmy pro řízení heterogenních robotických swarmů
Evolutionary Algorithms for the Control of Heterogeneous Robotic Swarms
bachelor thesis
Advisor: Pilát, Martin
Date Issued:
Date of defense: 22. 06. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Robotic swarms are often used for solving different tasks. Many articles are focused on generating robot controllers for swarm behaviour using evolutionary algorithms. Most of them are nevertheless considering only homogenous ...
Robotická hejna se často díky svým dobrým vlastnostem používají při řešení rozličných úkolů. Řada prací zabývající se touto problematikou používá pro optimalizaci řízení robotických hejn evoluční algoritmy, ovšem z pravidla ...
Robotická hejna se často díky svým dobrým vlastnostem používají při řešení rozličných úkolů. Řada prací zabývající se touto problematikou používá pro optimalizaci řízení robotických hejn evoluční algoritmy, ovšem z pravidla ...
Budovatelská strategie
City-building game
bachelor thesis
Advisor: Malenko, Jaromír
Date Issued:
Date of defense: 23. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Předložená práce popisuje program Damoklv meč, což je hra z kategorie budovatelských strategií, kde úkolem hráče je co nejlépe pečovat o svěřené město a lidi v něm. Těžištěm práce bylo navrhnout a implementovat způsob ...
Present work describes the Sword of Damocles application. It is a citybuilding strategy game, where player's task is to care about some city and wellbeing of its inhabitants. Main goal of the work was to design and implement ...
Present work describes the Sword of Damocles application. It is a citybuilding strategy game, where player's task is to care about some city and wellbeing of its inhabitants. Main goal of the work was to design and implement ...
Efektivní řešič problémů Booleovské splnitelnosti
Efficient SAT SolverEfektivní řešič problémů Booleovské splnitelnosti
bachelor thesis
Advisor: Surynek, Pavel
Date Issued:
Date of defense: 23. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Problém boolovskej splniteľnosti je jedným z najdôležitejších a najviac študovaných problémov umelej inteligencie. Mnoho teoretických a priemyselných problémov sa prevádza na SAT a rieši sa pomocou riešiča SAT. V rámci ...
The boolean satisfaction problem (SAT) is one of the most important and most studied problems of artificial intelligence. Many theoretical and real life problems are transformed to SAT and solved using a SAT solver. During ...
The boolean satisfaction problem (SAT) is one of the most important and most studied problems of artificial intelligence. Many theoretical and real life problems are transformed to SAT and solved using a SAT solver. During ...
Temporal networks
Temporal networks
diploma thesis
Advisor: Barták, Roman
Date Issued:
Date of defense: 21. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Integrace plánování rozvrhování vyžaduje hledání nových přístupů problému rozvrhování. Rozvrhovací systém musí být schopen poskytnout užitečné informace plánovači, aby se zabránilo vytvářní neuskutečnitelných plánů. Pro ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...