Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
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
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á a výpočetní složitost v topologii a geometrii (GA22-19073S)
Projekt je věnován řešení důležitých otevřených problémů v oblasti kombinatorické a výpočetní složitosti topologických a geometrických objektů. Při řešení projektu plánujeme kombinovat množství různorodých pohledů (kombinatorický, geometrický, topolo...
Pure mathematics
- 2022 - 2024 •
- 7 564 tis. Kč •
- 7 126 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (94%)
Poskytovatel: Grantová agentura České republiky
Složitost t-normových logik - algebraický a důkazově teoretický přístup (KJB100300701)
na logikymezi MTL a BL. V našem projektu proto tedy navrhujeme použít nejen algebraikého...
BA - Obecná matematika
- 2007 - 2009 •
- 741 tis. Kč •
- 741 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Logika a nesplnitelnost (GA23-04825S)
Jak se mění délka nejkratšího důkazu daného tvrzení, když zvětšujeme složitost pojmů, jež lze v důkazu použít? Tato základní otázka logiky je pro důkazy ve slabých teoriích nebo ve výrokové logice úzce svázaná s obtížnými fundamentálními problémy výp...
Pure mathematics
- 2023 - 2025 •
- 11 138 tis. Kč •
- 10 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura Č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
Homotopicky invariantní algebraické struktury (ME 603)
Projekt je zaměřen na aplikace metod homotopicky invariantních struktur v algebře a matematické fyzice., , ,...
BA - Obecná matematika
- 2002 - 2005 •
- 996 tis. Kč •
- 327 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2002 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (33%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Algebraické metody v geometrii s potenciálem k aplikacím (EE2.3.20.0003)
Dlouholetá tradice prolínání algebraických a geometrických metod ve výzkumu na Masarykově univerzitě bude rozšířena, obohacena o nová témata a potenciálně nasměrována k aplikacím v jiných vědních oblastech (např. funkční imaging v lékařských vědách)....
BA - Obecná matematika
- 2011 - 2014 •
- 31 095 tis. Kč •
- 31 095 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2011 - 30. 4. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 133