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

Filtry

237 (0,121s) •

Projekt

Matematická logika, teorie složitosti a jejich souvislosti (ME 103)

Zabýváme se fundamentálními problémy spojujícími matematickou logiku a teorií složitostí. Nejznámnějším z těchto problému je tzv. P vs. NP problém....

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 1 327 tis. Kč
    • •
  • 732 tis. Kč
    • •
  • MŠMT
Projekt

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
Projekt

Matematická logika, složitost a algoritmy (IAA100190902)

Projekt základního výzkumu v matematické logice a teoretické informatice. Soustředíme se na omezenou aritmetiku a důkazovou složitost, teorii množin, teorii výpočetní složitosti a teorii algoritmů. Témata výzkumu sahají od oblastí základů matematiky ...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 5 509 tis. Kč
    • •
  • 5 509 tis. Kč
    • •
  • AV ČR
Projekt

Matematická logika a výpočetní složitost (IAA1019901)

Plánujeme pracovat v následujících souvisejících oblastech: složitost výrokových kalkulů, omezená aritmetika, obvodová složitost, komunikační složitost, efektivní algoritmy, on-line algoritmy, aritmetika vyššího řádu a teorie množin a teorie modelů t...

BA - Obecná matematika

  • 1999 - 2003
    • •
  • 4 576 tis. Kč
    • •
  • 1 696 tis. Kč
    • •
  • AV ČR
Projekt

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
Projekt

Integrated Components for Complexity Control in affordable electrified Cars (8A15002)

The 3Ccar project will provide highly integrated ECS Components for Complexity Control in thereby affordable electrified cars. The new semiconductors for Complexity management (Control, reduction) will offer the next level of energy...

JC - Počítačový hardware a software

  • 2015 - 2018
    • •
  • 9 974 tis. Kč
    • •
  • 3 742 tis. Kč
    • •
  • MŠMT
Projekt

Nové kombinatorické algoritmy - rozklady instancí, parametry úloh a jejich efektivní řešení (LH12095)

Cílem projektu je řada matematických poznatků, zejména tvrzení o složitosti problému, strukturálních vět o matematických objektech, návrhy příslušných algoritmů a jejich experimentální implementace. Matematické poznatky budou publikované formou článk...

BA - Obecná matematika

  • 2012 - 2015
    • •
  • 1 967 tis. Kč
    • •
  • 1 767 tis. Kč
    • •
  • MŠMT
Projekt

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
Projekt

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
Projekt

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
  • 1 - 10 z 237