Filtry
תורת המשחקים ושימושיה להקצאה דינמית של ספקטרום ברשתות הטרוגניות (8G15008)
The proposed research combines the expertise of the two PIs and their groups in the field of wireless communications and networks. Becvar's group focuses on the design of adaptive medium access control protocols for wireles...
JA - Elektronika a optoelektronika, elektrotechnika
- 2016 - 2018 •
- 1 623 tis. Kč •
- 1 623 tis. Kč •
- MŠMT
Řešení projektu: 26. 7. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
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
Komplexní skríningový diagnostický systém GIS (TL01000494)
Cílem je vytvořit nový psychometricky ověřený standardizovaný online psychodiagnostický systém, který pomůže pedagogům identifikovat nadané žáky. Bude složený ze 4 subtestů: logické usuzování, prostorové schopnosti, rychlost zpracování, socioemoční...
Psychology (including human - machine relations)
- 2018 - 2022 •
- 12 868 tis. Kč •
- 11 656 tis. Kč •
- TA ČR
Řešení projektu: 1. 6. 2018 - 31. 5. 2022
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Technologická agentura ČR
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů (GA15-17564S)
Projekt je orientován na rozvoj herně-teoretických metod pro formální analýzu a verifikaci interaktivních počítačových systémů. Chování takových systémů lze popsat v termínech teorie her jako hru dvou hráčů, systému a prostředí, kteří mají antagonist...
IN - Informatika
- 2015 - 2017 •
- 6 743 tis. Kč •
- 6 743 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
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
Herně-teoretický přístup k vícehodnotovým logikám (7AMB13AT014)
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 (di...
IN - Informatika
- 2013 - 2014 •
- 200 tis. Kč •
- 200 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Predikátové škálované logiky a jejich aplikace v informatice (GA17-04630S)
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 ...
IN - Informatika
- 2017 - 2021 •
- 6 926 tis. Kč •
- 5 714 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
Vícehodnotový přístup k optimům a ekvilibriím v ekonomii (GAP402/12/1309)
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...
AH - Ekonomie
- 2012 - 2016 •
- 5 961 tis. Kč •
- 5 961 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 7. 4. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)
Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a ta...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2020 •
- 9 463 tis. Kč •
- 5 660 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 8 265