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

101 (0,037s) •

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

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 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

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

Grafové struktury, grafové operátory a výpočetní složitost (ME 885)

přinést nové poznatky poznání vlastností diskrétních struktur...

BD - Teorie informace

  • 2006 - 2008
    • •
  • 1 614 tis. Kč
    • •
  • 1 614 tis. Kč
    • •
  • MŠMT
Projekt

Efektivní aproximační algoritmy a obvodová složitost (GX19-27871X)

Tento projekt bude studovat roli aproximace v oblasti jemné složitosti a parametrizované složitosti a zároveň vytvoří důkladné základy těchto oblastí nalezením důkazových technik schopných dokázat pravdivost klíčových předpokladů používaných v těchto...

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

  • 2019 - 2024
    • •
  • 49 235 tis. Kč
    • •
  • 49 235 tis. Kč
    • •
  • GA ČR
Projekt

Algoritmy počítačové grafiky a vizuali (ME 259)

Vytvoření bilaterálních kontaktů, presentace dosavadních výsledků pracoviště, možnosti mezi projekty., spol 0 0...

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

  • 1998 - 1999
    • •
  • 104 tis. Kč
    • •
  • 54 tis. Kč
    • •
  • MŠMT
Projekt

Složitost výpočtů, komunikace, a vyhledávání (GA25-16311S)

Cílem výpočetní složitosti je najít hranici mezi snadnými výpočetními úlohami, které lze řešit efektivně, a těmi těžkými. Tato otázka nabývá různých forem v závislosti na povaze úlohy a použitých zdrojů, a vede na matematické problémy různých úrovn...

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

  • 2025 - 2027
    • •
  • 11 416 tis. Kč
    • •
  • 10 939 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 101