Umělá inteligence pro strategické hry s neúplnou informací
Eigler, Lukáš; Vomlelová, Marta; Majerech, Vladan
2024 - Czech This bachelor thesis provides an introduction to game theory and artificial intelligence methods, specifically for games with incomplete information, and a playable application of the game based on the Scotland Yard on randomly generated maps with the option to play with a human or artificial players. In addition to the basic concepts of game theory, I introduce two related bachelor theses and the currently strongest and most general algorithm, Student of Games. I focus on implementing an advanced artificial intelligence algorithm. The thesis offers two different AI players. The first utilizes heuristics based on the properties of the game domain, while the second utilizes ISMCTS. Players are tested against each other in experiments. The results show that they perform differently, providing the user with a range of AI opponent strengths. Tato bakalářská práce poskytuje úvod do teorie her a metod umělé inteligence, speciálně pro hry s neúplnou informací, a hratelnou aplikaci hry na motivy Scotland Yard (Fantom staré Prahy) na náhodně generovaných mapách s možností hrát s člověkem i umělými hráči. Kromě základních konceptů teorie her představuji dvě související bakalářské práce a v tuto chvíli nejsilnější a nejobecnější algoritmus Student of Games. Zaměřuji se na implementaci pokročilého algoritmu umělé inteligence. Práce nabízí dva různé umělé hráče. První využívá heuristiky založené na vlastnostech domény hry, druhý využívá ISMCTS. Hráči jsou v experimentech testováni proti sobě. Z výsledků vyplývá, že jsou výkonnostně různí, což poskytuje uživateli škálu různé síly AI protivníků. Keywords: umělá inteligence|neúplná informace|strategické hry|Monte Carlo; artificial intelligence|incomplete information|strategic games|Monte Carlo Available in a digital repository NRGL Umělá inteligence pro strategické hry s neúplnou informací

This bachelor thesis provides an introduction to game theory and artificial intelligence methods, specifically for games with incomplete information, and a playable application of the game based on ...

Eigler, Lukáš; Vomlelová, Marta; Majerech, Vladan
Univerzita Karlova, 2024

Simulátor šíření ohně
Hlava, Ondřej; Švancara, Jiří; Pešková, Klára
2024 - Czech This thesis focuses on the description of a tool designed for simulating fire spread across landscapes, which is developed within the cross-platform Unity game engine. This tool stands out due to its visually appealing interface and exceptional user-friendliness, offering diverse applications. The fire spread is modeled using simple, non-deterministic but realistic rules. The simulation is conducted on a simplified, procedurally generated world model. The applica- tion's versatility allows it to be used in diverse contexts. For instance, it can serve as a support tool in teaching about factors affecting the dynamics of fire spread. Additionally, it could be useful for beginner programmers by providing them the opportunity to visualize their landscapes, generate data for predicting fire spread chances, along with the options to visualize their own predictions. Tato práce se zabývá popisem nástroje na simulaci šíření ohně v krajině im- plementovaném v multiplatformním herním enginu Unity. Implementace přináší nový, vizuálně přitažlivý a velmi jednoduše použitelný nástroj, který lze využít mnoha způsoby. Šíření ohně je založeno na jednoduchých nedeterministických, avšak realistických pravidlech. Simulace se odehrává na zjednodušeném modelu světa, který je procedurálně generovaný. Aplikace je do jisté míry univerzální, a tak má množství různorodých využití, například může sloužit jako podpůrný nástroj ve výuce o faktorech ovlivňujících šíření ohně, dále může posloužit začínajícím programátorům, kterým nabídne možnost vizualizovat si vlastní svět či vygenerovat data pro předpovídání šance rozšíření ohně s následnou možností si tuto předpověď vizualizovat. Keywords: oheň|simulátor|políčka|krajina|Unity|C#; fire|simulator|tiles|landscape|Unity|C# Available in a digital repository NRGL Simulátor šíření ohně

This thesis focuses on the description of a tool designed for simulating fire spread across landscapes, which is developed within the cross-platform Unity game engine. This tool stands out due to its ...

Hlava, Ondřej; Švancara, Jiří; Pešková, Klára
Univerzita Karlova, 2024

