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

88 (0,08s)

Projekt

Algoritmy a složitost v rámci a nad omezenou expanzí (LL2005)

Realizace projektu hraničního výzkumu v oblasti strukturální "teorie grafů, se zaměřením na aplikace v návrhu aproximačních a parametrizovaných algoritmů a na získání odpovídajících dolních mezí na složitost. Cílem je vybudovat detailní teorii omezen...

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

  • 2020 - 2022
  • 7 167 tis. Kč
  • 7 167 tis. Kč
  • MŠMT
Projekt

Exploring the impact of somatic expansion rates on quantitative progression marker candidates (Voice) in early stages of Repeat Expansion Disorders (9F25002)

Aim 1: Identify and characterize molecularly a population of patients carrying repeat expansion mutations at early disease stages/prodromal (within 5 years, and somatic expansion index and somatic expansion rate Aim 2: St...

Clinical neurology

  • 2025 - 2028
  • 6 206 tis. Kč
  • 6 206 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

SYSTÉMOVÉ PORUCHY MOSTNÍCH ZÁVĚRŮ A VYHODNOCENÍ RIZIK PRO DOPRAVU. (1F82C/010/910)

Projektem se stanoví podmínky jakosti mostních závěrů v souvislosti s prokázanými vadami....

JQ - Strojní zařízení a nástroje

  • 2008 - 2009
  • 1 800 tis. Kč
  • 1 520 tis. Kč
  • MD
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

*Výzkum a vývoj využití energetického potenciálu stlačeného zemního plynu při jeho expanzi v regulační stanici k výrobě elektrické energie pomocí expanzní turbíny. (FI-IM3/047)

*Výzkum a vývoj regulačního zařízení (jehož hlavní částí je expanzní turbína), využívající energetický potenciál stlačeného zemního plynu během expanze v regulační stanici k výrobě elektrické energie. Zařízení musí pracovat tak, aby nedošlo k výrazné...

JE - Nejaderná energetika, spotřeba a užití energie

  • 2006 - 2009
  • 9 979 tis. Kč
  • 5 429 tis. Kč
  • MPO
Projekt

Arbitráž na trzích s limitními objednávkami a omezeně racionálními agenty (GA19-11062S)

Cílem projektu je zkoumání udržitelnosti arbitrážních příležitostí na trzích s limitními objednávkami, jejichž účastníci jsou omezeně racionální. Jako nástroj zkoumání bude sloužit model trhu, jehož účastníky jsou poskytovatelé likvidity (tvůrci trhu...

Applied mathematics

  • 2019 - 2022
  • 2 223 tis. Kč
  • 2 163 tis. Kč
  • GA ČR
Projekt

Nové technologie a výrobky pro zemědělskou (živočišnou) výrobu (FR-TI1/450)

Propojením know-how Výzkumného ústavu Uhříněves s technickým zázemím a zkušenostmi v oboru žadatele vzniká příležitost pro vytvoření funkčních prototypů k zefektivnění zemědělské výroby.......

GB - Zemědělské stroje a stavby

  • 2009 - 2010
  • 10 493 tis. Kč
  • 2 915 tis. Kč
  • MPO
Projekt

*Vývoj a průmyslový výzkum nového magneticky měkkého materiálu pro elektroniku a elektrotechniku, včetně technologie výroby. (FI-IM3/196)

*Průmyslový výzkum a vývoj nového materiálu včetně technologie výroby pro elektroniku a mikroelektroniku pro zátavy do skla a keramiky....

JG - Hutnictví, kovové materiály

  • 2006 - 2008
  • 9 854 tis. Kč
  • 2 574 tis. Kč
  • MPO
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
  • 1 - 10 z 88