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

3 206 (0,129s) •

Projekt

Algebraické a kombinatorické aspekty aperiodických struktur (GA201/09/0584)

Projekt se věnuje studiu různých aspektů struktur s nízkou komplexitou. Soustřeďujeme se na aperiodické struktury spojené se symbolickými dynamickými systémy, s nestandardními numeračními systémy a matematickými modely pro nekrystalografické látky s ...

BA - Obecná matematika

  • 2009 - 2012
    • •
  • 1 384 tis. Kč
    • •
  • 1 384 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

Obecná algebra a její souvislost s informatikou (GA13-01832S)

Cílem navrženého projektu je vyřešit vybrané problémy na pomezí obecné algebry a teoretické informatiky. Práce se soustředí na následující oblasti: složitost problému splnitelnosti omezení (hypotéza Federa a Vardiho, jemnější složitostní klasifikace ...

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 6 852 tis. Kč
    • •
  • 6 852 tis. Kč
    • •
  • GA ČR
Projekt

Formalizace kombinatoriky na slovech (GA20-20621S)

Kombinatorika na slovech je oblast diskrétní matematiky, která jako jiné kombinatorické obory přirozeně tíhne k technickým a pracným důkazům, často obsahujícím opakování podobných úvah a rozsáhlé rozbory případů. Jako taková je vhodná k počítačově ov...

Acoustics

  • 2020 - 2023
    • •
  • 3 777 tis. Kč
    • •
  • 3 741 tis. Kč
    • •
  • GA ČR
Projekt

Homologická a strukturní teorie v geometrických kontextech (GA23-05148S)

Projekt je zaměřen na studium objektů pocházejících z algebraické geometrie i teorie reprezentací a jejich homologických a strukturních vlastností. Konkrétně se jedná o vlastnosti klasických i nedávno objevených nekonvenčních derivovaných kategorií a...

Pure mathematics

  • 2023 - 2025
    • •
  • 19 237 tis. Kč
    • •
  • 18 352 tis. Kč
    • •
  • GA ČR
Projekt

Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)

Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......

IN - Informatika

  • 2008 - 2009
    • •
  • 92 tis. Kč
    • •
  • 92 tis. Kč
    • •
  • MŠMT
Projekt

Algebraické a kombinatorické aspekty aperiodických struktur (GA201/05/0169)

Cílem tohoto tříletého projektu je pokračovat ve studiu algebraických, geometrických a kombinatorických aspektů aperiodických struktur, zvláště se zaměřením na tyto otázky: 1) vývoj a implementace algoritmů pro aritmetické operace v nestandardních čí...

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 681 tis. Kč
    • •
  • 681 tis. Kč
    • •
  • GA ČR
Projekt

Algebraické metody v teorii automatů a formálních jazyků (GA201/06/0936)

Projekt je zaměřen na rozvoj algebraických metod v teorii formálních jazyků. Zejména budeme dále zkoumat třídy syntaktických struktur regulárních jazyků, jako (uspořádaných) syntaktických monoidů, syntaktických polookruhů, syntaktických homomorfismů,...

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Projekt

Automaty v rozhodovacích procedurách a verifikaci (GA19-24397S)

Výzkum konečných automatů je tradiční disciplínou, která dlouhodobě produkuje množství výsledků potenciálně využitelných v mnoha oblastech, jako jsou verifikace, zpracování přirozeného jazyka, databáze, nebo webové technologie. Praktická využitelnost...

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

  • 2019 - 2023
    • •
  • 8 460 tis. Kč
    • •
  • 6 551 tis. Kč
    • •
  • GA ČR
Projekt

Zastoupení ČR v IFAC Technical committee on Non-linear systems (1P05LA262)

hodnocení trendů výzkumu v užší oblasti nelineárního řízení a jeho aplikací...

BC - Teorie a systémy řízení

  • 2005 - 2006
    • •
  • 155 tis. Kč
    • •
  • 155 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 3 206