Vypsaná témata prací
Ústav informatiky AV ČR, v. v. i., je veřejná výzkumná organizace se zaměřením na základní výzkum. Mimo svou hlavní činnost se ve spolupráci s řadou univerzit podílí i na doktorských studiích a zaměstnává doktorandy a postdoktorandy v oblastech, které jsou předmětem bádání ústavu.
Teoretická informatika
- Abstraktní algebraická logika
- Matematická fuzzy logika
- Logika a usuzování
- Algoritmické problémy v substrukturálních logikách
- Modální a substrukturální logiky: modely dynamiky chování výpočetních procesů a chování v sociálním kontextu
- Vnořování velkých struktur v grafech
- Packing pomocí randomizovaných algoritmů
- Složitostní míry neuronových sítí
Nelineární modelování
- Využití satelitních dat pro environmentální modelování (diplomová práce)
- Methods of data reduction in environmental systems
- Modelování a předpověď počasí a čistoty ovzduší - Matematické a statistické metody pro asimilaci dat v rozsáhlých dynamických systémech
- Moderní semiparametrické metody a jejich uplatnění pro modelování a vyhodnocení meteorologických a environmentálních polí
Medicínská informatika a biostatistika
- Analýza mnohorozměrných cenzorovaných dat o přežívání
- Statistické metody pro redukci dimenzionality a klasifikaci mnohorozměrných dat, s aplikacemi v biomedicíně.
Optimalizace a systémy
- Constraint Solving
- Verification of Complex Systems
Strojové účení
- Analýza možností data-miningu pomocí univalentních neuronových sítí a zobrazení
- Odhady počtu vzorů v PAC modelu pro nekonzistentní metody separace
Fundamentální témata
- Comparisons of abilities of shallow and deep networks
- Booleovska nelineární faktorová analýza dat
- Rozhraní mozek stroj
- Výzkum a srovnání metod faktorové analýzy pro skupinovou analýzu fMRI dat
