Informatika

Algoritmy formální konceptuální analýzy 

Algorithms in Formal concept analysis

Školitel: Mgr. Jan Outrata, Ph.D.

Formální fuzzy matematika 

Formal fuzzy mathematics

Školitel: doc. Ing. Petr Cintula, Ph.D.

Formální konceptuální analýza

Formal concept analysis

Školitel: prof. RNDr. Radim Bělohlávek, DSc.

Formální konceptuální analýza

Formal concept analysis

Školitel: doc. RNDr. Michal Krupka, Ph.D.

Formální systémy fuzzy logiky

Formal systems of fuzzy logic

Školitel: prof. RNDr. Radim Bělohlávek, DSc.

Fuzzy automaty

Fuzzy automata

Školitel: doc. RNDr. Michal Krupka, Ph.D.

Informace a neurčitost v kvantové fyzice

Information and uncertainty in quantum physics

Školitel: doc. Mgr. Radim Filip, Ph.D.

Metoda GUHA automatické tvorby hypotéz a data mining

GUHA method for automatic formation of hypotheses and data mining

Školitel: prof. RNDr. Jan Rauch, CSc.

Programovatelné bakterie: logické obvody na bázi DNA

Programmable bacteria: DNA-based logical circuits

Školitel: doc. Ing. Petr Sosík, Ph.D.

Překladače dotazů pro podobnostní databáze 

Query compilers for similarity-based databases

Školitel: doc. RNDr. Vilém Vychodil, Ph.D.

Rozklady matic s relačními daty: matematika a algoritmy 

Matrix decompositions with relational data: mathematics and algorithms

Školitel: prof. RNDr. Radim Bělohlávek, DSc.

Teorie modelů ve fuzzy logikách

Model theories in fuzzy logics

Školitel: doc. Ing. Petr Cintula, Ph.D.

Topologie v analýze dat

Topology in data analysis

Školitel: doc. RNDr. Michal Krupka, Ph.D.

Zobecnění abstraktní algebraické logiky 

Generalization of abstract algebraic logic

Školitel: doc. Ing. Petr Cintula, Ph.D.