Filtry
Logika a nesplnitelnost (GA23-04825S)
Jak se mění délka nejkratšího důkazu daného tvrzení, když zvětšujeme složitost pojmů, jež lze v důkazu použít? Tato základní otázka logiky je pro důkazy ve slabých teoriích nebo ve výrokové logice úzce svázaná s obtížnými fundamentálními problémy výp...
Pure mathematics
- 2023 - 2025 •
- 11 138 tis. Kč •
- 10 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
Složitost matematických důkazů a struktur (GA19-05497S)
Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efek...
Pure mathematics
- 2019 - 2022 •
- 9 171 tis. Kč •
- 8 514 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Grantová agentura České republiky
Mezi vnímáním a propozičním poznáním (GA17-05919S)
Jádrem projektu je nové (současně historické i analytické) uchopení způsobu, jímž jsou propojeny vnímání a myšlení, včetně otázky rozdílu mezi myšlením propozičním a nepropozičním. V rámci širší otázky, jak fungují naše různé kognitivní schopnosti př...
AA - Filosofie a náboženství
- 2017 - 2021 •
- 4 886 tis. Kč •
- 4 376 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Grantová agentura České republiky
Embedded storage elements on next MCU generation ready for AI on the edge (8A21008)
will reflect requirements of Tier 1 automotive producer and will proof the...
Electrical and electronic engineering
- 2021 - 2024 •
- 11 508 tis. Kč •
- 2 301 tis. Kč •
- MŠMT
Řešení projektu: 1. 7. 2021 - 31. 10. 2024
Uznané náklady
Podpora ze státního rozpočtu (20%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Teorie, důkazy a výpočetní složitost (IAA1019401)
Jedná se o teoretický výzkum v matematice a teoretické informatice. Hlavním cílem je studovat pojem výpočetní složitosti z několika hledisek: 1. teorii prvního řádu, 2. výrokového počtu a 3. booleovských obvodů. Konkrétně se jedná o studium omezené a...
BA - Obecná matematika
- 2004 - 2008 •
- 2 165 tis. Kč •
- 2 165 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2004 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
MENDELU Proof-of-Concept projekt (TG02010074)
Cílem projektu je efektivní realizace systému podpory proof-of-concept aktivit (dále PoC aktivit) na MENDELU v letech 2015 až 2019. Systém podpory PoC aktivit na MENDELU je navržen jako nedílná součást rozvíjeného systému komercializace na u...
GB - Zemědělské stroje a stavby
- 2015 - 2019 •
- 23 535 tis. Kč •
- 23 535 tis. Kč •
- TA ČR
Řešení projektu: 1. 9. 2015 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Aktivity Proof-of-Concept na ČZU v Praze (TG03010020)
Cílem projektu je podpora a zefektivnění systému komercializace výsledků aplikovaného výzkumu na České zemědělské univerzitě v Praze (ČZU). Po ukončení projektu bude systém i nadále podporovat vyhledávání, výběr, hodnocení a přípravu komercializace v...
GC - Pěstování rostlin, osevní postupy
- 2016 - 2019 •
- 18 476 tis. Kč •
- 18 476 tis. Kč •
- TA ČR
Řešení projektu: 1. 9. 2016 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
Rozvoj systému podpory "Proof-of-concept" na VÚVeL (TG03010038)
Cílem projektu je podpora úspěšného uplatnění nových, unikátních poznatků, technologických postupů a inovací vzniklých v rámci základního a aplikovaného výzkumu na VÚVeL v praxi. Dalším cílem je ověření nastaveného systému podpory "Proof of ...
GJ - Choroby a škůdci zvířat, veterinární medicina
- 2016 - 2019 •
- 17 361 tis. Kč •
- 17 361 tis. Kč •
- TA ČR
Řešení projektu: 1. 10. 2016 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
BrainTech Inovativní technologie pro psychiatrii a klinické neurovědy (TP01010062)
Projekt BrainTech si klade za cíl realizaci a rozvoj komplexního systému podpory konkrétních dílčích proof-of-conceptů v oblasti psychiatrie, stárnutí a klinických neurověd. Formou výběru dílčích projektů v oblastech digital health, telemedi...
Psychiatry
- 2020 - 2022 •
- 14 970 tis. Kč •
- 13 055 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Technologická agentura ČR
Inovace pro dopravu (TP01010056)
Cílem projektu je podpořit proces komercializace výsledků výzkumu a vývoje, jež mají potenciál se uplatnit v praxi, v kritické fázi proof-of-concept. Projekt by měl přispět k dalšímu zefektivňování přenosu poznatků do praxe, k intenzivní nah...
Transport engineering
- 2020 - 2022 •
- 15 952 tis. Kč •
- 14 152 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (89%)
Poskytovatel: Technologická agentura ČR
- 1 - 10 z 1 608