Ústav teorie informace a automatizace

Jste zde

Projekty

Odděl.: MTR Období: 2019 - 2021
Záměrem projektu je použít metody polyedrální geometrie na řešení matematických problémů s motivací ve statistice a umělé inteligenci. Cíle se týkají několika oblastí: statistického učení grafických modelů struktur podmíněné nezávislosti, teorie pro jejich aplikace, supermodulárních funkcí, schemat pro sdílení tajemství, teorie kooperativních her a intervalových pravděpodobností.
Odděl.: MTR Období: 2019 - 2021
Cílem projektu je dosažení nových výsledků v matematickém modelování jevů nelineární mechaniky ve třech různých směrech. Předně budeme vyšetřovat efektivní zjednodušené modely v materiálových vědách, jejichž popis závisí na referenční i na deformované konfiguraci. Naše výsledky se dotknou oblastí, které jsou v popředí zájmu materiálového výzkumu, například modelování aktivních materiálů. Dále se...
Odděl.: MTR Období: 2018 - 2020
Náš výzkum je zaměřen na aktuální význačné výzkumné otázky v oblasti optimalizace portfolií a energetice. Budeme analyzovat modely optimalizace řídkých robustních portfolií s nehladkou účelovou funkcí a zkoumat sdružené efekty řídkosti a robustnosti na reálných datech z akciových trhů. Dále se zaměříme na modelování ceny emisních povolenek a predikování výnosů aukcí na českém trhu emisních...
Odděl.: MTR Období: 2018 - 2019
The goal of the project is to establish the research cooperation between the mutually complementary Taiwan and Czech research teams. The research is oriented to the development and verification of a new data mining technique based on probabilistic compositional models, the theory of which was developed by the Czech partner in the last decade. For this purpose, a new semi-supervised web...
Odděl.: MTR Období: 2018 - 2020
Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou vágní vlastnosti (např. „vysoký“ nebo „bohatá“), u kterých není ostře vymezená hranice mezi objekty, které tuto vlastnost (ještě) mají a těmi, které (už) ji nemají. Tato absence ostré hranice pak vede...
Odděl.: MTR Období: 2018 - 2020
Projekt je zaměřen na systematické experimentální studium a teoretický popis vzniku a šíření martenzitické fázové transformace prostřednictvím prostorově lokalizovaných nehomogenit ve slitinách s tvarovou pamětí NiTi. Efekt lokalizace výrazně ovlivňuje mechanickou odezvu těchto slitin a zároveň je klíčem k pochopení řady otázek týkajících se nukleace a šíření martenzitické transformace v...
Odděl.: MTR Období: 2017 - 2019
V projektu budeme modelovat individuální rozhodování jedinců, jež je určující pro analýzu mikroekonomických vztahů. Navážeme na dlouhotrvající diskusi tranzitivity preferencí, jednoho ze základních axiomů teorie očekávané utility. Navrhneme teorii rozhodování s netranzitivními preferencemi a prozkoumáme její vztah ke již existujícím teoriím tohoto typu. V další části prozkoumáme subjektivně...
Odděl.: MTR Období: 2017 - 2019
Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze výroky, které jsou buď pravdivé, nebo nepravdivé. Výrokové logiky škálovaných pojmů (jako je např. vysoký či bohatá) byly v uplynulých dvou...
Odděl.: MTR Období: 2017 - 2018
Vícehodnotové výrokové logiky představují důležitou rodinu neklasických logik, jejichž přirozená sémantika používá více než jen dvě klasické pravdivostní hodnoty pravda/nepravda. Studium těchto logik je stimulováno vzájemně prospěšnými vztahy s dalšími matematickými disciplínami, jako jsou univerzální algebra, topologie a teorie modelů, her a kategorií. Dosažené výsledky také vedly k řadě...
Odděl.: MTR Období: 2017 - 2019
Nové rovnovážné modely v ekonomii a mechanice budou popsány zobecněnými diferenciálními rovnicemi (angl. EGEs) a důkladně analyzovány. Jejich hlavním charakteristickým rysem je přítomnost nehladných a mnohoznačných zobrazení. Budeme studovat různé koncepty řešení systémů těchto zobecněných rovnic a jejich relevanci pro uvažované specifické problémy. Takto postavené zobecněné rovnice podstatně...