Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

5 (0,055s)

Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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
  • 1 - 5 z 5