Optimalizace energie v rodinném domě
David, Jakub; Fink, Jiří; Švancara, Jiří
2024 - English The goal of this thesis is to compare various optimization algorithms for optimizing energy usage in residential households. We consider a model of a household with heat and power cogeneration, fixed electricity and domestic hot water consumption and devices with controllable start of their operation. For this problem, we use a mixed-integer linear programming solver, and we implemented local search, evolutionary algorithm and particle swarm optimization. We compare these algorithms on data measured from multiple different households. Cílem této práce je porovnat různé optimalizační algoritmy pro optimalizaci spotřeby energie v domácnostech. Uvažujeme model domácnosti s kogenerací tepla a elektřiny, fixní spotřebou elektřiny a horké vody a se zařízenímy s ovladatelným začátkem provozu. K řešení tohoto problému používáme řešič smíšeně celočíselných lineárních úloh a imple- mentovali jsme lokální prohledávání, evoluční algoritmus a optimalizaci hejnem částic. Tyto algoritmy provnáváme na datech naměřených v různých domácnostech. Keywords: optimalizace energie|MILP|lokální prohledávání|přírodou inspirované algoritmy; energy optimization|MILP|local search|nature inspired algorithms Available in a digital repository NRGL Optimalizace energie v rodinném domě

The goal of this thesis is to compare various optimization algorithms for optimizing energy usage in residential households. We consider a model of a household with heat and power cogeneration, fixed ...

David, Jakub; Fink, Jiří; Švancara, Jiří
Univerzita Karlova, 2024

Nástroj lsql-csv na zpracování CSV souborů z příkazového řádku
Šťastný, Přemysl; Hubička, Jan; Pangrác, Ondřej
2024 - English lsql-csv is a tool for small CSV file data querying from a shell with short queries. It makes it possible to work with small CSV files like with a read-only relational databases. The tool implements a new language LSQL similar to SQL, specifically designed for working with CSV files in a shell. LSQL aims to be a more lapidary language than SQL. Its design purpose is to enable its user to quickly write simple queries directly to the terminal. 1 lsql-csv je nástroj pro provádění krátkých dotazů nad daty malých CSV souborů z shellu. Díky němu je možné pracovat s malými CSV soubory jako s read-only relační databází. Nástroj implementuje nový jazyk LSQL podobný SQL, speciálně navržený pro práci se CSV soubory v shellu. Designovým cílem LSQL je být lapidárnějším jazykem než SQL. Účelem jeho návrhu je umožnit uživateli rychle psát jednoduché dotazy přímo do terminálu. 1 Keywords: relační databáze|CSV|SQL|Haskell|dotazovací jazyk|unixová filozofie|lsql-csv|LSQL; relational database|CSV|SQL|Haskell|query language|Unix philosophy|lsql-csv|LSQL Available in a digital repository NRGL Nástroj lsql-csv na zpracování CSV souborů z příkazového řádku

lsql-csv is a tool for small CSV file data querying from a shell with short queries. It makes it possible to work with small CSV files like with a read-only relational databases. The tool implements a ...

Šťastný, Přemysl; Hubička, Jan; Pangrác, Ondřej
Univerzita Karlova, 2024

AE řešitelnost intervalových soustav
Chudý, Vladimír; Hladík, Milan; Garajová, Elif
2024 - Czech Interval analysis involves investigating various types of solvability of interval systems. The most well-known ones are weak solvability, strong solvability and their combination AE solvability. Currently, there is no known exponential algorithm that is able to test the AE solvability of interval systems. Some of its special types are NP-complete or co-NP-complete problems. In this paper, we partially answer the question when such simplification occurs. We will show some necessary and sufficient conditions for general AE solvability, as well as its special cases. We will also look at various equivalences between systems and describe transformations that preserve solvability. Finally, we will implement some necessary, sufficient and characterization conditions in Matlab using the Intlab toolbox and numerically test their success rate. Součástí intervalové analýzy je zkoumání různých typů řešitelnosti intervalových sou- stav. Mezi nejznámější patří slabá řešitelnost, silná řešitelnost a jejich kombinace, AE ře- šitelnost. V současnosti není znám žádný exponenciální algoritmus, který by byl schopný AE řešitelnost intervalových soustav otestovat. Některé její speciální typy jsou NP-úplné či co-NP-úplné problémy. V této práci si částečně odpovíme na otázku, kdy k tomuto zjednodušení dochází. Ukážeme některé nutné a postačující podmínky pro obecnou AE řešitelnost, ale i její speciální případy. Také se zaměříme na různé ekvivalence mezi sou- stavami a popíšeme úpravy zachovávající řešitelnost. V závěru práce některé nutné, po- stačující a charakterizační podmínky naimplementujeme v prostředí Matlab s využitím toolboxu Intlab a numericky otestujeme jejich úspěšnost. Keywords: intervalová analýza|intervalové lineární soustavy|slabá řešitelnost|silná řešitelnost; interval analysis|interval linear systems|weak solvability|strong solvability Available in a digital repository NRGL AE řešitelnost intervalových soustav

