Search
Now showing items 1-10 of 76
API for C# code generation
Rozhraní pro generování C# kódu
bachelor thesis (DEFENDED)
Advisor: Hubička, Jan
Date Issued: 2020
Date of defense: 14. 09. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V práci představujeme knihovnu pro implementaci robustních generátorů kódu v jazyce C#. Stávající generátory kódu často pro nějaké vstupy produkují nepřeložitelný kód. Dochází ke jmeným kolizím a dalším problémům, což ...
This work presents a library for implementing robust generators of C# code. Exist- ing code generators often generate invalid code for some inputs. Issues such as name collisions reduce the reliability of code generation. ...
This work presents a library for implementing robust generators of C# code. Exist- ing code generators often generate invalid code for some inputs. Issues such as name collisions reduce the reliability of code generation. ...
Dekompozice orientovaných a neorientovaných grafů
Decompositions of directed and undirected graphs
diploma thesis (DEFENDED)
Advisor: Loebl, Martin
Date Issued: 2021
Date of defense: 01. 07. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Eulerovské grafy lze nakreslit jedním uzavřeným tahem. Nalezení takového tahu ob- sahujícího každou hranu právě jednou je základním problémem hledání ideální trasy. Většina problémů založených na silniční síti, vyskytujících ...
Eulerian graphs have a closed walk traversing each edge exactly once. Finding such a walk is a basic arc routing problem based on a road network. Most of the problems with applications in operational research are NP-hard. ...
Eulerian graphs have a closed walk traversing each edge exactly once. Finding such a walk is a basic arc routing problem based on a road network. Most of the problems with applications in operational research are NP-hard. ...
Multiobjective shortest path problem with interval costs
Nejkratší cesta v grafu s více intervalovými kritérii
diploma thesis (DEFENDED)
Advisor: Hladík, Milan
Date Issued: 2023
Date of defense: 12. 09. 2023
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The multiobjective shortest path problem with interval costs is a gener- alization of the single-pair shortest path problem. In this problem, the edge weights are represented as tuples of intervals. The aim is to find the ...
Nejkratší cesta v grafu s více intervalovými kritérii je zobecněním kla- sického problému nejkratší cesty. V zobecněném problému se místo jednokri- teriálních vah vyskytují vícekriteriální váhy, které jsou navíc zadány ...
Nejkratší cesta v grafu s více intervalovými kritérii je zobecněním kla- sického problému nejkratší cesty. V zobecněném problému se místo jednokri- teriálních vah vyskytují vícekriteriální váhy, které jsou navíc zadány ...
Specialni bezbodove prostory
Specialni bezbodove prostory
diploma thesis (DEFENDED)
Advisor: Pultr, Aleš
Date Issued: 2021
Date of defense: 01. 07. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 1 Tato práce se zabývá oddělovacími axiomy v bezbodové topologii. Zavádíme pojem slabé inkluze, což je relace, která je slabší než relace ≤. Slabé inkluze poskytují formalizmus, kterým lze studovat standardní separační ...
1 This thesis concerns separation axioms in point-free topology. We introduce a notion of weak inclusion, which is a relation on a frame that is weaker than the relation ≤. Weak inclusions provide a uniform way to work ...
1 This thesis concerns separation axioms in point-free topology. We introduce a notion of weak inclusion, which is a relation on a frame that is weaker than the relation ≤. Weak inclusions provide a uniform way to work ...
Implementation of the Sprouts game
Implementace hry Sprouts
bachelor thesis (DEFENDED)
Advisor: Balko, Martin
Date Issued: 2021
Date of defense: 10. 09. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Sprouts je hra pro dva hráče s tužkou a papírem, kterou vymysleli John Conway a Michael Paterson v roce 1967. Hráči se v ní střídají ve spojování teček pomocí křivek podle jednoduchých pravidel, dokud jeden z hráčů nemůže ...
Sprouts is a two-player pencil-and-paper game invented by John Conway and Michael Paterson in 1967. In the game, the players take turns in joining dots by curves according to simple rules, until one player cannot make a ...
Sprouts is a two-player pencil-and-paper game invented by John Conway and Michael Paterson in 1967. In the game, the players take turns in joining dots by curves according to simple rules, until one player cannot make a ...
Generating simple drawings of graphs
Generování jednoduchých nakreslení grafů
bachelor thesis (DEFENDED)
Advisor: Balko, Martin
Date Issued: 2021
Date of defense: 02. 07. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V této práci se zabýváme průsečíkovými čísly úplných grafů. Nejprve uvedeme dlouhou historii velmi starého problému týkajícího se určení průsečíkového čísla Kn a poté ukážeme současný pokrok v Hararyho-Hillově domněnce ...
In this thesis, we study the crossing numbers of complete graphs. After introducing a long history of the old problem of determining the crossing number of Kn, we survey the recent progress on the Harary-Hill conjecture ...
In this thesis, we study the crossing numbers of complete graphs. After introducing a long history of the old problem of determining the crossing number of Kn, we survey the recent progress on the Harary-Hill conjecture ...
Search in Imperfect Information Games
Hledání v hrách s neúplnou informací
dissertation thesis (DEFENDED)
Advisor: Hladík, Milan
Date Issued: 2021
Date of defense: 25. 08. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: From the very dawn of the field, search with value functions was a fun- damental concept of computer games research. Turing's chess algorithm from 1950 was able to think two moves ahead, and Shannon's work on chess from ...
Od prvopočátku herních algoritmů byla kombinace hledání a ohodnocení budoucích stavů hry základním konceptem. Turingův šachový algoritmus z roku 1950 dokázal myslet dva kroky vpřed a Shannonova práce z roku 1950 obsahuje ...
Od prvopočátku herních algoritmů byla kombinace hledání a ohodnocení budoucích stavů hry základním konceptem. Turingův šachový algoritmus z roku 1950 dokázal myslet dva kroky vpřed a Shannonova práce z roku 1950 obsahuje ...
Předpodmínění a regularita symetrických intervalových matic
Preconditioning and regularity of symmetric interval matrices
bachelor thesis (DEFENDED)
Advisor: Hladík, Milan
Date Issued: 2021
Date of defense: 02. 07. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V práci jsme se podívali na způsoby předpodmínění symetrických intervalových ma- tic, použili jsme táto předpodmíněni pro popis a implementaci algoritmů testování regu- larity symetrických intervalových matic. Dále jsme ...
In this thesis we observed different approaches to construct a preconditioner for sy- mmetric interval matrices. Using these preconditioners we described and implemented methods for testing regularity of these matrices and ...
In this thesis we observed different approaches to construct a preconditioner for sy- mmetric interval matrices. Using these preconditioners we described and implemented methods for testing regularity of these matrices and ...
Identification of bilinear systems
Identifikace bilineárních systémů
bachelor thesis (DEFENDED)
Advisor: Mareš, Martin
Date Issued: 2021
Date of defense: 10. 09. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Názov práce: Identifikácia bilineárnych systémov Autor: Iveta Kršková Katedra: Katedra aplikovanej matematiky Vedúci práce: Mgr. Martin Mareš, Ph.D., Katedra aplikovanej matematiky V tejto práci sa venujeme štúdiu identifikácie ...
Title: Identification of bilinear systems Author: Iveta Kršková Department: Department of Applied Mathematics Supervisor: Mgr. Martin Mareš, Ph.D., Department of Applied Mathematics Abstract: In this thesis, the identification ...
Title: Identification of bilinear systems Author: Iveta Kršková Department: Department of Applied Mathematics Supervisor: Mgr. Martin Mareš, Ph.D., Department of Applied Mathematics Abstract: In this thesis, the identification ...
Partial representation extension for subclasses of interval graphs
Rozšiřování částečných reprezentací podtříd intervalových grafů
diploma thesis (DEFENDED)
Advisor: Kratochvíl, Jan
Date Issued: 2021
Date of defense: 23. 06. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Problém rozširovania čiastočných reprezentácii pre intervalové grafy rozhoduje, či je možné reprezentáciu niekoľkých vrcholov rozšíriť na reprezentáciu celého grafu. V tejto práci nadviažeme na výsledok Klavíka a kol., ...
The problem of extending partial representations for an interval graph asks, whether it is possible to extend a given representation of some vertices to a valid representation of the entire graph. In this thesis we extend ...
The problem of extending partial representations for an interval graph asks, whether it is possible to extend a given representation of some vertices to a valid representation of the entire graph. In this thesis we extend ...