Czech
English
Ústav teorie informace a automatizace
Jste zde
Projekty
Odděl.: MTR
Období: 2014
- 2016
Předložený projekt je zaměřen na vývoj nových matematických modelů konstitutivního chování slitin s tvarovou pamětí. Tyto modely budou založeny na výsledcích experimentálních pozorování a budou zohledňovat vzájemnou provázanost jednotlivých mikrostrukturních procesů v těchto materiálech. Nejen, že vývoj těchto modelů poslouží k lepšímu pochopení termomechanického chování slitin s tvarovou pamětí...
Odděl.: MTR
Období: 2013
- 2016
Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založený na teorii abstraktní algebracké logiky hluboce přispívá ke studiu této široké rodiny logických systémů. Účelem projektu je vytvořit variantu této...
Odděl.: MTR
Období: 2013
- 2015
Cílem projektu je vyvinout spolehlivé, teoreticky podložené, simulační nástroje pro popis procesů poškození v oblasti malých deformací v kvazikřehkých materiálech způsobených mechanickými účinky a transportem tepla a vlhkosti. Bude provedena analýza existujících kontinuálních modelů. Budou vyvinuty a efektivně implementovány numerické metody řešení nelineárních sdružených problémů a bude...
Odděl.: MTR
Období: 2013
- 2015
Využití algebraických a geometrických metod je jedním ze současných trendů v moderní statistice.
Záměrem projektu je použít metody kombinatorické optimalizace na problémy s motivací ve statistice a umělé inteligenci.
Cíle jsou rozděleny do tří skupin: cíle týkající se statistického učení struktur Bayesovských sítí a podmíněné nezávislosti, cíle týkající se exponenciálních rodin a grafických...
Odděl.: MTR
Období: 2013
- 2014
Cílem projektu je pokračovat v dlouholeté spolupráci mezi pražským a vídeňským pracovištěm na aplikaci teorie her v oblasti fuzzy logik. Projekt se bude zaměřovat zejména na následující oblasti: a) vzájemný vztah herních sémantik pro fuzzy logiky (dialogické a evaluační hry) a jejich vztah k jiným herním vícehodnotovým sémantikám (pravděpodobnostní sémantika pro logiky podporující nezávislost) b...
Odděl.: MTR
Období: 2012
- 2014
Vícehodnotový přístup nabízí efektivní nástroje pro tvorbu modelů v teorii her a analýzu ekonomických optim i ekvilibrií. Cílem tohoto projektu je využití metod mnohoznačné analýzy a vícehodnotové logiky k zevrubnému výzkumu několika vybraných náročných problémů teorie her. Náš přístup zahrnuje kooperativní i nekooperativní modely. Budeme analyzovat stabilitu a citlivost ekonomických úloh...
Odděl.: MTR
Období: 2010
- 2012
Odděl.: MTR
Období: 2009
- 2011
- ‹ předchozí
- 3 z 4
- následující ›