Filtry
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
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
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
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
Integrated Components for Complexity Control in affordable electrified Cars (8A15002)
The 3Ccar project will provide highly integrated ECS Components for Complexity Control in thereby affordable electrified cars. The new semiconductors for Complexity management (Control, reduction) will offer the next level of energy...
JC - Počítačový hardware a software
- 2015 - 2018 •
- 9 974 tis. Kč •
- 3 742 tis. Kč •
- MŠMT
Řešení projektu: 1. 6. 2015 - 31. 5. 2018
Uznané náklady
Podpora ze státního rozpočtu (38%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Nové kombinatorické algoritmy - rozklady instancí, parametry úloh a jejich efektivní řešení (LH12095)
Cílem projektu je řada matematických poznatků, zejména tvrzení o složitosti problému, strukturálních vět o matematických objektech, návrhy příslušných algoritmů a jejich experimentální implementace. Matematické poznatky budou publikované formou článk...
BA - Obecná matematika
- 2012 - 2015 •
- 1 967 tis. Kč •
- 1 767 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2012 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Matematická logika, teorie složitosti a jejich souvislosti (ME 103)
Zabýváme se fundamentálními problémy spojujícími matematickou logiku a teorií složitostí. Nejznámnějším z těchto problému je tzv. P vs. NP problém....
BA - Obecná matematika
- 1997 - 1999 •
- 1 327 tis. Kč •
- 732 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1997 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (55%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
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
Matematická logika a výpočetní složitost (IAA1019901)
Plánujeme pracovat v následujících souvisejících oblastech: složitost výrokových kalkulů, omezená aritmetika, obvodová složitost, komunikační složitost, efektivní algoritmy, on-line algoritmy, aritmetika vyššího řádu a teorie množin a teorie modelů t...
BA - Obecná matematika
- 1999 - 2003 •
- 4 576 tis. Kč •
- 1 696 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 1999 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (37%)
Poskytovatel: Akademie věd České republiky
- 1 - 10 z 112