Filtry
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 rozsáhlé ...
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
RF key quantities for 6G development (9B24012)
The swift advancement of the upcoming 6G wireless technology anticipates deployment in the early part of the next decade, featuring remarkable specifications geared towards powering digital and highly connected applications. This project aim...
Electrical and electronic engineering
- 2024 - 2027 •
- 4 892 tis. Kč •
- 2 447 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2024 - 30. 4. 2027
Uznané náklady
Podpora ze státního rozpočtu (50%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Vzdělávání dospělých v různých fázích životního cyklu priority, příležitosti a možnosti rozvoje (1J017/04-DP2)
Projekt se věnuje vzdělávání dospělých v rámci celoživotního učení. Mapuje a analyzuje situaci v ČR v oblasti vzdělávacích potřeb dospělé populace, obecně i diferencovaně v souvislosti s dominantními životními rolemi, a v oblasti vzdělávací nabídky.....
AM - Pedagogika a školství
- 2004 - 2008 •
- 5 711 tis. Kč •
- 5 700 tis. Kč •
- MPSV
Řešení projektu: 1. 7. 2004 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo práce a sociálních věcí
Spolupráce v oblasti návrhu a implementace jazykových systémů (MEB080878)
Hlavním výstupem projektu bude vybudování česko-slovenského týmu vědců a odborníků v oblasti návrhu a implementace jazykových systémů. Tato spolupráce by měla zvýšit kvalitu aktuálně řešených projektů. Důležité je zapojení mladých pracovníků, kteří d...
IN - Informatika
- 2008 - 2009 •
- 42 tis. Kč •
- 42 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
Traceability for indentation measurements in Brinell-Vickers-Knoop hardness (9B23019)
The overall objective of this project is to establish a traceable, consistent, and reliable indentation measurement methodology, considering the influence of measurement parameters and instrument specifications, for Brinell, Vickers and Knoo...
Materials engineering
- 2023 - 2026 •
- 1 158 tis. Kč •
- 579 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2023 - 31. 8. 2026
Uznané náklady
Podpora ze státního rozpočtu (50%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Speciální techniky soft computing pro rozhodování v managementu (1P05ME739)
studium speciálních metod formální logiky pro reprezentaci hiearchických soustav fuzzy IF-THEN pravidel...
IN - Informatika
- 2005 - 2005 •
- 67 tis. Kč •
- 67 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2005 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Metrology for biogas (7AX15003)
specifications for biogas and biomethane as well as in developing test methods for key...
BO - Biofyzika
- 2015 - 2017 •
- 2 570 tis. Kč •
- 1 414 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2015 - 31. 5. 2017
Uznané náklady
Podpora ze státního rozpočtu (55%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů (GP201/07/P544)
Navrhovaný projekt představuje základní výzkum v problematice integrace 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...
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
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
Analýza formálních struktur právních dokumentů (KJB7068303)
Hlavním smyslem projektu je provést detailní analýzu formálních struktur používaných v oblasti právních textů českého práva ve světle nejnovějších možností daných rozvojem techniky a báze právních textů. Formální struktury představují základní kámen ...
AG - Právní vědy
- 2003 - 2005 •
- 1 146 tis. Kč •
- 653 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (57%)
Poskytovatel: Akademie věd České republiky
- 1 - 10 z 95