Filtry
Injektivita a monády v algebře a topologii (GA19-00902S)
Projekt je věnován aplikacím teorie kategorií v algebře a topologii s důrazem na injektivitu a monády. Budeme vyšetřovat prezentaci podkategorií pomocí injektivity, její zobecnění na kuželovou injektivitu a na aproximativní injektivitu, jejich algebr...
Pure mathematics
- 2019 - 2021 •
- 7 667 tis. Kč •
- 6 404 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (84%)
Poskytovatel: Grantová agentura České republiky
Teorie množin a její aplikace (MEB051006)
Spolupráce v oboru deskriptivní teorie množin a forcingu. Dokončení připravované knihy "Ideals and Equivalences" s autory Jindřichem Zapletalem a Marcinem Sabokem. Uspořádání bilaterální konference na téma nekonečných her a forcingu v Praze ...
BA - Obecná matematika
- 2010 - 2011 •
- 132 tis. Kč •
- 132 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Matematická teorie a numerická analýza rovnic vazkých newtonovských stlačitelných tekutin (GA22-01591S)
Rovnice stlačitelných vazkých tekutin jsou důležitými modely v různých aplikacích. Budeme studovat odpovídající systémy parciálních diferenciálních rovnic z různých pohledů: existenční teorie a kvalitativní vlastnosti řešení pro různou volbu okrajový...
Pure mathematics
- 2022 - 2024 •
- 10 673 tis. Kč •
- 10 475 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
Regularita řešení zobecněného Stokesova problému II (7AMB13DE001)
Chceme rozšířit známé výsledky o regularitě dvojím způsobem. Zaprvé chceme vylepšit známé výsledky o vnitřní regularitě proudění a rozšířit je na neustálené proudění. Zadruhé chceme rozšířit výsledky o regularitě proudění u hranice na obecnější okraj...
BA - Obecná matematika
- 2013 - 2014 •
- 88 tis. Kč •
- 88 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Kombinatorika a forcing (7AMB13AT011)
Cílem projektu je rozvíjet užší spolupráci mezi odborníky pracujícími v různých oblastech teorie množin. Zejména se budeme pokoušet zužitkovat komplementární zkušenosti českého a rakouského týmu při řešení problémů na pomezí různých oblastí (deskript...
BA - Obecná matematika
- 2013 - 2014 •
- 200 tis. Kč •
- 200 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Oscilace a koncentrace proti stabilitě v rovnicích pohybu tekutin (GA18-05974S)
Projekt je soustředěn na otázky výskytu singularit v rovnicích pohybu tekutin a jejich odpovídající popis v řeči slabých řešení a řešení v mírách. Hlavní témata zahrnují: (i) disipativní řešení, (ii) kriteria přípustnosti, (iii) rovnice se stochastic...
Pure mathematics
- 2018 - 2021 •
- 5 015 tis. Kč •
- 2 963 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (59%)
Poskytovatel: Grantová agentura České republiky
Topologické a geometrické struktury v Banachovych prostorech (IAA100190901)
Stabilita slabých Asplundových a gateauxovsky diferencovatelných prostorů, Banachovy prostory s projekčním skeletonem, stabilita Valdiviových kompaktů, topologické charakterizace některých tříd B. prostorů, kompaktní konvexní množiny- dualita kompakt...
BA - Obecná matematika
- 2009 - 2011 •
- 2 274 tis. Kč •
- 2 274 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Meeting assistant (MINT) (TA04011311)
Cílem projektu je výzkum a vývoj v oblasti zpracování audia během jednání mezi lidmi (schůze, jednání týmů, jednání se zákazníky, atd.) vedoucí k vytvoření prototypu inteligentního asistenta pro pomoc během jednání (on-line), se zpracováním záznamu z...
JC - Počítačový hardware a software
- 2014 - 2017 •
- 34 407 tis. Kč •
- 22 164 tis. Kč •
- TA ČR
Řešení projektu: 1. 10. 2014 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (64%)
Poskytovatel: Technologická agentura ČR
Establishing traceability for liquid density measurements (8B18012)
1. To develop first-level liquid density measurement capabilities using the hydrostatic weighing method in the less experienced partners 2. To develop second-level liquid density measurement capabilities using oscillation-type density meters in the ...
Chemical process engineering
- 2018 - 2021 •
- 1 550 tis. Kč •
- 814 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2018 - 30. 4. 2021
Uznané náklady
Podpora ze státního rozpočtu (53%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Výpočetní složitost vybraných verifikačních problémů (GA15-13784S)
Verifikace hardwarových a softwarových systémů se stává neoddělitelnou součástí jejich vývoje. Zkoumání mezí automatizované verifikace odhalilo několik zajímavých problémů, jejichž výpočetní složitost je nejasná i přes nemalé úsilí výzkumné komunity....
IN - Informatika
- 2015 - 2017 •
- 1 940 tis. Kč •
- 1 940 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
- 1 - 10 z 63