Vše
Vše

Co hledáte?

Vše
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”
CS
ČeštinaEnglish

Filtry

-
19002100

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic

      • Zobrazit méně

      • Zobrazit méně

      • Zobrazit méně

      • Zobrazit méně

    • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

7 213 projektů (0,148s) •

Projekt

Booleovské funkce (GP201/07/P168)

Jedná se o projekt z oblasti základního výzkumu v teoretické informatice na pomezí logiky, umělé inteligence a teorie algoritmů. Charakter projektu je převážně badatelsko-teoretický a sestává jednak z rešerší článků které souvisí se zkoumanou problem...

IN - Informatika

  • 2007 - 2009
    • •
  • 579 tis. Kč
    • •
  • 579 tis. Kč
    • •
  • GA ČR
Projekt

Měrové algebry (IAA100190509)

Cílem projektu je algebraická charakterizace měrových algeber a řešení otevřených problémů vztahujících se k problému J. von Neumanna formulovanému ve Skotské knize.......

BA - Obecná matematika

  • 2005 - 2009
    • •
  • 500 tis. Kč
    • •
  • 500 tis. Kč
    • •
  • AV ČR
Projekt

Rozklady matic s booleovskými a ordinálními daty teorie a algoritmy (GA15-17899S)

Projekt je zaměřen na vývoj metod pro rozklady matic s booleovskými a ordinálními daty se zaměřením na analýzu booleovských a ordinálních dat. Projekt také přinese nové výsledky v oblastech: uzávěrové operátory a svazy pevných ...

IN - Informatika

  • 2015 - 2017
    • •
  • 4 503 tis. Kč
    • •
  • 4 503 tis. Kč
    • •
  • GA ČR
Projekt

Definovatelnost a ideály (MEB061106)

Cílem projektu je formulovat několik původních výsledků v teorii definovatelného forcingu, který spojuje metody z teorie proper-forcingu s deskriptivní teorií množin a matematickou analýzou. Mnoho z těchto forcingu lze zobecnit na větší kardinály: da...

BA - Obecná matematika

  • 2011 - 2012
    • •
  • 138 tis. Kč
    • •
  • 138 tis. Kč
    • •
  • MŠMT
Projekt

Konstrukce statistických testů v prostorové statistice (KJB101420801)

, zda data mohou být popsána Booleovým modelem, neboli zda jsou částice rozmístěné...

BA - Obecná matematika

  • 2008 - 2010
    • •
  • 451 tis. Kč
    • •
  • 451 tis. Kč
    • •
  • AV ČR
Projekt

Výpočetní a komunikační složitost Booleovských funkcí a derandomizace (GP201/07/P276)

Tento projekt navrhuje studovat tři úzce související oblasti výpočetní složitosti: dolní odhady pro obvody a rozhodovací diagramy, komunikační složitost více hráčů a derandomizaci. V první oblasti navrhujeme studium velikosti početních obvodů omezené...

IN - Informatika

  • 2007 - 2009
    • •
  • 606 tis. Kč
    • •
  • 606 tis. Kč
    • •
  • GA ČR
Projekt

Kryptografie založená na konečných tělesech (GA18-19087S)

Projekt se týká několika témat kryptoanalýzy založené na konečných tělesech. Jedním tématem je Problém diskrétního logaritmu (DLP). Další témata se týkají S-boxů, zvláště pak kryptoanalýzy AES. Projekt počítá s pokračováním již existující spoluprác...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2021
    • •
  • 2 562 tis. Kč
    • •
  • 2 130 tis. Kč
    • •
  • GA ČR
Projekt

Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (8J18FR045)

Analýza dynamických systémů prostřednictvím vhodných informatických modelů je jedním ze zásadních stavebních kamenů moderního paradigmatu systémové biologie. Motivace pro použití vhodných formalismů a výpočetních technik z oblasti počítačové vědy vyc...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2019
    • •
  • 108 tis. Kč
    • •
  • 98 tis. Kč
    • •
  • MŠMT
Projekt

Booleovské techniky v reprezentaci znalostí (GA15-15511S)

Toto je projekt základního výzkumu, v němž se plánujeme zaměřit na řešení teoretických problémů spadajících do oblastí komprese a kompilace znalostí, a to v případě, kdy reprezentace znalostí je založena na booleovských funkcích. Částečný seznam konk...

IN - Informatika

  • 2015 - 2017
    • •
  • 2 430 tis. Kč
    • •
  • 2 430 tis. Kč
    • •
  • GA ČR
Projekt

Reprezentace booleovských funkcí úplné vzhledem k jednotkové propagaci (GA19-19463S)

Jde o projekt základního výzkumu, v němž plánujeme pracovat na problémech z oblasti kompilace znalostí. Uvažujeme speciální případ kompilace znalostí, kde znalostní báze je reprezentovaná booleovskou funkcí, obvykle reprezentovanou formulí v konjunkt...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019 - 2022
    • •
  • 6 019 tis. Kč
    • •
  • 4 789 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 7 213