Filtry
Hyperintenzionální význam, teorie typů a logická dedukce (GA19-12420S)
Projekt rozvíjí hyperintenzionální teorii významu, podle níž jsou významy jemně strukturované entity algoritmického charakteru. Ve svém jádru kombinuje typově teoretický a důkazově teoretický přístup k sémantice: významy jsou zachycovány v prostředí...
Philosophy, History and Philosophy of science and technology
- 2019 - 2023 •
- 2 391 tis. Kč •
- 2 252 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (94%)
Poskytovatel: Grantová agentura České republiky
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
Zlepšování automatických dokazovačů vět pomocí strojového učení (GJ20-06390Y)
Tento projekt bude systematicky studovat téma kombinování metod strojového učení se “state-of-the-art” automatickými dokazovači vět zaločnými na saturaci. Naším konečným cílem je zvýšit výkon těchto dokazovačů na široké škále úloh, měřených na standa...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 6 467 tis. Kč •
- 6 467 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
Algoritmy včasného rozpoznání operací realizovaných za účelem zkrácení DPH se zacílením na převládající daňové úniky realizované v organizovaných spojeních osob nebo za použití ukradené identity - v podmínkách systému kontrolních hlášení (TD03000313)
Projekt vznikl v důsledku přímé poptávky Generálního finančního ředitelství po algoritmech, jež by dokázaly identifikovat subjekty zapojené ve specifických typech podvodů na DPH, jež se dají charakterizovat jako účelové operace založené na skrytém sp...
AH - Ekonomie
- 2016 - 2017 •
- 3 788 tis. Kč •
- 2 998 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2016 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (79%)
Poskytovatel: Technologická agentura ČR
International comparisons of product supply chains in the agro-food sectors determinants of their competitiveness and performance on EU and international markets (7E13038)
significantly to be better and deeper understanding of competitiveness and the deduction of...
GA - Zemědělská ekonomie
- 2013 - 2015 •
- 1 213 tis. Kč •
- 1 213 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 30. 9. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 5 z 5