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
- Složitostní míry neuronových sítí
- Substrukturální, fuzzy logiky a residuované svazy
Lineární modelování a algebra
- Numerické metody lineárního modelování nepřesných dat
- Numerická stabilita metod lineární algebry
- Teorie konvergence iteračních metod v numerické lineární algebře
- Řešení rozsáhlých a řídkých lineárních systémů
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
