Ústav informatiky
Akademie věd České republiky
česky
english
česky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Ústav informatiky
Akademie věd České republiky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
english
česky
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Domů
/
Výzkum
/
Projekty
Projekty
Spolupráce na experimentech ve Fermilab
2017–2020
GA MŠk
Predikátové škálované logiky a jejich aplikace v informatice
2017–2019
GA ČR
Extremální teorie grafů a aplikace
2016–2018
GA ČR
Výzkumná infrastruktura pro experimenty ve Fermilab
2016–2019
GA MŠk
Modelová složitost neuronových, radiálních a jádrových sítí
2015–2017
GA ČR
Úplně uspořádané monoidy
2015–2017
GA ČR
Spolupráce na experimentech ve Fermiho národní laboratoři, USA
2015–2017
GA MŠk
Odhad psychometrických vlastností jako součást vývoje přijímacích testů
2015–2017
GA ČR
Modelování vágních kvantifikátorů v matematické fuzzy logice
2015–2017
GA ČR
