Filtry
Hledání konkrétních archeologických struktur (GD404/08/H007)
Cílem projektu je získat konkrétní archeologické poznání vybraných aspektů minulosti na základě archeologických pramenů. Toto poznání realizují studenti doktorského programu zapojení do výzkumného týmu, kteří se v rámci projektu soustředí ze...
AC - Archeologie, antropologie, etnologie
- 2008 - 2011 •
- 6 352 tis. Kč •
- 6 352 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů (GP201/07/P544)
formálních metod a doménově specifikačních jazyků pro návrh vestavěných systémů. Uvažované řešení bude založeno na definici formálního rámce disponujícího deduktivním odvozovacím aparátem pro interpretaci a ověřování vlastností...
JC - Počítačový hardware a software
- 2007 - 2008 •
- 352 tis. Kč •
- 352 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Hydrometeorologické extrémy na jižní Moravě v 17. - 20. století podle dokumentárních pramenů ekonomického charakteru (GP205/09/P472)
Cílem projektu je komplexní analýza vybraných hydrometeorologických extrémů na jižní Moravě na základě dokumentárních pramenů ekonomického charakteru se zřetelem na jejich časové a prostorové změny od 17. století do současnosti v ko...
DG - Vědy o atmosféře, meteorologie
- 2009 - 2011 •
- 619 tis. Kč •
- 619 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Formální verifikace algoritmy, vlastnosti modelovacích formalismů a temporálních logik (GP201/08/P375)
. Perspektivním řešením je použití automatizovaných nástrojů pro formální verifikaci systémů. A právě výzkum v oblasti automatické formální verifikace je tématem předkládaného projektu. Navrhovatel se chce konkrétně zaměřit na tři o...
IN - Informatika
- 2008 - 2010 •
- 435 tis. Kč •
- 435 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Návrh doporučujících národních kurikul v oblasti prostorových informací (TB9500MV005)
Cílem projektu je identifikovat potřeby rozvoje kurikul (vzdělávacích osnov) v rámci systémů formálního, zejména terciérního, vzdělávání reflektující požadavky rozvoje národní infrastruktury pro prostorové informace a zároveň zpraco...
AE - Řízení, správa a administrativa
- 2016 - 2016 •
- 899 tis. Kč •
- 899 tis. Kč •
- TA ČR
Řešení projektu: 17. 5. 2016 - 30. 11. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Realistická aplikace formálních metod v komponentových systémech (1ET400300504)
, a to kombinováním komponent s formálním popisem chování a návrhem nástrojů schopných provést automaticky kontrolu architektury aplikací složených z komponent s formálním popisem chování. Projekt si klade za cíl navrhnout a realizo...
IN - Informatika
- 2005 - 2009 •
- 12 881 tis. Kč •
- 12 881 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Formální metody pro analýzu a verifikaci komplexních systémů (GAP202/10/1469)
vlastnosti formálních modelů těchto systémů, například stochastických her s reálným časemVe formální verifikaci se pomocí matematických metod dokazuje, že daný systém splňuje požadované vlastnosti. Verifikační a a...
IN - Informatika
- 2010 - 2014 •
- 7 332 tis. Kč •
- 7 332 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Dopady těžby hnědého uhlí na zvodněný systém sokolovské pánve v souvislosti s ochranou karlovarských termálních pramenů (GA205/97/0783)
části sokolovské pánve na karlovarské termální prameny. Za tímto účelem budou aj.). Získané poznatky budou využity k objasnění dějů probíhajících v dobývacím prostoru a jeho širším okolí (množství odpouštěné vody na lomech a vývoj ...
DA - Hydrologie a limnologie
- 1997 - 1999 •
- 2 282 tis. Kč •
- 858 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1997 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (38%)
Poskytovatel: Grantová agentura České republiky
Výzkum v diferenciální geometrii podporovaný počítačem a aplikace (GA201/02/0616)
1) Klasifíkace Riemannových resp. pseudo-Riemannových variet s předepsanými vlastnostmi křivosti, studium izometrických deformací podvariet eukleidovských prostorů v souvislosti s řešením Borelova-Bricardova problému prostorové<...
BA - Obecná matematika
- 2002 - 2004 •
- 2 420 tis. Kč •
- 1 459 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Grantová agentura České republiky
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (GP201/09/P531)
Cílem projektu je rozvoj metod pro automatickou verifikaci programů s nekonečně stavovými prostory se zaměřením na programy s dynamickými datovými strukturami.......
JC - Počítačový hardware a software
- 2009 - 2011 •
- 708 tis. Kč •
- 708 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 12 572