Filtry
Algebraické aspekty invariantních diferenciálních operátorů (GP201/06/P223)
Jedním z cílů projektu je popis a zobecnění diferenciálních operátorů používaných v aplikacích v teoretické a matematické fyzice v rámci teorie Cartanových geometrií. Jedná se především o metaplektický Diracův operátor, který byl původně studován B. ...
BA - Obecná matematika
- 2006 - 2008 •
- 606 tis. Kč •
- 606 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Automaty a logiky v symbolické verifikaci software. (MEB021023)
Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...
JC - Počítačový hardware a software
- 2010 - 2011 •
- 121 tis. Kč •
- 121 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 1. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Magnetické vlastnosti dvourozměrných feromagnetů a antiferomagnetů při konečné teplotě (EH22_010/0008581)
Projekt se věnuje výzkumu magneticky uspořádaných fází dvourozměrných materiálů, MXenů, při konečných teplotách. Projekt zahrnuje výzkum magnetických konfigurací u více než 500 MXenů při nulové teplotě, vývoj kódu pro generování teplotně závislých ro...
Atomic, molecular and chemical physics (physics of atoms and molecules including collision, interaction with radiation, magnetic resonances, Mössbauer effect)
- 2024 - 2028 •
- 3 904 tis. Kč •
- 988 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2024 - 30. 6. 2028
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Traceable in-process dimensional measurement (7AX13023)
The objectives of the JRP are to develop and deliver standards and procedures suitable to assess and ensure the traceability of the measurement capability of the in-process metrology. These objectives focus on traceable
BA - Obecná matematika
- 2013 - 2016 •
- 6 554 tis. Kč •
- 3 750 tis. Kč •
- MŠMT
Řešení projektu: 1. 6. 2013 - 31. 5. 2016
Uznané náklady
Podpora ze státního rozpočtu (57%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Pushing boundaries of nano-dimensional metrology by light (8B21001)
unprecedented performances in terms of spatial resolution, traceability, reliability, and uncertainty level of 1 nm, such as linear and non-linear SIM, and pump-probe Super Raman, coherent multiphoton-Raman and St...
Other natural sciences
- 2021 - 2024 •
- 1 128 tis. Kč •
- 1 128 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2021 - 31. 8. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Prezentace výsledků výzkumu na ICME 8 (celosvětový kongres matematiků) (PG96145)
Aktivní účast 10 VŠ učitelů a vědeckých pracovníků v oboru didaktika matematiky. M. Hejný - člen programového výboru, M. Kaslová, M. Koman, J. Novotná, N. Stehlíková - vedoucí sekcí, prezentace posterů: D. Jirotková - Procept and concept "
9E - 9
- 1996 - 1996 •
- 0 tis. Kč •
- 0 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1996 - 1. 1. 1996
Uznané náklady
Podpora ze státního rozpočtu
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Algebraické struktury, teorie čísel a její aplikace (IAA1187101)
Teorie algebraických čísel studuje aritmetické vlastnosti těles algebraických čísel - okruh celých algebraických čísel v číselném tělese, ideály v okruhu celých čísel, jednotky, rozsah, ve kterém okruh celých čísel ztrácí schopnost mít jednoznačnou f...
BA - Obecná matematika
- 2001 - 2003 •
- 2 871 tis. Kč •
- 1 641 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (57%)
Poskytovatel: Akademie věd České republiky
Metoda konečných prvků pro trojrozměrné problémy (IAA1019201)
Prvním cílem tohoto projektu bude napsat monografii o teorii a aplikacích metody konečných prvků pro řešení skutečných trojrozměrných problémů. Čtenáři bude podán přehled mnoha důležitých vět, metod a algoritmů. Kniha bude založena zejména na vlastní...
BA - Obecná matematika
- 2002 - 2006 •
- 4 108 tis. Kč •
- 1 956 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (48%)
Poskytovatel: Akademie věd České republiky
Verifikace nekonečně stavových systémů založená na konečných automatech (GP13-37876P)
Projekt je zaměřen na formální verifikaci programů s nekonečnými stavovými prostory, zvláště pak na programy s dynamicky alokovanými ukazatelovými strukturami a programy manipulující řetězce neohraničené délky. Verifikační nástroje pro obě třídy prog...
IN - Informatika
- 2013 - 2015 •
- 2 289 tis. Kč •
- 2 289 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
IMPART - Intelligent Management Platform for Advanced Real-Time media processes (7E13044)
IMPART will research, develop and evaluate intelligent information management. It will find new ways of managing, visualising and analysing very large multimodal datasets so that creative personnel can review three-dimensional
JD - Využití počítačů, robotika a její aplikace
- 2013 - 2015 •
- 3 445 tis. Kč •
- 3 445 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 10. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 5 630