Počet výsledků: 64

Fakulta
Fakulta informatiky
Obor/plán
FI - Informatika: Teoretická informatika
zahrnout jen obhájené práce

Abaffy, Matúš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2015

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Složitost řešení patrolovacích her na orientovaných grafech

Abaffy, Michal

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Patrolovací hry na grafech

Ajdarów, Michal

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2020

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Markovovy rozhodovací procesy s neúplnou informací a omezenými zdroji

Babej, Tomáš

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Quantum-enhanced sampling for probabilistic inference in undirected graphical models

Bezek, Matúš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: FO interpretations in restricted graph classes

Caha, Libor

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Quantum 2-SAT in 1D geometry

Čadek, Pavel

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2015

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Symbolic Loop Bound Analysis

Foltýnová, Zuzana

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Redakční systém odborného časopisu

Gajarský, Jakub

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Efficient solvability of graph MSO properties

Gomola, Radek

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Rozšíření nástroje JGAF

Hlaváčik, Matúš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Softvérové systémy pre vytváranie a prehrávanie virtuálnych pacientov v medicínskom vzdelávaní

Horváth, Ján

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2021

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Information Retrieval Techniques for 3D Human Motion Data

Chalupa, Marek

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Slicing of LLVM Bitcode

Chodil, Miroslav

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Problém splnitelnosti pro pravděpodobnostní temporální logiky

Janík, Tomáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Slabé faktorizační systémy

Jankaničová, Natália

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2021

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Algorithms for Counting of Maximal Satisfiable Subsets

Jonáš, Martin

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Popis regulárních jazyků pomocí predikátové logiky

Jurnečka, Filip

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2010

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Randomness extractors in Mobile Devices

Klaška, David

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2017

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Optimalizační metody pro řešení patrolovacích her

Klíma, Antonín

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2015

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Optimalizace výkonu stochastických simulací měkkých tkáni v softwaru SOFA