Filtry
Analýza korektnosti vícevláknových programů v C a C++ (GA15-08772S)
Projekt se zaměřuje na výzkum a vývoj nových algoritmů a datových struktur, které umožní efektivní verifikaci vícevláknových programů zapsaných v programovacích jazycích C a C++ metodou ověřování modelu (angl. model checking). Konkrétním cílem projek...
IN - Informatika
- 2015 - 2017 •
- 4 998 tis. Kč •
- 4 998 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Matematická fuzzy logika v informatice (GAP202/10/1826)
Matematická fuzzy logika je symbolická (matematická) logika se stupňovitým pojmem pravdy, kterou je třeba rozlišovat od fuzzy logiky v širokém smyslu a predikátová logika má přesné pojmy formulí, axiomů a důkazů, s...
IN - Informatika
- 2010 - 2016 •
- 9 136 tis. Kč •
- 9 136 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 7. 4. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Inovace svahové rádiem řízené elektrické sekačky eCROSS LINER a inovace postupu její výroby (FX03030131)
Cílem projektu je certifikace nově vyvinuté svahové rádiem řízené elektrické sekačky eCROSS LINER a zavedení její sériové výroby...
Civil engineering
- 2021 - 2022 •
- 10 555 tis. Kč •
- 5 277 tis. Kč •
- MPO
Řešení projektu: 1. 4. 2021 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (50%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Formální verifikace algoritmy, vlastnosti modelovacích formalismů a temporálních logik (GP201/08/P375)
logik a využití těchto vlastností při konstrukci nových a vylepšení stávajících...
IN - Informatika
- 2008 - 2010 •
- 435 tis. Kč •
- 435 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
Logika a umělá inteligence pro multiagentní systémy (1ET101940420)
je transparentní intensionální logika (TIL). Formální jazyk bude vycházet ze znalostivýznamu...
IN - Informatika
- 2004 - 2008 •
- 13 079 tis. Kč •
- 13 079 tis. Kč •
- AV ČR
Řešení projektu: 1. 7. 2004 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Zvýšení užitných vlastností turbovrtulového motoru řady H optimalizací spalovací komory za účelem zvýšeni účinnosti a životnosti (TH04010357)
Cíle projektu jsou snížení specifické spotřeby paliva a prodloužení životnosti komponent spalovací komory, případně úplná eliminace některých komponent. Cílem je snížit výrobní náklady o 15% a provozní náklady motoru o 40%. Snížení specifické spotřeb...
Aerospace engineering
- 2019 - 2021 •
- 6 636 tis. Kč •
- 3 982 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2019 - 31. 1. 2021
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Technologická agentura ČR
Řízení a ověřování vlastností komplexních hybridních systémů (LH11065)
Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi laboratoří ParaDiSe na Fakultě informatiky Masarykovy univerzity (FI MU) a laboratoří HyNeSs na Boston University (BU) v oblasti výzkumu a vývoje technik pro syntézu řídících strategií a...
IN - Informatika
- 2011 - 2014 •
- 2 506 tis. Kč •
- 2 506 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
LOGICA série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009001)
Projekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a příbuzných hraničních oborů. Cíle: a) zabezpečení 14.-16. ročníku unikátní mezinárodní konference LOGICA (pořáda...
AA - Filosofie a náboženství
- 2000 - 2002 •
- 1 743 tis. Kč •
- 1 203 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (69%)
Poskytovatel: Akademie věd České republiky
Neklasická interpretace aristotelské logiky a teorie predikace (GA19-06839S)
Obecně se předpokládá, že Aristotelés je zakladatelem logiky jako samostatné logiky. Aristotelská logika tak často chápána jako klasická a jako pouhý fragment kanonické moderní extenzionální logiky, jmenovitě predi...
Philosophy, History and Philosophy of science and technology
- 2019 - 2022 •
- 2 017 tis. Kč •
- 2 017 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Reprezentace algebraických sémantik pro substrukturální logiky (GF24-14386L)
. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezonanční možnosti jsou konečné. Název "substrukturál...
Statistics and probability
- 2024 - 2026 •
- 3 696 tis. Kč •
- 3 696 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 345