Filtry
Analýza důkazů a automatická dedukce pro rekurzivní struktury (GF22-06414L)
Matematická indukce je jedna z základních nástrojů každého matematika. Ukázalo se ale, že komplikuje formální analýzu důkazů. Podstata indukce je, že komprimuje nekonečný argument do konečného výroku. Tento proces zamlžuje informaci, která je podsta...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2025 •
- 4 377 tis. Kč •
- 4 377 tis. Kč •
- GA ČR
Řešení projektu: 1. 7. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Kvantový entanglement a kryptografická a výpočtová primitiva (GP201/06/P338)
primitiv. Druhou oblastí je analýza role kvantového entanglování v kvantových primitivech jako jsou například kvantové komunikační a kryptografické protokoly, kvantové opravné kódy a další. Třetí oblastí je analýza kvantových výpoč...
IN - Informatika
- 2006 - 2008 •
- 453 tis. Kč •
- 453 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
Výzkum kryptografických primitiv pro bezpečnou autentizaci a ochranu digitální identity (GP14-25298P)
identity uživatelů. Cílem projektu je proto výzkum nových kryptografických primitiv soukromí. Výzkum primitiv bude probíhat především v rodině zero-knowledge protokolů......
IN - Informatika
- 2014 - 2016 •
- 1 593 tis. Kč •
- 1 593 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Kvantové zdroje a primitiva (GA201/04/1153)
Projekt má čtyři základní cíle.1. Zkoumat základní problémy kvantového entanglování a jeho roli v kvantové kryptografii a kvantových hrách. 2. Vyvinout teorii programovatelných kvantových polí a prozkoumat jejich potenciální implementace. 3. Prozkoum...
JC - Počítačový hardware a software
- 2004 - 2006 •
- 1 122 tis. Kč •
- 1 122 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Symbolické výpočty v teorii parciálních diferenciálních rovnic (GP201/07/P224)
Důležitým praktickým aspektem geometrické teorie parciálních diferenciálních rovnic je řešení systémů rovnic v totálních derivacích na difietách. Tyto rovnice se objevují při hledání symetrií, zákonů zachování, nakrytí (pseudopotenciálů, Wahlquist-Es...
BA - Obecná matematika
- 2007 - 2009 •
- 786 tis. Kč •
- 786 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
Systém pro kryptografickou ochranu elektronické identity (TA02011260)
Projekt se zabývá aplikací výsledků výzkumu z oboru moderní kryptografie do oblasti praktických autentizačních systémů. Cílem je zamezit zneužití osobních údajů při využívání elektronických systémů, jakým je např. Internet. Cíle bude dosaženo pomocí ...
JC - Počítačový hardware a software
- 2012 - 2014 •
- 8 792 tis. Kč •
- 5 290 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Technologická agentura ČR
Robustní plánování a řízení pohybu na nerovném terénu (GA17-08842S)
Navrhovaný projekt si klade za cíl základní výzkum v oblasti robustního plánování a řízení pohybu robotů. Náš hlavní přínos vychází z návrhu smyčky pro učení a plánování pohybu složitých robotů, které nejsou snadno modelovatelné. Konkrétně se zaměřím...
JD - Využití počítačů, robotika a její aplikace
- 2017 - 2019 •
- 4 090 tis. Kč •
- 3 556 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
Rényiho entropie v kvantovém zpracování informace (GA16-22211S)
kryptografických primitiv; ii) návrzích nových kryptosystémů pro útočníky s omezenou...
IN - Informatika
- 2016 - 2018 •
- 6 745 tis. Kč •
- 5 990 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (89%)
Poskytovatel: Grantová agentura České republiky
Hardwarově akcelerovaný systém pro přenos velkých souborů s kryptografickým zabezpečením (TJ02000290)
Hlavní náplní projektu je výzkum a vývoj komplexního programového vybavení, které umožní koncovým uživatelům bezpečné sdílení velkých datových souborů. Navrhovaný systém eliminuje nedostatky současně dostupných komerčních řešení vhodnou implementací ...
Computer hardware and architecture
- 2019 - 2021 •
- 7 997 tis. Kč •
- 6 407 tis. Kč •
- TA ČR
Řešení projektu: 1. 3. 2019 - 28. 2. 2021
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Technologická agentura ČR
Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů (GA201/07/0603)
Vývoj v oblasti kvantového zpracování informace dospěl do situace, kdy je nutné věnovat se všem aspektům distribuovaných výpočtů a komunikace: na jedné straně je to návrh a analýza vhodných informaticky i fyzikálně založených elementů, na straně druh...
IN - Informatika
- 2007 - 2009 •
- 1 752 tis. Kč •
- 1 752 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
- 1 - 10 z 21