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

199 (0,132s) •

Projekt

Algoritmy, dynamika a geometrie numeračních systémů (GA13-03538S)

Technické parametry dnešní výpočetní techniky vybízejí k využití nestandardních číselných soustav, což podstatně ovlivní složitost aritmetických algoritmů a výpočetní přesnost. Projekt se soustředí na analýzu algortmických, dynamických a geometrickýc...

IN - Informatika

  • 2013 - 2017
    • •
  • 7 465 tis. Kč
    • •
  • 7 465 tis. Kč
    • •
  • GA ČR
Projekt

Studium vlastností residuální aritmetiky pro řešení soustav lineárních rovnic (GAP103/12/2377)

Naším cílem je studium vlastností vícemodulové residuální aritmetiky při řešení specifických problémů lineární algebry. Jedním z komplexních a vhodných problémů je řešení velkých soustav lineárních rovnic. Toto vyžaduje vytvořit model řešiče za účele...

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

  • 2012 - 2016
    • •
  • 3 624 tis. Kč
    • •
  • 3 624 tis. Kč
    • •
  • GA ČR
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

AVIS - Algoritmy vizualizace dat (1P04ME717)

algoritmy extrakce iso-ploch, nové algoritmy počítačové grafiky, data-flow systémy...

BD - Teorie informace

  • 2004 - 2004
    • •
  • 295 tis. Kč
    • •
  • 203 tis. Kč
    • •
  • MŠMT
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

Moderní algoritmy Nové výzvy komplexních dat (GA17-09142S)

V tomto projektu základního výzkumu se soustředíme na teorii algoritmů motivovanou komplexními daty a sítěmi. V současné době se do středu zájmu algoritmického výzkumu dostává zpracování a analýza masivních komplexních množin dat. Proto budeme studov...

IN - Informatika

  • 2017 - 2019
    • •
  • 7 845 tis. Kč
    • •
  • 5 820 tis. Kč
    • •
  • GA ČR
Projekt

Omezené typy výpočtů algoritmy, modely, složitost (GA14-10003S)

V tomto projektu základního výzkumu se soustředíme na roli omezených typů výpočtů v teorii složitosti a v teorii algoritmů. Budeme studovat problémy, pro které zkoumání omezených typů výpočtů může vést k podstatně silnějším a těsnějším dolním a horn...

IN - Informatika

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

Rychlá logaritmická aritmetická jednotka (OK 314)

Projekt se zabyvá návrhem rychlé logaritmické aritmetické jednotky. Ucelem logaritmické representace (LNS) je zvysit rychlost, s jakou lze provádet násobení a delení císel v aplikacích digitálního zpracování signálu. Ukolem projektu je vyvinout techn...

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

  • 1998 - 2000
    • •
  • 2 105 tis. Kč
    • •
  • 1 715 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

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