Filtry
Geofyzikální výzkum liniových protipovodňových staveb a vývoj technologie pro predikci jejich destrukcí (GEMSTONE) (OE 225)
monitorování stavu ochranných hrází in situ za současného vývoje inovační technologie verifikace defektu...
JN - Stavebnictví
- 2006 - 2008 •
- 6 616 tis. Kč •
- 3 063 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (46%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Výzkum univerzální a komplexní autentizace a autorizace pro pevné a mobilní počítačové sítě (2C08002)
Budou prozkoumány možnosti vytvoření modulárních, univerzálních autentizačních systémů. Dále budou prozkoumány možnosti vytvoření nových autentizačních metod a možnosti jejich integrace s jinými technologiemi.......
JC - Počítačový hardware a software
- 2008 - 2011 •
- 35 975 tis. Kč •
- 26 979 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2008 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (75%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Automatizace formální verifikace (TH04010192)
Cílem projektu AUtomatizace FOrmální VERifikace (AUFOVER) je vývoj automatizovaných formálních verifikačních nástrojů a jejich integrace pro průmyslové využití. V rámci projektu budou vyvinuty nebo vylepšeny nástroje: Verifikační server, Klientská ap...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 27 914 tis. Kč •
- 16 376 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (59%)
Poskytovatel: Technologická agentura ČR
Energeticky úsporné cihlové budovy (FR-TI3/085)
Projekt se zabývá průmyslovým výzkumem a vývojem energeticky úsporných cihlových budov. Nejprve je provedeno jejich architektonicky-konstrukční variantní řešení. Poté je v procesu řízeného návrhu provedeno materiálově-konstrukční řešení, které zahrnu...
JN - Stavebnictví
- 2011 - 2015 •
- 25 161 tis. Kč •
- 14 552 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2011 - 30. 4. 2015
Uznané náklady
Podpora ze státního rozpočtu (58%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......
JC - Počítačový hardware a software
- 2010 - 2012 •
- 1 500 tis. Kč •
- 1 230 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Modelování a verifikace paralelních systémů (GAP202/11/0340)
Pro vědeckotechnické výpočty, zpracování velkých datových struktur apod. jsou stále více využívány různé paralelní a distribuované systémy, ať už jde o různé typy paralelních superpočítačů, sítě počítačů, nebo jen vícejádrové procesory či gr...
IN - Informatika
- 2011 - 2014 •
- 3 938 tis. Kč •
- 3 938 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Automatizovaná verifikace programů je v současnosti s ohledem na rostoucí dopad počítačem řízených systémů na naše životy a výraznou potřebu minimalizovat počet chyb v těchto systémech velmi aktuálním výzkumným tématem. Projekt se konkrétně zaměřuje ...
JC - Počítačový hardware a software
- 2010 - 2013 •
- 4 752 tis. Kč •
- 4 752 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
APS PRO VÝROBU S FLEXIBILNÍMI ZDROJI A PROCESY (FW10010454)
Vytvořit nový APS systém založený na optimalizačních algoritmech, flexibilních zdrojích, BPMN procesech a strojovém učení...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 - 2026 •
- 19 297 tis. Kč •
- 13 506 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2024 - 30. 6. 2026
Uznané náklady
Podpora ze státního rozpočtu (70%)
Poskytovatel: Technologická agentura ČR
Metody a nástroje pro automatizované odhalování softwarových chyb (GP102/06/P076)
na objektově orientovaných Petriho sítích dlouhodobě vyvíjené na pracovišti navrhovatelea...
JC - Počítačový hardware a software
- 2006 - 2008 •
- 711 tis. Kč •
- 711 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
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů (GA102/05/0723)
Předkládaný projekt se týká úvodních fází návrhu distribuovaných aplikací systémů založených na počítačových sítích. Cílem projektu je vytvoření rámce pro formální specifikace, verifikace a prototypování síťových aplikací, které zahrnou jak ...
IN - Informatika
- 2005 - 2007 •
- 1 740 tis. Kč •
- 1 740 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 3 748