Interval analysis involves investigating various types of solvability of interval systems. The most well-known ones are weak solvability, strong solvability and their combination AE solvability. ...

Chudý, Vladimír; Hladík, Milan; Garajová, Elif
Univerzita Karlova, 2024

Aplikace pro vytváření osobního rozvrhu
Rajczy, Pavol; Pešková, Klára; Svoboda, Martin
2024 - Slovak This work presents a Windows application developed to increase user focus and effici- ency through effective time and schedule management strategies. The software integrates established methods such as Eat That Frog!, the Eisenhower Matrix, the 80-20 Rule, and the modified Eat That Frog! along with the Pomodoro Technique to help users create and stick to optimized schedules. After successfully mastering the activity in the schedule, the user has the opportunity to share his result with other users, which also increases motivation. The study underscores the app's role in promoting improved work habits and concentration. The development process, from design to implementation, prioritizes practical functions in the creation of a schedule. Táto práca predstavuje Windows aplikáciu vyvinutú na zvýšenie zamerania a efek- tívnosti užívateľov prostredníctvom efektívnych stratégií riadenia času a rozvrhu. Softvér integruje zavedené metódy ako Eat That Frog!, Eisenhower Matrix, 80-20 Rule a up- ravenú metódu Eat That Frog! spolu s Pomodoro Technique na pomoc používateľom pri vytváraní a dodržiavaní optimalizovaných rozvrhov. Po úspešnom zvládnutí aktiv- ity v rozvrhu má užívateľ možnosť zdieľať svoj výsledok s inými užívateľmi, čo taktiež zvyšuje motiváciu. Štúdia podčiarkuje úlohu aplikácie pri podpore zlepšených pracovných návykov a koncentrácie. Proces vývoja, od návrhu až po implementáciu, uprednostňuje praktické funkcie pri tvorbe rozvrhu. Keywords: Pomodoro|Eat That Frog!|Eisenhower Matrix|80-20 Rule|časový manažment|stavanie rozvrhu; Pomodoro|Eat That Frog!|Eisenhower Matrix|80-20 Rule|time managment|construction of timetable Available in a digital repository NRGL Aplikace pro vytváření osobního rozvrhu

This work presents a Windows application developed to increase user focus and effici- ency through effective time and schedule management strategies. The software integrates established methods such ...

Rajczy, Pavol; Pešková, Klára; Svoboda, Martin
Univerzita Karlova, 2024

Zpracování jízdních řádů
Mrkus, František; Fink, Jiří; Pilát, Martin
2024 - English A goal of this thesis is to create an open-source application which could serve as foundation for public bus transport analysis and organizing, while di- rectly operating with timetables in a JDF format for a comfortable workflow. The application is centered aroud bus scheduling for public transport orga- nizers and agencies,including related functions such as displaying timetable sheets and departure/arrival lists, map visualization of the planned routes, and creation of custom timetables. All of these features were sucesfully im- plemented and tested on real-world data. Cílem této práce je vytvořit open-source aplikaci, která by mohla slou- žit jako základ pro analýzu a organizaci veřejné autobusové dopravy, přičemž přímo pracuje s jízdními řády ve formátu JDF, pro zajištění pohodlného pra- covního postupu. Aplikace je zaměřena na plánování autobusových spojů pro organizátory a dopravce veřejné dopravy, včetně souvisejících funkcí, jako je zobrazení jízdních řádů a seznamů odjezdů/příjezdů, vizualizace plánovaných tras na mapě a vytváření vlastních jízdních řádů. Všechny tyto funkce byly úspěšně implementovány a otestovány na reálných datech. Keywords: rozvrhování autobusů|veřejná doprava|optimalizace|vývěsný jízdní řád; bus scheduling|public transport|optimization|spreadsheet timetable Available in a digital repository NRGL Zpracování jízdních řádů

