Filtry
*ESPEV - Elektronické Systémy Pro Ekologický Výdej pohonných látek a biopaliv na čerpacích stanicích (FR-TI1/526)
*V současné době je aktuální využívání alternativních pohonných látek pro automobily, které sníží exhalace CO2. Zvyšují se rovněž požadavky na ochranu ovzduší, a to i zavedením odsávání par na čerpacích stanicích, v současné době s novým požadavkem n...
JA - Elektronika a optoelektronika, elektrotechnika
- 2009 - 2013 •
- 16 138 tis. Kč •
- 10 950 tis. Kč •
- MPO
Řešení projektu: 1. 6. 2009 - 31. 5. 2013
Uznané náklady
Podpora ze státního rozpočtu (68%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Vývoj nové generace stojanů pro výdej pohonných hmot s cílem zvýšení konkurenceschopnosti při exportu do zemí Evropské unie. (FR-TI1/029)
Cílem tohoto projektu je vyvinout novou generaci výdejních stojanů pod typovým názvem OCEAN s moderním designem, která splňuje nejnáročnější požadavky evropských a světových norem. Tato řada výdejních stojanů v sobě bude zahrnovat:- nové revoluční pr...
JQ - Strojní zařízení a nástroje
- 2009 - 2011 •
- 13 064 tis. Kč •
- 4 060 tis. Kč •
- MPO
Řešení projektu: 1. 3. 2009 - 30. 6. 2011
Uznané náklady
Podpora ze státního rozpočtu (31%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)
Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......
IN - Informatika
- 2008 - 2009 •
- 92 tis. Kč •
- 92 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Model checking paralelního software s využitím automatické dedukce object ownership vzorů (GPP202/12/P180)
Verifikace vícevláknového softwaru model checkingem je těžký problém, zejména kvůli explozi stavového prostoru. Správnost takového softwaru závisí na dodržení jistých synchronizačních pravidel navržených vývojáři, ale nezachycených v samotné...
IN - Informatika
- 2012 - 2013 •
- 672 tis. Kč •
- 672 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Využití metodiky Model checking pro testování systémů I&C v jaderné energetice (TK01020068)
nástroje na principu Model checking pro ověřování návrhu algoritmů I&C a vygenerování...
Nuclear related engineering; (nuclear physics to be 1.3);
- 2018 - 2021 •
- 31 409 tis. Kč •
- 18 274 tis. Kč •
- TA ČR
Řešení projektu: 1. 7. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (58%)
Poskytovatel: Technologická agentura ČR
Zlepšení energetických vlastností obvodových plášťů budov minimalizováním problémů spojených s difuzí, filtrací a kondenzací vodní páry (FT-TA5/113)
Základním cílem navrhovaného projektu je vyřešení na základě současné a perspektivní materiálové základny, problémy spojené s vlhkostí v obvodových konstrukcích budov, a to tak, aby v nich nekondenzovala vodní pára vyvolávaná nejen difuzi, ale i filt...
JN - Stavebnictví
- 2008 - 2010 •
- 16 040 tis. Kč •
- 10 960 tis. Kč •
- MPO
Řešení projektu: 14. 3. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (68%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (8J18FR045)
biologie (Sybila FI MU, model checking a paralelní algoritmy)....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2019 •
- 108 tis. Kč •
- 98 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2018 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Technologies for the Multilingual European Information Society (7E11040)
- machine translation (MT) including automatic translation and machine assisted human content production and management (including authoring tools, language checking and......
AI - Jazykověda
- 2011 - 2013 •
- 3 089 tis. Kč •
- 3 089 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2011 - 31. 1. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Výroba optických dílců metodami depozice z plynné fáze Chemical Vapour Deposition a Atomic Layer Deposition (FW06010019)
Cílem předkládaného projektu je osvojení technologie depozice vrstev z plynné fáze (Chemical Vapour Deposition) a technologie depozice atomárních vrstev (Atomic Layer Deposition) a její aplikaci v přesné optické výrobě. Náplní projektu bude ...
Optics (including laser optics and quantum optics)
- 2023 - 2026 •
- 28 552 tis. Kč •
- 17 066 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Technologická agentura ČR
- 1 - 10 z 438