Filtry
Strukturální vlastnosti, parametrizovaná řešitelnost a těžkost v kombinatorických problémech (GA17-00837S)
Pojetí parametrizované složitosti poskytuje garantovaná efektivní řešení některých instancí (definovaných daným parametrem) u problémů, které jsou v celé své obecnosti efektivně neřešitelné. Náš návrh se týká různých otázek náležejících do teoretický...
IN - Informatika
- 2017 - 2019 •
- 4 758 tis. Kč •
- 3 294 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (69%)
Poskytovatel: Grantová agentura České republiky
Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (GA14-03501S)
Jeden z možných přístupů ke zdolání zdánlivě nepřekonatelné překážky NP-těžkosti algoritmických problémů nám podává teorie parametrizované složitosti: Vstup těžkého problému je opatřen doplňkovým parametrem - libovolným číslem k, jehož jakákoliv poč...
IN - Informatika
- 2014 - 2016 •
- 4 458 tis. Kč •
- 4 458 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Interaktivní a informační portál pro algoritmickou matematiku (1ET200300529)
Bude vytvořen portál s webovskými stránkami obsahujícími teoretický výklad z algoritmické matematiky propletený s možnostmi bezprostředního využití výpočetních možností počítačového algebraického softwarového balíku Mathematica k okamžitým výpočtům n...
BA - Obecná matematika
- 2005 - 2009 •
- 1 629 tis. Kč •
- 1 629 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
VaV software pro konsolidaci a algoritmické vytěžení velkých dat (EG19_262/0020230)
Předmětem projektu je výzkum a vývoj software, který využívá algoritmů pro konsolidaci a vytěžení velkých dat (big data) v segmentu mezinárodní přepravy osob. Kiwi.com patří v tomto oboru k nejrychleji rostoucím podnikům na světě a již nyní disponuje...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2023 •
- 149 113 tis. Kč •
- 0 tis. Kč •
- MPO
Řešení projektu: 15. 1. 2020 - 20. 5. 2023
Uznané náklady
Podpora ze státního rozpočtu (0%)
Poskytovatel: Ministerstvo průmyslu a obchodu
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
Struktura efektivně řešitelných případů těžkých algoritmických problémů na grafech (GA20-04567S)
Jednou ze základních otázek teoretické informatiky je jak řešit algoritmické problémy, které jsou v plné obecnosti efektivně neřešitelné. Naším návrhem je zkoumat vnitřní strukturu efektivně řešitelných případů takových obecně těžkých problémů na gra...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 8 174 tis. Kč •
- 6 521 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Grantová agentura České republiky
EXascale Algorithms and Advanced Computational Techniques (7E13026)
The EXA2CT project brings together experts at the cutting edge of the development of solvers, related algorithmic techniques, and HPC software architects for programming models and communication. It will take a revolutionary approach to exas...
IN - Informatika
- 2013 - 2016 •
- 2 429 tis. Kč •
- 2 429 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2013 - 31. 8. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Rozvoj informatického myšlení pomocí situačních algoritmických problémů (TL03000222)
Cílem je vyvinout a aplikovat na školách učební pomůcku pro výuku informatiky, softwarový modul, který umožní vytvářet interaktivní situační úlohy z programování. Žák v něm bude úlohy řešit sestavením programu z bloků s možností svůj program testovat...
Education, general; including training, pedagogy, didactics [and education systems]
- 2020 - 2023 •
- 1 869 tis. Kč •
- 1 495 tis. Kč •
- TA ČR
Řešení projektu: 1. 8. 2020 - 28. 2. 2023
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Technologická agentura ČR
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 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 12