Filtry
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
Omezené typy výpočtů algoritmy, modely, složitost (GA14-10003S)
V tomto projektu základního výzkumu se soustředíme na roli omezených typů výpočtů v teorii složitosti a v teorii algoritmů. Budeme studovat problémy, pro které zkoumání omezených typů výpočtů může vést k podstatně silnějším a těsnějším dolním a horn...
IN - Informatika
- 2014 - 2016 •
- 4 300 tis. Kč •
- 4 300 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
Enumerace v informatice a optimalizaci (GA13-21988S)
Cílem projektu je pokrok v informatice a optimalizaci pomocí enumerací. Projekt má 3 části. Nejprve chceme studovat dolní odhady složitosti. Chceme se pokusit najít souvislost mezi determinatskou složitostí a aditivní determinatskou složitostí Isingo...
IN - Informatika
- 2013 - 2019 •
- 2 577 tis. Kč •
- 2 577 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 25. 4. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Kombinatorické metody v teorii informace (GN22-14872O)
Cíl tohoto projektu je zkoumání aktuálních problémů ve složitosti, hlavně dolních odhadů datových struktur a příbuzných témat, jako jsou "pozvedávácí věty" a síťové kódování. Hlavní cíl je zmenšit rozdíl mezi současnými dolními a horními odhady dynam...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2025 •
- 4 129 tis. Kč •
- 4 069 tis. Kč •
- GA ČR
Řešení projektu: 1. 5. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (99%)
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
Rozšířené formulace polytopů (GA15-11559S)
Projekt se zaměří na aplikaci teorie rozšířených formulací polytopů v studiu výpočetní složitosti kombinatorických problémů. Chceme formalizovat způsob kanonické reprezentace problémů kombinatorické optimalizace jako optimalizace na vhodném polytopu....
IN - Informatika
- 2015 - 2017 •
- 1 866 tis. Kč •
- 1 866 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
Randomness and Quantum Entanglement (7E13009)
quality randomness; - bounds on spectral properties of random matrices;...
IN - Informatika
- 2013 - 2016 •
- 2 579 tis. Kč •
- 2 579 tis. Kč •
- MŠMT
Řešení projektu: 1. 10. 2013 - 30. 9. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Využití údajů a modelovacích procedur pro horní troposféru a dolní stratosféru (OC 110)
Vytvoření datových souborů odvozených ze spektrálních experimentů v milimetrové oblasti spektra...
DG - Vědy o atmosféře, meteorologie
- 2006 - 2006 •
- 300 tis. Kč •
- 300 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2006 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Staro- a středopaleolitické osídlení oblasti opuštěného staro- a středopleistocénního toku Ohře (SZ Čechy) (GA404/05/0042)
Projekt je zaměřen na realisaci prospekce, sběru archeologického materiálu, digitalisaci dat a vyhodnocení staropaleolitických lokalit na břehu paleotoku Ohře, na ploše 11 x 8 km čtverečních. Postup bude rozdělen do tří základních trendů: 1) rekognos...
AC - Archeologie, antropologie, etnologie
- 2005 - 2007 •
- 1 649 tis. Kč •
- 1 485 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Grantová agentura České republiky
Robot pro reedukaci bipedální lokomoce (TH03010299)
Hlavním cílem je vývoj robota schopného významně přispět k obnově chůze u pacientů postižených parézou či plegií dolních končetin-DKK. Tento robotický přístroj bude určen pro klinickou i personalizovanou reedukaci bipedální lokomoce DKK zasažených čá...
Medical engineering
- 2018 - 2021 •
- 14 574 tis. Kč •
- 8 687 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Technologická agentura ČR
- 1 - 10 z 104