A goal of this thesis is to create an open-source application which could serve as foundation for public bus transport analysis and organizing, while di- rectly operating with timetables in a JDF ...

Mrkus, František; Fink, Jiří; Pilát, Martin
Univerzita Karlova, 2024

Asistent pro psaní textu založený na velkých jazykových modelech
Klement, David; Helcl, Jindřich; Libovický, Jindřich
2024 - Czech A standard approach to many natural language processing tasks is to take an existing, pre-trained large language model and fine-tune it for the given task. Such an approach leads to having a separate model for each task; furthermore, the fine-tuning must be repeated when upgrading to a new pre-trained model. This thesis explores the possibilities of using a single off-the-shelf model for three different tasks without fine-tuning. We present Preditor, a writing assistant that supports rewriting a sentence after replacing one of its words, suggesting continuations, and suggesting words that fit into a sentence. We design the system in a model-agnostic way, making it possible to upgrade to a new model with little effort. We also provide an extension that integrates the assistant into the text editor. 1 Standardní přístup k mnoha úlohám zpracování přirozeného jazyka je vzít existující předtrénovaný velký jazykový model a dotrénovat jej pro danou úlohu. Tento přístup vede k tomu, že pro každou úlohu vznikne samostatný model, navíc je nutné dotrénování opakovat při přechodu na lepší předtrénovaný model. Tato práce zkoumá možnosti po- užití jediného veřejně dostupného modelu pro tři různé úlohy bez nutnosti dotrénování. Představujeme Preditor, asistenta pro psaní, který umí přepsat větu po nahrazení jed- noho z jejích slov, navrhuje pokračování věty a navrhuje slova, která se hodí doprostřed věty. Systém navrhujeme nezávisle na konkrétním modelu, což umožňuje jednoduchý pře- chod na nový model. Poskytujeme také rozšíření, které integruje asistenta do textového editoru. 1 Keywords: velké jazykové modely|zpracování přirozených jazyků|deep learning; large language models|natural language processing|deep learning Available in a digital repository NRGL Asistent pro psaní textu založený na velkých jazykových modelech

A standard approach to many natural language processing tasks is to take an existing, pre-trained large language model and fine-tune it for the given task. Such an approach leads to having a separate ...

Klement, David; Helcl, Jindřich; Libovický, Jindřich
Univerzita Karlova, 2024

Interactive pandemic simulation to encourage critical thinking
Goldscheiderová, Sára; Petříček, Tomáš; Klímek, Jakub
2024 - Czech The complexity of pandemic simulations often makes them opaque and difficult to understand for the general public. Critical thinking is essential for understanding the results of these simulations, but the current methods are lacking in this regard. They commonly leave people skeptical and un- able to comprehend the implications of the simulations. This thesis aims to design an interactive pandemic simulation that encourages critical thinking and implement a prototype of it. Through this simulation design, we can illustrate how future models can be made more socially beneficial and how they can be used to educate the public. Složitost simulací pandemií způsobuje, že jsou pro veřejnost často nejasné a obtížné k pochopení. Přestože je kritické uvažování nezbytné pro správné pochopení výsledků těchto simulací, současné metody v tomto ohledu selhá- vají. Důsledkem toho lidé simulacím často nedůvěřují, nechápou je, a neví, co si z nich ve skutečnosti odnést. Tato práce si klade za cíl navrhnout interak- tivní simulaci pandemie, která podporuje kritické uvažování, a implementovat její prototyp. Skrz ní pak můžeme ukázat, jak by se mohly budoucí modely simulací stát společensky přínosnějšími. Keywords: simulation|data visualization; simulation|data visualization Available in a digital repository NRGL Interactive pandemic simulation to encourage critical thinking

The complexity of pandemic simulations often makes them opaque and difficult to understand for the general public. Critical thinking is essential for understanding the results of these simulations, ...

Goldscheiderová, Sára; Petříček, Tomáš; Klímek, Jakub
Univerzita Karlova, 2024

Segmentace skenovanych PDF dokumentů
Saydametov, Nikita; Šikudová, Elena; Tódová, Lucia
2024 - English Keywords: PDF|OCR|segmentace; PDF|OCR|segmentation Available in a digital repository NRGL Segmentace skenovanych PDF dokumentů

Saydametov, Nikita; Šikudová, Elena; Tódová, Lucia
Univerzita Karlova, 2024