Filtry
Abstrakce a extenzivní hry s nedokonalou pamětí (GA15-23235S)
Nekooperativní teorie her poskytuje matematické modely chování racionálních agentů v kompetitivních situacích. V projektu se zaměřujeme na problém řešení končených, striktně kompetitivních sekvenčních (extenzivních) her s neúplnou informací. Tyto hry...
IN - Informatika
- 2015 - 2017 •
- 4 235 tis. Kč •
- 4 235 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Bezpečnostní hry v extenzivní formě (GAP202/12/2054)
Teorie her poskytuje teoretické a algoritmické základy oboru multiagentních systémů. Jedna z tříd problémů, kde byla obzvlášť úspěšná, jsou bezpečnostní hry. Tyto hry modelují interakce mezi obráncem, který alokuje omezené zdroje na ochranu několika ...
IN - Informatika
- 2012 - 2014 •
- 4 581 tis. Kč •
- 4 581 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Výpočet rovnovážných strategií v dynamických hrách (GJ19-24384Y)
V posledních letech lze pozorovat ohromný nárůst nasazení modelů a technik umělé inteligence do běžného života. Na druhou stranu, tyto modely a algoritmy mohou být manipulovány nebo přímo napadeny útočníkem a způsobit tak nesprávné nebo dokonce nebez...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2022 •
- 5 228 tis. Kč •
- 5 228 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Podpora členství v řídícím výboru mezinárodní vědecké společnosti International Society on Dynamic Games (LG11006)
Účast navrhovatele na jednáních výboru společnosti International Society for Dynamic Games, tj. 1x za rok....
BA - Obecná matematika
- 2011 - 2013 •
- 135 tis. Kč •
- 135 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Online metody pro řešení her s neúplnou informací (GJ18-27483Y)
Teorie her je formální rámec na analýzu optimálního chováni racionálních agentů v sdíleném prostředí. Její pokroky vedli k poražení lidských expertů v mnohých populárních hrách a k vytvoření strategií pro problémy z reálného světa. V tomto projektu s...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2021 •
- 4 832 tis. Kč •
- 4 832 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Plánování v komplexních dynamických doménách s oponenty (ME09053)
Cílem projektu je vytvořit techniky pro modelování oponentů, plánováni a rozhodování v složitém dynamickém prostředí, kde oponenti sledují své vlastní cíle. Algoritmy budou testovány a jejich škálovatelnost prověřena mimo jiného na simulaci humanitár...
IN - Informatika
- 2009 - 2010 •
- 656 tis. Kč •
- 656 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2009 - 31. 1. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Matematická logika, složitost a algoritmy (IAA100190902)
Projekt základního výzkumu v matematické logice a teoretické informatice. Soustředíme se na omezenou aritmetiku a důkazovou složitost, teorii množin, teorii výpočetní složitosti a teorii algoritmů. Témata výzkumu sahají od oblastí základů matematiky ...
BA - Obecná matematika
- 2009 - 2013 •
- 5 509 tis. Kč •
- 5 509 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Složitost matematických důkazů a struktur (GA19-05497S)
Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efek...
Pure mathematics
- 2019 - 2022 •
- 9 171 tis. Kč •
- 8 514 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Grantová agentura České republiky
Vyvoj ab initio mnohocasticovych kvantove-chemickych metod pro aplikace na mnohoelektronove molekulove systemy (OC D9.10)
Cilem projektu je rozsirit aplikovatelnost ab initio mnohocasticovych kvantove-chemickych metod na vetsi a slozitejsi molekuly a vylepsit presnost techto metod.......
CF - Fyzikální chemie a teoretická chemie
- 1998 - 2002 •
- 2 245 tis. Kč •
- 1 495 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1998 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (67%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Výpočet a aproximace ekvilibrií ve hrách se složitými prostory strategií (GA24-12046S)
Navzdory zvyšujícímu se počtu úspěšných aplikací teorie her v praxi je expresivita nasazených modelů stále limitována výpočetními možnostmi existujících algoritmů pro hledání (přibližných) řešení. Jedním z omezujících faktorů je velká výpočetní složi...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 - 2026 •
- 10 559 tis. Kč •
- 10 559 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 1 096