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

1 635 (0,186s) •

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

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

Interpolace, amalgamace a výpočty (GM25-18306M)

Interpolace je základní metalogická vlastnost širokého významu pro několik oborů, včetně ověřování softwaru/hardwaru, databází, matematiky a filozofie. Tento projekt si klade za cíl překlenout propast mezi dvěma dominantními paradigmaty ve studiu int...

Pure mathematics

  • 2025 - 2029
    • •
  • 22 483 tis. Kč
    • •
  • 22 483 tis. Kč
    • •
  • GA ČR
Projekt

Aplikace optimalizačních metod a metod algebraické geometrie pro syntézu systémů s dopravním zpožděním. (MEB020915)

Projekt je zaměřen na aplikaci optimalizačních metod a metod algebraické geometrie v oblasti teorie systémů s dopravním zpožděním. Hlavní cíle projektu jsou: 1. Návrh a využití nekonvexních optimalizačních metod pro syntézu řízení lineárních systémů ...

BC - Teorie a systémy řízení

  • 2009 - 2010
    • •
  • 105 tis. Kč
    • •
  • 105 tis. Kč
    • •
  • MŠMT
Projekt

Semidefinitní programování pro polynomiální problémy optimálního řízení (GA13-06894S)

Projekt je zaměřen na využití teorie a technik semidefinitního programování pro řešení numericky obtížně řešitelných problémů optimálního řízení s polynomiálními daty, a to speciálně problémů z oblasti návrhu řídicích systémů pro letecké a vesmírné a...

BC - Teorie a systémy řízení

  • 2013 - 2015
    • •
  • 5 757 tis. Kč
    • •
  • 5 757 tis. Kč
    • •
  • GA ČR
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

Embedded storage elements on next MCU generation ready for AI on the edge (8A21008)

will reflect requirements of Tier 1 automotive producer and will proof the...

Electrical and electronic engineering

  • 2021 - 2024
    • •
  • 11 508 tis. Kč
    • •
  • 2 301 tis. Kč
    • •
  • MŠMT
Projekt

Homotopicky invariantní algebraické struktury (ME 603)

Projekt je zaměřen na aplikace metod homotopicky invariantních struktur v algebře a matematické fyzice., , ,...

BA - Obecná matematika

  • 2002 - 2005
    • •
  • 996 tis. Kč
    • •
  • 327 tis. Kč
    • •
  • MŠMT
Projekt

Teorie metod Krylovových podprostorů a její vztah k jiným oblastem matematiky (IAA100300802)

Navrhujeme navázat na naši práci v oblasti teorie krylovovských metod, která v posledních letech vedla k objevení neočekávaných souvislostí a k výsledkům ve zdánlivě nesouvisejících oblastech. Vztahy mezi různými částmi matematiky považujeme za velmi...

BA - Obecná matematika

  • 2008 - 2012
    • •
  • 5 442 tis. Kč
    • •
  • 5 442 tis. Kč
    • •
  • AV ČR
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
  • 1 - 10 z 1 635