Matematicko-fyzikální fakulta: Poslední příspěvky
Zobrazují se záznamy 1-20 z 12834
-
Umělá inteligence pro hru Ricochet robots
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This bachelor thesis focuses on the design, implementation, and comparison of artifi- cial intelligence agents for the logic board game Ricochet Robots. As part of the thesis, the Clumsy Robots application was developed ... -
Optimalizace výběru signálních rozpadů B0 -> J/psi K*0 na detektoru ATLAS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This thesis deals with the optimization of the selection of signal candidates for the de- cay B0 → J/ψK∗0 in the ATLAS experiment. The aim of the thesis is to technically introduce and provide a basic comparison of a simple ... -
Efficient Methods for Updating Software Library Knowledge in Code-Generating Large Language Models
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026Large language models used for code generation become outdated as software libraries evolve after their pre-training. This thesis investigates efficient methods for updating code-generation models with new API knowledge ... -
Genetic algorithms for evolving chess evaluation functions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This thesis presents an evolutionary approach to tuning the evaluation function of a chess engine, based on the method proposed by David et al. (2014). The engine uses a fixed set of evaluation features, while their numerical ... -
Application of reinforcement learning to the Simplex method
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026The Simplex method is the cornerstone of many modern linear program solvers. Its performance depends heavily on the choice of pivots, which is traditionally determined by a fixed pivoting rule. In this thesis, we investigate ... -
Online Scheduling of Packets with Similar Lifespans
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026We study deterministic online algorithms for managing the internal buffer of a network switch. In this problem, packets arrive over time and the switch can send only a limited number of packets per time step. Because of ... -
Podpora jazyku Promela v moderním IDE
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This bachelor's thesis focuses on the design and implementation of an extension (plu- gin) for the IntelliJ IDEA development platform, which integrates support for the Spin formal verification tool and the Promela modeling ... -
SVG2Grid: A Multi-Pass Compiler for CSS Grid Diagrams
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026The SVG2Grid multi-pass compiler aims to allow the user to convert standardized SVG images into CSS Grid layouts, using a transparent pipeline which converts the images into the final layout in multiple separate steps, the ... -
Semantic search in transcripts of spoken narratives
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026 -
Umělá inteligence pro deskovou hru Carcassonne s rozšířeními Hostince a katedrály a Kupci a stavitelé
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This thesis focuses on the design of artificial intelligence agents for computer players in the board game Carcassonne. Four approaches to move selection were implemented: Greedy, Expectimax, Monte Carlo Tree Search, and ... -
Document Querying Using Retrieval-Augmented Generation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This thesis addresses the design and implementation of a modular web application for Retrieval-Augmented Generation (RAG). The proposed application adopts a modular architecture based on interchangeable Spring Boot starter ... -
Podpora výučby konceptuálneho modelovania dát
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026Conceptual data modeling is an important part of database system design. During its teaching, students learn to create UML class diagrams and transform them into relational schemas, which requires regular practice. However, ... -
Herní prostředí pro hru inspirovanou hrou Logix a tvorba ukázkových botů, s důrazem na trénování ohodnocovací funkce pro MCTS
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026Title: Game environment for a game inspired by the game Logix and development of sample bots with emphasis on training of evaluation function for MCTS Author: František Procházka Department: Department of Theoretical ... -
Game environment for an Arimaa game and development of sample bots for it
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026 -
Guides and Gamification for Uneeqly
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026Uneeqly is a digital platform for regional tourism. It comprises a web application for region administrators and a mobile application for visitors. The goal of this thesis is to extend both applications so that a region ... -
Umělá inteligence pro deskovou hru Carcassonne: řeka a opat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This bachelor's thesis focuses on the implementation of a digital version of the board game "Carcassonne: River and Abbot" and on the analysis of gameplay strategies. Vari- ous artificial intelligence approaches were ... -
Nástroj pro migraci DB Oracle do PostgreSQL
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This bachelor's thesis addresses the migration of databases from the Oracle database management system to PostgreSQL using the Ora2Pg migration tool. The thesis analyzes the differences between the two database management ... -
Vývoj obecného herného agenta pre šachovnicové hry
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026This thesis presents the design and implementation of a general system for the board games Gomoku, Othello, and Checkers. Within a shared infrastructure, it implements and compares a random player, alpha-beta search, Monte ... -
Výuka funkcí na střední škole
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026The aim of this thesis was to create an overview of topics on functions taught in secondary schools and to create worksheets for students including solutions. The first part of the work is devoted to the theory of functions. ... -
Atomární zdroj pro aplikace v kvantové detekci: Případová studie s vápníkem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2026)Datum obhajoby: 10. 9. 2026David Motyčka July 2025 This work includes development and optimalization of atomic source for experiment with Coulomb crystal. The experiment is described here in detail including its individual parts. There is an atomic ...