Filtry
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury (GA23-07565S)
Lidstvo čím dál více závisí na počítačových systémech, což klade vysoké nároky na jejich bezchybnost a efektivitu. Tyto systémy jsou stále složitější: jejich stavové prostory rostou exponenciálně a současné techniky pro zajištění bezchybnosti neškálu...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 - 2025 •
- 9 016 tis. Kč •
- 7 995 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (89%)
Poskytovatel: Grantová agentura České republiky
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Vysokoúrovňový návrh a formální verifikace jsou jednou z perspektivních cest, jak dosáhnout vyšší spolehlivosti a bezpečnosti počítačových systémů. Předkládaný projekt navazuje na zkušenosti a výsledky řešitelského týmu a na existující spolupráci se ...
JC - Počítačový hardware a software
- 2007 - 2009 •
- 2 367 tis. Kč •
- 2 367 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Nové možnosti automatické verifikace síťových protokolů (GP201/08/P459)
Cílem projektu je studium formalizmů pro popis specifikace síťových komunikačních systémů relevantních pro počáteční fáze návrhu projektu. Jako poměrně vhodným formalizmem se v posledních letech výzkumu jeví Message Sequence Charts (MSC). Přestože je...
IN - Informatika
- 2008 - 2010 •
- 702 tis. Kč •
- 702 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
Modely pro implicitně paralelní programovaní (GPP202/12/P167)
Projekt se zabývá metodami automatické paralelizace programů ve funkcionálních programovacích jazycích s imperativními prvky. Hlavním cílem je vyvinout formální modely běhu programu, které jsou schopny automaticky využít možností víceprocesorových po...
IN - Informatika
- 2012 - 2014 •
- 633 tis. Kč •
- 633 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
KATRA Poznání, konání a čas – relevantní přístup (GC25-17958J)
Uvažování o poznání, čase a jednání je základem lidského poznání. Současné formální modely používané v analytické filozofii však často nedokážou zachytit nuance toho, jak o těchto pojmech uvažujeme. Na základě nedávné práce obou hlavních řešitelů bud...
Philosophy, History and Philosophy of science and technology
- 2025 - 2027 •
- 3 953 tis. Kč •
- 3 953 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2027
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
QUAK Analýza kvantových programů pomocí automatů (GA25-18318S)
Kvantové počítače slibují řešení problémů, které nelze efektivně řešit klasickými počítači. Zatímco některé problémy (např. faktorizace) jde řešit rychleji kvantovými algoritmy, vývoj kvantových programů pro jiné problémy je extrémně náročný z důvodu...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2025 - 2027 •
- 10 644 tis. Kč •
- 9 417 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2027
Uznané náklady
Podpora ze státního rozpočtu (88%)
Poskytovatel: Grantová agentura České republiky
CAQtuS Počítačem podporovaná kvantitativní syntéza (GJ20-02328Y)
Počítačem podporovaná syntéza je nový přístup k návrhu systémů, který automaticky transformuje formální specifikaci systému na jeho korektní implementaci. Tento přístup odstraňuje časovou náročnost klasického vývojového procesu, kdy je fáze implement...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 6 075 tis. Kč •
- 6 075 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
- 1 - 10 z 677