Filtry
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Více filtrů
Projekty
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
Efektivní aproximační algoritmy a obvodová složitost (GX19-27871X)
Tento projekt bude studovat roli aproximace v oblasti jemné složitosti a parametrizované složitosti a zároveň vytvoří důkladné základy těchto oblastí nalezením důkazových technik schopných dokázat pravdivost klíčových předpokladů používaných v těchto...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2024 •
- 49 235 tis. Kč •
- 49 235 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
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
Těsné parametrizované výsledky pro problémy orientované souvislosti (GA17-20065S)
Parametrizovaná nebo multivarietní analýza se v minulých dvou dekádách stala standardním přístupem k (NP-) těžkým problémům. Oproti klasické výpočetní složitosti se zde efektivita algoritmů měří nejen vzhledem k délce vstupu, ale také vzhledem k urče...
IN - Informatika
- 2017 - 2019 •
- 1 986 tis. Kč •
- 1 620 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Grantová agentura České republiky
Mobility ČVUT MSCA-F-CZ-III (EH22_010/0008601)
Úspěšná realizace projektu formou individuálních mezinárodních vědecko-výzkumných pobytů, které podporují profesní růst výzkumných pracovníků, přispěje k přenosu zahraničních zkušeností do výzkumné organizace (ČVUT v Praze) a rozšíření zkušeností ČVU...
Materials engineering
- 2024 - 2026 •
- 10 599 tis. Kč •
- 2 681 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2024 - 31. 10. 2026
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Nové výzvy ve výpočetní socální volbě (GA22-19557S)
Pro návrh algoritmů na řešení těžkých problémů v oblasti výpočetní sociální volby jsou dnes standardem jak parametrizované tak aproximační algoritmy. Kernelizace, jedna z hlavních technik v parametrizované složitosti, je překvapivě málo používána pro...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2024 •
- 5 819 tis. Kč •
- 5 819 tis. Kč •
- GA ČR
Řešení projektu: 1. 4. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Mobility ČVUT MSCA-F-CZ-II (EH22_010/0005725)
Úspěšná realizace projektu formou individuálních mezinárodních vědecko-výzkumných pobytů, které podporují profesní růst výzkumných pracovníků, přispěje k přenosu zahraničních zkušeností do výzkumné organizace (ČVUT v Praze) a rozšíření zkušeností ČVU...
Applied mathematics
- 2023 - 2027 •
- 6 092 tis. Kč •
- 1 541 tis. Kč •
- MŠMT
Řešení projektu: 1. 10. 2023 - 28. 2. 2027
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
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
- 1 - 10 z 100