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

-
19852030

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic

      • Zobrazit více

      • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

9 projektů (0,156s) •

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

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

Třídy dobře strukturovaných kombinatorických objektů, šířkové parametry a návrh efektivních algoritmů (GAP202/11/0196)

Je známo, že řada důležitých algoritmických problémů je NP-úplná, a neočekává se, že takovéto problémy by byly řešitelné efektivními algoritmy pro všechny možné vstupy. Jedna z oblastí, která studuje možnosti řešení takových algoritmických problémů, ...

IN - Informatika

  • 2011 - 2013
    • •
  • 4 928 tis. Kč
    • •
  • 4 928 tis. Kč
    • •
  • GA ČR
Projekt

Strukturální vlastnosti, parametrizovaná řešitelnost a těžkost v kombinatorických problémech (GA17-00837S)

Pojetí parametrizované složitosti poskytuje garantovaná efektivní řešení některých instancí (definovaných daným parametrem) u problémů, které jsou v celé své obecnosti efektivně neřešitelné. Náš návrh se týká různých otázek náležejících do teoretický...

IN - Informatika

  • 2017 - 2019
    • •
  • 4 758 tis. Kč
    • •
  • 3 294 tis. Kč
    • •
  • GA ČR
Projekt

Mobility ČVUT MSCA-F-CZ-III (EH22_010/0008601)

Úspěšná realizace projektu formou individuálních mezinárodních vědecko-výzkumných pobytů, které podporují profesní růst výzkumných pracovníků, přispěje k přenosu zahraničních zkušeností do výzkumné organizace (ČVUT v Praze) a rozšíření zkušeností ČVU...

Materials engineering

  • 2024 - 2026
    • •
  • 10 599 tis. Kč
    • •
  • 2 681 tis. Kč
    • •
  • MŠMT
Projekt

Nové výzvy ve výpočetní socální volbě (GA22-19557S)

Pro návrh algoritmů na řešení těžkých problémů v oblasti výpočetní sociální volby jsou dnes standardem jak parametrizované tak aproximační algoritmy. Kernelizace, jedna z hlavních technik v parametrizované složitosti, je překvapivě málo používána pro...

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

  • 2022 - 2024
    • •
  • 5 819 tis. Kč
    • •
  • 5 819 tis. Kč
    • •
  • GA ČR
Projekt

Mobility ČVUT MSCA-F-CZ-II (EH22_010/0005725)

Úspěšná realizace projektu formou individuálních mezinárodních vědecko-výzkumných pobytů, které podporují profesní růst výzkumných pracovníků, přispěje k přenosu zahraničních zkušeností do výzkumné organizace (ČVUT v Praze) a rozšíření zkušeností ČVU...

Applied mathematics

  • 2023 - 2027
    • •
  • 6 092 tis. Kč
    • •
  • 1 541 tis. Kč
    • •
  • MŠMT
Projekt

Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (GA14-03501S)

Jeden z možných přístupů ke zdolání zdánlivě nepřekonatelné překážky NP-těžkosti algoritmických problémů nám podává teorie parametrizované složitosti: Vstup těžkého problému je opatřen doplňkovým parametrem - libovolným číslem k, jehož jakákoliv poč...

IN - Informatika

  • 2014 - 2016
    • •
  • 4 458 tis. Kč
    • •
  • 4 458 tis. Kč
    • •
  • GA ČR
Projekt

Těsné parametrizované výsledky pro problémy orientované souvislosti (GA17-20065S)

Parametrizovaná nebo multivarietní analýza se v minulých dvou dekádách stala standardním přístupem k (NP-) těžkým problémům. Oproti klasické výpočetní složitosti se zde efektivita algoritmů měří nejen vzhledem k délce vstupu, ale také vzhledem k urče...

IN - Informatika

  • 2017 - 2019
    • •
  • 1 986 tis. Kč
    • •
  • 1 620 tis. Kč
    • •
  • GA ČR
  • 1 - 9 z 9