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
- Teorie modelů a kombinatorika
- Logika a usuzování
- Residuované svazy a substrukturální logika
- Metalogika
- Algebra ve filosofické logice
- Algoritmické problémy v substrukturálních logikách
- Strukturální teorie důkazů
- 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í
Složité systémy
- Interakce ve složitých systémech a jejich detekce v časových řadách
- Identifikace mezifrekvenčních interakcí v dynamice mozku: Odlišení skutečných vazeb od artefaktů metody
- Modelování mozkové aktivity
- Metody analýzy komplexních systémů
- Analýza komplexních systémů pomocí metod komplexních sítí
- Grafově teoretické vlastnosti komplexních sítí a jejich modelů
- Methods of data reduction in environmental systems
Statistické modelovaní
- Statistické metody pro longitudinální data a dobu odezvy v didaktických a psychologických měřeních
- Výpočetní psychometrie
- 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ě.
- Moderní semiparametrické metody a jejich uplatnění pro modelování a vyhodnocení meteorologických a environmentálních polí
Ústav informatiky
